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-4257537-1501646638/watcher-4257537-1501646638 -o /tmp/evaluation-result-4257537-1501646638/solver-4257537-1501646638 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27505 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257537-1501646638.xml
pid=503
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: 2.00 1.98 1.96 3/195 506
/proc/meminfo: memFree=31627696/32770624 swapFree=0/221712
[pid=506] ppid=503 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/506/stat : 506 (runsolver) D 503 506 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13284033 24240128 106 18446744073709551615 4194304 4338465 140734720780480 140734720778120 140324317323991 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 27045888 140734720786591 140734720787014 140734720787014 140734720790474 0
/proc/506/statm: 5918 106 53 36 0 2156 0
[startup+0.109065 s]
/proc/loadavg: 2.00 1.98 1.96 3/195 506
/proc/meminfo: memFree=31627696/32770624 swapFree=0/221712
[pid=506] ppid=503 vsize=9953008 CPUtime=0.01 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 3663 0 0 0 1 0 0 0 20 0 7 0 13284033 10191880192 4377 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2488252 4377 1974 1 0 2477757 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9953008
[startup+0.200343 s]
/proc/loadavg: 2.00 1.98 1.96 3/195 506
/proc/meminfo: memFree=31627696/32770624 swapFree=0/221712
[pid=506] ppid=503 vsize=10551180 CPUtime=0.07 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 5108 0 0 0 6 1 0 0 20 0 15 0 13284033 10804408320 6593 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2637795 6593 2649 1 0 2627269 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551180
[startup+0.300218 s]
/proc/loadavg: 2.00 1.98 1.96 3/195 506
/proc/meminfo: memFree=31627696/32770624 swapFree=0/221712
[pid=506] ppid=503 vsize=10551180 CPUtime=0.24 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 8882 0 0 0 22 2 0 0 20 0 15 0 13284033 10804408320 9670 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2637795 9670 2892 1 0 2627269 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551180
[startup+0.700188 s]
/proc/loadavg: 2.00 1.98 1.96 3/195 506
/proc/meminfo: memFree=31627696/32770624 swapFree=0/221712
[pid=506] ppid=503 vsize=10621952 CPUtime=1.23 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 13740 0 0 0 117 6 0 0 20 0 16 0 13284033 10876878848 26486 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2655488 26486 3054 1 0 2644422 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 2.00 1.98 1.96 5/212 542
/proc/meminfo: memFree=31403524/32770624 swapFree=0/221844
[pid=506] ppid=503 vsize=10621952 CPUtime=3.47 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 16018 0 0 0 332 15 0 0 20 0 16 0 13284033 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2655488 86782 3107 1 0 2644422 0
[pid=506/tid=508] ppid=503 vsize=10621952 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10621952 CPUtime=0.04 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 35 0 0 0 3 1 0 0 20 0 16 0 13284042 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10621952 CPUtime=0.06 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 253 0 0 0 5 1 0 0 20 0 16 0 13284042 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10621952 CPUtime=0.04 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 35 0 0 0 3 1 0 0 20 0 16 0 13284042 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10621952 CPUtime=0.05 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 120 0 0 0 4 1 0 0 20 0 16 0 13284042 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13284044 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=515] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/515/stat : 515 (java) S 503 506 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13284044 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408273109792 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=516] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/516/stat : 516 (java) S 503 506 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13284044 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408272057456 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=517] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/517/stat : 517 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408271005776 140408709969819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=518] ppid=503 vsize=10621952 CPUtime=0.8 cores=1,3,5,7
/proc/506/task/518/stat : 518 (java) R 503 506 5131 0 -1 4202560 1873 0 0 0 80 0 0 0 20 0 16 0 13284047 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408269941264 140408702240672 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=519] ppid=503 vsize=10621952 CPUtime=0.81 cores=1,3,5,7
/proc/506/task/519/stat : 519 (java) R 503 506 5131 0 -1 4202560 2202 0 0 0 81 0 0 0 20 0 16 0 13284047 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408268889168 140408687546128 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=520] ppid=503 vsize=10621952 CPUtime=0.31 cores=1,3,5,7
/proc/506/task/520/stat : 520 (java) S 503 506 5131 0 -1 1077944384 1654 0 0 0 31 0 0 0 20 0 16 0 13284047 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408267848560 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=521] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/521/stat : 521 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408266796000 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=522] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/522/stat : 522 (java) S 503 506 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13284051 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408265742768 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=533] ppid=503 vsize=10621952 CPUtime=1.06 cores=1,3,5,7
/proc/506/task/533/stat : 533 (java) R 503 506 5131 0 -1 4202560 2213 0 0 0 102 4 0 0 20 0 16 0 13284068 10876878848 86782 18446744073709551615 4194304 4196468 140725340590992 140408262551632 140408336258657 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10621952
[startup+3.10072 s]
/proc/loadavg: 2.08 1.99 1.96 5/212 542
/proc/meminfo: memFree=31240800/32770624 swapFree=0/221840
[pid=506] ppid=503 vsize=10621952 CPUtime=7.45 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 20449 0 0 0 710 35 0 0 20 0 16 0 13284033 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2655488 170838 3124 1 0 2644422 0
[pid=506/tid=508] ppid=503 vsize=10621952 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10621952 CPUtime=0.14 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 131 0 0 0 10 4 0 0 20 0 16 0 13284042 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10621952 CPUtime=0.18 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 399 0 0 0 12 6 0 0 20 0 16 0 13284042 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10621952 CPUtime=0.14 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 307 0 0 0 9 5 0 0 20 0 16 0 13284042 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10621952 CPUtime=0.15 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 356 0 0 0 10 5 0 0 20 0 16 0 13284042 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 16 0 13284044 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=515] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/515/stat : 515 (java) S 503 506 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13284044 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408273109856 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=516] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/516/stat : 516 (java) S 503 506 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13284044 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408272057456 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=517] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/517/stat : 517 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408271005776 140408709969819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=518] ppid=503 vsize=10621952 CPUtime=1.75 cores=1,3,5,7
/proc/506/task/518/stat : 518 (java) S 503 506 5131 0 -1 1077944384 2544 0 0 0 174 1 0 0 20 0 16 0 13284047 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408269953648 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=519] ppid=503 vsize=10621952 CPUtime=1.72 cores=1,3,5,7
/proc/506/task/519/stat : 519 (java) S 503 506 5131 0 -1 1077944384 2492 0 0 0 172 0 0 0 20 0 16 0 13284047 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408268900848 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=520] ppid=503 vsize=10621952 CPUtime=0.55 cores=1,3,5,7
/proc/506/task/520/stat : 520 (java) S 503 506 5131 0 -1 1077944384 2218 0 0 0 54 1 0 0 20 0 16 0 13284047 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408267848560 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=521] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/521/stat : 521 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408266796000 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=522] ppid=503 vsize=10621952 CPUtime=0 cores=1,3,5,7
/proc/506/task/522/stat : 522 (java) S 503 506 5131 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 13284051 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408265742768 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=533] ppid=503 vsize=10621952 CPUtime=2.54 cores=1,3,5,7
/proc/506/task/533/stat : 533 (java) R 503 506 5131 0 -1 4202560 4220 0 0 0 247 7 0 0 20 0 16 0 13284068 10876878848 170838 18446744073709551615 4194304 4196468 140725340590992 140408262548784 140408342805352 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 10621952
[startup+6.30071 s]
/proc/loadavg: 2.08 1.99 1.96 3/212 542
/proc/meminfo: memFree=30797660/32770624 swapFree=0/221856
[pid=506] ppid=503 vsize=10624000 CPUtime=11.97 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 31660 0 0 0 1149 48 0 0 20 0 16 0 13284033 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2656000 209256 3136 1 0 2644934 0
[pid=506/tid=508] ppid=503 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 422 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10624000 CPUtime=0.28 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 470 0 0 0 20 8 0 0 20 0 16 0 13284042 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10624000 CPUtime=0.24 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 1053 0 0 0 17 7 0 0 20 0 16 0 13284042 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 512 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 1173 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=515] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/515/stat : 515 (java) S 503 506 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408273109856 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=516] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/516/stat : 516 (java) S 503 506 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408272057456 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=517] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/517/stat : 517 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408271005776 140408709969819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=518] ppid=503 vsize=10624000 CPUtime=2.18 cores=1,3,5,7
/proc/506/task/518/stat : 518 (java) S 503 506 5131 0 -1 1077944384 3745 0 0 0 217 1 0 0 20 0 16 0 13284047 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408269953648 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=519] ppid=503 vsize=10624000 CPUtime=2.12 cores=1,3,5,7
/proc/506/task/519/stat : 519 (java) S 503 506 5131 0 -1 1077944384 3853 0 0 0 211 1 0 0 20 0 16 0 13284047 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408268900848 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=520] ppid=503 vsize=10624000 CPUtime=0.72 cores=1,3,5,7
/proc/506/task/520/stat : 520 (java) S 503 506 5131 0 -1 1077944384 4837 0 0 0 71 1 0 0 20 0 16 0 13284047 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408267848560 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=521] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/521/stat : 521 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408266796000 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=522] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/522/stat : 522 (java) S 503 506 5131 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 13284051 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408265742768 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=533] ppid=503 vsize=10624000 CPUtime=5.63 cores=1,3,5,7
/proc/506/task/533/stat : 533 (java) R 503 506 5131 0 -1 4202560 8007 0 0 0 554 9 0 0 20 0 16 0 13284068 10878976000 209256 18446744073709551615 4194304 4196468 140725340590992 140408262552320 140408344723865 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 10624000
[startup+12.7007 s]
/proc/loadavg: 1.99 1.98 1.96 6/212 646
/proc/meminfo: memFree=30916672/32770624 swapFree=0/221880
[pid=506] ppid=503 vsize=10624000 CPUtime=18.63 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 36488 0 0 0 1814 49 0 0 20 0 16 0 13284033 10878976000 209302 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2656000 209302 3137 1 0 2644934 0
[pid=506/tid=508] ppid=503 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10878976000 209302 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 422 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209302 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10624000 CPUtime=0.28 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 470 0 0 0 20 8 0 0 20 0 16 0 13284042 10878976000 209302 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10624000 CPUtime=0.24 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 1053 0 0 0 17 7 0 0 20 0 16 0 13284042 10878976000 209302 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 512 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209302 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 1236 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209302 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
################
# More data... #
################
/proc/meminfo: memFree=30892740/32770624 swapFree=0/221956
[pid=506] ppid=503 vsize=10624000 CPUtime=108.47 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 47389 0 0 0 10796 51 0 0 20 0 16 0 13284033 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2656000 209326 3143 1 0 2644934 0
[pid=506/tid=508] ppid=503 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 422 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10624000 CPUtime=0.28 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 470 0 0 0 20 8 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10624000 CPUtime=0.24 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 1053 0 0 0 17 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 512 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 1315 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=515] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/515/stat : 515 (java) S 503 506 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408273109856 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=516] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/516/stat : 516 (java) S 503 506 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408272057456 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=517] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/517/stat : 517 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408271005776 140408709969819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=518] ppid=503 vsize=10624000 CPUtime=2.34 cores=1,3,5,7
/proc/506/task/518/stat : 518 (java) S 503 506 5131 0 -1 1077944384 6182 0 0 0 233 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408269953648 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=519] ppid=503 vsize=10624000 CPUtime=2.32 cores=1,3,5,7
/proc/506/task/519/stat : 519 (java) S 503 506 5131 0 -1 1077944384 7341 0 0 0 231 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408268900848 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=520] ppid=503 vsize=10624000 CPUtime=0.8 cores=1,3,5,7
/proc/506/task/520/stat : 520 (java) S 503 506 5131 0 -1 1077944384 9428 0 0 0 78 2 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408267848560 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=521] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/521/stat : 521 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408266796000 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=522] ppid=503 vsize=10624000 CPUtime=0.06 cores=1,3,5,7
/proc/506/task/522/stat : 522 (java) S 503 506 5131 0 -1 1077944384 268 0 0 0 3 3 0 0 20 0 16 0 13284051 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408265742768 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=533] ppid=503 vsize=10624000 CPUtime=101.63 cores=1,3,5,7
/proc/506/task/533/stat : 533 (java) R 503 506 5131 0 -1 4202560 12849 0 0 0 10154 9 0 0 20 0 16 0 13284068 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408262550792 140408338506283 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
Current children cumulated CPU time (s) 108.47
Current children cumulated vsize (KiB) 10624000
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.96 4/212 650
/proc/meminfo: memFree=30892412/32770624 swapFree=0/221988
[pid=506] ppid=503 vsize=10624000 CPUtime=168.52 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 49487 0 0 0 16798 54 0 0 20 0 16 0 13284033 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2656000 209326 3143 1 0 2644934 0
[pid=506/tid=508] ppid=503 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 422 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10624000 CPUtime=0.28 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 470 0 0 0 20 8 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10624000 CPUtime=0.24 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 1053 0 0 0 17 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 512 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 1324 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=515] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/515/stat : 515 (java) S 503 506 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408273109856 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=516] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/516/stat : 516 (java) S 503 506 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408272057456 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=517] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/517/stat : 517 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408271005776 140408709969819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=518] ppid=503 vsize=10624000 CPUtime=2.35 cores=1,3,5,7
/proc/506/task/518/stat : 518 (java) S 503 506 5131 0 -1 1077944384 7017 0 0 0 234 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408269953648 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=519] ppid=503 vsize=10624000 CPUtime=2.32 cores=1,3,5,7
/proc/506/task/519/stat : 519 (java) S 503 506 5131 0 -1 1077944384 7355 0 0 0 231 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408268900848 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=520] ppid=503 vsize=10624000 CPUtime=0.8 cores=1,3,5,7
/proc/506/task/520/stat : 520 (java) S 503 506 5131 0 -1 1077944384 9442 0 0 0 78 2 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408267848560 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=521] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/521/stat : 521 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408266796000 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=522] ppid=503 vsize=10624000 CPUtime=0.09 cores=1,3,5,7
/proc/506/task/522/stat : 522 (java) S 503 506 5131 0 -1 1077944384 310 0 0 0 4 5 0 0 20 0 16 0 13284051 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408265742768 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=533] ppid=503 vsize=10624000 CPUtime=161.62 cores=1,3,5,7
/proc/506/task/533/stat : 533 (java) R 503 506 5131 0 -1 4202560 14033 0 0 0 16152 10 0 0 20 0 16 0 13284068 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408262550552 140408338451267 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
Current children cumulated CPU time (s) 168.52
Current children cumulated vsize (KiB) 10624000
[startup+222.307 s]
/proc/loadavg: 2.05 2.00 1.96 4/212 652
/proc/meminfo: memFree=30892384/32770624 swapFree=0/222012
[pid=506] ppid=503 vsize=10624000 CPUtime=228.56 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 50124 0 0 0 22800 56 0 0 20 0 16 0 13284033 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2656000 209326 3143 1 0 2644934 0
[pid=506/tid=508] ppid=503 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 422 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10624000 CPUtime=0.28 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 470 0 0 0 20 8 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10624000 CPUtime=0.24 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 1053 0 0 0 17 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 512 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 1333 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=515] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/515/stat : 515 (java) S 503 506 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408273109856 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=516] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/516/stat : 516 (java) S 503 506 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408272057456 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=517] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/517/stat : 517 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408271005776 140408709969819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=518] ppid=503 vsize=10624000 CPUtime=2.35 cores=1,3,5,7
/proc/506/task/518/stat : 518 (java) S 503 506 5131 0 -1 1077944384 7020 0 0 0 234 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408269953648 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=519] ppid=503 vsize=10624000 CPUtime=2.32 cores=1,3,5,7
/proc/506/task/519/stat : 519 (java) S 503 506 5131 0 -1 1077944384 7369 0 0 0 231 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408268900848 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=520] ppid=503 vsize=10624000 CPUtime=0.8 cores=1,3,5,7
/proc/506/task/520/stat : 520 (java) S 503 506 5131 0 -1 1077944384 9445 0 0 0 78 2 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408267848560 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=521] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/521/stat : 521 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408266796000 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=522] ppid=503 vsize=10624000 CPUtime=0.12 cores=1,3,5,7
/proc/506/task/522/stat : 522 (java) S 503 506 5131 0 -1 1077944384 345 0 0 0 5 7 0 0 20 0 16 0 13284051 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408265742768 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=533] ppid=503 vsize=10624000 CPUtime=221.62 cores=1,3,5,7
/proc/506/task/533/stat : 533 (java) R 503 506 5131 0 -1 4202560 14606 0 0 0 22152 10 0 0 20 0 16 0 13284068 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408262550552 140408338451645 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
Current children cumulated CPU time (s) 228.56
Current children cumulated vsize (KiB) 10624000
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.04 2.00 1.96 4/212 653
/proc/meminfo: memFree=30892276/32770624 swapFree=0/222020
[pid=506] ppid=503 vsize=10624000 CPUtime=246.26 cores=1,3,5,7
/proc/506/stat : 506 (java) S 503 506 5131 0 -1 1077944320 50201 0 0 0 24570 56 0 0 20 0 16 0 13284033 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140725340573536 140408709951223 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
/proc/506/statm: 2656000 209326 3143 1 0 2644934 0
[pid=506/tid=508] ppid=503 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/506/task/508/stat : 508 (java) S 503 506 5131 0 -1 1077944384 6191 0 0 0 19 2 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408714194096 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=510] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/510/stat : 510 (java) S 503 506 5131 0 -1 1077944384 422 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408656300944 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=511] ppid=503 vsize=10624000 CPUtime=0.28 cores=1,3,5,7
/proc/506/task/511/stat : 511 (java) S 503 506 5131 0 -1 1077944384 470 0 0 0 20 8 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408320219920 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=512] ppid=503 vsize=10624000 CPUtime=0.24 cores=1,3,5,7
/proc/506/task/512/stat : 512 (java) S 503 506 5131 0 -1 1077944384 1053 0 0 0 17 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408319167632 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=513] ppid=503 vsize=10624000 CPUtime=0.25 cores=1,3,5,7
/proc/506/task/513/stat : 513 (java) S 503 506 5131 0 -1 1077944384 512 0 0 0 18 7 0 0 20 0 16 0 13284042 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408318114832 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=514] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/514/stat : 514 (java) S 503 506 5131 0 -1 1077944384 1333 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408274163824 140408709962370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=515] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/515/stat : 515 (java) S 503 506 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408273109856 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=516] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/516/stat : 516 (java) S 503 506 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13284044 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408272057456 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=517] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/517/stat : 517 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408271005776 140408709969819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=518] ppid=503 vsize=10624000 CPUtime=2.35 cores=1,3,5,7
/proc/506/task/518/stat : 518 (java) S 503 506 5131 0 -1 1077944384 7020 0 0 0 234 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408269953648 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=519] ppid=503 vsize=10624000 CPUtime=2.32 cores=1,3,5,7
/proc/506/task/519/stat : 519 (java) S 503 506 5131 0 -1 1077944384 7369 0 0 0 231 1 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408268900848 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=520] ppid=503 vsize=10624000 CPUtime=0.8 cores=1,3,5,7
/proc/506/task/520/stat : 520 (java) S 503 506 5131 0 -1 1077944384 9445 0 0 0 78 2 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408267848560 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=521] ppid=503 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/506/task/521/stat : 521 (java) S 503 506 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13284047 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408266796000 140408709961429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=522] ppid=503 vsize=10624000 CPUtime=0.14 cores=1,3,5,7
/proc/506/task/522/stat : 522 (java) S 503 506 5131 0 -1 1077944384 345 0 0 0 6 8 0 0 20 0 16 0 13284051 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408265742768 140408709962370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
[pid=506/tid=533] ppid=503 vsize=10624000 CPUtime=239.31 cores=1,3,5,7
/proc/506/task/533/stat : 533 (java) R 503 506 5131 0 -1 4202560 14683 0 0 0 23921 10 0 0 20 0 16 0 13284068 10878976000 209326 18446744073709551615 4194304 4196468 140725340590992 140408262550552 140408338451302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34131968 140725340598730 140725340598859 140725340598859 140725340602319 0
Current children cumulated CPU time (s) 246.26
Current children cumulated vsize (KiB) 10624000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 506 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.015
CPU time (s): 246.289
CPU user time (s): 245.712
CPU system time (s): 0.577318
CPU usage (%): 102.614
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.712
system time used= 0.577318
maximum resident set size= 837840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8544
involuntary context switches= 103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02542 second user time and 1.58632 second system time
The end