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-4256492-1501638664/watcher-4256492-1501638664 -o /tmp/evaluation-result-4256492-1501638664/solver-4256492-1501638664 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501623096-17792 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1774787447 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256492-1501638664.xml
pid=30710
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.24 1.87 1.73 2/198 30713
/proc/meminfo: memFree=21420436/32770624 swapFree=0/215612
[pid=30713] ppid=30710 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/30713/stat : 30713 (runsolver) D 30710 30713 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5777039 24240128 106 18446744073709551615 4194304 4338465 140728893053840 140728893051480 140295128802007 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 19402752 140728893055083 140728893055559 140728893055559 140728893059018 0
/proc/30713/statm: 5918 106 53 36 0 2156 0
[startup+0.100058 s]
/proc/loadavg: 2.24 1.87 1.73 2/198 30713
/proc/meminfo: memFree=21420436/32770624 swapFree=0/215612
[pid=30713] ppid=30710 vsize=13358552 CPUtime=0 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 3090 0 0 0 0 0 0 0 20 0 6 0 5777039 13679157248 3263 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3339638 3263 1689 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552
[startup+0.200328 s]
/proc/loadavg: 2.24 1.87 1.73 2/198 30713
/proc/meminfo: memFree=21420436/32770624 swapFree=0/215612
[pid=30713] ppid=30710 vsize=13975920 CPUtime=0.07 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 6627 0 0 0 6 1 0 0 20 0 15 0 5777039 14311342080 6797 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3493980 6797 3148 1 0 3482767 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13975920
[startup+0.300267 s]
/proc/loadavg: 2.24 1.87 1.73 2/198 30713
/proc/meminfo: memFree=21420436/32770624 swapFree=0/215612
[pid=30713] ppid=30710 vsize=13975920 CPUtime=0.23 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 10186 0 0 0 21 2 0 0 20 0 15 0 5777039 14311342080 9954 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3493980 9954 3516 1 0 3482767 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13975920
[startup+0.700176 s]
/proc/loadavg: 2.24 1.87 1.73 2/198 30713
/proc/meminfo: memFree=21420436/32770624 swapFree=0/215612
[pid=30713] ppid=30710 vsize=13977988 CPUtime=1.09 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 14859 0 0 0 104 5 0 0 20 0 15 0 5777039 14313459712 17603 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3494497 17603 3725 1 0 3483279 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13977988
[startup+1.50091 s]
/proc/loadavg: 2.24 1.87 1.73 5/213 30728
/proc/meminfo: memFree=21282804/32770624 swapFree=0/215620
[pid=30713] ppid=30710 vsize=13982084 CPUtime=3.37 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 28259 0 0 0 326 11 0 0 20 0 15 0 5777039 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3495521 54573 3772 1 0 3484303 0
[pid=30713/tid=30715] ppid=30710 vsize=13982084 CPUtime=1.33 cores=0,2,4,6
/proc/30713/task/30715/stat : 30715 (java) R 30710 30713 3187 0 -1 4202560 14428 0 0 0 127 6 0 0 20 0 15 0 5777048 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399872641280 140399482910552 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30716] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30716/stat : 30716 (java) S 30710 30713 3187 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 5777049 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399802846224 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30717] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30717/stat : 30717 (java) S 30710 30713 3187 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 5777049 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399801793680 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30718] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30718/stat : 30718 (java) S 30710 30713 3187 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 5777049 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399800740624 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30719] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30719/stat : 30719 (java) S 30710 30713 3187 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 5777049 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399799688080 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30720] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30720/stat : 30720 (java) S 30710 30713 3187 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 15 0 5777050 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399346301168 140399868422786 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30721] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30721/stat : 30721 (java) S 30710 30713 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 5777050 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399345247392 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30722] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30722/stat : 30722 (java) S 30710 30713 3187 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 5777051 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399344194304 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30723] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30723/stat : 30723 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399343142864 140399868430235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30724] ppid=30710 vsize=13982084 CPUtime=0.74 cores=0,2,4,6
/proc/30713/task/30724/stat : 30724 (java) R 30710 30713 3187 0 -1 4202560 3565 0 0 0 74 0 0 0 20 0 15 0 5777053 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399342072096 140399853521224 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30725] ppid=30710 vsize=13982084 CPUtime=0.7 cores=0,2,4,6
/proc/30713/task/30725/stat : 30725 (java) R 30710 30713 3187 0 -1 4202560 3992 0 0 0 70 0 0 0 20 0 15 0 5777053 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399341024992 140399853536400 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30726] ppid=30710 vsize=13982084 CPUtime=0.51 cores=0,2,4,6
/proc/30713/task/30726/stat : 30726 (java) S 30710 30713 3187 0 -1 1077944384 3683 0 0 0 50 1 0 0 20 0 15 0 5777053 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399339985392 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30727] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30727/stat : 30727 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399338933088 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30728] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30728/stat : 30728 (java) S 30710 30713 3187 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 5777058 14317654016 54573 18446744073709551615 4194304 4196468 140722074167808 140399337880112 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 13982084
[startup+3.10072 s]
/proc/loadavg: 2.38 1.90 1.74 3/213 30728
/proc/meminfo: memFree=21214840/32770624 swapFree=0/215624
[pid=30713] ppid=30710 vsize=13982084 CPUtime=6.11 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 30524 0 0 0 599 12 0 0 20 0 15 0 5777039 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3495521 58343 3781 1 0 3484303 0
[pid=30713/tid=30715] ppid=30710 vsize=13982084 CPUtime=2.92 cores=0,2,4,6
/proc/30713/task/30715/stat : 30715 (java) R 30710 30713 3187 0 -1 4202560 14588 0 0 0 286 6 0 0 20 0 15 0 5777048 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399872650016 140399483436771 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30716] ppid=30710 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/30713/task/30716/stat : 30716 (java) S 30710 30713 3187 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 15 0 5777049 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399802846224 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30717] ppid=30710 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/30713/task/30717/stat : 30717 (java) S 30710 30713 3187 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 5777049 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399801793680 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30718] ppid=30710 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/30713/task/30718/stat : 30718 (java) S 30710 30713 3187 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 5777049 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399800740624 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30719] ppid=30710 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/30713/task/30719/stat : 30719 (java) S 30710 30713 3187 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 5777049 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399799688080 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30720] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30720/stat : 30720 (java) S 30710 30713 3187 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 5777050 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399346301168 140399868422786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30721] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30721/stat : 30721 (java) S 30710 30713 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 5777050 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399345247456 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30722] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30722/stat : 30722 (java) S 30710 30713 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 5777051 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399344194304 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30723] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30723/stat : 30723 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399343142864 140399868430235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30724] ppid=30710 vsize=13982084 CPUtime=1.29 cores=0,2,4,6
/proc/30713/task/30724/stat : 30724 (java) S 30710 30713 3187 0 -1 1077944384 5058 0 0 0 129 0 0 0 20 0 15 0 5777053 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399342090992 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30725] ppid=30710 vsize=13982084 CPUtime=1.24 cores=0,2,4,6
/proc/30713/task/30725/stat : 30725 (java) S 30710 30713 3187 0 -1 1077944384 4344 0 0 0 123 1 0 0 20 0 15 0 5777053 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399341038448 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30726] ppid=30710 vsize=13982084 CPUtime=0.53 cores=0,2,4,6
/proc/30713/task/30726/stat : 30726 (java) S 30710 30713 3187 0 -1 1077944384 3801 0 0 0 52 1 0 0 20 0 15 0 5777053 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399339985392 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30727] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30727/stat : 30727 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399338933088 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30728] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30728/stat : 30728 (java) S 30710 30713 3187 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 5777058 14317654016 58343 18446744073709551615 4194304 4196468 140722074167808 140399337880112 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13982084
[startup+6.30065 s]
/proc/loadavg: 2.38 1.90 1.74 3/213 30728
/proc/meminfo: memFree=21191700/32770624 swapFree=0/215632
[pid=30713] ppid=30710 vsize=13982084 CPUtime=9.44 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 30919 0 0 0 930 14 0 0 20 0 15 0 5777039 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3495521 61499 3781 1 0 3484303 0
[pid=30713/tid=30715] ppid=30710 vsize=13982084 CPUtime=6.08 cores=0,2,4,6
/proc/30713/task/30715/stat : 30715 (java) R 30710 30713 3187 0 -1 4202560 14787 0 0 0 602 6 0 0 20 0 15 0 5777048 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399872649760 140399483437120 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30716] ppid=30710 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/30713/task/30716/stat : 30716 (java) S 30710 30713 3187 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399802846224 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30717] ppid=30710 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/30713/task/30717/stat : 30717 (java) S 30710 30713 3187 0 -1 1077944384 93 0 0 0 3 1 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399801793680 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30718] ppid=30710 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/30713/task/30718/stat : 30718 (java) S 30710 30713 3187 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399800740624 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30719] ppid=30710 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/30713/task/30719/stat : 30719 (java) S 30710 30713 3187 0 -1 1077944384 95 0 0 0 3 1 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399799688080 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30720] ppid=30710 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/30713/task/30720/stat : 30720 (java) S 30710 30713 3187 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 5777050 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399346301168 140399868422786 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30721] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30721/stat : 30721 (java) S 30710 30713 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 5777050 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399345247456 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30722] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30722/stat : 30722 (java) S 30710 30713 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 5777051 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399344194304 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30723] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30723/stat : 30723 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399343142864 140399868430235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30724] ppid=30710 vsize=13982084 CPUtime=1.34 cores=0,2,4,6
/proc/30713/task/30724/stat : 30724 (java) S 30710 30713 3187 0 -1 1077944384 5071 0 0 0 134 0 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399342090992 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30725] ppid=30710 vsize=13982084 CPUtime=1.24 cores=0,2,4,6
/proc/30713/task/30725/stat : 30725 (java) S 30710 30713 3187 0 -1 1077944384 4344 0 0 0 123 1 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399341038448 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30726] ppid=30710 vsize=13982084 CPUtime=0.54 cores=0,2,4,6
/proc/30713/task/30726/stat : 30726 (java) S 30710 30713 3187 0 -1 1077944384 3834 0 0 0 53 1 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399339985392 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30727] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30727/stat : 30727 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399338933088 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30728] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30728/stat : 30728 (java) S 30710 30713 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 5777058 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399337880112 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30713 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40081 s]
/proc/loadavg: 2.38 1.90 1.74 3/213 30728
/proc/meminfo: memFree=21191700/32770624 swapFree=0/215632
[pid=30713] ppid=30710 vsize=13982084 CPUtime=9.54 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 30919 0 0 0 940 14 0 0 20 0 15 0 5777039 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3495521 61499 3781 1 0 3484303 0
[pid=30713/tid=30715] ppid=30710 vsize=13982084 CPUtime=6.18 cores=0,2,4,6
/proc/30713/task/30715/stat : 30715 (java) R 30710 30713 3187 0 -1 4202560 14787 0 0 0 612 6 0 0 20 0 15 0 5777048 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399872647544 140399478121597 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30716] ppid=30710 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/30713/task/30716/stat : 30716 (java) S 30710 30713 3187 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399802846224 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30717] ppid=30710 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/30713/task/30717/stat : 30717 (java) S 30710 30713 3187 0 -1 1077944384 93 0 0 0 3 1 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399801793680 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30718] ppid=30710 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/30713/task/30718/stat : 30718 (java) S 30710 30713 3187 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399800740624 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30719] ppid=30710 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/30713/task/30719/stat : 30719 (java) S 30710 30713 3187 0 -1 1077944384 95 0 0 0 3 1 0 0 20 0 15 0 5777049 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399799688080 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30720] ppid=30710 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/30713/task/30720/stat : 30720 (java) S 30710 30713 3187 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 5777050 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399346301168 140399868422786 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30721] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30721/stat : 30721 (java) S 30710 30713 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 5777050 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399345247456 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30722] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30722/stat : 30722 (java) S 30710 30713 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 5777051 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399344194304 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30723] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30723/stat : 30723 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399343142864 140399868430235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30724] ppid=30710 vsize=13982084 CPUtime=1.34 cores=0,2,4,6
/proc/30713/task/30724/stat : 30724 (java) S 30710 30713 3187 0 -1 1077944384 5071 0 0 0 134 0 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399342090992 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30725] ppid=30710 vsize=13982084 CPUtime=1.24 cores=0,2,4,6
/proc/30713/task/30725/stat : 30725 (java) S 30710 30713 3187 0 -1 1077944384 4344 0 0 0 123 1 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399341038448 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30726] ppid=30710 vsize=13982084 CPUtime=0.54 cores=0,2,4,6
/proc/30713/task/30726/stat : 30726 (java) S 30710 30713 3187 0 -1 1077944384 3834 0 0 0 53 1 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399339985392 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30727] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30727/stat : 30727 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399338933088 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30728] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30728/stat : 30728 (java) S 30710 30713 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 5777058 14317654016 61499 18446744073709551615 4194304 4196468 140722074167808 140399337880112 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
Current children cumulated CPU time (s) 9.54
Current children cumulated vsize (KiB) 13982084
[startup+6.80062 s]
/proc/loadavg: 2.35 1.90 1.74 3/213 30728
/proc/meminfo: memFree=21187188/32770624 swapFree=0/215640
[pid=30713] ppid=30710 vsize=13982084 CPUtime=9.95 cores=0,2,4,6
/proc/30713/stat : 30713 (java) S 30710 30713 3187 0 -1 1077944320 30936 0 0 0 980 15 0 0 20 0 15 0 5777039 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140722074150352 140399868411639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
/proc/30713/statm: 3495521 61882 3781 1 0 3484303 0
[pid=30713/tid=30715] ppid=30710 vsize=13982084 CPUtime=6.58 cores=0,2,4,6
/proc/30713/task/30715/stat : 30715 (java) R 30710 30713 3187 0 -1 4202560 14788 0 0 0 652 6 0 0 20 0 15 0 5777048 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399872649760 140399483434683 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30716] ppid=30710 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/30713/task/30716/stat : 30716 (java) S 30710 30713 3187 0 -1 1077944384 414 0 0 0 3 1 0 0 20 0 15 0 5777049 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399802846224 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30717] ppid=30710 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/30713/task/30717/stat : 30717 (java) S 30710 30713 3187 0 -1 1077944384 106 0 0 0 3 1 0 0 20 0 15 0 5777049 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399801793680 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30718] ppid=30710 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/30713/task/30718/stat : 30718 (java) S 30710 30713 3187 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 15 0 5777049 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399800740624 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30719] ppid=30710 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/30713/task/30719/stat : 30719 (java) S 30710 30713 3187 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 15 0 5777049 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399799688080 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30720] ppid=30710 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/30713/task/30720/stat : 30720 (java) S 30710 30713 3187 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 5777050 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399346301168 140399868422786 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30721] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30721/stat : 30721 (java) S 30710 30713 3187 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 5777050 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399345247456 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30722] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30722/stat : 30722 (java) S 30710 30713 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 5777051 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399344194304 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30723] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30723/stat : 30723 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399343142864 140399868430235 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30724] ppid=30710 vsize=13982084 CPUtime=1.34 cores=0,2,4,6
/proc/30713/task/30724/stat : 30724 (java) S 30710 30713 3187 0 -1 1077944384 5071 0 0 0 134 0 0 0 20 0 15 0 5777053 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399342090992 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30725] ppid=30710 vsize=13982084 CPUtime=1.24 cores=0,2,4,6
/proc/30713/task/30725/stat : 30725 (java) S 30710 30713 3187 0 -1 1077944384 4344 0 0 0 123 1 0 0 20 0 15 0 5777053 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399341038448 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30726] ppid=30710 vsize=13982084 CPUtime=0.54 cores=0,2,4,6
/proc/30713/task/30726/stat : 30726 (java) S 30710 30713 3187 0 -1 1077944384 3834 0 0 0 53 1 0 0 20 0 15 0 5777053 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399339985392 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30727] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30727/stat : 30727 (java) S 30710 30713 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5777053 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399338933088 140399868421845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
[pid=30713/tid=30728] ppid=30710 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/30713/task/30728/stat : 30728 (java) S 30710 30713 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 5777058 14317654016 61882 18446744073709551615 4194304 4196468 140722074167808 140399337880112 140399868422786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31420416 140722074173846 140722074174028 140722074174028 140722074177487 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 6.82339
CPU time (s): 9.97327
CPU user time (s): 9.81688
CPU system time (s): 0.156384
CPU usage (%): 146.163
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.81688
system time used= 0.156384
maximum resident set size= 249880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31150
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= 2911
involuntary context switches= 28
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036141 second user time and 0.04682 second system time
The end