runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687334-1337871901/watcher-3687334-1337871901 -o /tmp/evaluation-result-3687334-1337871901/solver-3687334-1337871901 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687334-1337871901.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 24262
/proc/meminfo: memFree=28662536/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/24262/stat : 24262 (runsolver) D 24260 24262 24080 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 253314491 12095488 50 33554432000 4194304 5436572 140736038517792 140736038514088 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/24262/statm: 2953 50 31 304 0 2645 0
[startup+0.0459089 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 24262
/proc/meminfo: memFree=28662536/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 3076 0 1 0 2 0 0 0 20 0 13 0 253314491 9446973440 3262 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2306390 3263 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100243 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 24262
/proc/meminfo: memFree=28662536/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 4348 0 1 0 9 1 0 0 20 0 18 0 253314491 9787813888 5033 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2389603 5033 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300211 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 24262
/proc/meminfo: memFree=28662536/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 5526 0 1 0 45 1 0 0 20 0 18 0 253314491 9787813888 7944 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2389603 7944 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700268 s]
/proc/loadavg: 0.00 0.00 0.00 3/193 24262
/proc/meminfo: memFree=28662536/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9558412 CPUtime=1.35 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 13771 0 1 0 130 5 0 0 20 0 18 0 253314491 9787813888 43887 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2389603 43887 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9558412
[startup+1.50068 s]
/proc/loadavg: 0.00 0.00 0.00 3/215 24284
/proc/meminfo: memFree=28410040/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9558412 CPUtime=2.35 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 14047 0 1 0 224 11 0 0 20 0 18 0 253314491 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2389603 85486 2246 9 0 2380296 0
[pid=24262/tid=24264] ppid=24260 vsize=9558412 CPUtime=1.38 cores=0,2,4,6
/proc/24262/task/24264/stat : 24264 (java) R 24260 24262 24080 0 -1 4202560 2622 0 1 0 134 4 0 0 20 0 18 0 253314492 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806954388888 139806894697573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24262/tid=24265] ppid=24260 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24265/stat : 24265 (java) S 24260 24262 24080 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806893119784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24266] ppid=24260 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24262/task/24266/stat : 24266 (java) S 24260 24262 24080 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806892066984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24267] ppid=24260 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24262/task/24267/stat : 24267 (java) S 24260 24262 24080 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806891014696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24262/tid=24268] ppid=24260 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24268/stat : 24268 (java) S 24260 24262 24080 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806795053480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24269] ppid=24260 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24262/task/24269/stat : 24269 (java) S 24260 24262 24080 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806794001192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24270] ppid=24260 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24262/task/24270/stat : 24270 (java) S 24260 24262 24080 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806792948392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24262/tid=24271] ppid=24260 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24262/task/24271/stat : 24271 (java) S 24260 24262 24080 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806791896104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24262/tid=24272] ppid=24260 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/24262/task/24272/stat : 24272 (java) S 24260 24262 24080 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 253314493 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806790843304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24273] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24273/stat : 24273 (java) S 24260 24262 24080 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253314494 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806778644712 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24274] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24274/stat : 24274 (java) S 24260 24262 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253314494 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806777590776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24275] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24275/stat : 24275 (java) S 24260 24262 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253314494 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806776538376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24276] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24276/stat : 24276 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253314497 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806775486864 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24277] ppid=24260 vsize=9558412 CPUtime=0.29 cores=0,2,4,6
/proc/24262/task/24277/stat : 24277 (java) S 24260 24262 24080 0 -1 4202560 4766 0 0 0 29 0 0 0 20 0 18 0 253314497 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806774434488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24278] ppid=24260 vsize=9558412 CPUtime=0.32 cores=0,2,4,6
/proc/24262/task/24278/stat : 24278 (java) S 24260 24262 24080 0 -1 4202560 5161 0 0 0 30 2 0 0 20 0 18 0 253314497 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806773381688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24279] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24279/stat : 24279 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253314497 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806772329592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24280] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24280/stat : 24280 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253314497 9787813888 85486 33554432000 1073741824 1073778376 140735210823072 139806771277000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9558412
Solver just ended. Dumping a history of the last processes samples
[startup+2.30067 s]
/proc/loadavg: 0.24 0.05 0.02 4/215 24284
/proc/meminfo: memFree=28198104/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9558412 CPUtime=3.35 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 14206 0 1 0 319 16 0 0 20 0 18 0 253314491 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2389603 94785 2256 9 0 2380296 0
[pid=24262/tid=24264] ppid=24260 vsize=9558412 CPUtime=2.13 cores=0,2,4,6
/proc/24262/task/24264/stat : 24264 (java) R 24260 24262 24080 0 -1 4202560 2631 0 1 0 209 4 0 0 20 0 18 0 253314492 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806954381216 139806894828763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24262/tid=24265] ppid=24260 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/24262/task/24265/stat : 24265 (java) S 24260 24262 24080 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806893119784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24266] ppid=24260 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24266/stat : 24266 (java) S 24260 24262 24080 0 -1 4202560 66 0 0 0 4 0 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806892066984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24267] ppid=24260 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24267/stat : 24267 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806891014696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24268] ppid=24260 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24268/stat : 24268 (java) S 24260 24262 24080 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806795053480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24269] ppid=24260 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24269/stat : 24269 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806794001192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24270] ppid=24260 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24262/task/24270/stat : 24270 (java) S 24260 24262 24080 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806792948392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24262/tid=24271] ppid=24260 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24271/stat : 24271 (java) S 24260 24262 24080 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806791896104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24272] ppid=24260 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/24262/task/24272/stat : 24272 (java) S 24260 24262 24080 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 253314493 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806790843304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24273] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24273/stat : 24273 (java) S 24260 24262 24080 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253314494 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806778644712 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24274] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24274/stat : 24274 (java) S 24260 24262 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253314494 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806777590776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24275] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24275/stat : 24275 (java) S 24260 24262 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253314494 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806776538376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24276] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24276/stat : 24276 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253314497 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806775486864 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24277] ppid=24260 vsize=9558412 CPUtime=0.3 cores=0,2,4,6
/proc/24262/task/24277/stat : 24277 (java) S 24260 24262 24080 0 -1 4202560 4767 0 0 0 30 0 0 0 20 0 18 0 253314497 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806774434488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24278] ppid=24260 vsize=9558412 CPUtime=0.35 cores=0,2,4,6
/proc/24262/task/24278/stat : 24278 (java) R 24260 24262 24080 0 -1 4202560 5164 0 0 0 33 2 0 0 20 0 18 0 253314497 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806773381688 139806961364645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24279] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24279/stat : 24279 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253314497 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806772329592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24280] ppid=24260 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24280/stat : 24280 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253314497 9787813888 94785 33554432000 1073741824 1073778376 140735210823072 139806771277000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 9558412
[startup+2.7007 s]
/proc/loadavg: 0.24 0.05 0.02 4/215 24284
/proc/meminfo: memFree=28198104/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9824668 CPUtime=4.68 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 19171 0 1 0 449 19 0 0 20 0 19 0 253314491 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2456167 95972 2264 9 0 2446860 0
[pid=24262/tid=24264] ppid=24260 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/24262/task/24264/stat : 24264 (java) S 24260 24262 24080 0 -1 4202560 2635 0 1 0 228 4 0 0 20 0 19 0 253314492 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806954390520 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24262/tid=24265] ppid=24260 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24262/task/24265/stat : 24265 (java) S 24260 24262 24080 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806893119784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24266] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24266/stat : 24266 (java) S 24260 24262 24080 0 -1 4202560 66 0 0 0 4 0 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806892066984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24267] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24267/stat : 24267 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806891014696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24268] ppid=24260 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24268/stat : 24268 (java) S 24260 24262 24080 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806795053480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24269] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24269/stat : 24269 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806794001192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24270] ppid=24260 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/24262/task/24270/stat : 24270 (java) S 24260 24262 24080 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806792948392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24262/tid=24271] ppid=24260 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24271/stat : 24271 (java) S 24260 24262 24080 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806791896104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24272] ppid=24260 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24262/task/24272/stat : 24272 (java) S 24260 24262 24080 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 253314493 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806790843304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24273] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24273/stat : 24273 (java) S 24260 24262 24080 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253314494 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806778644712 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24274] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24274/stat : 24274 (java) S 24260 24262 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314494 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806777590776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24275] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24275/stat : 24275 (java) S 24260 24262 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314494 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806776538376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24276] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24276/stat : 24276 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314497 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806775486864 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24277] ppid=24260 vsize=9824668 CPUtime=0.67 cores=0,2,4,6
/proc/24262/task/24277/stat : 24277 (java) R 24260 24262 24080 0 -1 4202560 8065 0 0 0 66 1 0 0 20 0 19 0 253314497 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806774434056 139806961364739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24278] ppid=24260 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/24262/task/24278/stat : 24278 (java) R 24260 24262 24080 0 -1 4202560 6711 0 0 0 70 2 0 0 20 0 19 0 253314497 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806773381688 139806956438352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24279] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24279/stat : 24279 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314497 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806772329592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24280] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24280/stat : 24280 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314497 10060460032 95972 33554432000 1073741824 1073778376 140735210823072 139806771277000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 9824668
[startup+2.90072 s]
/proc/loadavg: 0.24 0.05 0.02 4/215 24284
/proc/meminfo: memFree=28198104/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9824668 CPUtime=4.94 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 19204 0 1 0 475 19 0 0 20 0 19 0 253314491 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2456167 95647 2268 9 0 2446860 0
[pid=24262/tid=24264] ppid=24260 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/24262/task/24264/stat : 24264 (java) S 24260 24262 24080 0 -1 4202560 2635 0 1 0 228 4 0 0 20 0 19 0 253314492 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806954390520 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24262/tid=24265] ppid=24260 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24262/task/24265/stat : 24265 (java) S 24260 24262 24080 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806893119784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24266] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24266/stat : 24266 (java) S 24260 24262 24080 0 -1 4202560 66 0 0 0 4 0 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806892066984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24267] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24267/stat : 24267 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806891014696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24268] ppid=24260 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24268/stat : 24268 (java) S 24260 24262 24080 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806795053480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24269] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24269/stat : 24269 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806794001192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24270] ppid=24260 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/24262/task/24270/stat : 24270 (java) S 24260 24262 24080 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806792948392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24262/tid=24271] ppid=24260 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24271/stat : 24271 (java) S 24260 24262 24080 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806791896104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24272] ppid=24260 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24262/task/24272/stat : 24272 (java) S 24260 24262 24080 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 253314493 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806790843304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24273] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24273/stat : 24273 (java) S 24260 24262 24080 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253314494 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806778644712 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24274] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24274/stat : 24274 (java) S 24260 24262 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314494 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806777590776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24275] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24275/stat : 24275 (java) S 24260 24262 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314494 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806776538376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24276] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24276/stat : 24276 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314497 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806775486864 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24277] ppid=24260 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/24262/task/24277/stat : 24277 (java) S 24260 24262 24080 0 -1 4202560 8088 0 0 0 79 1 0 0 20 0 19 0 253314497 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806774434488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24278] ppid=24260 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/24262/task/24278/stat : 24278 (java) S 24260 24262 24080 0 -1 4202560 6721 0 0 0 83 2 0 0 20 0 19 0 253314497 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806773381688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24279] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24279/stat : 24279 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314497 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806772329592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24280] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24280/stat : 24280 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314497 10060460032 95647 33554432000 1073741824 1073778376 140735210823072 139806771277000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 9824668
[startup+3.00072 s]
/proc/loadavg: 0.24 0.05 0.02 4/215 24284
/proc/meminfo: memFree=28198104/32873844 swapFree=7616/7616
[pid=24262] ppid=24260 vsize=9824668 CPUtime=4.94 cores=0,2,4,6
/proc/24262/stat : 24262 (java) S 24260 24262 24080 0 -1 4202496 19206 0 1 0 475 19 0 0 20 0 20 0 253314491 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 140735210814208 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24262/statm: 2456167 95649 2268 9 0 2446860 0
[pid=24262/tid=24264] ppid=24260 vsize=9824668 CPUtime=2.32 cores=0,2,4,6
/proc/24262/task/24264/stat : 24264 (java) S 24260 24262 24080 0 -1 4202560 2635 0 1 0 228 4 0 0 20 0 20 0 253314492 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806954390232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24262/tid=24265] ppid=24260 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24262/task/24265/stat : 24265 (java) S 24260 24262 24080 0 -1 4202560 25 0 0 0 4 1 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806893119784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24266] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24266/stat : 24266 (java) S 24260 24262 24080 0 -1 4202560 66 0 0 0 4 0 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806892066984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24267] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24267/stat : 24267 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806891014696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24268] ppid=24260 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24268/stat : 24268 (java) S 24260 24262 24080 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806795053480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24269] ppid=24260 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24262/task/24269/stat : 24269 (java) S 24260 24262 24080 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806794001192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24270] ppid=24260 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/24262/task/24270/stat : 24270 (java) S 24260 24262 24080 0 -1 4202560 36 0 0 0 6 2 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806792948392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24262/tid=24271] ppid=24260 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/24262/task/24271/stat : 24271 (java) S 24260 24262 24080 0 -1 4202560 35 0 0 0 5 2 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806791896104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24272] ppid=24260 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24262/task/24272/stat : 24272 (java) S 24260 24262 24080 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 20 0 253314493 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806790843304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24273] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24273/stat : 24273 (java) S 24260 24262 24080 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 20 0 253314494 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806778644712 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24274] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24274/stat : 24274 (java) S 24260 24262 24080 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253314494 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806777590776 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24275] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24275/stat : 24275 (java) S 24260 24262 24080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253314494 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806776538376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24276] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24276/stat : 24276 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253314497 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806775486864 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24277] ppid=24260 vsize=9824668 CPUtime=0.8 cores=0,2,4,6
/proc/24262/task/24277/stat : 24277 (java) S 24260 24262 24080 0 -1 4202560 8088 0 0 0 79 1 0 0 20 0 20 0 253314497 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806774434488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24262/tid=24278] ppid=24260 vsize=9824668 CPUtime=0.85 cores=0,2,4,6
/proc/24262/task/24278/stat : 24278 (java) S 24260 24262 24080 0 -1 4202560 6721 0 0 0 83 2 0 0 20 0 20 0 253314497 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806773381688 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24279] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24279/stat : 24279 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253314497 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806772329592 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24262/tid=24280] ppid=24260 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24262/task/24280/stat : 24280 (java) S 24260 24262 24080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253314497 10060460032 95649 33554432000 1073741824 1073778376 140735210823072 139806771277000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 3.00624
CPU time (s): 5.00524
CPU user time (s): 4.72128
CPU system time (s): 0.283956
CPU usage (%): 166.495
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.72128
system time used= 0.283956
maximum resident set size= 386832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19207
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 485
involuntary context switches= 311
runsolver used 0.001999 second user time and 0.026995 second system time
The end