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-4250056-1500696315/watcher-4250056-1500696315 -o /tmp/evaluation-result-4250056-1500696315/solver-4250056-1500696315 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1221704739 HOME/instance-4250056-1500696315.xml
pid=18599
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 10.14 11.44 12.68 9/271 18602
/proc/meminfo: memFree=31269160/32770624 swapFree=5972/274768
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 10.14 11.44 12.68 9/271 18602
/proc/meminfo: memFree=31269160/32770624 swapFree=5972/274768
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20031 s]
/proc/loadavg: 10.14 11.44 12.68 9/271 18602
/proc/meminfo: memFree=31269160/32770624 swapFree=5972/274768
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300328 s]
/proc/loadavg: 10.14 11.44 12.68 9/271 18602
/proc/meminfo: memFree=31269160/32770624 swapFree=5972/274768
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700191 s]
/proc/loadavg: 10.14 11.44 12.68 9/271 18602
/proc/meminfo: memFree=31269160/32770624 swapFree=5972/274768
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50113 s]
/proc/loadavg: 10.14 11.44 12.68 14/292 18623
/proc/meminfo: memFree=31078880/32770624 swapFree=5972/275060
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
[pid=18603] ppid=18602 vsize=13269256 CPUtime=5.21 cores=0,2,4,6,8,10,12,14
/proc/18603/stat : 18603 (java) S 18602 18602 14626 0 -1 1077944320 17183 0 0 0 510 11 0 0 20 0 20 0 4901010 13587718144 52448 33554432000 4194304 4196468 140729987824608 140729987807152 139895831805687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
/proc/18603/statm: 3317314 52448 3243 1 0 3304547 0
[pid=18603/tid=18604] ppid=18602 vsize=13269256 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18604/stat : 18604 (java) R 18602 18602 14626 0 -1 4202560 6837 0 0 0 140 5 0 0 20 0 20 0 4901010 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895836041656 139895428999892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18606] ppid=18602 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18606/stat : 18606 (java) S 18602 18602 14626 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895750286096 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18607] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18607/stat : 18607 (java) S 18602 18602 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895749233552 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18608] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18608/stat : 18608 (java) S 18602 18602 14626 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895748181008 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18609] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18609/stat : 18609 (java) S 18602 18602 14626 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895747128464 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18610] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18610/stat : 18610 (java) S 18602 18602 14626 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895746074896 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18611] ppid=18602 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18611/stat : 18611 (java) S 18602 18602 14626 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895745022352 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18612] ppid=18602 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18612/stat : 18612 (java) S 18602 18602 14626 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895743969808 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18613] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18613/stat : 18613 (java) S 18602 18602 14626 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4901011 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895423101584 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18614] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18614/stat : 18614 (java) S 18602 18602 14626 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4901013 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895294118384 139895831816834 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18615] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18615/stat : 18615 (java) S 18602 18602 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4901014 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895293064608 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18616] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18616/stat : 18616 (java) S 18602 18602 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4901014 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895292012016 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18617] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18617/stat : 18617 (java) S 18602 18602 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4901019 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895290960592 139895831824283 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18618] ppid=18602 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18618/stat : 18618 (java) R 18602 18602 14626 0 -1 4202560 2187 0 0 0 102 0 0 0 20 0 20 0 4901019 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895289888496 139895831827034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18619] ppid=18602 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18619/stat : 18619 (java) R 18602 18602 14626 0 -1 4202560 2206 0 0 0 102 0 0 0 20 0 20 0 4901019 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895288840480 139895816204036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18620] ppid=18602 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18620/stat : 18620 (java) R 18602 18602 14626 0 -1 4202560 2305 0 0 0 102 0 0 0 20 0 20 0 4901019 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895287788528 139895831827034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18621] ppid=18602 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18621/stat : 18621 (java) S 18602 18602 14626 0 -1 1077944384 2156 0 0 0 54 1 0 0 20 0 20 0 4901019 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895286749552 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18622] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18622/stat : 18622 (java) S 18602 18602 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4901019 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895285697248 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18623] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18623/stat : 18623 (java) S 18602 18602 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4901019 13587718144 52448 33554432000 4194304 4196468 140729987824608 139895284644784 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 13278768
[startup+3.10145 s]
/proc/loadavg: 10.14 11.44 12.68 11/292 18623
/proc/meminfo: memFree=30845248/32770624 swapFree=5972/275060
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
[pid=18603] ppid=18602 vsize=13269256 CPUtime=11.63 cores=0,2,4,6,8,10,12,14
/proc/18603/stat : 18603 (java) S 18602 18602 14626 0 -1 1077944320 20463 0 0 0 971 192 0 0 20 0 20 0 4901010 13587718144 221826 33554432000 4194304 4196468 140729987824608 140729987807152 139895831805687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
/proc/18603/statm: 3317314 221826 3261 1 0 3304547 0
[pid=18603/tid=18604] ppid=18602 vsize=13269256 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18604/stat : 18604 (java) S 18602 18602 14626 0 -1 1077944384 7103 0 0 0 245 11 0 0 20 0 20 0 4901010 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895836044336 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18606] ppid=18602 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18606/stat : 18606 (java) R 18602 18602 14626 0 -1 4202560 288 0 0 0 25 21 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895750286296 139895813401520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18607] ppid=18602 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18607/stat : 18607 (java) R 18602 18602 14626 0 -1 4202560 227 0 0 0 26 21 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895749233752 139895813402698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18608] ppid=18602 vsize=13269256 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18608/stat : 18608 (java) R 18602 18602 14626 0 -1 4202560 485 0 0 0 25 23 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895748181208 139895816503462 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18609] ppid=18602 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18609/stat : 18609 (java) R 18602 18602 14626 0 -1 4202560 245 0 0 0 25 21 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895747128664 139895813402209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18610] ppid=18602 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18610/stat : 18610 (java) R 18602 18602 14626 0 -1 4202560 252 0 0 0 26 20 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895746075096 139895816756264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18611] ppid=18602 vsize=13269256 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18611/stat : 18611 (java) R 18602 18602 14626 0 -1 4202560 239 0 0 0 25 23 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895745022240 139895816503448 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18612] ppid=18602 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18612/stat : 18612 (java) R 18602 18602 14626 0 -1 4202560 210 0 0 0 26 21 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895743970008 139895813402698 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18613] ppid=18602 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18613/stat : 18613 (java) R 18602 18602 14626 0 -1 4202560 238 0 0 0 25 22 0 0 20 0 20 0 4901011 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895423101784 139895813402698 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18614] ppid=18602 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18614/stat : 18614 (java) S 18602 18602 14626 0 -1 1077944384 591 0 0 0 1 0 0 0 20 0 20 0 4901013 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895294116704 139895831815893 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18615] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18615/stat : 18615 (java) S 18602 18602 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4901014 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895293064672 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18616] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18616/stat : 18616 (java) S 18602 18602 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4901014 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895292012032 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18617] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18617/stat : 18617 (java) S 18602 18602 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4901019 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895290960592 139895831824283 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18618] ppid=18602 vsize=13269256 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18618/stat : 18618 (java) S 18602 18602 14626 0 -1 1077944384 2314 0 0 0 154 0 0 0 20 0 20 0 4901019 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895289907184 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18619] ppid=18602 vsize=13269256 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18619/stat : 18619 (java) S 18602 18602 14626 0 -1 1077944384 2271 0 0 0 149 0 0 0 20 0 20 0 4901019 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895288854640 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18620] ppid=18602 vsize=13269256 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18620/stat : 18620 (java) S 18602 18602 14626 0 -1 1077944384 2404 0 0 0 148 0 0 0 20 0 20 0 4901019 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895287802096 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18621] ppid=18602 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18621/stat : 18621 (java) S 18602 18602 14626 0 -1 1077944384 2300 0 0 0 66 1 0 0 20 0 20 0 4901019 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895286749552 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18622] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18622/stat : 18622 (java) S 18602 18602 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4901019 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895285697248 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18623] ppid=18602 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18623/stat : 18623 (java) S 18602 18602 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4901019 13587718144 221826 33554432000 4194304 4196468 140729987824608 139895284644784 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 13278768
[startup+6.30162 s]
/proc/loadavg: 10.05 11.40 12.66 18/300 18631
/proc/meminfo: memFree=29779096/32770624 swapFree=5972/275072
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
[pid=18603] ppid=18602 vsize=13801768 CPUtime=27.92 cores=0,2,4,6,8,10,12,14
/proc/18603/stat : 18603 (java) S 18602 18602 14626 0 -1 1077944320 23517 0 0 0 2428 364 0 0 20 0 28 0 4901010 14133010432 353828 33554432000 4194304 4196468 140729987824608 140729987807152 139895831805687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
/proc/18603/statm: 3450442 353828 3287 1 0 3437675 0
[pid=18603/tid=18604] ppid=18602 vsize=13801768 CPUtime=3.85 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18604/stat : 18604 (java) S 18602 18602 14626 0 -1 1077944384 7406 0 0 0 371 14 0 0 20 0 28 0 4901010 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895836046464 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18606] ppid=18602 vsize=13801768 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18606/stat : 18606 (java) S 18602 18602 14626 0 -1 1077944384 435 0 0 0 93 42 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895750286096 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18607] ppid=18602 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18607/stat : 18607 (java) S 18602 18602 14626 0 -1 1077944384 385 0 0 0 95 41 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895749233552 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18608] ppid=18602 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18608/stat : 18608 (java) S 18602 18602 14626 0 -1 1077944384 629 0 0 0 93 44 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895748181008 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18609] ppid=18602 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18609/stat : 18609 (java) S 18602 18602 14626 0 -1 1077944384 394 0 0 0 96 41 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895747128464 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18610] ppid=18602 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18610/stat : 18610 (java) S 18602 18602 14626 0 -1 1077944384 427 0 0 0 95 41 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895746074896 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18611] ppid=18602 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18611/stat : 18611 (java) S 18602 18602 14626 0 -1 1077944384 391 0 0 0 95 44 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895745022352 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18612] ppid=18602 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18612/stat : 18612 (java) S 18602 18602 14626 0 -1 1077944384 374 0 0 0 97 42 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895743969808 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18613] ppid=18602 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18613/stat : 18613 (java) S 18602 18602 14626 0 -1 1077944384 399 0 0 0 95 44 0 0 20 0 28 0 4901011 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895423101584 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18614] ppid=18602 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18614/stat : 18614 (java) S 18602 18602 14626 0 -1 1077944384 986 0 0 0 6 0 0 0 20 0 28 0 4901013 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895294118384 139895831816834 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18615] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18615/stat : 18615 (java) S 18602 18602 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4901014 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895293064672 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18616] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18616/stat : 18616 (java) S 18602 18602 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4901014 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895292012032 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18617] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18617/stat : 18617 (java) S 18602 18602 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4901019 14133010432 353828 33554432000 4194304 4196468 140729987824608 139895290960592 139895831824283 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
################
# More data... #
################
/proc/18603/task/18630/stat : 18630 (java) R 18602 18602 14626 0 -1 4202560 7217 0 0 0 20796 4 0 0 20 0 28 0 4901547 14133010432 734768 33554432000 4194304 4196468 140729987824608 139895202885496 139895428323726 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18631] ppid=18602 vsize=13801768 CPUtime=209.61 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18631/stat : 18631 (java) R 18602 18602 14626 0 -1 4202560 3882 0 0 0 20959 2 0 0 20 0 28 0 4901547 14133010432 734768 33554432000 4194304 4196468 140729987824608 139895201833352 139895432604151 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
Current children cumulated CPU time (s) 1736.05
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.95 14.21 13.54 17/299 18729
/proc/meminfo: memFree=27804800/32770624 swapFree=5972/275444
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
[pid=18603] ppid=18602 vsize=13801768 CPUtime=2213.44 cores=0,2,4,6,8,10,12,14
/proc/18603/stat : 18603 (java) S 18602 18602 14626 0 -1 1077944320 220234 0 0 0 220496 848 0 0 20 0 28 0 4901010 14133010432 958013 33554432000 4194304 4196468 140729987824608 140729987807152 139895831805687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
/proc/18603/statm: 3450442 958013 3307 1 0 3437675 0
[pid=18603/tid=18604] ppid=18602 vsize=13801768 CPUtime=3.85 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18604/stat : 18604 (java) S 18602 18602 14626 0 -1 1077944384 7406 0 0 0 371 14 0 0 20 0 28 0 4901010 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895836046464 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18606] ppid=18602 vsize=13801768 CPUtime=5.74 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18606/stat : 18606 (java) S 18602 18602 14626 0 -1 1077944384 6469 0 0 0 477 97 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895750286096 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18607] ppid=18602 vsize=13801768 CPUtime=5.76 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18607/stat : 18607 (java) S 18602 18602 14626 0 -1 1077944384 4240 0 0 0 477 99 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895749233552 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18608] ppid=18602 vsize=13801768 CPUtime=5.68 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18608/stat : 18608 (java) S 18602 18602 14626 0 -1 1077944384 3392 0 0 0 477 91 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895748181008 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18609] ppid=18602 vsize=13801768 CPUtime=5.79 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18609/stat : 18609 (java) S 18602 18602 14626 0 -1 1077944384 9714 0 0 0 481 98 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895747128464 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18610] ppid=18602 vsize=13801768 CPUtime=5.83 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18610/stat : 18610 (java) S 18602 18602 14626 0 -1 1077944384 5270 0 0 0 492 91 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895746074896 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18611] ppid=18602 vsize=13801768 CPUtime=5.84 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18611/stat : 18611 (java) S 18602 18602 14626 0 -1 1077944384 9020 0 0 0 486 98 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895745022352 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18612] ppid=18602 vsize=13801768 CPUtime=5.84 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18612/stat : 18612 (java) S 18602 18602 14626 0 -1 1077944384 9578 0 0 0 491 93 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895743969808 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18613] ppid=18602 vsize=13801768 CPUtime=5.79 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18613/stat : 18613 (java) S 18602 18602 14626 0 -1 1077944384 6540 0 0 0 484 95 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895423101584 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18614] ppid=18602 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18614/stat : 18614 (java) S 18602 18602 14626 0 -1 1077944384 5469 0 0 0 161 11 0 0 20 0 28 0 4901013 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895294118384 139895831816834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18615] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18615/stat : 18615 (java) S 18602 18602 14626 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4901014 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895293064672 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18616] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18616/stat : 18616 (java) S 18602 18602 14626 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4901014 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895292012032 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18617] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18617/stat : 18617 (java) S 18602 18602 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895290960592 139895831824283 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18618] ppid=18602 vsize=13801768 CPUtime=4.9 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18618/stat : 18618 (java) S 18602 18602 14626 0 -1 1077944384 13252 0 0 0 487 3 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895289907184 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18619] ppid=18602 vsize=13801768 CPUtime=4.83 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18619/stat : 18619 (java) S 18602 18602 14626 0 -1 1077944384 15174 0 0 0 481 2 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895288854640 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18620] ppid=18602 vsize=13801768 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18620/stat : 18620 (java) S 18602 18602 14626 0 -1 1077944384 13830 0 0 0 502 2 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895287802096 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18621] ppid=18602 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18621/stat : 18621 (java) S 18602 18602 14626 0 -1 1077944384 10446 0 0 0 130 3 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895286749552 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18622] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18622/stat : 18622 (java) S 18602 18602 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895285697248 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18623] ppid=18602 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18623/stat : 18623 (java) S 18602 18602 14626 0 -1 1077944384 740 0 0 0 8 10 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895284644784 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18624] ppid=18602 vsize=13801768 CPUtime=268.41 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18624/stat : 18624 (java) R 18602 18602 14626 0 -1 4202560 1667 0 0 0 26839 2 0 0 20 0 28 0 4901546 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895276629160 139895426887573 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18625] ppid=18602 vsize=13801768 CPUtime=269.2 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18625/stat : 18625 (java) R 18602 18602 14626 0 -1 4202560 18799 0 0 0 26914 6 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895275578008 139895432286192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18626] ppid=18602 vsize=13801768 CPUtime=268.61 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18626/stat : 18626 (java) R 18602 18602 14626 0 -1 4202560 5720 0 0 0 26859 2 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895274524096 139895426057417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18627] ppid=18602 vsize=13801768 CPUtime=267.21 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18627/stat : 18627 (java) R 18602 18602 14626 0 -1 4202560 36682 0 0 0 26716 5 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895273471768 139895432404889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18628] ppid=18602 vsize=13801768 CPUtime=269.25 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18628/stat : 18628 (java) R 18602 18602 14626 0 -1 4202560 9491 0 0 0 26921 4 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895204991000 139895432284680 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18629] ppid=18602 vsize=13801768 CPUtime=268.49 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18629/stat : 18629 (java) R 18602 18602 14626 0 -1 4202560 13032 0 0 0 26843 6 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895203937960 139895429017562 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18630] ppid=18602 vsize=13801768 CPUtime=265.9 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18630/stat : 18630 (java) R 18602 18602 14626 0 -1 4202560 8449 0 0 0 26585 5 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895202886136 139895432404889 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18631] ppid=18602 vsize=13801768 CPUtime=268.02 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18631/stat : 18631 (java) R 18602 18602 14626 0 -1 4202560 4535 0 0 0 26799 3 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895201832984 139895432285548 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
Current children cumulated CPU time (s) 2213.44
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.802 s]
/proc/loadavg: 15.97 14.36 13.61 17/301 18737
/proc/meminfo: memFree=27805212/32770624 swapFree=5972/275460
[pid=18602] ppid=18599 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18602/stat : 18602 (xcsp3-exec) S 18599 18602 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4901009 9740288 346 33554432000 4194304 5098028 140737241749984 140737241748088 140253601178236 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 15073280 140737241756814 140737241757024 140737241757024 140737241759723 0
/proc/18602/statm: 2378 346 289 221 0 87 0
[pid=18603] ppid=18602 vsize=13801768 CPUtime=2400.65 cores=0,2,4,6,8,10,12,14
/proc/18603/stat : 18603 (java) S 18602 18602 14626 0 -1 1077944320 223510 0 0 0 239214 851 0 0 20 0 28 0 4901010 14133010432 958013 33554432000 4194304 4196468 140729987824608 140729987807152 139895831805687 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
/proc/18603/statm: 3450442 958013 3307 1 0 3437675 0
[pid=18603/tid=18604] ppid=18602 vsize=13801768 CPUtime=3.85 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18604/stat : 18604 (java) S 18602 18602 14626 0 -1 1077944384 7406 0 0 0 371 14 0 0 20 0 28 0 4901010 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895836046464 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18606] ppid=18602 vsize=13801768 CPUtime=5.74 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18606/stat : 18606 (java) S 18602 18602 14626 0 -1 1077944384 6469 0 0 0 477 97 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895750286096 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18607] ppid=18602 vsize=13801768 CPUtime=5.76 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18607/stat : 18607 (java) S 18602 18602 14626 0 -1 1077944384 4240 0 0 0 477 99 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895749233552 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18608] ppid=18602 vsize=13801768 CPUtime=5.68 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18608/stat : 18608 (java) S 18602 18602 14626 0 -1 1077944384 3392 0 0 0 477 91 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895748181008 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18609] ppid=18602 vsize=13801768 CPUtime=5.79 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18609/stat : 18609 (java) S 18602 18602 14626 0 -1 1077944384 9714 0 0 0 481 98 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895747128464 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18610] ppid=18602 vsize=13801768 CPUtime=5.83 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18610/stat : 18610 (java) S 18602 18602 14626 0 -1 1077944384 5270 0 0 0 492 91 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895746074896 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18611] ppid=18602 vsize=13801768 CPUtime=5.84 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18611/stat : 18611 (java) S 18602 18602 14626 0 -1 1077944384 9020 0 0 0 486 98 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895745022352 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18612] ppid=18602 vsize=13801768 CPUtime=5.84 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18612/stat : 18612 (java) S 18602 18602 14626 0 -1 1077944384 9578 0 0 0 491 93 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895743969808 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18613] ppid=18602 vsize=13801768 CPUtime=5.79 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18613/stat : 18613 (java) S 18602 18602 14626 0 -1 1077944384 6540 0 0 0 484 95 0 0 20 0 28 0 4901011 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895423101584 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18614] ppid=18602 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18614/stat : 18614 (java) S 18602 18602 14626 0 -1 1077944384 5469 0 0 0 161 11 0 0 20 0 28 0 4901013 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895294118384 139895831816834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18615] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18615/stat : 18615 (java) S 18602 18602 14626 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4901014 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895293064672 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18616] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18616/stat : 18616 (java) S 18602 18602 14626 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4901014 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895292012032 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18617] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18617/stat : 18617 (java) S 18602 18602 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895290960592 139895831824283 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18618] ppid=18602 vsize=13801768 CPUtime=4.9 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18618/stat : 18618 (java) S 18602 18602 14626 0 -1 1077944384 13252 0 0 0 487 3 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895289907184 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18619] ppid=18602 vsize=13801768 CPUtime=4.83 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18619/stat : 18619 (java) S 18602 18602 14626 0 -1 1077944384 15174 0 0 0 481 2 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895288854640 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18620] ppid=18602 vsize=13801768 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18620/stat : 18620 (java) S 18602 18602 14626 0 -1 1077944384 13830 0 0 0 502 2 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895287802096 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18621] ppid=18602 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18621/stat : 18621 (java) S 18602 18602 14626 0 -1 1077944384 10446 0 0 0 130 3 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895286749552 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18622] ppid=18602 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18622/stat : 18622 (java) S 18602 18602 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895285697248 139895831815893 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18623] ppid=18602 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18623/stat : 18623 (java) S 18602 18602 14626 0 -1 1077944384 742 0 0 0 9 11 0 0 20 0 28 0 4901019 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895284644784 139895831816834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18624] ppid=18602 vsize=13801768 CPUtime=291.9 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18624/stat : 18624 (java) R 18602 18602 14626 0 -1 4202560 1679 0 0 0 29188 2 0 0 20 0 28 0 4901546 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895276629160 139895432404741 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18625] ppid=18602 vsize=13801768 CPUtime=292.67 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18625/stat : 18625 (java) R 18602 18602 14626 0 -1 4202560 21655 0 0 0 29261 6 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895275578008 139895425208262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18626] ppid=18602 vsize=13801768 CPUtime=291.79 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18626/stat : 18626 (java) R 18602 18602 14626 0 -1 4202560 5789 0 0 0 29177 2 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895274524096 139895432405237 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18627] ppid=18602 vsize=13801768 CPUtime=290.7 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18627/stat : 18627 (java) R 18602 18602 14626 0 -1 4202560 36770 0 0 0 29065 5 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895273471768 139895432284798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18628] ppid=18602 vsize=13801768 CPUtime=292.74 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18628/stat : 18628 (java) R 18602 18602 14626 0 -1 4202560 9505 0 0 0 29270 4 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895204991000 139895428096314 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18629] ppid=18602 vsize=13801768 CPUtime=291.65 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18629/stat : 18629 (java) R 18602 18602 14626 0 -1 4202560 13129 0 0 0 29159 6 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895203937960 139895426057417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18630] ppid=18602 vsize=13801768 CPUtime=289.38 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18630/stat : 18630 (java) R 18602 18602 14626 0 -1 4202560 8462 0 0 0 28933 5 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895202886136 139895426112332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
[pid=18603/tid=18631] ppid=18602 vsize=13801768 CPUtime=291.44 cores=0,2,4,6,8,10,12,14
/proc/18603/task/18631/stat : 18631 (java) R 18602 18602 14626 0 -1 4202560 4660 0 0 0 29141 3 0 0 20 0 28 0 4901547 14133010432 958013 33554432000 4194304 4196468 140729987824608 139895201832984 139895432698527 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10387456 140729987826876 140729987827052 140729987827052 140729987829711 0
Current children cumulated CPU time (s) 2400.65
Current children cumulated vsize (KiB) 13811280
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 18603 sig 9
??? kill 18602 sig 9
??? kill -18602 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18602 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2491
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1245
# CPU time returned by wait4() is 0.003736
# while last known CPU time is 2400.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 305.828
CPU time (s): 2400.65
CPU user time (s): 2392.14
CPU system time (s): 8.51
CPU usage (%): 784.968
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002491
system time used= 0.001245
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6614 second user time and 4.70174 second system time
The end