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-4257534-1501646406/watcher-4257534-1501646406 -o /tmp/evaluation-result-4257534-1501646406/solver-4257534-1501646406 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27504 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257534-1501646406.xml
pid=411
running on 4 cores: 0,2,4,6
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.14 1.97 1.96 3/195 414
/proc/meminfo: memFree=31777224/32770624 swapFree=0/221280
[pid=414] ppid=411 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/414/stat : 414 (runsolver) D 411 414 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13260890 24240128 107 18446744073709551615 4194304 4338465 140736527328096 140736527325736 139921724789463 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 13352960 140736527335583 140736527336006 140736527336006 140736527339466 0
/proc/414/statm: 5918 107 54 36 0 2156 0
[startup+0.100111 s]
/proc/loadavg: 2.14 1.97 1.96 3/195 414
/proc/meminfo: memFree=31777224/32770624 swapFree=0/221280
[pid=414] ppid=411 vsize=8345500 CPUtime=0 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 1966 0 0 0 0 0 0 0 20 0 2 0 13260890 8545792000 2153 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2086375 2153 1159 1 0 2076353 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8345500
[startup+0.209765 s]
/proc/loadavg: 2.14 1.97 1.96 3/195 414
/proc/meminfo: memFree=31777224/32770624 swapFree=0/221280
[pid=414] ppid=411 vsize=10551180 CPUtime=0.07 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 4993 0 0 0 7 0 0 0 20 0 15 0 13260890 10804408320 6526 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2637795 6526 2666 1 0 2627269 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551180
[startup+0.300644 s]
/proc/loadavg: 2.14 1.97 1.96 3/195 414
/proc/meminfo: memFree=31777224/32770624 swapFree=0/221280
[pid=414] ppid=411 vsize=10551180 CPUtime=0.24 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 8725 0 0 0 21 3 0 0 20 0 15 0 13260890 10804408320 9009 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2637795 9009 2859 1 0 2627269 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551180
[startup+0.707738 s]
/proc/loadavg: 2.14 1.97 1.96 3/195 414
/proc/meminfo: memFree=31777224/32770624 swapFree=0/221280
[pid=414] ppid=411 vsize=10621952 CPUtime=1.26 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 13587 0 0 0 121 5 0 0 20 0 16 0 13260890 10876878848 21258 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2655488 21258 3060 1 0 2644422 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 2.14 1.97 1.96 8/211 431
/proc/meminfo: memFree=31619892/32770624 swapFree=0/221564
[pid=414] ppid=411 vsize=10621952 CPUtime=3.74 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 16323 0 0 0 365 9 0 0 20 0 16 0 13260890 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2655488 50417 3107 1 0 2644422 0
[pid=414/tid=416] ppid=411 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 16 0 13260900 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 13260900 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 13260900 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 13260900 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13260901 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=423] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/423/stat : 423 (java) S 411 414 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13260902 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469808325920 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=424] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/424/stat : 424 (java) S 411 414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13260902 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469807273584 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=425] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/425/stat : 425 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469806221904 140470246197147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=426] ppid=411 vsize=10621952 CPUtime=0.91 cores=0,2,4,6
/proc/414/task/426/stat : 426 (java) R 411 414 5131 0 -1 4202560 1636 0 0 0 91 0 0 0 20 0 16 0 13260904 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469805168752 140470224594789 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=427] ppid=411 vsize=10621952 CPUtime=0.91 cores=0,2,4,6
/proc/414/task/427/stat : 427 (java) R 411 414 5131 0 -1 4202560 1656 0 0 0 91 0 0 0 20 0 16 0 13260904 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469804115952 140470229670979 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=428] ppid=411 vsize=10621952 CPUtime=0.51 cores=0,2,4,6
/proc/414/task/428/stat : 428 (java) S 411 414 5131 0 -1 1077944384 2408 0 0 0 50 1 0 0 20 0 16 0 13260904 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469803063664 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=429] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/429/stat : 429 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469802011104 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=430] ppid=411 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/414/task/430/stat : 430 (java) S 411 414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13260909 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469800958896 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=431] ppid=411 vsize=10621952 CPUtime=1.11 cores=0,2,4,6
/proc/414/task/431/stat : 431 (java) R 411 414 5131 0 -1 4202560 2877 0 0 0 108 3 0 0 20 0 16 0 13260926 10876878848 50417 18446744073709551615 4194304 4196468 140736912814464 140469797761856 140469880671271 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 10621952
[startup+3.10075 s]
/proc/loadavg: 2.14 1.97 1.96 3/211 431
/proc/meminfo: memFree=31544032/32770624 swapFree=0/221564
[pid=414] ppid=411 vsize=10624000 CPUtime=6.7 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 19932 0 0 0 657 13 0 0 20 0 16 0 13260890 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2656000 60414 3123 1 0 2644934 0
[pid=414/tid=416] ppid=411 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 16 0 13260900 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 13260900 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13260901 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=423] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/423/stat : 423 (java) S 411 414 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469808325920 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=424] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/424/stat : 424 (java) S 411 414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469807273584 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=425] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/425/stat : 425 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469806221904 140470246197147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=426] ppid=411 vsize=10624000 CPUtime=1.49 cores=0,2,4,6
/proc/414/task/426/stat : 426 (java) S 411 414 5131 0 -1 1077944384 2064 0 0 0 149 0 0 0 20 0 16 0 13260904 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469805168752 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=427] ppid=411 vsize=10624000 CPUtime=1.48 cores=0,2,4,6
/proc/414/task/427/stat : 427 (java) S 411 414 5131 0 -1 1077944384 2021 0 0 0 148 0 0 0 20 0 16 0 13260904 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469804115952 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=428] ppid=411 vsize=10624000 CPUtime=0.65 cores=0,2,4,6
/proc/414/task/428/stat : 428 (java) S 411 414 5131 0 -1 1077944384 2769 0 0 0 64 1 0 0 20 0 16 0 13260904 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469803063664 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=429] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/429/stat : 429 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469802011104 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=430] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/430/stat : 430 (java) S 411 414 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13260909 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469800958896 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=431] ppid=411 vsize=10624000 CPUtime=2.67 cores=0,2,4,6
/proc/414/task/431/stat : 431 (java) R 411 414 5131 0 -1 4202560 5032 0 0 0 263 4 0 0 20 0 16 0 13260926 10878976000 60414 18446744073709551615 4194304 4196468 140736912814464 140469797766208 140469882248367 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10624000
[startup+6.30067 s]
/proc/loadavg: 2.13 1.97 1.96 4/211 431
/proc/meminfo: memFree=31543628/32770624 swapFree=0/221572
[pid=414] ppid=411 vsize=10624000 CPUtime=9.99 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 24566 0 0 0 986 13 0 0 20 0 16 0 13260890 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2656000 60562 3126 1 0 2644934 0
[pid=414/tid=416] ppid=411 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 16 0 13260900 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 13260900 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 16 0 13260901 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=423] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/423/stat : 423 (java) S 411 414 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469808325920 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=424] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/424/stat : 424 (java) S 411 414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469807273584 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=425] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/425/stat : 425 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469806221904 140470246197147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=426] ppid=411 vsize=10624000 CPUtime=1.54 cores=0,2,4,6
/proc/414/task/426/stat : 426 (java) S 411 414 5131 0 -1 1077944384 3362 0 0 0 154 0 0 0 20 0 16 0 13260904 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469805168752 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=427] ppid=411 vsize=10624000 CPUtime=1.51 cores=0,2,4,6
/proc/414/task/427/stat : 427 (java) S 411 414 5131 0 -1 1077944384 2447 0 0 0 151 0 0 0 20 0 16 0 13260904 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469804115952 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=428] ppid=411 vsize=10624000 CPUtime=0.67 cores=0,2,4,6
/proc/414/task/428/stat : 428 (java) S 411 414 5131 0 -1 1077944384 4309 0 0 0 66 1 0 0 20 0 16 0 13260904 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469803063664 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=429] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/429/stat : 429 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469802011104 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=430] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/430/stat : 430 (java) S 411 414 5131 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 16 0 13260909 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469800958896 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=431] ppid=411 vsize=10624000 CPUtime=5.87 cores=0,2,4,6
/proc/414/task/431/stat : 431 (java) R 411 414 5131 0 -1 4202560 5907 0 0 0 583 4 0 0 20 0 16 0 13260926 10878976000 60562 18446744073709551615 4194304 4196468 140736912814464 140469797766208 140469882239147 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (KiB) 10624000
[startup+12.7007 s]
/proc/loadavg: 2.04 1.95 1.96 3/211 431
/proc/meminfo: memFree=31543380/32770624 swapFree=0/221576
[pid=414] ppid=411 vsize=10624000 CPUtime=16.42 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 25766 0 0 0 1628 14 0 0 20 0 16 0 13260890 10878976000 60577 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2656000 60577 3127 1 0 2644934 0
[pid=414/tid=416] ppid=411 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10878976000 60577 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 16 0 13260900 10878976000 60577 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 13260900 10878976000 60577 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60577 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60577 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 16 0 13260901 10878976000 60577 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
################
# More data... #
################
/proc/meminfo: memFree=31542268/32770624 swapFree=0/221644
[pid=414] ppid=411 vsize=10624000 CPUtime=106.11 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 31682 0 0 0 10596 15 0 0 20 0 16 0 13260890 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2656000 60607 3132 1 0 2644934 0
[pid=414/tid=416] ppid=411 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 16 0 13260901 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=423] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/423/stat : 423 (java) S 411 414 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469808325920 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=424] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/424/stat : 424 (java) S 411 414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469807273584 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=425] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/425/stat : 425 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469806221904 140470246197147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=426] ppid=411 vsize=10624000 CPUtime=1.58 cores=0,2,4,6
/proc/414/task/426/stat : 426 (java) S 411 414 5131 0 -1 1077944384 4173 0 0 0 158 0 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469805168752 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=427] ppid=411 vsize=10624000 CPUtime=1.55 cores=0,2,4,6
/proc/414/task/427/stat : 427 (java) S 411 414 5131 0 -1 1077944384 4566 0 0 0 155 0 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469804115952 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=428] ppid=411 vsize=10624000 CPUtime=0.69 cores=0,2,4,6
/proc/414/task/428/stat : 428 (java) S 411 414 5131 0 -1 1077944384 5889 0 0 0 68 1 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469803063664 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=429] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/429/stat : 429 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469802011104 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=430] ppid=411 vsize=10624000 CPUtime=0.02 cores=0,2,4,6
/proc/414/task/430/stat : 430 (java) S 411 414 5131 0 -1 1077944384 707 0 0 0 1 1 0 0 20 0 16 0 13260909 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469800958896 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=431] ppid=411 vsize=10624000 CPUtime=101.85 cores=0,2,4,6
/proc/414/task/431/stat : 431 (java) R 411 414 5131 0 -1 4202560 8066 0 0 0 10181 4 0 0 20 0 16 0 13260926 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469797767592 140469882239930 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
Current children cumulated CPU time (s) 106.11
Current children cumulated vsize (KiB) 10624000
[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.96 3/211 438
/proc/meminfo: memFree=31526384/32770624 swapFree=0/221664
[pid=414] ppid=411 vsize=10624000 CPUtime=166.12 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 32389 0 0 0 16596 16 0 0 20 0 16 0 13260890 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2656000 60607 3132 1 0 2644934 0
[pid=414/tid=416] ppid=411 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 16 0 13260901 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=423] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/423/stat : 423 (java) S 411 414 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469808325920 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=424] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/424/stat : 424 (java) S 411 414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469807273584 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=425] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/425/stat : 425 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469806221904 140470246197147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=426] ppid=411 vsize=10624000 CPUtime=1.59 cores=0,2,4,6
/proc/414/task/426/stat : 426 (java) S 411 414 5131 0 -1 1077944384 4173 0 0 0 158 1 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469805168752 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=427] ppid=411 vsize=10624000 CPUtime=1.55 cores=0,2,4,6
/proc/414/task/427/stat : 427 (java) S 411 414 5131 0 -1 1077944384 4566 0 0 0 155 0 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469804115952 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=428] ppid=411 vsize=10624000 CPUtime=0.69 cores=0,2,4,6
/proc/414/task/428/stat : 428 (java) S 411 414 5131 0 -1 1077944384 6129 0 0 0 68 1 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469803063664 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=429] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/429/stat : 429 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469802011104 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=430] ppid=411 vsize=10624000 CPUtime=0.04 cores=0,2,4,6
/proc/414/task/430/stat : 430 (java) S 411 414 5131 0 -1 1077944384 709 0 0 0 2 2 0 0 20 0 16 0 13260909 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469800958896 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=431] ppid=411 vsize=10624000 CPUtime=161.83 cores=0,2,4,6
/proc/414/task/431/stat : 431 (java) R 411 414 5131 0 -1 4202560 8531 0 0 0 16179 4 0 0 20 0 16 0 13260926 10878976000 60607 18446744073709551615 4194304 4196468 140736912814464 140469797768808 140469881983674 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
Current children cumulated CPU time (s) 166.12
Current children cumulated vsize (KiB) 10624000
[startup+222.306 s]
/proc/loadavg: 2.00 1.97 1.96 3/211 440
/proc/meminfo: memFree=31526088/32770624 swapFree=0/221704
[pid=414] ppid=411 vsize=10624000 CPUtime=226.13 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 32951 0 0 0 22596 17 0 0 20 0 16 0 13260890 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2656000 60609 3132 1 0 2644934 0
[pid=414/tid=416] ppid=411 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 16 0 13260901 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=423] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/423/stat : 423 (java) S 411 414 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469808325920 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=424] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/424/stat : 424 (java) S 411 414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469807273584 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=425] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/425/stat : 425 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469806221904 140470246197147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=426] ppid=411 vsize=10624000 CPUtime=1.59 cores=0,2,4,6
/proc/414/task/426/stat : 426 (java) S 411 414 5131 0 -1 1077944384 4184 0 0 0 158 1 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469805168752 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=427] ppid=411 vsize=10624000 CPUtime=1.55 cores=0,2,4,6
/proc/414/task/427/stat : 427 (java) S 411 414 5131 0 -1 1077944384 4572 0 0 0 155 0 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469804115952 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=428] ppid=411 vsize=10624000 CPUtime=0.69 cores=0,2,4,6
/proc/414/task/428/stat : 428 (java) S 411 414 5131 0 -1 1077944384 6132 0 0 0 68 1 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469803063664 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=429] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/429/stat : 429 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469802011104 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=430] ppid=411 vsize=10624000 CPUtime=0.06 cores=0,2,4,6
/proc/414/task/430/stat : 430 (java) S 411 414 5131 0 -1 1077944384 744 0 0 0 3 3 0 0 20 0 16 0 13260909 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469800958896 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=431] ppid=411 vsize=10624000 CPUtime=221.83 cores=0,2,4,6
/proc/414/task/431/stat : 431 (java) R 411 414 5131 0 -1 4202560 9029 0 0 0 22179 4 0 0 20 0 16 0 13260926 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469797768808 140469882248381 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
Current children cumulated CPU time (s) 226.13
Current children cumulated vsize (KiB) 10624000
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.08 1.99 1.96 3/212 542
/proc/meminfo: memFree=30797784/32770624 swapFree=0/221856
[pid=414] ppid=411 vsize=10624000 CPUtime=243.83 cores=0,2,4,6
/proc/414/stat : 414 (java) S 411 414 5131 0 -1 1077944320 32954 0 0 0 24366 17 0 0 20 0 16 0 13260890 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140736912797008 140470246178551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
/proc/414/statm: 2656000 60609 3132 1 0 2644934 0
[pid=414/tid=416] ppid=411 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/414/task/416/stat : 416 (java) S 411 414 5131 0 -1 1077944384 6176 0 0 0 19 2 0 0 20 0 16 0 13260899 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470250421424 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=417] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/417/stat : 417 (java) S 411 414 5131 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470203144592 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=418] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/418/stat : 418 (java) S 411 414 5131 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470202091792 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=420] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/420/stat : 420 (java) S 411 414 5131 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470201039504 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=421] ppid=411 vsize=10624000 CPUtime=0.03 cores=0,2,4,6
/proc/414/task/421/stat : 421 (java) S 411 414 5131 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 16 0 13260900 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140470199986704 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=422] ppid=411 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/414/task/422/stat : 422 (java) S 411 414 5131 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 16 0 13260901 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469809379952 140470246189698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=423] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/423/stat : 423 (java) S 411 414 5131 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469808325920 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=424] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/424/stat : 424 (java) S 411 414 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13260902 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469807273584 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=425] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/425/stat : 425 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469806221904 140470246197147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=426] ppid=411 vsize=10624000 CPUtime=1.59 cores=0,2,4,6
/proc/414/task/426/stat : 426 (java) S 411 414 5131 0 -1 1077944384 4184 0 0 0 158 1 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469805168752 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=427] ppid=411 vsize=10624000 CPUtime=1.55 cores=0,2,4,6
/proc/414/task/427/stat : 427 (java) S 411 414 5131 0 -1 1077944384 4572 0 0 0 155 0 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469804115952 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=428] ppid=411 vsize=10624000 CPUtime=0.69 cores=0,2,4,6
/proc/414/task/428/stat : 428 (java) S 411 414 5131 0 -1 1077944384 6132 0 0 0 68 1 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469803063664 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=429] ppid=411 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/414/task/429/stat : 429 (java) S 411 414 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13260904 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469802011104 140470246188757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=430] ppid=411 vsize=10624000 CPUtime=0.07 cores=0,2,4,6
/proc/414/task/430/stat : 430 (java) S 411 414 5131 0 -1 1077944384 744 0 0 0 4 3 0 0 20 0 16 0 13260909 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469800958896 140470246189698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
[pid=414/tid=431] ppid=411 vsize=10624000 CPUtime=239.52 cores=0,2,4,6
/proc/414/task/431/stat : 431 (java) R 411 414 5131 0 -1 4202560 9032 0 0 0 23948 4 0 0 20 0 16 0 13260926 10878976000 60609 18446744073709551615 4194304 4196468 140736912814464 140469797768808 140469882247915 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37416960 140736912818634 140736912818763 140736912818763 140736912822223 0
Current children cumulated CPU time (s) 243.83
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 414 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.013
CPU time (s): 243.86
CPU user time (s): 243.676
CPU system time (s): 0.184008
CPU usage (%): 101.603
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.676
system time used= 0.184008
maximum resident set size= 244764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33563
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= 7552
involuntary context switches= 456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.858979 second user time and 1.55774 second system time
The end