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-4257540-1501655000/watcher-4257540-1501655000 -o /tmp/evaluation-result-4257540-1501655000/solver-4257540-1501655000 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257540-1501655000.xml
pid=18992
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: 1.97 1.98 1.99 3/198 18995
/proc/meminfo: memFree=31627272/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18995/stat : 18995 (runsolver) D 18992 18995 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13005770 24240128 106 18446744073709551615 4194304 4338465 140723143919904 140723143917544 139766241374935 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 24719360 140723143921824 140723143922246 140723143922246 140723143925706 0
/proc/18995/statm: 5918 106 53 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 1.97 1.98 1.99 3/198 18995
/proc/meminfo: memFree=31627272/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18995/stat : 18995 (runsolver) D 18992 18995 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13005770 24240128 106 18446744073709551615 4194304 4338465 140723143919904 140723143917544 139766241374935 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 24719360 140723143921824 140723143922246 140723143922246 140723143925706 0
/proc/18995/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200361 s]
/proc/loadavg: 1.97 1.98 1.99 3/198 18995
/proc/meminfo: memFree=31627272/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=10551180 CPUtime=0.05 cores=0,2,4,6
/proc/18995/stat : 18995 (java) S 18992 18995 5234 0 -1 1077944320 4649 0 0 0 5 0 0 0 20 0 15 0 13005770 10804408320 5713 18446744073709551615 4194304 4196468 140728759007296 140728758989840 140015870144247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
/proc/18995/statm: 2637795 5713 2622 1 0 2627269 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10551180
[startup+0.300331 s]
/proc/loadavg: 1.97 1.98 1.99 3/198 18995
/proc/meminfo: memFree=31627272/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=10551180 CPUtime=0.23 cores=0,2,4,6
/proc/18995/stat : 18995 (java) S 18992 18995 5234 0 -1 1077944320 8682 0 0 0 21 2 0 0 20 0 15 0 13005770 10804408320 9011 18446744073709551615 4194304 4196468 140728759007296 140728758989840 140015870144247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
/proc/18995/statm: 2637795 9011 2842 1 0 2627269 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10551180
[startup+0.707239 s]
/proc/loadavg: 1.97 1.98 1.99 3/198 18995
/proc/meminfo: memFree=31627272/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=10621952 CPUtime=1.09 cores=0,2,4,6
/proc/18995/stat : 18995 (java) S 18992 18995 5234 0 -1 1077944320 15153 0 0 0 103 6 0 0 20 0 16 0 13005770 10876878848 20985 18446744073709551615 4194304 4196468 140728759007296 140728758989840 140015870144247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
/proc/18995/statm: 2655488 20985 3063 1 0 2644422 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 1.97 1.98 1.99 4/214 19011
/proc/meminfo: memFree=31546064/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=10621952 CPUtime=2.51 cores=0,2,4,6
/proc/18995/stat : 18995 (java) S 18992 18995 5234 0 -1 1077944320 17184 0 0 0 244 7 0 0 20 0 16 0 13005770 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140728758989840 140015870144247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
/proc/18995/statm: 2655488 23347 3079 1 0 2644422 0
[pid=18995/tid=18997] ppid=18992 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/18995/task/18997/stat : 18997 (java) S 18992 18995 5234 0 -1 1077944384 6173 0 0 0 19 2 0 0 20 0 16 0 13005781 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015874387120 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=18998] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/18998/stat : 18998 (java) S 18992 18995 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015480859408 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=18999] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/18999/stat : 18999 (java) S 18992 18995 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015479806864 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19000] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19000/stat : 19000 (java) S 18992 18995 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015478754320 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19001] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19001/stat : 19001 (java) S 18992 18995 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015477701776 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19002] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19002/stat : 19002 (java) S 18992 18995 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 13005783 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015366309872 140015870155394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19003] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19003/stat : 19003 (java) S 18992 18995 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13005784 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015365256096 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19004] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19004/stat : 19004 (java) S 18992 18995 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13005784 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015364203504 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19005] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19005/stat : 19005 (java) S 18992 18995 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13005786 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015363152080 140015870162843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19006] ppid=18992 vsize=10621952 CPUtime=0.43 cores=0,2,4,6
/proc/18995/task/19006/stat : 19006 (java) S 18992 18995 5234 0 -1 1077944384 1405 0 0 0 43 0 0 0 20 0 16 0 13005786 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015362099696 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19007] ppid=18992 vsize=10621952 CPUtime=0.36 cores=0,2,4,6
/proc/18995/task/19007/stat : 19007 (java) S 18992 18995 5234 0 -1 1077944384 931 0 0 0 36 0 0 0 20 0 16 0 13005786 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015361047152 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19008] ppid=18992 vsize=10621952 CPUtime=0.33 cores=0,2,4,6
/proc/18995/task/19008/stat : 19008 (java) S 18992 18995 5234 0 -1 1077944384 1661 0 0 0 33 0 0 0 20 0 16 0 13005786 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015359994608 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19009] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19009/stat : 19009 (java) S 18992 18995 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13005786 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015358942304 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19010] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19010/stat : 19010 (java) S 18992 18995 5234 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 13005790 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015357888816 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19011] ppid=18992 vsize=10621952 CPUtime=1.12 cores=0,2,4,6
/proc/18995/task/19011/stat : 19011 (java) R 18992 18995 5234 0 -1 4202560 5627 0 0 0 110 2 0 0 20 0 16 0 13005807 10876878848 23347 18446744073709551615 4194304 4196468 140728759007296 140015354696936 140015484477533 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18995 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60083 s]
/proc/loadavg: 1.97 1.98 1.99 4/214 19011
/proc/meminfo: memFree=31546064/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=10621952 CPUtime=2.62 cores=0,2,4,6
/proc/18995/stat : 18995 (java) S 18992 18995 5234 0 -1 1077944320 18305 0 0 0 255 7 0 0 20 0 16 0 13005770 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140728758989840 140015870144247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
/proc/18995/statm: 2655488 23378 3085 1 0 2644422 0
[pid=18995/tid=18997] ppid=18992 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/18995/task/18997/stat : 18997 (java) S 18992 18995 5234 0 -1 1077944384 6173 0 0 0 19 2 0 0 20 0 16 0 13005781 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015874387120 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=18998] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/18998/stat : 18998 (java) S 18992 18995 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015480859408 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=18999] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/18999/stat : 18999 (java) S 18992 18995 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015479806864 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19000] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19000/stat : 19000 (java) S 18992 18995 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015478754320 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19001] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19001/stat : 19001 (java) S 18992 18995 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015477701776 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19002] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19002/stat : 19002 (java) S 18992 18995 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 13005783 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015366309872 140015870155394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19003] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19003/stat : 19003 (java) S 18992 18995 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13005784 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015365256096 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19004] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19004/stat : 19004 (java) S 18992 18995 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13005784 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015364203504 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19005] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19005/stat : 19005 (java) S 18992 18995 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13005786 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015363152080 140015870162843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19006] ppid=18992 vsize=10621952 CPUtime=0.44 cores=0,2,4,6
/proc/18995/task/19006/stat : 19006 (java) S 18992 18995 5234 0 -1 1077944384 1748 0 0 0 44 0 0 0 20 0 16 0 13005786 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015362099696 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19007] ppid=18992 vsize=10621952 CPUtime=0.37 cores=0,2,4,6
/proc/18995/task/19007/stat : 19007 (java) S 18992 18995 5234 0 -1 1077944384 1392 0 0 0 37 0 0 0 20 0 16 0 13005786 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015361047152 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19008] ppid=18992 vsize=10621952 CPUtime=0.33 cores=0,2,4,6
/proc/18995/task/19008/stat : 19008 (java) S 18992 18995 5234 0 -1 1077944384 1663 0 0 0 33 0 0 0 20 0 16 0 13005786 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015359994608 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19009] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19009/stat : 19009 (java) S 18992 18995 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13005786 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015358942304 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19010] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19010/stat : 19010 (java) S 18992 18995 5234 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 13005790 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015357888816 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19011] ppid=18992 vsize=10621952 CPUtime=1.22 cores=0,2,4,6
/proc/18995/task/19011/stat : 19011 (java) R 18992 18995 5234 0 -1 4202560 5942 0 0 0 120 2 0 0 20 0 16 0 13005807 10876878848 23378 18446744073709551615 4194304 4196468 140728759007296 140015354696936 140015484180674 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10621952
[startup+1.80067 s]
/proc/loadavg: 1.97 1.98 1.99 4/214 19011
/proc/meminfo: memFree=31546064/32770624 swapFree=0/331288
[pid=18995] ppid=18992 vsize=10621952 CPUtime=2.82 cores=0,2,4,6
/proc/18995/stat : 18995 (java) S 18992 18995 5234 0 -1 1077944320 18361 0 0 0 275 7 0 0 20 0 16 0 13005770 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140728758989840 140015870144247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
/proc/18995/statm: 2655488 23890 3085 1 0 2644422 0
[pid=18995/tid=18997] ppid=18992 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/18995/task/18997/stat : 18997 (java) S 18992 18995 5234 0 -1 1077944384 6173 0 0 0 19 2 0 0 20 0 16 0 13005781 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015874387120 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=18998] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/18998/stat : 18998 (java) S 18992 18995 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015480859408 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=18999] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/18999/stat : 18999 (java) S 18992 18995 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015479806864 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19000] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19000/stat : 19000 (java) S 18992 18995 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015478754320 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19001] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19001/stat : 19001 (java) S 18992 18995 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13005782 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015477701776 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19002] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19002/stat : 19002 (java) S 18992 18995 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 13005783 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015366309872 140015870155394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19003] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19003/stat : 19003 (java) S 18992 18995 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13005784 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015365256096 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19004] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19004/stat : 19004 (java) S 18992 18995 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13005784 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015364203504 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19005] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19005/stat : 19005 (java) S 18992 18995 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13005786 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015363152080 140015870162843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19006] ppid=18992 vsize=10621952 CPUtime=0.44 cores=0,2,4,6
/proc/18995/task/19006/stat : 19006 (java) S 18992 18995 5234 0 -1 1077944384 1748 0 0 0 44 0 0 0 20 0 16 0 13005786 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015362099696 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19007] ppid=18992 vsize=10621952 CPUtime=0.37 cores=0,2,4,6
/proc/18995/task/19007/stat : 19007 (java) S 18992 18995 5234 0 -1 1077944384 1392 0 0 0 37 0 0 0 20 0 16 0 13005786 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015361047152 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19008] ppid=18992 vsize=10621952 CPUtime=0.33 cores=0,2,4,6
/proc/18995/task/19008/stat : 19008 (java) S 18992 18995 5234 0 -1 1077944384 1663 0 0 0 33 0 0 0 20 0 16 0 13005786 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015359994608 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19009] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19009/stat : 19009 (java) S 18992 18995 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13005786 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015358942304 140015870154453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19010] ppid=18992 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/18995/task/19010/stat : 19010 (java) S 18992 18995 5234 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 13005790 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015357888816 140015870155394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
[pid=18995/tid=19011] ppid=18992 vsize=10621952 CPUtime=1.42 cores=0,2,4,6
/proc/18995/task/19011/stat : 19011 (java) R 18992 18995 5234 0 -1 4202560 5954 0 0 0 140 2 0 0 20 0 16 0 13005807 10876878848 23890 18446744073709551615 4194304 4196468 140728759007296 140015354696384 140015484181048 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20905984 140728759013834 140728759013963 140728759013963 140728759017423 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10621952
Child status: 0
Real time (s): 1.82868
CPU time (s): 2.85871
CPU user time (s): 2.78249
CPU system time (s): 0.076218
CPU usage (%): 156.326
Max. virtual memory (cumulated for all children) (KiB): 10621952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.78249
system time used= 0.076218
maximum resident set size= 95864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18957
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= 1662
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009267 second user time and 0.016038 second system time
The end