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/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/4e539b28-d46c-11df-8f4f-00163e3d3b7c.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.76 1.41 1.10 2/64 7072
/proc/meminfo: memFree=451208/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=3152 CPUtime=0
/proc/7072/stat : 7072 (runsolver) R 7071 1745 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115994442 3227648 32 18446744073709551615 134512640 134586868 4287417360 4287415408 4151907376 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.138328 s]
/proc/loadavg: 1.76 1.41 1.10 2/64 7072
/proc/meminfo: memFree=451208/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200778 s]
/proc/loadavg: 1.76 1.41 1.10 2/64 7072
/proc/meminfo: memFree=451208/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300326 s]
/proc/loadavg: 1.76 1.41 1.10 2/64 7072
/proc/meminfo: memFree=451208/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700197 s]
/proc/loadavg: 1.76 1.41 1.10 2/64 7072
/proc/meminfo: memFree=451208/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/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.76 1.41 1.10 4/75 7084
/proc/meminfo: memFree=354640/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
[pid=7075] ppid=7072 vsize=1056556 CPUtime=1.46
/proc/7075/stat : 7075 (java) S 7072 7072 1745 0 -1 4202496 39218 0 0 0 130 16 0 0 20 0 10 0 115994443 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140733618927248 140181179936373 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7075/statm: 264139 35698 2348 9 0 251489 0
[pid=7075/tid=7076] ppid=7072 vsize=1056556 CPUtime=0.63
/proc/7075/task/7076/stat : 7076 (java) R 7072 7072 1745 0 -1 4202560 19220 0 0 0 56 7 0 0 20 0 10 0 115994443 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181186462368 140181179961741 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=7075/tid=7077] ppid=7072 vsize=1056556 CPUtime=0
/proc/7075/task/7077/stat : 7077 (java) S 7072 7072 1745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115994445 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181079108736 140181179950667 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7078] ppid=7072 vsize=1056556 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7072 7072 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115994446 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181078054928 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7079] ppid=7072 vsize=1056556 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7072 7072 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115994446 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181077002144 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7080] ppid=7072 vsize=1056556 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7072 7072 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115994448 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181075950576 140181179958304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7081] ppid=7072 vsize=1056556 CPUtime=0.41
/proc/7075/task/7081/stat : 7081 (java) R 7072 7072 1745 0 -1 4202560 9112 0 0 0 36 5 0 0 20 0 10 0 115994448 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181074897680 140181164077204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7082] ppid=7072 vsize=1056556 CPUtime=0.4
/proc/7075/task/7082/stat : 7082 (java) R 7072 7072 1745 0 -1 4202560 9593 0 0 0 36 4 0 0 20 0 10 0 115994448 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181073832792 140181161277168 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7083] ppid=7072 vsize=1056556 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115994448 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181072792784 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7084] ppid=7072 vsize=1056556 CPUtime=0
/proc/7075/task/7084/stat : 7084 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115994448 1081913344 35698 18446744073709551615 4194304 4228012 140733618936224 140181071740288 140181179950667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 1065728

[startup+3.1006 s]
/proc/loadavg: 1.76 1.41 1.10 2/75 7084
/proc/meminfo: memFree=166656/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
[pid=7075] ppid=7072 vsize=1051428 CPUtime=3.04
/proc/7075/stat : 7075 (java) S 7072 7072 1745 0 -1 4202496 97651 0 0 0 274 30 0 0 20 0 10 0 115994443 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140733618927248 140181179936373 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7075/statm: 262857 93511 2369 9 0 250207 0
[pid=7075/tid=7076] ppid=7072 vsize=1051428 CPUtime=1.53
/proc/7075/task/7076/stat : 7076 (java) R 7072 7072 1745 0 -1 4202560 47407 0 0 0 140 13 0 0 20 0 10 0 115994443 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181186462400 140181084339316 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=7075/tid=7077] ppid=7072 vsize=1051428 CPUtime=0.48
/proc/7075/task/7077/stat : 7077 (java) S 7072 7072 1745 0 -1 4202560 30154 0 0 0 40 8 0 0 20 0 10 0 115994445 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181079108736 140181179950667 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7078] ppid=7072 vsize=1051428 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7072 7072 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115994446 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181078054928 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7079] ppid=7072 vsize=1051428 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7072 7072 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115994446 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181077002144 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7080] ppid=7072 vsize=1051428 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7072 7072 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115994448 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181075950576 140181179958304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7081] ppid=7072 vsize=1051428 CPUtime=0.51
/proc/7075/task/7081/stat : 7081 (java) S 7072 7072 1745 0 -1 4202560 9150 0 0 0 46 5 0 0 20 0 10 0 115994448 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181074897936 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7082] ppid=7072 vsize=1051428 CPUtime=0.5
/proc/7075/task/7082/stat : 7082 (java) S 7072 7072 1745 0 -1 4202560 9647 0 0 0 46 4 0 0 20 0 10 0 115994448 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181073845264 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7083] ppid=7072 vsize=1051428 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115994448 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181072792784 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7084] ppid=7072 vsize=1051428 CPUtime=0
/proc/7075/task/7084/stat : 7084 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115994448 1076662272 93511 18446744073709551615 4194304 4228012 140733618936224 140181071740288 140181179950667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 1060600

[startup+6.3006 s]
/proc/loadavg: 1.70 1.40 1.10 4/75 7084
/proc/meminfo: memFree=10788/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
[pid=7075] ppid=7072 vsize=1052456 CPUtime=6.17
/proc/7075/stat : 7075 (java) S 7072 7072 1745 0 -1 4202496 116978 0 0 0 581 36 0 0 20 0 11 0 115994443 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140733618927248 140181179936373 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7075/statm: 263114 111363 2376 9 0 250464 0
[pid=7075/tid=7076] ppid=7072 vsize=1052456 CPUtime=2.85
/proc/7075/task/7076/stat : 7076 (java) R 7072 7072 1745 0 -1 4202560 47759 0 0 0 271 14 0 0 20 0 11 0 115994443 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181186470136 140181083971880 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=7075/tid=7077] ppid=7072 vsize=1052456 CPUtime=0.91
/proc/7075/task/7077/stat : 7077 (java) S 7072 7072 1745 0 -1 4202560 47192 0 0 0 79 12 0 0 20 0 11 0 115994445 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181079108736 140181179950667 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7078] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7072 7072 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115994446 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181078054928 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7079] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7072 7072 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115994446 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181077002144 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7080] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7072 7072 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115994448 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181075950576 140181179958304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7081] ppid=7072 vsize=1052456 CPUtime=1.22
/proc/7075/task/7081/stat : 7081 (java) R 7072 7072 1745 0 -1 4202560 10930 0 0 0 117 5 0 0 20 0 11 0 115994448 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181074897680 140181165664016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7082] ppid=7072 vsize=1052456 CPUtime=1.16
/proc/7075/task/7082/stat : 7082 (java) R 7072 7072 1745 0 -1 4202560 9798 0 0 0 112 4 0 0 20 0 11 0 115994448 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181073845008 140181163997062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7083] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181072792784 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7084] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7084/stat : 7084 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1077714944 111363 18446744073709551615 4194304 4228012 140733618936224 140181071740288 140181179950667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 1061628

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

[startup+6.40075 s]
/proc/loadavg: 1.70 1.40 1.10 4/75 7084
/proc/meminfo: memFree=10788/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
[pid=7075] ppid=7072 vsize=1052456 CPUtime=6.27
/proc/7075/stat : 7075 (java) S 7072 7072 1745 0 -1 4202496 116981 0 0 0 591 36 0 0 20 0 11 0 115994443 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140733618927248 140181179936373 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7075/statm: 263114 111366 2376 9 0 250464 0
[pid=7075/tid=7076] ppid=7072 vsize=1052456 CPUtime=2.89
/proc/7075/task/7076/stat : 7076 (java) R 7072 7072 1745 0 -1 4202560 47762 0 0 0 275 14 0 0 20 0 11 0 115994443 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181186470088 140181084491786 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=7075/tid=7077] ppid=7072 vsize=1052456 CPUtime=0.91
/proc/7075/task/7077/stat : 7077 (java) S 7072 7072 1745 0 -1 4202560 47192 0 0 0 79 12 0 0 20 0 11 0 115994445 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181079108736 140181179950667 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7078] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7072 7072 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115994446 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181078054928 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7079] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7072 7072 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115994446 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181077002144 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7080] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7072 7072 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115994448 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181075950576 140181179958304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7081] ppid=7072 vsize=1052456 CPUtime=1.25
/proc/7075/task/7081/stat : 7081 (java) S 7072 7072 1745 0 -1 4202560 10930 0 0 0 120 5 0 0 20 0 11 0 115994448 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181074897936 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7082] ppid=7072 vsize=1052456 CPUtime=1.18
/proc/7075/task/7082/stat : 7082 (java) S 7072 7072 1745 0 -1 4202560 9798 0 0 0 114 4 0 0 20 0 11 0 115994448 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181073845264 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7083] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181072792784 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7084] ppid=7072 vsize=1052456 CPUtime=0
/proc/7075/task/7084/stat : 7084 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1077714944 111366 18446744073709551615 4194304 4228012 140733618936224 140181071740288 140181179950667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1061628

[startup+7.20084 s]
/proc/loadavg: 1.70 1.40 1.10 4/76 7085
/proc/meminfo: memFree=10160/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
[pid=7075] ppid=7072 vsize=1053484 CPUtime=6.58
/proc/7075/stat : 7075 (java) S 7072 7072 1745 0 -1 4202496 117027 0 0 0 619 39 0 0 20 0 11 0 115994443 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140733618927248 140181179936373 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7075/statm: 263371 111410 2376 9 0 250721 0
[pid=7075/tid=7076] ppid=7072 vsize=1053484 CPUtime=2.98
/proc/7075/task/7076/stat : 7076 (java) S 7072 7072 1745 0 -1 4202560 47788 0 0 0 284 14 0 0 20 0 11 0 115994443 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181186470832 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=7075/tid=7077] ppid=7072 vsize=1053484 CPUtime=0.91
/proc/7075/task/7077/stat : 7077 (java) S 7072 7072 1745 0 -1 4202560 47192 0 0 0 79 12 0 0 20 0 11 0 115994445 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181079108736 140181179950667 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7078] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7072 7072 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115994446 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181078054928 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7079] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7072 7072 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115994446 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181077002144 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7080] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7072 7072 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115994448 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181075950576 140181179958304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7081] ppid=7072 vsize=1053484 CPUtime=1.31
/proc/7075/task/7081/stat : 7081 (java) S 7072 7072 1745 0 -1 4202560 10934 0 0 0 126 5 0 0 20 0 11 0 115994448 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181074897936 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7082] ppid=7072 vsize=1053484 CPUtime=1.29
/proc/7075/task/7082/stat : 7082 (java) S 7072 7072 1745 0 -1 4202560 9807 0 0 0 125 4 0 0 20 0 11 0 115994448 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181073845264 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7083] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181072792784 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7084] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7084/stat : 7084 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1078767616 111410 18446744073709551615 4194304 4228012 140733618936224 140181071740288 140181179950667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 1062656

[startup+7.40071 s]
/proc/loadavg: 1.70 1.40 1.10 4/76 7085
/proc/meminfo: memFree=10160/1022884 swapFree=0/0
[pid=7072] ppid=7071 vsize=9172 CPUtime=0
/proc/7072/stat : 7072 (p2cudf-basic-1.) S 7071 7072 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115994442 9392128 332 18446744073709551615 4194304 5129932 140735395562784 140735395560928 140697463628894 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7072/statm: 2293 332 280 229 0 53 0
[pid=7075] ppid=7072 vsize=1053484 CPUtime=6.77
/proc/7075/stat : 7075 (java) S 7072 7072 1745 0 -1 4202496 117038 0 0 0 634 43 0 0 20 0 11 0 115994443 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140733618927248 140181179936373 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7075/statm: 263371 111421 2377 9 0 250721 0
[pid=7075/tid=7076] ppid=7072 vsize=1053484 CPUtime=2.98
/proc/7075/task/7076/stat : 7076 (java) S 7072 7072 1745 0 -1 4202560 47788 0 0 0 284 14 0 0 20 0 11 0 115994443 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181186470832 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=7075/tid=7077] ppid=7072 vsize=1053484 CPUtime=0.91
/proc/7075/task/7077/stat : 7077 (java) S 7072 7072 1745 0 -1 4202560 47192 0 0 0 79 12 0 0 20 0 11 0 115994445 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181079108736 140181179950667 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7078] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7078/stat : 7078 (java) S 7072 7072 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115994446 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181078054928 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7079] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7079/stat : 7079 (java) S 7072 7072 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115994446 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181077002144 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7080] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7080/stat : 7080 (java) S 7072 7072 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115994448 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181075950576 140181179958304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7081] ppid=7072 vsize=1053484 CPUtime=1.35
/proc/7075/task/7081/stat : 7081 (java) S 7072 7072 1745 0 -1 4202560 10939 0 0 0 130 5 0 0 20 0 11 0 115994448 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181074897936 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7082] ppid=7072 vsize=1053484 CPUtime=1.32
/proc/7075/task/7082/stat : 7082 (java) R 7072 7072 1745 0 -1 4202560 9811 0 0 0 128 4 0 0 20 0 11 0 115994448 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181073845008 140181162787465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7083] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7083/stat : 7083 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181072792784 140181179949780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7075/tid=7084] ppid=7072 vsize=1053484 CPUtime=0
/proc/7075/task/7084/stat : 7084 (java) S 7072 7072 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115994448 1078767616 111421 18446744073709551615 4194304 4228012 140733618936224 140181071740288 140181179950667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 1062656

Child status: 0
Real time (s): 7.47912
CPU time (s): 6.86843
CPU user time (s): 6.3764
CPU system time (s): 0.49203
CPU usage (%): 91.8347
Max. virtual memory (cumulated for all children) (KiB): 1065728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.3764
system time used= 0.49203
maximum resident set size= 445728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117812
page faults= 0
swaps= 0
block input operations= 39640
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 813
involuntary context switches= 2085

runsolver used 0.016001 second user time and 0.052003 second system time

The end