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-4249503-1500694805/watcher-4249503-1500694805 -o /tmp/evaluation-result-4249503-1500694805/solver-4249503-1500694805 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1221740230 HOME/instance-4249503-1500694805.xml
pid=13673
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: 16.09 15.74 14.66 10/272 13676
/proc/meminfo: memFree=31507056/32770624 swapFree=5800/286376
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 16.09 15.74 14.66 10/272 13676
/proc/meminfo: memFree=31507056/32770624 swapFree=5800/286376
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200314 s]
/proc/loadavg: 16.09 15.74 14.66 10/272 13676
/proc/meminfo: memFree=31507056/32770624 swapFree=5800/286376
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30028 s]
/proc/loadavg: 16.09 15.74 14.66 10/272 13676
/proc/meminfo: memFree=31507056/32770624 swapFree=5800/286376
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700183 s]
/proc/loadavg: 16.09 15.74 14.66 10/272 13676
/proc/meminfo: memFree=31507056/32770624 swapFree=5800/286376
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50145 s]
/proc/loadavg: 16.09 15.74 14.66 20/301 13705
/proc/meminfo: memFree=31427072/32770624 swapFree=5800/286432
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
[pid=13677] ppid=13676 vsize=13801768 CPUtime=8.31 cores=0,2,4,6,8,10,12,14
/proc/13677/stat : 13677 (java) S 13676 13676 7621 0 -1 1077944320 16151 0 0 0 824 7 0 0 20 0 28 0 4748253 14133010432 26265 33554432000 4194304 4196468 140729729483520 140729729466064 140540265692919 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
/proc/13677/statm: 3450442 26265 3230 1 0 3437675 0
[pid=13677/tid=13678] ppid=13676 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13678/stat : 13678 (java) S 13676 13676 7621 0 -1 1077944384 6886 0 0 0 56 3 0 0 20 0 28 0 4748254 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540269933696 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13680] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13680/stat : 13680 (java) S 13676 13676 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540197829136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13681] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13681/stat : 13681 (java) S 13676 13676 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540196776592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13682] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13682/stat : 13682 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540195723536 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13683] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13683/stat : 13683 (java) S 13676 13676 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540194670992 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13684] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13684/stat : 13684 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540193618960 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13685] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13685/stat : 13685 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540192566416 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13686] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13686/stat : 13686 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540191513360 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13687] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13687/stat : 13687 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 26265 33554432000 4194304 4196468 140729729483520 140540190460816 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13688] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13688/stat : 13688 (java) S 13676 13676 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4748257 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539459504368 140540265704066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13689] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13689/stat : 13689 (java) S 13676 13676 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539458450592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13690] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13690/stat : 13690 (java) S 13676 13676 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539457397488 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13691] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13691/stat : 13691 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539456346064 140540265711515 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13692] ppid=13676 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13692/stat : 13692 (java) R 13676 13676 7621 0 -1 4202560 1739 0 0 0 63 0 0 0 20 0 28 0 4748262 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539455275208 140540246392264 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13693] ppid=13676 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13693/stat : 13693 (java) R 13676 13676 7621 0 -1 4202560 1398 0 0 0 58 0 0 0 20 0 28 0 4748262 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539454241944 140540250445976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13694] ppid=13676 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13694/stat : 13694 (java) R 13676 13676 7621 0 -1 4202560 1834 0 0 0 80 0 0 0 20 0 28 0 4748262 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539453188888 140540247210801 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13695] ppid=13676 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13695/stat : 13695 (java) S 13676 13676 7621 0 -1 1077944384 2621 0 0 0 51 1 0 0 20 0 28 0 4748262 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539452136048 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13696] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13696/stat : 13696 (java) S 13676 13676 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539382983136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13697] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13697/stat : 13697 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539381930672 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13698] ppid=13676 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13698/stat : 13698 (java) R 13676 13676 7621 0 -1 4202560 47 0 0 0 68 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539374416488 140539869667046 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13699] ppid=13676 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13699/stat : 13699 (java) R 13676 13676 7621 0 -1 4202560 46 0 0 0 64 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539373363464 140539874798280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13700] ppid=13676 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13700/stat : 13700 (java) R 13676 13676 7621 0 -1 4202560 58 0 0 0 69 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539372312856 140539869663938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13701] ppid=13676 vsize=13801768 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13701/stat : 13701 (java) R 13676 13676 7621 0 -1 4202560 68 0 0 0 54 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539371258152 140539874794000 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13702] ppid=13676 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13702/stat : 13702 (java) R 13676 13676 7621 0 -1 4202560 42 0 0 0 56 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539370207592 140539874793685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13703] ppid=13676 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13703/stat : 13703 (java) R 13676 13676 7621 0 -1 4202560 33 0 0 0 58 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539369155176 140539869667060 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13704] ppid=13676 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13704/stat : 13704 (java) R 13676 13676 7621 0 -1 4202560 32 0 0 0 64 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539368103384 140539869649576 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13705] ppid=13676 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13705/stat : 13705 (java) R 13676 13676 7621 0 -1 4202560 36 0 0 0 77 0 0 0 20 0 28 0 4748315 14133010432 26265 33554432000 4194304 4196468 140729729483520 140539367046704 140539874793340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (KiB) 13811280
[startup+3.10118 s]
/proc/loadavg: 16.17 15.76 14.68 20/301 13705
/proc/meminfo: memFree=31393040/32770624 swapFree=5800/286428
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
[pid=13677] ppid=13676 vsize=13801768 CPUtime=21 cores=0,2,4,6,8,10,12,14
/proc/13677/stat : 13677 (java) S 13676 13676 7621 0 -1 1077944320 25655 0 0 0 2090 10 0 0 20 0 28 0 4748253 14133010432 36935 33554432000 4194304 4196468 140729729483520 140729729466064 140540265692919 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
/proc/13677/statm: 3450442 36935 3244 1 0 3437675 0
[pid=13677/tid=13678] ppid=13676 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13678/stat : 13678 (java) S 13676 13676 7621 0 -1 1077944384 7034 0 0 0 56 3 0 0 20 0 28 0 4748254 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540269933696 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13680] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13680/stat : 13680 (java) S 13676 13676 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540197829136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13681] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13681/stat : 13681 (java) S 13676 13676 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540196776592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13682] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13682/stat : 13682 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540195723536 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13683] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13683/stat : 13683 (java) S 13676 13676 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540194670992 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13684] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13684/stat : 13684 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540193618960 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13685] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13685/stat : 13685 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540192566416 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13686] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13686/stat : 13686 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540191513360 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13687] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13687/stat : 13687 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 36935 33554432000 4194304 4196468 140729729483520 140540190460816 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13688] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13688/stat : 13688 (java) S 13676 13676 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4748257 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539459504368 140540265704066 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13689] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13689/stat : 13689 (java) S 13676 13676 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539458450592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13690] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13690/stat : 13690 (java) S 13676 13676 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539457397488 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13691] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13691/stat : 13691 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539456346064 140540265711515 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13692] ppid=13676 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13692/stat : 13692 (java) S 13676 13676 7621 0 -1 1077944384 5430 0 0 0 171 0 0 0 20 0 28 0 4748262 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539455294192 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13693] ppid=13676 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13693/stat : 13693 (java) S 13676 13676 7621 0 -1 1077944384 3969 0 0 0 143 0 0 0 20 0 28 0 4748262 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539454241648 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13694] ppid=13676 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13694/stat : 13694 (java) S 13676 13676 7621 0 -1 1077944384 3067 0 0 0 143 1 0 0 20 0 28 0 4748262 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539453188592 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13695] ppid=13676 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13695/stat : 13695 (java) S 13676 13676 7621 0 -1 1077944384 3437 0 0 0 62 1 0 0 20 0 28 0 4748262 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539452136048 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13696] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13696/stat : 13696 (java) S 13676 13676 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539382983136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13697] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13697/stat : 13697 (java) S 13676 13676 7621 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 36935 33554432000 4194304 4196468 140729729483520 140539381930672 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
Current children cumulated CPU time (s) 21
Current children cumulated vsize (KiB) 13811280
[startup+6.30158 s]
/proc/loadavg: 16.17 15.76 14.68 17/301 13713
/proc/meminfo: memFree=31330504/32770624 swapFree=5800/286440
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
[pid=13677] ppid=13676 vsize=13801768 CPUtime=46.41 cores=0,2,4,6,8,10,12,14
/proc/13677/stat : 13677 (java) S 13676 13676 7621 0 -1 1077944320 34057 0 0 0 4622 19 0 0 20 0 28 0 4748253 14133010432 54671 33554432000 4194304 4196468 140729729483520 140729729466064 140540265692919 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
/proc/13677/statm: 3450442 54671 3269 1 0 3437675 0
[pid=13677/tid=13678] ppid=13676 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13678/stat : 13678 (java) S 13676 13676 7621 0 -1 1077944384 7034 0 0 0 56 3 0 0 20 0 28 0 4748254 14133010432 54671 33554432000 4194304 4196468 140729729483520 140540269933696 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13680] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13680/stat : 13680 (java) S 13676 13676 7621 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 54671 33554432000 4194304 4196468 140729729483520 140540197829136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13681] ppid=13676 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13681/stat : 13681 (java) S 13676 13676 7621 0 -1 1077944384 61 0 0 0 1 1 0 0 20 0 28 0 4748255 14133010432 54671 33554432000 4194304 4196468 140729729483520 140540196776592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13682] ppid=13676 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13682/stat : 13682 (java) S 13676 13676 7621 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 28 0 4748255 14133010432 54671 33554432000 4194304 4196468 140729729483520 140540195723536 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13683] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13683/stat : 13683 (java) S 13676 13676 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4748255 14133010432 54671 33554432000 4194304 4196468 140729729483520 140540194670992 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
################
# More data... #
################
[pid=13677/tid=13720] ppid=13676 vsize=13801768 CPUtime=212.99 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13720/stat : 13720 (java) R 13676 13676 7621 0 -1 4202560 1368 0 0 0 21298 1 0 0 20 0 28 0 4748914 14133010432 82140 33554432000 4194304 4196468 140729729483520 140539373363112 140539874641045 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13721] ppid=13676 vsize=13801768 CPUtime=213.3 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13721/stat : 13721 (java) R 13676 13676 7621 0 -1 4202560 730 0 0 0 21329 1 0 0 20 0 28 0 4748914 14133010432 82140 33554432000 4194304 4196468 140729729483520 140539367046968 140539875104362 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
Current children cumulated CPU time (s) 1759.29
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.87 15.75 14.95 17/301 13828
/proc/meminfo: memFree=28192804/32770624 swapFree=5800/286704
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
[pid=13677] ppid=13676 vsize=13801768 CPUtime=2233.69 cores=0,2,4,6,8,10,12,14
/proc/13677/stat : 13677 (java) S 13676 13676 7621 0 -1 1077944320 74068 0 0 0 223208 161 0 0 20 0 28 0 4748253 14133010432 94169 33554432000 4194304 4196468 140729729483520 140729729466064 140540265692919 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
/proc/13677/statm: 3450442 94169 3298 1 0 3437675 0
[pid=13677/tid=13678] ppid=13676 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13678/stat : 13678 (java) S 13676 13676 7621 0 -1 1077944384 7158 0 0 0 56 3 0 0 20 0 28 0 4748254 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540269933696 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13680] ppid=13676 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13680/stat : 13680 (java) S 13676 13676 7621 0 -1 1077944384 762 0 0 0 82 9 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540197829136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13681] ppid=13676 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13681/stat : 13681 (java) S 13676 13676 7621 0 -1 1077944384 1972 0 0 0 83 7 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540196776592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13682] ppid=13676 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13682/stat : 13682 (java) S 13676 13676 7621 0 -1 1077944384 1526 0 0 0 84 8 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540195723536 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13683] ppid=13676 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13683/stat : 13683 (java) S 13676 13676 7621 0 -1 1077944384 2036 0 0 0 86 8 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540194670992 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13684] ppid=13676 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13684/stat : 13684 (java) S 13676 13676 7621 0 -1 1077944384 1290 0 0 0 84 8 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540193618960 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13685] ppid=13676 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13685/stat : 13685 (java) S 13676 13676 7621 0 -1 1077944384 1222 0 0 0 86 8 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540192566416 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13686] ppid=13676 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13686/stat : 13686 (java) S 13676 13676 7621 0 -1 1077944384 1954 0 0 0 84 9 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540191513360 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13687] ppid=13676 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13687/stat : 13687 (java) S 13676 13676 7621 0 -1 1077944384 1538 0 0 0 84 9 0 0 20 0 28 0 4748255 14133010432 94169 33554432000 4194304 4196468 140729729483520 140540190460816 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13688] ppid=13676 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13688/stat : 13688 (java) S 13676 13676 7621 0 -1 1077944384 5921 0 0 0 55 58 0 0 20 0 28 0 4748257 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539459504368 140540265704066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13689] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13689/stat : 13689 (java) S 13676 13676 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539458450592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13690] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13690/stat : 13690 (java) S 13676 13676 7621 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539457397488 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13691] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13691/stat : 13691 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539456346064 140540265711515 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13692] ppid=13676 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13692/stat : 13692 (java) S 13676 13676 7621 0 -1 1077944384 8906 0 0 0 201 1 0 0 20 0 28 0 4748262 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539455294192 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13693] ppid=13676 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13693/stat : 13693 (java) S 13676 13676 7621 0 -1 1077944384 7853 0 0 0 181 1 0 0 20 0 28 0 4748262 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539454241648 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13694] ppid=13676 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13694/stat : 13694 (java) S 13676 13676 7621 0 -1 1077944384 8570 0 0 0 187 1 0 0 20 0 28 0 4748262 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539453188592 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13695] ppid=13676 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13695/stat : 13695 (java) S 13676 13676 7621 0 -1 1077944384 5443 0 0 0 65 1 0 0 20 0 28 0 4748262 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539452136048 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13696] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13696/stat : 13696 (java) S 13676 13676 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539382983136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13697] ppid=13676 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13697/stat : 13697 (java) S 13676 13676 7621 0 -1 1077944384 773 0 0 0 3 5 0 0 20 0 28 0 4748262 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539381930672 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13714] ppid=13676 vsize=13801768 CPUtime=271.49 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13714/stat : 13714 (java) R 13676 13676 7621 0 -1 4202560 1724 0 0 0 27148 1 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539371259040 140539874236721 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13715] ppid=13676 vsize=13801768 CPUtime=271.93 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13715/stat : 13715 (java) R 13676 13676 7621 0 -1 4202560 2049 0 0 0 27191 2 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539370204832 140539875108164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13716] ppid=13676 vsize=13801768 CPUtime=271.66 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13716/stat : 13716 (java) R 13676 13676 7621 0 -1 4202560 2152 0 0 0 27164 2 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539374416232 140539874277048 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13717] ppid=13676 vsize=13801768 CPUtime=271.95 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13717/stat : 13717 (java) R 13676 13676 7621 0 -1 4202560 2716 0 0 0 27194 1 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539372311064 140539875105992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13718] ppid=13676 vsize=13801768 CPUtime=272.25 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13718/stat : 13718 (java) R 13676 13676 7621 0 -1 4202560 942 0 0 0 27223 2 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539368100008 140539873766170 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13719] ppid=13676 vsize=13801768 CPUtime=272.29 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13719/stat : 13719 (java) R 13676 13676 7621 0 -1 4202560 541 0 0 0 27229 0 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539369153192 140539875106277 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13720] ppid=13676 vsize=13801768 CPUtime=271.94 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13720/stat : 13720 (java) R 13676 13676 7621 0 -1 4202560 1989 0 0 0 27192 2 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539373363000 140539873459500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13721] ppid=13676 vsize=13801768 CPUtime=272.26 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13721/stat : 13721 (java) R 13676 13676 7621 0 -1 4202560 878 0 0 0 27225 1 0 0 20 0 28 0 4748914 14133010432 94169 33554432000 4194304 4196468 140729729483520 140539367046968 140539874236201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
Current children cumulated CPU time (s) 2233.69
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.402 s]
/proc/loadavg: 15.99 15.79 14.99 17/299 13829
/proc/meminfo: memFree=28184592/32770624 swapFree=5800/286740
[pid=13676] ppid=13673 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13676/stat : 13676 (xcsp3-exec) S 13673 13676 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4748253 9740288 346 33554432000 4194304 5098028 140726262756096 140726262754200 140469856592508 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27971584 140726262764686 140726262764896 140726262764896 140726262767595 0
/proc/13676/statm: 2378 346 289 221 0 87 0
[pid=13677] ppid=13676 vsize=13801768 CPUtime=2400.57 cores=0,2,4,6,8,10,12,14
/proc/13677/stat : 13677 (java) S 13676 13676 7621 0 -1 1077944320 75551 0 0 0 239885 172 0 0 20 0 28 0 4748253 14133010432 94082 33554432000 4194304 4196468 140729729483520 140729729466064 140540265692919 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
/proc/13677/statm: 3450442 94082 3298 1 0 3437675 0
[pid=13677/tid=13678] ppid=13676 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13678/stat : 13678 (java) S 13676 13676 7621 0 -1 1077944384 7158 0 0 0 56 3 0 0 20 0 28 0 4748254 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540269933696 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13680] ppid=13676 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13680/stat : 13680 (java) S 13676 13676 7621 0 -1 1077944384 808 0 0 0 88 9 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540197829136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13681] ppid=13676 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13681/stat : 13681 (java) S 13676 13676 7621 0 -1 1077944384 2020 0 0 0 89 7 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540196776592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13682] ppid=13676 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13682/stat : 13682 (java) S 13676 13676 7621 0 -1 1077944384 1630 0 0 0 90 8 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540195723536 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13683] ppid=13676 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13683/stat : 13683 (java) S 13676 13676 7621 0 -1 1077944384 2314 0 0 0 93 8 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540194670992 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13684] ppid=13676 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13684/stat : 13684 (java) S 13676 13676 7621 0 -1 1077944384 1360 0 0 0 91 8 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540193618960 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13685] ppid=13676 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13685/stat : 13685 (java) S 13676 13676 7621 0 -1 1077944384 1263 0 0 0 91 8 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540192566416 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13686] ppid=13676 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13686/stat : 13686 (java) S 13676 13676 7621 0 -1 1077944384 2010 0 0 0 90 10 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540191513360 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13687] ppid=13676 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13687/stat : 13687 (java) S 13676 13676 7621 0 -1 1077944384 1589 0 0 0 90 9 0 0 20 0 28 0 4748255 14133010432 94082 33554432000 4194304 4196468 140729729483520 140540190460816 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13688] ppid=13676 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13688/stat : 13688 (java) S 13676 13676 7621 0 -1 1077944384 6169 0 0 0 60 64 0 0 20 0 28 0 4748257 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539459504368 140540265704066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13689] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13689/stat : 13689 (java) S 13676 13676 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539458450592 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13690] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13690/stat : 13690 (java) S 13676 13676 7621 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4748258 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539457397488 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13691] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13691/stat : 13691 (java) S 13676 13676 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539456346064 140540265711515 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13692] ppid=13676 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13692/stat : 13692 (java) S 13676 13676 7621 0 -1 1077944384 8908 0 0 0 201 1 0 0 20 0 28 0 4748262 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539455294192 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13693] ppid=13676 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13693/stat : 13693 (java) S 13676 13676 7621 0 -1 1077944384 7856 0 0 0 181 1 0 0 20 0 28 0 4748262 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539454241648 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13694] ppid=13676 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13694/stat : 13694 (java) S 13676 13676 7621 0 -1 1077944384 8572 0 0 0 187 1 0 0 20 0 28 0 4748262 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539453188592 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13695] ppid=13676 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13695/stat : 13695 (java) S 13676 13676 7621 0 -1 1077944384 5445 0 0 0 65 1 0 0 20 0 28 0 4748262 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539452136048 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13696] ppid=13676 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13696/stat : 13696 (java) S 13676 13676 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4748262 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539382983136 140540265703125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13697] ppid=13676 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13697/stat : 13697 (java) S 13676 13676 7621 0 -1 1077944384 793 0 0 0 4 6 0 0 20 0 28 0 4748262 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539381930672 140540265704066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13714] ppid=13676 vsize=13801768 CPUtime=292.25 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13714/stat : 13714 (java) R 13676 13676 7621 0 -1 4202560 1813 0 0 0 29224 1 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539371256392 140539875105145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13715] ppid=13676 vsize=13801768 CPUtime=292.73 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13715/stat : 13715 (java) R 13676 13676 7621 0 -1 4202560 2134 0 0 0 29271 2 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539370207744 140539875909198 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13716] ppid=13676 vsize=13801768 CPUtime=292.45 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13716/stat : 13716 (java) R 13676 13676 7621 0 -1 4202560 2273 0 0 0 29243 2 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539374416240 140539874236533 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13717] ppid=13676 vsize=13801768 CPUtime=292.72 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13717/stat : 13717 (java) R 13676 13676 7621 0 -1 4202560 2753 0 0 0 29271 1 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539372310936 140539875190151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13718] ppid=13676 vsize=13801768 CPUtime=293 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13718/stat : 13718 (java) R 13676 13676 7621 0 -1 4202560 996 0 0 0 29298 2 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539368100008 140539873766603 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13719] ppid=13676 vsize=13801768 CPUtime=293.11 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13719/stat : 13719 (java) R 13676 13676 7621 0 -1 4202560 585 0 0 0 29310 1 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539369152712 140539873766417 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13720] ppid=13676 vsize=13801768 CPUtime=292.68 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13720/stat : 13720 (java) R 13676 13676 7621 0 -1 4202560 2028 0 0 0 29266 2 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539373363080 140539875909239 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
[pid=13677/tid=13721] ppid=13676 vsize=13801768 CPUtime=293.06 cores=0,2,4,6,8,10,12,14
/proc/13677/task/13721/stat : 13721 (java) R 13676 13676 7621 0 -1 4202560 921 0 0 0 29305 1 0 0 20 0 28 0 4748914 14133010432 94082 33554432000 4194304 4196468 140729729483520 140539367046968 140539875105360 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21602304 140729729492156 140729729492332 140729729492332 140729729494991 0
Current children cumulated CPU time (s) 2400.57
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 13677 sig 9
??? kill 13676 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 13676 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=913
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1827
# CPU time returned by wait4() is 0.00274
# while last known CPU time is 2400.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.412
CPU time (s): 2400.57
CPU user time (s): 2398.85
CPU system time (s): 1.72
CPU usage (%): 791.191
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000913
system time used= 0.001827
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 4.18685 second user time and 4.16619 second system time
The end