runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4259545-1501654365/watcher-4259545-1501654365 -o /tmp/evaluation-result-4259545-1501654365/solver-4259545-1501654365 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259545-1501654365.xml
pid=11677
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.95 1.41 1.74 3/180 11682
/proc/meminfo: memFree=31786032/32770624 swapFree=0/237000
[pid=11682] ppid=11677 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11682/stat : 11682 (runsolver) D 11677 11682 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13251908 24240128 106 18446744073709551615 4194304 4338465 140722688640288 140722688637928 140172397400791 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 35045376 140722688647376 140722688647750 140722688647750 140722688651210 0
/proc/11682/statm: 5918 106 53 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 0.95 1.41 1.74 3/180 11682
/proc/meminfo: memFree=31786032/32770624 swapFree=0/237000
[pid=11682] ppid=11677 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11682/stat : 11682 (runsolver) D 11677 11682 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13251908 24240128 106 18446744073709551615 4194304 4338465 140722688640288 140722688637928 140172397400791 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 35045376 140722688647376 140722688647750 140722688647750 140722688651210 0
/proc/11682/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200302 s]
/proc/loadavg: 0.95 1.41 1.74 3/180 11682
/proc/meminfo: memFree=31786032/32770624 swapFree=0/237000
[pid=11682] ppid=11677 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/11682/stat : 11682 (bash) S 11677 11682 5228 0 -1 4202496 897 6483 0 1 0 0 0 1 20 0 1 0 13251908 9867264 377 18446744073709551615 4194304 5098028 140725134128720 140725134122728 140131426176000 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 10 0 0 7196144 7232144 19001344 140725134131729 140725134131814 140725134131814 140725134135274 0
/proc/11682/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.30026 s]
/proc/loadavg: 0.95 1.41 1.74 3/180 11682
/proc/meminfo: memFree=31786032/32770624 swapFree=0/237000
[pid=11682] ppid=11677 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/11682/stat : 11682 (bash) S 11677 11682 5228 0 -1 4202496 897 6483 0 1 0 0 0 1 20 0 1 0 13251908 9867264 377 18446744073709551615 4194304 5098028 140725134128720 140725134122728 140131426176000 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 10 0 0 7196144 7232144 19001344 140725134131729 140725134131814 140725134131814 140725134135274 0
/proc/11682/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.700217 s]
/proc/loadavg: 0.95 1.41 1.74 3/180 11682
/proc/meminfo: memFree=31786032/32770624 swapFree=0/237000
[pid=11682] ppid=11677 vsize=13974784 CPUtime=0.5 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11677 11682 5228 0 -1 1077944320 12764 12456 0 1 40 2 5 3 20 0 15 0 13251908 14310178816 13489 18446744073709551615 4194304 4196468 140735129054560 140735129037104 139954282061559 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
/proc/11682/statm: 3493696 13489 3040 1 0 3482973 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13974784
[startup+1.5045 s]
/proc/loadavg: 0.95 1.41 1.74 3/213 11811
/proc/meminfo: memFree=31621756/32770624 swapFree=0/238912
[pid=11682] ppid=11677 vsize=13985408 CPUtime=1.69 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11677 11682 5228 0 -1 1077944320 24369 12456 0 1 155 6 5 3 20 0 15 0 13251908 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 140735129037104 139954282061559 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
/proc/11682/statm: 3496352 33041 3328 1 0 3485533 0
[pid=11682/tid=11792] ppid=11677 vsize=13985408 CPUtime=1.2 cores=1,3,5,7
/proc/11682/task/11792/stat : 11792 (java) R 11677 11682 5228 0 -1 4202560 19412 12456 0 1 107 5 5 3 20 0 15 0 13251940 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139954286285760 139954282073494 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11793] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11793/stat : 11793 (java) S 11677 11682 5228 0 -1 1077944384 2 12456 0 1 0 0 5 3 20 0 15 0 13251941 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139954201475984 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11794] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11794/stat : 11794 (java) S 11677 11682 5228 0 -1 1077944384 1 12456 0 1 0 0 5 3 20 0 15 0 13251941 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139954200423184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11795] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11795/stat : 11795 (java) S 11677 11682 5228 0 -1 1077944384 1 12456 0 1 0 0 5 3 20 0 15 0 13251941 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139954199370896 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11796] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11796/stat : 11796 (java) S 11677 11682 5228 0 -1 1077944384 2 12456 0 1 0 0 5 3 20 0 15 0 13251941 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139954198318096 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11802] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11802/stat : 11802 (java) S 11677 11682 5228 0 -1 1077944384 5 12456 0 1 0 0 5 3 20 0 15 0 13251942 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139953198311536 139954282072706 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11803] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11803/stat : 11803 (java) S 11677 11682 5228 0 -1 1077944384 33 12456 0 1 0 0 5 3 20 0 15 0 13251942 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139953197257504 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11804] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11804/stat : 11804 (java) S 11677 11682 5228 0 -1 1077944384 21 12456 0 1 0 0 5 3 20 0 15 0 13251942 14321057792 33041 18446744073709551615 4194304 4196468 140735129054560 139953196205168 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11805] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11805/stat : 11805 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14321057792 33084 18446744073709551615 4194304 4196468 140735129054560 139953195153488 139954282080155 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11806] ppid=11677 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/11682/task/11806/stat : 11806 (java) R 11677 11682 5228 0 -1 4202560 988 12456 0 1 14 0 5 3 20 0 15 0 13251945 14321057792 33084 18446744073709551615 4194304 4196468 140735129054560 139953194087456 139954265448336 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11807] ppid=11677 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/11682/task/11807/stat : 11807 (java) S 11677 11682 5228 0 -1 1077944384 624 12456 0 1 13 0 5 3 20 0 15 0 13251945 14321057792 33084 18446744073709551615 4194304 4196468 140735129054560 139953193048560 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11808] ppid=11677 vsize=13985408 CPUtime=0.27 cores=1,3,5,7
/proc/11682/task/11808/stat : 11808 (java) S 11677 11682 5228 0 -1 1077944384 1118 12456 0 1 19 0 5 3 20 0 15 0 13251945 14321057792 33084 18446744073709551615 4194304 4196468 140735129054560 139953191996272 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11809] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11809/stat : 11809 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14321057792 33084 18446744073709551615 4194304 4196468 140735129054560 139953190943712 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11811] ppid=11677 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11811/stat : 11811 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251952 14321057792 33084 18446744073709551615 4194304 4196468 140735129054560 139953189890480 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 13985408
[startup+3.10067 s]
/proc/loadavg: 0.95 1.41 1.74 4/213 11811
/proc/meminfo: memFree=31444652/32770624 swapFree=0/238652
[pid=11682] ppid=11677 vsize=13999932 CPUtime=5.29 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11677 11682 5228 0 -1 1077944320 42967 12456 0 1 507 14 5 3 20 0 15 0 13251908 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 140735129037104 139954282061559 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
/proc/11682/statm: 3499983 64431 3436 1 0 3488605 0
[pid=11682/tid=11792] ppid=11677 vsize=13999932 CPUtime=2.7 cores=1,3,5,7
/proc/11682/task/11792/stat : 11792 (java) R 11677 11682 5228 0 -1 4202560 31323 12456 0 1 253 9 5 3 20 0 15 0 13251940 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139954286288824 139954265248368 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11793] ppid=11677 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/11682/task/11793/stat : 11793 (java) S 11677 11682 5228 0 -1 1077944384 56 12456 0 1 3 0 5 3 20 0 15 0 13251941 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139954201475984 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11794] ppid=11677 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/11682/task/11794/stat : 11794 (java) S 11677 11682 5228 0 -1 1077944384 16 12456 0 1 2 0 5 3 20 0 15 0 13251941 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139954200423184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11795] ppid=11677 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/11682/task/11795/stat : 11795 (java) S 11677 11682 5228 0 -1 1077944384 210 12456 0 1 2 0 5 3 20 0 15 0 13251941 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139954199370896 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11796] ppid=11677 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/11682/task/11796/stat : 11796 (java) S 11677 11682 5228 0 -1 1077944384 50 12456 0 1 3 0 5 3 20 0 15 0 13251941 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139954198318096 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11802] ppid=11677 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/11682/task/11802/stat : 11802 (java) S 11677 11682 5228 0 -1 1077944384 815 12456 0 1 3 0 5 3 20 0 15 0 13251942 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953198311536 139954282072706 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11803] ppid=11677 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11803/stat : 11803 (java) S 11677 11682 5228 0 -1 1077944384 55 12456 0 1 0 0 5 3 20 0 15 0 13251942 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953197257568 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11804] ppid=11677 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11804/stat : 11804 (java) S 11677 11682 5228 0 -1 1077944384 44 12456 0 1 0 0 5 3 20 0 15 0 13251942 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953196205184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11805] ppid=11677 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11805/stat : 11805 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953195153488 139954282080155 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11806] ppid=11677 vsize=13999932 CPUtime=0.96 cores=1,3,5,7
/proc/11682/task/11806/stat : 11806 (java) S 11677 11682 5228 0 -1 1077944384 3010 12456 0 1 88 0 5 3 20 0 15 0 13251945 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953194101360 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11807] ppid=11677 vsize=13999932 CPUtime=0.74 cores=1,3,5,7
/proc/11682/task/11807/stat : 11807 (java) R 11677 11682 5228 0 -1 4202560 2518 12456 0 1 66 0 5 3 20 0 15 0 13251945 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953193028776 139954265558347 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11808] ppid=11677 vsize=13999932 CPUtime=0.91 cores=1,3,5,7
/proc/11682/task/11808/stat : 11808 (java) S 11677 11682 5228 0 -1 1077944384 2706 12456 0 1 82 1 5 3 20 0 15 0 13251945 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953191996272 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11809] ppid=11677 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11809/stat : 11809 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953190943712 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11811] ppid=11677 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11811/stat : 11811 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251952 14335930368 64431 18446744073709551615 4194304 4196468 140735129054560 139953189890480 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13999932
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11682 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2008 s]
/proc/loadavg: 0.95 1.41 1.74 4/213 11811
/proc/meminfo: memFree=31444652/32770624 swapFree=0/238652
[pid=11682] ppid=11677 vsize=14067516 CPUtime=5.49 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11677 11682 5228 0 -1 1077944320 48599 12456 0 1 526 15 5 3 20 0 15 0 13251908 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 140735129037104 139954282061559 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
/proc/11682/statm: 3516879 70100 3436 1 0 3505501 0
[pid=11682/tid=11792] ppid=11677 vsize=14067516 CPUtime=2.81 cores=1,3,5,7
/proc/11682/task/11792/stat : 11792 (java) R 11677 11682 5228 0 -1 4202560 36698 12456 0 1 263 10 5 3 20 0 15 0 13251940 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139954286277464 139954282073494 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11793] ppid=11677 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/11682/task/11793/stat : 11793 (java) S 11677 11682 5228 0 -1 1077944384 56 12456 0 1 3 0 5 3 20 0 15 0 13251941 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139954201475984 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11794] ppid=11677 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/11682/task/11794/stat : 11794 (java) S 11677 11682 5228 0 -1 1077944384 16 12456 0 1 2 0 5 3 20 0 15 0 13251941 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139954200423184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11795] ppid=11677 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/11682/task/11795/stat : 11795 (java) S 11677 11682 5228 0 -1 1077944384 210 12456 0 1 2 0 5 3 20 0 15 0 13251941 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139954199370896 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11796] ppid=11677 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/11682/task/11796/stat : 11796 (java) S 11677 11682 5228 0 -1 1077944384 50 12456 0 1 3 0 5 3 20 0 15 0 13251941 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139954198318096 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11802] ppid=11677 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/11682/task/11802/stat : 11802 (java) S 11677 11682 5228 0 -1 1077944384 815 12456 0 1 3 0 5 3 20 0 15 0 13251942 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953198311536 139954282072706 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11803] ppid=11677 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11803/stat : 11803 (java) S 11677 11682 5228 0 -1 1077944384 55 12456 0 1 0 0 5 3 20 0 15 0 13251942 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953197257568 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11804] ppid=11677 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11804/stat : 11804 (java) S 11677 11682 5228 0 -1 1077944384 44 12456 0 1 0 0 5 3 20 0 15 0 13251942 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953196205184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11805] ppid=11677 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11805/stat : 11805 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953195153488 139954282080155 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11806] ppid=11677 vsize=14067516 CPUtime=0.96 cores=1,3,5,7
/proc/11682/task/11806/stat : 11806 (java) R 11677 11682 5228 0 -1 4202560 3015 12456 0 1 88 0 5 3 20 0 15 0 13251945 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953194091552 139954274350897 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11807] ppid=11677 vsize=14067516 CPUtime=0.85 cores=1,3,5,7
/proc/11682/task/11807/stat : 11807 (java) R 11677 11682 5228 0 -1 4202560 2770 12456 0 1 76 1 5 3 20 0 15 0 13251945 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953193029576 139954261718480 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11808] ppid=11677 vsize=14067516 CPUtime=0.91 cores=1,3,5,7
/proc/11682/task/11808/stat : 11808 (java) R 11677 11682 5228 0 -1 1077944384 2706 12456 0 1 82 1 5 3 20 0 15 0 13251945 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953191996272 139954282072706 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11809] ppid=11677 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11809/stat : 11809 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953190943712 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11811] ppid=11677 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11811/stat : 11811 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251952 14405136384 70100 18446744073709551615 4194304 4196468 140735129054560 139953189890480 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 14067516
[startup+3.4105 s]
/proc/loadavg: 1.44 1.51 1.77 9/213 11811
/proc/meminfo: memFree=31272032/32770624 swapFree=0/238388
[pid=11682] ppid=11677 vsize=14069288 CPUtime=6.15 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11677 11682 5228 0 -1 1077944320 49798 12456 0 1 591 16 5 3 20 0 15 0 13251908 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 140735129037104 139954282061559 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
/proc/11682/statm: 3517322 71288 3451 1 0 3505944 0
[pid=11682/tid=11792] ppid=11677 vsize=14069288 CPUtime=2.86 cores=1,3,5,7
/proc/11682/task/11792/stat : 11792 (java) S 11677 11682 5228 0 -1 1077944384 36878 12456 0 1 268 10 5 3 20 0 15 0 13251940 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139954286299232 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11793] ppid=11677 vsize=14069288 CPUtime=0.19 cores=1,3,5,7
/proc/11682/task/11793/stat : 11793 (java) S 11677 11682 5228 0 -1 1077944384 68 12456 0 1 11 0 5 3 20 0 15 0 13251941 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139954201475984 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11794] ppid=11677 vsize=14069288 CPUtime=0.17 cores=1,3,5,7
/proc/11682/task/11794/stat : 11794 (java) S 11677 11682 5228 0 -1 1077944384 17 12456 0 1 9 0 5 3 20 0 15 0 13251941 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139954200423184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11795] ppid=11677 vsize=14069288 CPUtime=0.14 cores=1,3,5,7
/proc/11682/task/11795/stat : 11795 (java) S 11677 11682 5228 0 -1 1077944384 213 12456 0 1 6 0 5 3 20 0 15 0 13251941 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139954199370896 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11796] ppid=11677 vsize=14069288 CPUtime=0.16 cores=1,3,5,7
/proc/11682/task/11796/stat : 11796 (java) S 11677 11682 5228 0 -1 1077944384 66 12456 0 1 8 0 5 3 20 0 15 0 13251941 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139954198318096 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11802] ppid=11677 vsize=14069288 CPUtime=0.17 cores=1,3,5,7
/proc/11682/task/11802/stat : 11802 (java) R 11677 11682 5228 0 -1 4202560 816 12456 0 1 9 0 5 3 20 0 15 0 13251942 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953198309824 139954267067489 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11803] ppid=11677 vsize=14069288 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11803/stat : 11803 (java) S 11677 11682 5228 0 -1 1077944384 56 12456 0 1 0 0 5 3 20 0 15 0 13251942 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953197256832 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11804] ppid=11677 vsize=14069288 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11804/stat : 11804 (java) S 11677 11682 5228 0 -1 1077944384 45 12456 0 1 0 0 5 3 20 0 15 0 13251942 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953196202912 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11805] ppid=11677 vsize=14069288 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11805/stat : 11805 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953195153488 139954282080155 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11806] ppid=11677 vsize=14069288 CPUtime=1.01 cores=1,3,5,7
/proc/11682/task/11806/stat : 11806 (java) S 11677 11682 5228 0 -1 1077944384 3023 12456 0 1 93 0 5 3 20 0 15 0 13251945 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953194101360 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11807] ppid=11677 vsize=14069288 CPUtime=1.06 cores=1,3,5,7
/proc/11682/task/11807/stat : 11807 (java) R 11677 11682 5228 0 -1 4202560 3675 12456 0 1 97 1 5 3 20 0 15 0 13251945 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953193029576 139954266453776 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11808] ppid=11677 vsize=14069288 CPUtime=0.93 cores=1,3,5,7
/proc/11682/task/11808/stat : 11808 (java) S 11677 11682 5228 0 -1 1077944384 2777 12456 0 1 84 1 5 3 20 0 15 0 13251945 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953191996272 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11809] ppid=11677 vsize=14069288 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11809/stat : 11809 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251945 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953190943712 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11811] ppid=11677 vsize=14069288 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11811/stat : 11811 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 15 0 13251952 14406950912 71288 18446744073709551615 4194304 4196468 140735129054560 139953189890480 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 14069288
[startup+3.50072 s]
/proc/loadavg: 1.44 1.51 1.77 9/213 11811
/proc/meminfo: memFree=31272032/32770624 swapFree=0/238388
[pid=11682] ppid=11677 vsize=14136196 CPUtime=6.35 cores=1,3,5,7
/proc/11682/stat : 11682 (java) S 11677 11682 5228 0 -1 1077944320 56795 12456 0 1 611 16 5 3 20 0 13 0 13251908 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 140735129037104 139954282061559 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 10 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
/proc/11682/statm: 3534049 71662 3453 1 0 3522671 0
[pid=11682/tid=11792] ppid=11677 vsize=14136196 CPUtime=2.93 cores=1,3,5,7
/proc/11682/task/11792/stat : 11792 (java) S 11677 11682 5228 0 -1 1077944384 39568 12456 0 1 275 10 5 3 20 0 13 0 13251940 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139954286304400 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11793] ppid=11677 vsize=14136196 CPUtime=0.19 cores=1,3,5,7
/proc/11682/task/11793/stat : 11793 (java) S 11677 11682 5228 0 -1 1077944384 68 12456 0 1 11 0 5 3 20 0 13 0 13251941 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139954201475984 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11794] ppid=11677 vsize=14136196 CPUtime=0.18 cores=1,3,5,7
/proc/11682/task/11794/stat : 11794 (java) S 11677 11682 5228 0 -1 1077944384 17 12456 0 1 10 0 5 3 20 0 13 0 13251941 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139954200423184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11795] ppid=11677 vsize=14136196 CPUtime=0.14 cores=1,3,5,7
/proc/11682/task/11795/stat : 11795 (java) S 11677 11682 5228 0 -1 1077944384 213 12456 0 1 6 0 5 3 20 0 13 0 13251941 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139954199370896 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11796] ppid=11677 vsize=14136196 CPUtime=0.17 cores=1,3,5,7
/proc/11682/task/11796/stat : 11796 (java) S 11677 11682 5228 0 -1 1077944384 66 12456 0 1 9 0 5 3 20 0 13 0 13251941 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139954198318096 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11802] ppid=11677 vsize=14136196 CPUtime=0.17 cores=1,3,5,7
/proc/11682/task/11802/stat : 11802 (java) S 11677 11682 5228 0 -1 1077944384 1448 12456 0 1 9 0 5 3 20 0 13 0 13251942 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139953198311744 139954282072706 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11803] ppid=11677 vsize=14136196 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11803/stat : 11803 (java) S 11677 11682 5228 0 -1 1077944384 56 12456 0 1 0 0 5 3 20 0 13 0 13251942 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139953197257568 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11804] ppid=11677 vsize=14136196 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11804/stat : 11804 (java) S 11677 11682 5228 0 -1 1077944384 45 12456 0 1 0 0 5 3 20 0 13 0 13251942 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139953196205184 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11806] ppid=11677 vsize=14136196 CPUtime=1.01 cores=1,3,5,7
/proc/11682/task/11806/stat : 11806 (java) S 11677 11682 5228 0 -1 1077944384 3032 12456 0 1 93 0 5 3 20 0 13 0 13251945 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139953194086320 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11807] ppid=11677 vsize=14136196 CPUtime=1.14 cores=1,3,5,7
/proc/11682/task/11807/stat : 11807 (java) R 11677 11682 5228 0 -1 4202560 6384 12456 0 1 105 1 5 3 20 0 13 0 13251945 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139953193034584 139954263587086 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11808] ppid=11677 vsize=14136196 CPUtime=0.95 cores=1,3,5,7
/proc/11682/task/11808/stat : 11808 (java) S 11677 11682 5228 0 -1 1077944384 3662 12456 0 1 86 1 5 3 20 0 13 0 13251945 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139953191996272 139954282072706 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
[pid=11682/tid=11809] ppid=11677 vsize=14136196 CPUtime=0.08 cores=1,3,5,7
/proc/11682/task/11809/stat : 11809 (java) S 11677 11682 5228 0 -1 1077944384 3 12456 0 1 0 0 5 3 20 0 13 0 13251945 14475464704 71662 18446744073709551615 4194304 4196468 140735129054560 139953190943712 139954282071765 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29790208 140735129057229 140735129060014 140735129060014 140735129063375 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 14136196
Child status: 0
Real time (s): 3.52682
CPU time (s): 6.38724
CPU user time (s): 6.17961
CPU system time (s): 0.207628
CPU usage (%): 181.105
Max. virtual memory (cumulated for all children) (KiB): 14136196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.17961
system time used= 0.207628
maximum resident set size= 287052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69284
page faults= 1
swaps= 0
block input operations= 72
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5061
involuntary context switches= 731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015863 second user time and 0.026846 second system time
The end