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-4258083-1501645075/watcher-4258083-1501645075 -o /tmp/evaluation-result-4258083-1501645075/solver-4258083-1501645075 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258083-1501645075.xml
pid=669
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.03 2.66 2.57 2/195 672
/proc/meminfo: memFree=31625956/32770624 swapFree=0/218932
[pid=672] ppid=669 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/672/stat : 672 (runsolver) D 669 672 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13130628 24240128 106 18446744073709551615 4194304 4338465 140735715634016 140735715631656 139777098834647 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 27533312 140735715635335 140735715635782 140735715635782 140735715639242 0
/proc/672/statm: 5918 106 53 36 0 2156 0
[startup+0.100142 s]
/proc/loadavg: 2.03 2.66 2.57 2/195 672
/proc/meminfo: memFree=31625956/32770624 swapFree=0/218932
[pid=672] ppid=669 vsize=10151672 CPUtime=0.04 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 4183 0 0 0 4 0 0 0 20 0 9 0 13130628 10395312128 5307 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2537918 5307 2146 1 0 2527423 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10151672
[startup+0.201871 s]
/proc/loadavg: 2.03 2.66 2.57 2/195 672
/proc/meminfo: memFree=31625956/32770624 swapFree=0/218932
[pid=672] ppid=669 vsize=10551156 CPUtime=0.14 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 7683 0 0 0 12 2 0 0 20 0 15 0 13130628 10804383744 7546 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2637789 7546 2787 1 0 2627269 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10551156
[startup+0.300322 s]
/proc/loadavg: 2.03 2.66 2.57 2/195 672
/proc/meminfo: memFree=31625956/32770624 swapFree=0/218932
[pid=672] ppid=669 vsize=10551156 CPUtime=0.29 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 9736 0 0 0 27 2 0 0 20 0 15 0 13130628 10804383744 9801 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2637789 9801 2854 1 0 2627269 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10551156
[startup+0.701149 s]
/proc/loadavg: 2.03 2.66 2.57 2/195 672
/proc/meminfo: memFree=31625956/32770624 swapFree=0/218932
[pid=672] ppid=669 vsize=10551232 CPUtime=1.45 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 14963 0 0 0 140 5 0 0 20 0 15 0 13130628 10804461568 37049 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2637808 37049 3056 1 0 2627269 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10551232
[startup+1.50074 s]
/proc/loadavg: 2.03 2.66 2.57 5/211 688
/proc/meminfo: memFree=31425440/32770624 swapFree=0/218932
[pid=672] ppid=669 vsize=10617796 CPUtime=3.73 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 16081 0 0 0 364 9 0 0 20 0 16 0 13130628 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2654449 53400 3088 1 0 2643910 0
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=1.37 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 7562 0 0 0 133 4 0 0 20 0 16 0 13130632 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139628388367728 139627995420031 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13130633 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 16 0 13130633 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=680] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/680/stat : 680 (java) S 669 672 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627879728160 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=681] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/681/stat : 681 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627878675312 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=682] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627877623632 139628384151451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=683] ppid=669 vsize=10617796 CPUtime=1.01 cores=1,3,5,7
/proc/672/task/683/stat : 683 (java) S 669 672 5091 0 -1 1077944384 3105 0 0 0 101 0 0 0 20 0 16 0 13130638 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627876572016 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=684] ppid=669 vsize=10617796 CPUtime=0.95 cores=1,3,5,7
/proc/672/task/684/stat : 684 (java) S 669 672 5091 0 -1 1077944384 2213 0 0 0 94 1 0 0 20 0 16 0 13130638 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627875519216 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=685] ppid=669 vsize=10617796 CPUtime=0.28 cores=1,3,5,7
/proc/672/task/685/stat : 685 (java) S 669 672 5091 0 -1 1077944384 1666 0 0 0 28 0 0 0 20 0 16 0 13130638 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627874466416 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=686] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/686/stat : 686 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627873413856 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=687] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/687/stat : 687 (java) S 669 672 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13130642 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627872361136 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=688] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/688/stat : 688 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130721 10872623104 53400 18446744073709551615 4194304 4196468 140728408945072 139627871306672 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 10617796
[startup+3.10072 s]
/proc/loadavg: 2.03 2.66 2.57 3/211 688
/proc/meminfo: memFree=31423720/32770624 swapFree=0/218960
[pid=672] ppid=669 vsize=10617796 CPUtime=6.04 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 16638 0 0 0 595 9 0 0 20 0 16 0 13130628 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2654449 53660 3099 1 0 2643910 0
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=2.97 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 7823 0 0 0 293 4 0 0 20 0 16 0 13130632 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139628388368816 139627998390172 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13130633 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 16 0 13130633 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=680] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/680/stat : 680 (java) S 669 672 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627879728160 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=681] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/681/stat : 681 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627878675312 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=682] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627877623632 139628384151451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=683] ppid=669 vsize=10617796 CPUtime=1.27 cores=1,3,5,7
/proc/672/task/683/stat : 683 (java) S 669 672 5091 0 -1 1077944384 3147 0 0 0 127 0 0 0 20 0 16 0 13130638 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627876572016 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=684] ppid=669 vsize=10617796 CPUtime=1.37 cores=1,3,5,7
/proc/672/task/684/stat : 684 (java) S 669 672 5091 0 -1 1077944384 2433 0 0 0 136 1 0 0 20 0 16 0 13130638 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627875519216 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=685] ppid=669 vsize=10617796 CPUtime=0.3 cores=1,3,5,7
/proc/672/task/685/stat : 685 (java) S 669 672 5091 0 -1 1077944384 1700 0 0 0 30 0 0 0 20 0 16 0 13130638 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627874466416 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=686] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/686/stat : 686 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627873413856 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=687] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/687/stat : 687 (java) S 669 672 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13130642 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627872361136 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=688] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/688/stat : 688 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130721 10872623104 53660 18446744073709551615 4194304 4196468 140728408945072 139627871306672 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 10617796
[startup+6.3007 s]
/proc/loadavg: 2.03 2.65 2.56 3/211 688
/proc/meminfo: memFree=31424648/32770624 swapFree=0/218968
[pid=672] ppid=669 vsize=10617796 CPUtime=9.24 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 17910 0 0 0 915 9 0 0 20 0 16 0 13130628 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2654449 52955 3101 1 0 2643910 0
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=6.17 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 8047 0 0 0 613 4 0 0 20 0 16 0 13130632 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139628388369640 139627997908900 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13130633 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 16 0 13130633 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=680] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/680/stat : 680 (java) S 669 672 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627879728160 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=681] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/681/stat : 681 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627878675312 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=682] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627877623632 139628384151451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=683] ppid=669 vsize=10617796 CPUtime=1.27 cores=1,3,5,7
/proc/672/task/683/stat : 683 (java) S 669 672 5091 0 -1 1077944384 3149 0 0 0 127 0 0 0 20 0 16 0 13130638 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627876572016 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=684] ppid=669 vsize=10617796 CPUtime=1.37 cores=1,3,5,7
/proc/672/task/684/stat : 684 (java) S 669 672 5091 0 -1 1077944384 2435 0 0 0 136 1 0 0 20 0 16 0 13130638 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627875519216 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=685] ppid=669 vsize=10617796 CPUtime=0.3 cores=1,3,5,7
/proc/672/task/685/stat : 685 (java) S 669 672 5091 0 -1 1077944384 1852 0 0 0 30 0 0 0 20 0 16 0 13130638 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627874466416 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=686] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/686/stat : 686 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627873413856 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=687] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/687/stat : 687 (java) S 669 672 5091 0 -1 1077944384 584 0 0 0 0 0 0 0 20 0 16 0 13130642 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627872361136 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=688] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/688/stat : 688 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130721 10872623104 52955 18446744073709551615 4194304 4196468 140728408945072 139627871306672 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 10617796
[startup+12.7007 s]
/proc/loadavg: 2.03 2.64 2.56 3/211 688
/proc/meminfo: memFree=31424404/32770624 swapFree=0/218976
[pid=672] ppid=669 vsize=10617796 CPUtime=15.64 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 18590 0 0 0 1555 9 0 0 20 0 16 0 13130628 10872623104 52989 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2654449 52989 3101 1 0 2643910 0
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=12.57 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 8368 0 0 0 1253 4 0 0 20 0 16 0 13130632 10872623104 52989 18446744073709551615 4194304 4196468 140728408945072 139628388371336 139627998161446 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 52989 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 13130633 10872623104 52989 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 13130633 10872623104 52989 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 23 0 0 0 2 0 0 0 20 0 16 0 13130633 10872623104 52989 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 52989 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
################
# More data... #
################
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=162.12 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 11465 0 0 0 16208 4 0 0 20 0 16 0 13130632 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628388369880 139627997908897 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 503 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 138 0 0 0 3 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 415 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 90 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 890 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=680] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/680/stat : 680 (java) S 669 672 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627879728224 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=681] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/681/stat : 681 (java) S 669 672 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627878675328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=682] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627877623632 139628384151451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=683] ppid=669 vsize=10617796 CPUtime=1.55 cores=1,3,5,7
/proc/672/task/683/stat : 683 (java) S 669 672 5091 0 -1 1077944384 5613 0 0 0 155 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627876572016 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=684] ppid=669 vsize=10617796 CPUtime=1.6 cores=1,3,5,7
/proc/672/task/684/stat : 684 (java) S 669 672 5091 0 -1 1077944384 4445 0 0 0 159 1 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627875519216 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=685] ppid=669 vsize=10617796 CPUtime=0.34 cores=1,3,5,7
/proc/672/task/685/stat : 685 (java) S 669 672 5091 0 -1 1077944384 2730 0 0 0 34 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627874466416 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=686] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/686/stat : 686 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627873413856 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=687] ppid=669 vsize=10617796 CPUtime=0.07 cores=1,3,5,7
/proc/672/task/687/stat : 687 (java) S 669 672 5091 0 -1 1077944384 792 0 0 0 3 4 0 0 20 0 16 0 13130642 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627872361136 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=688] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/688/stat : 688 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130721 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627871306672 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
Current children cumulated CPU time (s) 165.99
Current children cumulated vsize (KiB) 10617796
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 672 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+163.201 s]
/proc/loadavg: 2.07 2.41 2.49 3/211 694
/proc/meminfo: memFree=31364664/32770624 swapFree=0/219072
[pid=672] ppid=669 vsize=10617796 CPUtime=166.89 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 28495 0 0 0 16670 19 0 0 20 0 16 0 13130628 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2654449 62614 3111 1 0 2643910 0
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=163.02 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 11465 0 0 0 16298 4 0 0 20 0 16 0 13130632 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628388369880 139627998161294 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 503 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 138 0 0 0 3 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 415 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 90 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 890 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=680] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/680/stat : 680 (java) S 669 672 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627879728224 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=681] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/681/stat : 681 (java) S 669 672 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627878675328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=682] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627877623632 139628384151451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=683] ppid=669 vsize=10617796 CPUtime=1.55 cores=1,3,5,7
/proc/672/task/683/stat : 683 (java) S 669 672 5091 0 -1 1077944384 5613 0 0 0 155 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627876572016 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=684] ppid=669 vsize=10617796 CPUtime=1.6 cores=1,3,5,7
/proc/672/task/684/stat : 684 (java) S 669 672 5091 0 -1 1077944384 4445 0 0 0 159 1 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627875519216 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=685] ppid=669 vsize=10617796 CPUtime=0.34 cores=1,3,5,7
/proc/672/task/685/stat : 685 (java) S 669 672 5091 0 -1 1077944384 2730 0 0 0 34 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627874466416 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=686] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/686/stat : 686 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627873413856 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=687] ppid=669 vsize=10617796 CPUtime=0.07 cores=1,3,5,7
/proc/672/task/687/stat : 687 (java) S 669 672 5091 0 -1 1077944384 792 0 0 0 3 4 0 0 20 0 16 0 13130642 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627872361136 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=688] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/688/stat : 688 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130721 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627871306672 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
Current children cumulated CPU time (s) 166.89
Current children cumulated vsize (KiB) 10617796
[startup+164.801 s]
/proc/loadavg: 2.07 2.41 2.49 3/211 694
/proc/meminfo: memFree=31362616/32770624 swapFree=0/219072
[pid=672] ppid=669 vsize=10617796 CPUtime=168.49 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 28497 0 0 0 16830 19 0 0 20 0 16 0 13130628 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2654449 62614 3111 1 0 2643910 0
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=164.62 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 11467 0 0 0 16458 4 0 0 20 0 16 0 13130632 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628388369880 139627998161222 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 503 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 138 0 0 0 3 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 415 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 90 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 890 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=680] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/680/stat : 680 (java) S 669 672 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627879728224 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=681] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/681/stat : 681 (java) S 669 672 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627878675328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=682] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627877623632 139628384151451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=683] ppid=669 vsize=10617796 CPUtime=1.55 cores=1,3,5,7
/proc/672/task/683/stat : 683 (java) S 669 672 5091 0 -1 1077944384 5613 0 0 0 155 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627876572016 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=684] ppid=669 vsize=10617796 CPUtime=1.6 cores=1,3,5,7
/proc/672/task/684/stat : 684 (java) S 669 672 5091 0 -1 1077944384 4445 0 0 0 159 1 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627875519216 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=685] ppid=669 vsize=10617796 CPUtime=0.34 cores=1,3,5,7
/proc/672/task/685/stat : 685 (java) S 669 672 5091 0 -1 1077944384 2730 0 0 0 34 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627874466416 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=686] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/686/stat : 686 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627873413856 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=687] ppid=669 vsize=10617796 CPUtime=0.08 cores=1,3,5,7
/proc/672/task/687/stat : 687 (java) S 669 672 5091 0 -1 1077944384 792 0 0 0 3 5 0 0 20 0 16 0 13130642 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627872361136 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=688] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/688/stat : 688 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130721 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627871306672 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
Current children cumulated CPU time (s) 168.49
Current children cumulated vsize (KiB) 10617796
[startup+165.601 s]
/proc/loadavg: 2.07 2.41 2.49 3/211 694
/proc/meminfo: memFree=31362616/32770624 swapFree=0/219072
[pid=672] ppid=669 vsize=10617796 CPUtime=169.29 cores=1,3,5,7
/proc/672/stat : 672 (java) S 669 672 5091 0 -1 1077944320 28843 0 0 0 16910 19 0 0 20 0 16 0 13130628 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 140728408927616 139628384132855 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
/proc/672/statm: 2654449 62614 3111 1 0 2643910 0
[pid=672/tid=674] ppid=669 vsize=10617796 CPUtime=165.42 cores=1,3,5,7
/proc/672/task/674/stat : 674 (java) R 669 672 5091 0 -1 4202560 11780 0 0 0 16538 4 0 0 20 0 16 0 13130632 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628388369880 139627998161591 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=675] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/675/stat : 675 (java) S 669 672 5091 0 -1 1077944384 503 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139628314553488 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=676] ppid=669 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/672/task/676/stat : 676 (java) S 669 672 5091 0 -1 1077944384 138 0 0 0 3 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627994278928 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=677] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/677/stat : 677 (java) S 669 672 5091 0 -1 1077944384 415 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627993226128 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=678] ppid=669 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/672/task/678/stat : 678 (java) S 669 672 5091 0 -1 1077944384 90 0 0 0 4 1 0 0 20 0 16 0 13130633 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627992173328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=679] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/679/stat : 679 (java) S 669 672 5091 0 -1 1077944384 890 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627880782192 139628384144002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=680] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/680/stat : 680 (java) S 669 672 5091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627879728224 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=681] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/681/stat : 681 (java) S 669 672 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13130635 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627878675328 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=682] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627877623632 139628384151451 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=683] ppid=669 vsize=10617796 CPUtime=1.55 cores=1,3,5,7
/proc/672/task/683/stat : 683 (java) S 669 672 5091 0 -1 1077944384 5613 0 0 0 155 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627876572016 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=684] ppid=669 vsize=10617796 CPUtime=1.6 cores=1,3,5,7
/proc/672/task/684/stat : 684 (java) S 669 672 5091 0 -1 1077944384 4445 0 0 0 159 1 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627875519216 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=685] ppid=669 vsize=10617796 CPUtime=0.34 cores=1,3,5,7
/proc/672/task/685/stat : 685 (java) S 669 672 5091 0 -1 1077944384 2730 0 0 0 34 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627874466416 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=686] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/686/stat : 686 (java) S 669 672 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13130638 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627873413856 139628384143061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=687] ppid=669 vsize=10617796 CPUtime=0.08 cores=1,3,5,7
/proc/672/task/687/stat : 687 (java) S 669 672 5091 0 -1 1077944384 825 0 0 0 3 5 0 0 20 0 16 0 13130642 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627872361136 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
[pid=672/tid=688] ppid=669 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/672/task/688/stat : 688 (java) S 669 672 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13130721 10872623104 62614 18446744073709551615 4194304 4196468 140728408945072 139627871306672 139628384144002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140728408949170 140728408949323 140728408949323 140728408952783 0
Current children cumulated CPU time (s) 169.29
Current children cumulated vsize (KiB) 10617796
[startup+166.001 s]
/proc/loadavg: 2.07 2.41 2.49 3/211 694
/proc/meminfo: memFree=31362616/32770624 swapFree=0/219072
[pid=672] ppid=669 vsize=0 CPUtime=169.5 cores=1,3,5,7
/proc/672/stat : 672 (java) Z 669 672 5091 0 -1 4227084 31171 0 0 0 16931 19 0 0 20 0 2 0 13130628 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 4 0 0 0 0 0 0 0 0 0 0
/proc/672/statm: 0 0 0 0 0 0 0
[pid=672/tid=682] ppid=669 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/672/task/682/stat : 682 (java) R 669 672 5091 0 -1 4203588 5 0 0 0 0 0 0 0 20 0 2 0 13130638 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.5
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 166.003
CPU time (s): 169.518
CPU user time (s): 169.32
CPU system time (s): 0.198069
CPU usage (%): 102.117
Max. virtual memory (cumulated for all children) (KiB): 10750924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.32
system time used= 0.198069
maximum resident set size= 250980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31171
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= 5552
involuntary context switches= 64
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.781157 second user time and 1.04635 second system time
The end