runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.result -sum(solution,installedsize),-count(removed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB

[startup+0 s]
/proc/loadavg: 1.64 1.40 1.10 2/64 7091
/proc/meminfo: memFree=447488/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=3152 CPUtime=0
/proc/7091/stat : 7091 (runsolver) R 7090 1745 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115995556 3227648 32 18446744073709551615 134512640 134586868 4291287808 4291285856 4152210480 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.179429 s]
/proc/loadavg: 1.64 1.40 1.10 2/64 7091
/proc/meminfo: memFree=447488/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200329 s]
/proc/loadavg: 1.64 1.40 1.10 2/64 7091
/proc/meminfo: memFree=447488/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300271 s]
/proc/loadavg: 1.64 1.40 1.10 2/64 7091
/proc/meminfo: memFree=447488/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700221 s]
/proc/loadavg: 1.64 1.40 1.10 2/64 7091
/proc/meminfo: memFree=447488/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50056 s]
/proc/loadavg: 1.64 1.40 1.10 4/75 7103
/proc/meminfo: memFree=332940/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
[pid=7094] ppid=7091 vsize=1059412 CPUtime=1.47
/proc/7094/stat : 7094 (java) S 7091 7091 1745 0 -1 4202496 42275 0 0 0 137 10 0 0 20 0 10 0 115995557 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 140736269339344 139700075896437 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7094/statm: 264853 37470 2348 9 0 252203 0
[pid=7094/tid=7095] ppid=7091 vsize=1059412 CPUtime=0.62
/proc/7094/task/7095/stat : 7095 (java) R 7091 7091 1745 0 -1 4202560 21347 0 0 0 57 5 0 0 20 0 10 0 115995558 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139700082422464 139699980280518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7096] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7096/stat : 7096 (java) S 7091 7091 1745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115995560 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699975068800 139700075910731 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7097] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7097/stat : 7097 (java) S 7091 7091 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115995560 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699974014992 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7098] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7098/stat : 7098 (java) S 7091 7091 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115995560 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699972962208 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7099] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7099/stat : 7099 (java) S 7091 7091 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115995563 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699971910640 139700075918368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7100] ppid=7091 vsize=1059412 CPUtime=0.41
/proc/7094/task/7100/stat : 7100 (java) R 7091 7091 1745 0 -1 4202560 11255 0 0 0 39 2 0 0 20 0 10 0 115995563 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699970857744 139700058745227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7101] ppid=7091 vsize=1059412 CPUtime=0.41
/proc/7094/task/7101/stat : 7101 (java) R 7091 7091 1745 0 -1 4202560 8382 0 0 0 39 2 0 0 20 0 10 0 115995563 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699969805072 139700061579685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7102] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7102/stat : 7102 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115995563 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699968752848 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7103] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7103/stat : 7103 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115995563 1084837888 37470 18446744073709551615 4194304 4228012 140736269348320 139699967700352 139700075910731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1068584

[startup+3.10055 s]
/proc/loadavg: 1.59 1.39 1.10 2/75 7103
/proc/meminfo: memFree=160828/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
[pid=7094] ppid=7091 vsize=1059412 CPUtime=2.93
/proc/7094/stat : 7094 (java) S 7091 7091 1745 0 -1 4202496 98625 0 0 0 269 24 0 0 20 0 10 0 115995557 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 140736269339344 139700075896437 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7094/statm: 264853 93820 2369 9 0 252203 0
[pid=7094/tid=7095] ppid=7091 vsize=1059412 CPUtime=1.47
/proc/7094/task/7095/stat : 7095 (java) R 7091 7091 1745 0 -1 4202560 47414 0 0 0 134 13 0 0 20 0 10 0 115995558 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139700082422464 139699980272196 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=7094/tid=7096] ppid=7091 vsize=1059412 CPUtime=0.47
/proc/7094/task/7096/stat : 7096 (java) S 7091 7091 1745 0 -1 4202560 30238 0 0 0 41 6 0 0 20 0 10 0 115995560 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699975068800 139700075910731 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7097] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7097/stat : 7097 (java) S 7091 7091 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115995560 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699974014992 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7098] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7098/stat : 7098 (java) S 7091 7091 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115995560 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699972962208 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7099] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7099/stat : 7099 (java) S 7091 7091 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115995563 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699971910640 139700075918368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7100] ppid=7091 vsize=1059412 CPUtime=0.48
/proc/7094/task/7100/stat : 7100 (java) S 7091 7091 1745 0 -1 4202560 11288 0 0 0 46 2 0 0 20 0 10 0 115995563 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699970858000 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7101] ppid=7091 vsize=1059412 CPUtime=0.49
/proc/7094/task/7101/stat : 7101 (java) S 7091 7091 1745 0 -1 4202560 8394 0 0 0 47 2 0 0 20 0 10 0 115995563 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699969805328 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7102] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7102/stat : 7102 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115995563 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699968752848 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7103] ppid=7091 vsize=1059412 CPUtime=0
/proc/7094/task/7103/stat : 7103 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115995563 1084837888 93820 18446744073709551615 4194304 4228012 140736269348320 139699967700352 139700075910731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 1068584

[startup+6.30058 s]
/proc/loadavg: 1.59 1.39 1.10 4/75 7103
/proc/meminfo: memFree=26908/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
[pid=7094] ppid=7091 vsize=1060440 CPUtime=5.88
/proc/7094/stat : 7094 (java) S 7091 7091 1745 0 -1 4202496 111604 0 0 0 556 32 0 0 20 0 11 0 115995557 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 140736269339344 139700075896437 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7094/statm: 265110 102662 2377 9 0 252460 0
[pid=7094/tid=7095] ppid=7091 vsize=1060440 CPUtime=2.78
/proc/7094/task/7095/stat : 7095 (java) R 7091 7091 1745 0 -1 4202560 47780 0 0 0 264 14 0 0 20 0 11 0 115995558 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139700082430184 139700075920986 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0
[pid=7094/tid=7096] ppid=7091 vsize=1060440 CPUtime=0.71
/proc/7094/task/7096/stat : 7096 (java) S 7091 7091 1745 0 -1 4202560 38516 0 0 0 61 10 0 0 20 0 11 0 115995560 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699975068800 139700075910731 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7097] ppid=7091 vsize=1060440 CPUtime=0
/proc/7094/task/7097/stat : 7097 (java) S 7091 7091 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115995560 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699974014992 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7098] ppid=7091 vsize=1060440 CPUtime=0
/proc/7094/task/7098/stat : 7098 (java) S 7091 7091 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115995560 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699972962208 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7099] ppid=7091 vsize=1060440 CPUtime=0
/proc/7094/task/7099/stat : 7099 (java) S 7091 7091 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115995563 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699971910640 139700075918368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7100] ppid=7091 vsize=1060440 CPUtime=1.22
/proc/7094/task/7100/stat : 7100 (java) R 7091 7091 1745 0 -1 4202560 15470 0 0 0 118 4 0 0 20 0 11 0 115995563 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699970857744 139700069140666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7101] ppid=7091 vsize=1060440 CPUtime=1.14
/proc/7094/task/7101/stat : 7101 (java) R 7091 7091 1745 0 -1 4202560 8541 0 0 0 112 2 0 0 20 0 11 0 115995563 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699969805072 139700058715472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7102] ppid=7091 vsize=1060440 CPUtime=0
/proc/7094/task/7102/stat : 7102 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115995563 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699968752848 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7103] ppid=7091 vsize=1060440 CPUtime=0
/proc/7094/task/7103/stat : 7103 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115995563 1085890560 102662 18446744073709551615 4194304 4228012 140736269348320 139699967700352 139700075910731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 1069612

Solver just ended. Dumping a history of the last processes samples

[startup+6.40078 s]
/proc/loadavg: 1.59 1.39 1.10 4/75 7103
/proc/meminfo: memFree=26908/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
[pid=7094] ppid=7091 vsize=1061468 CPUtime=5.96
/proc/7094/stat : 7094 (java) S 7091 7091 1745 0 -1 4202496 111635 0 0 0 564 32 0 0 20 0 11 0 115995557 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 140736269339344 139700075896437 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7094/statm: 265367 102691 2377 9 0 252717 0
[pid=7094/tid=7095] ppid=7091 vsize=1061468 CPUtime=2.8
/proc/7094/task/7095/stat : 7095 (java) S 7091 7091 1745 0 -1 4202560 47795 0 0 0 266 14 0 0 20 0 11 0 115995558 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139700082430896 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0
[pid=7094/tid=7096] ppid=7091 vsize=1061468 CPUtime=0.71
/proc/7094/task/7096/stat : 7096 (java) S 7091 7091 1745 0 -1 4202560 38516 0 0 0 61 10 0 0 20 0 11 0 115995560 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699975068800 139700075910731 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7097] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7097/stat : 7097 (java) S 7091 7091 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115995560 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699974014992 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7098] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7098/stat : 7098 (java) S 7091 7091 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115995560 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699972962208 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7099] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7099/stat : 7099 (java) S 7091 7091 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699971910640 139700075918368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7100] ppid=7091 vsize=1061468 CPUtime=1.25
/proc/7094/task/7100/stat : 7100 (java) S 7091 7091 1745 0 -1 4202560 15475 0 0 0 121 4 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699970858000 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7101] ppid=7091 vsize=1061468 CPUtime=1.16
/proc/7094/task/7101/stat : 7101 (java) S 7091 7091 1745 0 -1 4202560 8546 0 0 0 114 2 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699969805328 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7102] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7102/stat : 7102 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699968752848 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7103] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7103/stat : 7103 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699967700352 139700075910731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 1070640

[startup+6.80082 s]
/proc/loadavg: 1.59 1.39 1.10 1/76 7105
/proc/meminfo: memFree=27768/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
[pid=7094] ppid=7091 vsize=1061468 CPUtime=5.96
/proc/7094/stat : 7094 (java) S 7091 7091 1745 0 -1 4202496 111635 0 0 0 564 32 0 0 20 0 11 0 115995557 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 140736269339344 139700075896437 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7094/statm: 265367 102691 2377 9 0 252717 0
[pid=7094/tid=7095] ppid=7091 vsize=1061468 CPUtime=2.8
/proc/7094/task/7095/stat : 7095 (java) S 7091 7091 1745 0 -1 4202560 47795 0 0 0 266 14 0 0 20 0 11 0 115995558 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139700082430896 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0
[pid=7094/tid=7096] ppid=7091 vsize=1061468 CPUtime=0.71
/proc/7094/task/7096/stat : 7096 (java) S 7091 7091 1745 0 -1 4202560 38516 0 0 0 61 10 0 0 20 0 11 0 115995560 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699975068800 139700075910731 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7097] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7097/stat : 7097 (java) S 7091 7091 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115995560 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699974014992 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7098] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7098/stat : 7098 (java) S 7091 7091 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115995560 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699972962208 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7099] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7099/stat : 7099 (java) S 7091 7091 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699971910640 139700075918368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7100] ppid=7091 vsize=1061468 CPUtime=1.25
/proc/7094/task/7100/stat : 7100 (java) S 7091 7091 1745 0 -1 4202560 15475 0 0 0 121 4 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699970858000 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7101] ppid=7091 vsize=1061468 CPUtime=1.16
/proc/7094/task/7101/stat : 7101 (java) S 7091 7091 1745 0 -1 4202560 8546 0 0 0 114 2 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699969805328 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7102] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7102/stat : 7102 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699968752848 139700075909844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7103] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7103/stat : 7103 (java) S 7091 7091 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115995563 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699967700352 139700075910731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7094/tid=7105] ppid=7091 vsize=1061468 CPUtime=0
/proc/7094/task/7105/stat : 7105 (java) S 7091 7091 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115996193 1086943232 102691 18446744073709551615 4194304 4228012 140736269348320 139699965454512 139700075910731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 1070640

[startup+7.20841 s]
/proc/loadavg: 1.59 1.39 1.10 1/76 7105
/proc/meminfo: memFree=27768/1022884 swapFree=0/0
[pid=7091] ppid=7090 vsize=9172 CPUtime=0
/proc/7091/stat : 7091 (p2cudf-basic-1.) S 7090 7091 1745 0 -1 4202496 460 290 0 0 0 0 0 0 20 0 1 0 115995556 9392128 332 18446744073709551615 4194304 5129932 140735527527312 140735527525456 140393420297310 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7091/statm: 2293 332 280 229 0 53 0
[pid=7094] ppid=7091 vsize=0 CPUtime=6.29
/proc/7094/stat : 7094 (java) Z 7091 7091 1745 0 -1 4203532 111653 0 0 0 589 40 0 0 20 0 2 0 115995557 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7094/statm: 0 0 0 0 0 0 0
[pid=7094/tid=7105] ppid=7091 vsize=0 CPUtime=0.21
/proc/7094/task/7105/stat : 7105 (java) R 7091 7091 1745 0 -1 4203588 9 0 0 0 12 9 0 0 20 0 2 0 115996193 0 0 18446744073709551615 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9172

Child status: 0
Real time (s): 7.23229
CPU time (s): 6.32439
CPU user time (s): 5.89637
CPU system time (s): 0.428026
CPU usage (%): 87.4466
Max. virtual memory (cumulated for all children) (KiB): 1070640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.89637
system time used= 0.428026
maximum resident set size= 413080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112415
page faults= 0
swaps= 0
block input operations= 33896
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 730
involuntary context switches= 1921

runsolver used 0.008 second user time and 0.060003 second system time

The end