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-4103764-1466249705/watcher-4103764-1466249705 -o /tmp/evaluation-result-4103764-1466249705/solver-4103764-1466249705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22005 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103764-1466249705.opb
pid=23717
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.24 2.19 3/172 23720
/proc/meminfo: memFree=30166436/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23720/stat : 23720 (java) D 23717 23720 21988 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 27017163 9515008 184 33554432000 1073741824 1073778376 140735312419232 140735312410456 270707355063 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/23720/statm: 2323 184 142 9 0 71 0
[startup+0.100144 s]
/proc/loadavg: 2.16 2.24 2.19 3/172 23720
/proc/meminfo: memFree=30166436/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 4421 0 1 0 8 1 0 0 20 0 18 0 27017163 9787879424 6044 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2389619 6044 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200234 s]
/proc/loadavg: 2.16 2.24 2.19 3/172 23720
/proc/meminfo: memFree=30166436/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 5036 0 1 0 28 2 0 0 20 0 18 0 27017163 9787879424 6851 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2389619 6851 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300263 s]
/proc/loadavg: 2.16 2.24 2.19 3/172 23720
/proc/meminfo: memFree=30166436/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 10076 0 1 0 54 3 0 0 20 0 18 0 27017163 9787879424 12168 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2389619 12168 2241 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476
[startup+0.700269 s]
/proc/loadavg: 2.16 2.24 2.19 3/172 23720
/proc/meminfo: memFree=30166436/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 11238 0 1 0 131 3 0 0 20 0 19 0 27017163 9856040960 14047 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2406260 14047 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040
[startup+1.50083 s]
/proc/loadavg: 2.16 2.24 2.19 5/212 23767
/proc/meminfo: memFree=29981012/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 11260 0 1 0 222 3 0 0 20 0 19 0 27017163 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2406260 15600 2264 9 0 2396937 0
[pid=23720/tid=23722] ppid=23717 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/23720/task/23722/stat : 23722 (java) R 23717 23720 21988 0 -1 4202560 2434 0 1 0 145 1 0 0 20 0 19 0 27017164 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951059585472 139950922807229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951048649768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951047596968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951046544168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951045491368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951044438568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951043385768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951042332968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139951041280168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950883417064 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950882363128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950881310216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950880258704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 21988 0 -1 4202560 4093 0 0 0 37 2 0 0 20 0 19 0 27017169 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950879205816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 21988 0 -1 4202560 3463 0 0 0 36 0 0 0 20 0 19 0 27017169 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950878153016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950877100408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950876047816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23739] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23739/stat : 23739 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017195 9856040960 15600 33554432000 1073741824 1073778376 140734199566768 139950874994344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.16 2.24 2.19 3/212 23767
/proc/meminfo: memFree=29818428/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 11289 0 1 0 386 3 0 0 20 0 19 0 27017163 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2406260 16624 2264 9 0 2396937 0
[pid=23720/tid=23722] ppid=23717 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/23720/task/23722/stat : 23722 (java) R 23717 23720 21988 0 -1 4202560 2436 0 1 0 305 1 0 0 20 0 19 0 27017164 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951059587384 139950922619252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951048649768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951047596968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951046544168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951045491368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951044438568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951043385768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951042332968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139951041280168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950883417064 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950882363128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950881310216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950880258704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 21988 0 -1 4202560 4093 0 0 0 38 2 0 0 20 0 19 0 27017169 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950879205816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 21988 0 -1 4202560 3490 0 0 0 40 0 0 0 20 0 19 0 27017169 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950878153016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950877100408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950876047816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23739] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23739/stat : 23739 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017195 9856040960 16624 33554432000 1073741824 1073778376 140734199566768 139950874994344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 9625040
[startup+6.30078 s]
/proc/loadavg: 2.14 2.23 2.18 4/213 23832
/proc/meminfo: memFree=29858448/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9625040 CPUtime=7.09 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 11296 0 1 0 706 3 0 0 20 0 19 0 27017163 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2406260 19118 2265 9 0 2396937 0
[pid=23720/tid=23722] ppid=23717 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/23720/task/23722/stat : 23722 (java) R 23717 23720 21988 0 -1 4202560 2442 0 1 0 624 1 0 0 20 0 19 0 27017164 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951059578560 139950922807013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951048649768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951047596968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951046544168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951045491368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951044438568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951043385768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951042332968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27017165 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139951041280168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950883417064 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950882363128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950881310216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950880258704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 21988 0 -1 4202560 4093 0 0 0 38 2 0 0 20 0 19 0 27017169 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950879205816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 21988 0 -1 4202560 3490 0 0 0 40 0 0 0 20 0 19 0 27017169 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950878153016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950877100408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 21988 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950876047816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23739] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23739/stat : 23739 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017195 9856040960 19118 33554432000 1073741824 1073778376 140734199566768 139950874994344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=23720/tid=23739] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23739/stat : 23739 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017195 9856040960 72449 33554432000 1073741824 1073778376 140734199566768 139950874994344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1663.79
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/213 23898
/proc/meminfo: memFree=26198660/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9625040 CPUtime=1723.85 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 13825 0 1 0 172328 57 0 0 20 0 19 0 27017163 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2406260 75515 2279 9 0 2396937 0
[pid=23720/tid=23722] ppid=23717 vsize=9625040 CPUtime=1717.39 cores=1,3,5,7
/proc/23720/task/23722/stat : 23722 (java) R 23717 23720 21988 0 -1 4202560 2497 0 1 0 171708 31 0 0 20 0 19 0 27017164 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951059586224 139950922807050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 21988 0 -1 4202560 243 0 0 0 9 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951048649768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 21988 0 -1 4202560 139 0 0 0 7 0 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951047596968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 21988 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951046544168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 21988 0 -1 4202560 95 0 0 0 9 1 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951045491368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 21988 0 -1 4202560 273 0 0 0 6 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951044438568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 21988 0 -1 4202560 29 0 0 0 5 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951043385768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 21988 0 -1 4202560 156 0 0 0 7 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951042332968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 21988 0 -1 4202560 124 0 0 0 7 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951041280168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 21988 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950883417064 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950882363128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950881310216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950880258704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 21988 0 -1 4202560 4093 0 0 0 38 2 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950879205816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 21988 0 -1 4202560 4615 0 0 0 46 1 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950878153016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950877100408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 21988 0 -1 4202560 100 0 0 0 30 38 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950876047816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23739] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23739/stat : 23739 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017195 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950874994344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.85
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.20 2.23 2.19 4/213 23899
/proc/meminfo: memFree=26198168/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9625040 CPUtime=1783.84 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 13829 0 1 0 178326 58 0 0 20 0 19 0 27017163 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2406260 75515 2279 9 0 2396937 0
[pid=23720/tid=23722] ppid=23717 vsize=9625040 CPUtime=1777.21 cores=1,3,5,7
/proc/23720/task/23722/stat : 23722 (java) R 23717 23720 21988 0 -1 4202560 2497 0 1 0 177689 32 0 0 20 0 19 0 27017164 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951059578544 139950922807050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 21988 0 -1 4202560 243 0 0 0 9 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951048649768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 21988 0 -1 4202560 139 0 0 0 7 0 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951047596968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 21988 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951046544168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 21988 0 -1 4202560 95 0 0 0 9 1 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951045491368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 21988 0 -1 4202560 273 0 0 0 6 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951044438568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 21988 0 -1 4202560 29 0 0 0 5 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951043385768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 21988 0 -1 4202560 156 0 0 0 7 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951042332968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 21988 0 -1 4202560 124 0 0 0 7 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951041280168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 21988 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950883417064 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950882363128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950881310216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950880258704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 21988 0 -1 4202560 4093 0 0 0 38 2 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950879205816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 21988 0 -1 4202560 4615 0 0 0 46 1 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950878153016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950877100408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 21988 0 -1 4202560 104 0 0 0 31 40 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950876047816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23739] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23739/stat : 23739 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017195 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950874994344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.84
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.5 s]
/proc/loadavg: 2.23 2.24 2.19 3/213 23965
/proc/meminfo: memFree=29825360/32872528 swapFree=1542984/1696284
[pid=23720] ppid=23717 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/23720/stat : 23720 (java) S 23717 23720 21988 0 -1 4202496 13829 0 1 0 179944 59 0 0 20 0 19 0 27017163 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 140734199557904 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23720/statm: 2406260 75515 2279 9 0 2396937 0
[pid=23720/tid=23722] ppid=23717 vsize=9625040 CPUtime=1793.36 cores=1,3,5,7
/proc/23720/task/23722/stat : 23722 (java) R 23717 23720 21988 0 -1 4202560 2497 0 1 0 179304 32 0 0 20 0 19 0 27017164 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951059578544 139950922807050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23723] ppid=23717 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/23720/task/23723/stat : 23723 (java) S 23717 23720 21988 0 -1 4202560 243 0 0 0 9 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951048649768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23724] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23724/stat : 23724 (java) S 23717 23720 21988 0 -1 4202560 139 0 0 0 7 0 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951047596968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23725] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23725/stat : 23725 (java) S 23717 23720 21988 0 -1 4202560 149 0 0 0 5 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951046544168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23726] ppid=23717 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/23720/task/23726/stat : 23726 (java) S 23717 23720 21988 0 -1 4202560 95 0 0 0 9 1 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951045491368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23727] ppid=23717 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/23720/task/23727/stat : 23727 (java) S 23717 23720 21988 0 -1 4202560 273 0 0 0 6 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951044438568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23728] ppid=23717 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/23720/task/23728/stat : 23728 (java) S 23717 23720 21988 0 -1 4202560 29 0 0 0 5 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951043385768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23729] ppid=23717 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/23720/task/23729/stat : 23729 (java) S 23717 23720 21988 0 -1 4202560 156 0 0 0 7 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951042332968 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23730] ppid=23717 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/23720/task/23730/stat : 23730 (java) S 23717 23720 21988 0 -1 4202560 124 0 0 0 7 2 0 0 20 0 19 0 27017165 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139951041280168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23731] ppid=23717 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/23720/task/23731/stat : 23731 (java) S 23717 23720 21988 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950883417064 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23732] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23732/stat : 23732 (java) S 23717 23720 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950882363128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23733] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23733/stat : 23733 (java) S 23717 23720 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27017166 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950881310216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23734] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23734/stat : 23734 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950880258704 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23735] ppid=23717 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/23720/task/23735/stat : 23735 (java) S 23717 23720 21988 0 -1 4202560 4093 0 0 0 38 2 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950879205816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23720/tid=23736] ppid=23717 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/23720/task/23736/stat : 23736 (java) S 23717 23720 21988 0 -1 4202560 4615 0 0 0 46 1 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950878153016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23720/tid=23737] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23737/stat : 23737 (java) S 23717 23720 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950877100408 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23720/tid=23738] ppid=23717 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/23720/task/23738/stat : 23738 (java) S 23717 23720 21988 0 -1 4202560 104 0 0 0 31 40 0 0 20 0 19 0 27017169 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950876047816 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23720/tid=23739] ppid=23717 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/23720/task/23739/stat : 23739 (java) S 23717 23720 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27017195 9856040960 75515 33554432000 1073741824 1073778376 140734199566768 139950874994344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23720 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23720 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=928129
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=32842
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.54
CPU time (s): 1800.03
CPU user time (s): 1799.44
CPU system time (s): 0.59
CPU usage (%): 100.083
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.03284
maximum resident set size= 302200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13871
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38274
involuntary context switches= 16898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3671 second user time and 15.6406 second system time
The end