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-4250180-1500696221/watcher-4250180-1500696221 -o /tmp/evaluation-result-4250180-1500696221/solver-4250180-1500696221 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 89849673 HOME/instance-4250180-1500696221.xml
pid=12739
running on 8 cores: 1,3,5,7,9,11,13,15
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: 11.01 8.99 11.17 10/270 12742
/proc/meminfo: memFree=31622116/32770624 swapFree=5892/131636
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 11.01 8.99 11.17 10/270 12742
/proc/meminfo: memFree=31622116/32770624 swapFree=5892/131636
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200273 s]
/proc/loadavg: 11.01 8.99 11.17 10/270 12742
/proc/meminfo: memFree=31622116/32770624 swapFree=5892/131636
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300234 s]
/proc/loadavg: 11.01 8.99 11.17 10/270 12742
/proc/meminfo: memFree=31622116/32770624 swapFree=5892/131636
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700193 s]
/proc/loadavg: 11.01 8.99 11.17 10/270 12742
/proc/meminfo: memFree=31622116/32770624 swapFree=5892/131636
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50086 s]
/proc/loadavg: 11.01 8.99 11.17 17/291 12763
/proc/meminfo: memFree=31357436/32770624 swapFree=5892/132028
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
[pid=12743] ppid=12742 vsize=13269256 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/12743/stat : 12743 (java) S 12742 12742 15667 0 -1 1077944320 16872 0 0 0 518 103 0 0 20 0 20 0 4891744 13587718144 93450 33554432000 4194304 4196468 140724564631920 140724564614464 139704340262647 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
/proc/12743/statm: 3317314 93450 3244 1 0 3304547 0
[pid=12743/tid=12744] ppid=12742 vsize=13269256 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12744/stat : 12744 (java) R 12742 12742 15667 0 -1 4202560 6946 0 0 0 119 5 0 0 20 0 20 0 4891744 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704344498064 139704322408456 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12746] ppid=12742 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12746/stat : 12746 (java) S 12742 12742 15667 0 -1 1077944384 87 0 0 0 8 12 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704292882704 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12747] ppid=12742 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12747/stat : 12747 (java) S 12742 12742 15667 0 -1 1077944384 86 0 0 0 9 11 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704291830160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12748] ppid=12742 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12748/stat : 12748 (java) S 12742 12742 15667 0 -1 1077944384 86 0 0 0 9 11 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704290777616 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12749] ppid=12742 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12749/stat : 12749 (java) S 12742 12742 15667 0 -1 1077944384 97 0 0 0 10 12 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704289725072 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12750] ppid=12742 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12750/stat : 12750 (java) S 12742 12742 15667 0 -1 1077944384 84 0 0 0 9 11 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704288672528 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12751] ppid=12742 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12751/stat : 12751 (java) S 12742 12742 15667 0 -1 1077944384 96 0 0 0 10 11 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704287619984 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12752] ppid=12742 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12752/stat : 12752 (java) S 12742 12742 15667 0 -1 1077944384 96 0 0 0 9 12 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704286567440 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12753] ppid=12742 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12753/stat : 12753 (java) S 12742 12742 15667 0 -1 1077944384 87 0 0 0 9 12 0 0 20 0 20 0 4891745 13587718144 93450 33554432000 4194304 4196468 140724564631920 139704285514896 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12754] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12754/stat : 12754 (java) S 12742 12742 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4891747 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703667877872 139704340273794 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12755] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12755/stat : 12755 (java) S 12742 12742 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4891748 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703666824160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12756] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12756/stat : 12756 (java) S 12742 12742 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4891749 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703665771520 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12757] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12757/stat : 12757 (java) S 12742 12742 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4891752 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703664720080 139704340281243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12758] ppid=12742 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12758/stat : 12758 (java) R 12742 12742 15667 0 -1 4202560 1972 0 0 0 88 0 0 0 20 0 20 0 4891752 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703663650192 139704323759330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12759] ppid=12742 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12759/stat : 12759 (java) R 12742 12742 15667 0 -1 4202560 1910 0 0 0 86 0 0 0 20 0 20 0 4891752 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703662597312 139704318429128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12760] ppid=12742 vsize=13269256 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12760/stat : 12760 (java) R 12742 12742 15667 0 -1 4202560 1805 0 0 0 90 0 0 0 20 0 20 0 4891752 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703661548704 139704325181552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12761] ppid=12742 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12761/stat : 12761 (java) S 12742 12742 15667 0 -1 1077944384 2140 0 0 0 57 0 0 0 20 0 20 0 4891752 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703660510064 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12762] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12762/stat : 12762 (java) S 12742 12742 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4891753 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703659456736 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12763] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12763/stat : 12763 (java) S 12742 12742 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4891753 13587718144 93450 33554432000 4194304 4196468 140724564631920 139703658404272 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13278768
[startup+3.10117 s]
/proc/loadavg: 11.01 8.99 11.17 13/291 12763
/proc/meminfo: memFree=31144216/32770624 swapFree=5892/132028
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
[pid=12743] ppid=12742 vsize=13269256 CPUtime=15.4 cores=1,3,5,7,9,11,13,15
/proc/12743/stat : 12743 (java) S 12742 12742 15667 0 -1 1077944320 22703 0 0 0 1386 154 0 0 20 0 20 0 4891744 13587718144 155432 33554432000 4194304 4196468 140724564631920 140724564614464 139704340262647 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
/proc/12743/statm: 3317314 155432 3258 1 0 3304547 0
[pid=12743/tid=12744] ppid=12742 vsize=13269256 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12744/stat : 12744 (java) R 12742 12742 15667 0 -1 4202560 7558 0 0 0 209 6 0 0 20 0 20 0 4891744 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704344500328 139703967533248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12746] ppid=12742 vsize=13269256 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12746/stat : 12746 (java) S 12742 12742 15667 0 -1 1077944384 180 0 0 0 68 16 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704292882704 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12747] ppid=12742 vsize=13269256 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12747/stat : 12747 (java) S 12742 12742 15667 0 -1 1077944384 172 0 0 0 63 18 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704291830160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12748] ppid=12742 vsize=13269256 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12748/stat : 12748 (java) S 12742 12742 15667 0 -1 1077944384 188 0 0 0 68 15 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704290777616 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12749] ppid=12742 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12749/stat : 12749 (java) S 12742 12742 15667 0 -1 1077944384 167 0 0 0 69 19 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704289725072 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12750] ppid=12742 vsize=13269256 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12750/stat : 12750 (java) S 12742 12742 15667 0 -1 1077944384 142 0 0 0 66 18 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704288672528 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12751] ppid=12742 vsize=13269256 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12751/stat : 12751 (java) S 12742 12742 15667 0 -1 1077944384 279 0 0 0 67 17 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704287619984 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12752] ppid=12742 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12752/stat : 12752 (java) S 12742 12742 15667 0 -1 1077944384 190 0 0 0 67 18 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704286567440 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12753] ppid=12742 vsize=13269256 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12753/stat : 12753 (java) S 12742 12742 15667 0 -1 1077944384 141 0 0 0 64 19 0 0 20 0 20 0 4891745 13587718144 155432 33554432000 4194304 4196468 140724564631920 139704285514896 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12754] ppid=12742 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12754/stat : 12754 (java) S 12742 12742 15667 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 4891747 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703667877872 139704340273794 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12755] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12755/stat : 12755 (java) S 12742 12742 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4891748 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703666824160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12756] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12756/stat : 12756 (java) S 12742 12742 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4891749 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703665771520 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12757] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12757/stat : 12757 (java) S 12742 12742 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4891752 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703664720080 139704340281243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12758] ppid=12742 vsize=13269256 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12758/stat : 12758 (java) R 12742 12742 15667 0 -1 4202560 3014 0 0 0 182 0 0 0 20 0 20 0 4891752 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703663652416 139704323794138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12759] ppid=12742 vsize=13269256 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12759/stat : 12759 (java) R 12742 12742 15667 0 -1 4202560 2719 0 0 0 175 0 0 0 20 0 20 0 4891752 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703662598672 139704320962944 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12760] ppid=12742 vsize=13269256 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12760/stat : 12760 (java) R 12742 12742 15667 0 -1 4202560 2726 0 0 0 196 0 0 0 20 0 20 0 4891752 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703661549280 139704323647440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12761] ppid=12742 vsize=13269256 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12761/stat : 12761 (java) R 12742 12742 15667 0 -1 4202560 3543 0 0 0 83 1 0 0 20 0 20 0 4891752 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703660510064 139704319210080 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12762] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12762/stat : 12762 (java) S 12742 12742 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4891753 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703659456736 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12763] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12763/stat : 12763 (java) S 12742 12742 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4891753 13587718144 155432 33554432000 4194304 4196468 140724564631920 139703658404272 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 13278768
[startup+6.30184 s]
/proc/loadavg: 11.33 9.09 11.19 13/291 12763
/proc/meminfo: memFree=30519100/32770624 swapFree=5892/132040
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
[pid=12743] ppid=12742 vsize=13269256 CPUtime=35.82 cores=1,3,5,7,9,11,13,15
/proc/12743/stat : 12743 (java) S 12742 12742 15667 0 -1 1077944320 47113 0 0 0 3159 423 0 0 20 0 20 0 4891744 13587718144 368591 33554432000 4194304 4196468 140724564631920 140724564614464 139704340262647 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
/proc/12743/statm: 3317314 368591 3276 1 0 3304547 0
[pid=12743/tid=12744] ppid=12742 vsize=13269256 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12744/stat : 12744 (java) S 12742 12742 15667 0 -1 1077944384 8204 0 0 0 325 10 0 0 20 0 20 0 4891744 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704344501904 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12746] ppid=12742 vsize=13269256 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12746/stat : 12746 (java) R 12742 12742 15667 0 -1 4202560 687 0 0 0 221 54 0 0 20 0 20 0 4891745 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704292882904 139704325290521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12747] ppid=12742 vsize=13269256 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12747/stat : 12747 (java) R 12742 12742 15667 0 -1 4202560 628 0 0 0 208 49 0 0 20 0 20 0 4891745 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704291830048 139704325290521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12748] ppid=12742 vsize=13269256 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12748/stat : 12748 (java) R 12742 12742 15667 0 -1 4202560 627 0 0 0 217 48 0 0 20 0 20 0 4891745 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704290777816 139704325290521 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12749] ppid=12742 vsize=13269256 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12749/stat : 12749 (java) R 12742 12742 15667 0 -1 4202560 621 0 0 0 219 57 0 0 20 0 20 0 4891745 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704289725272 139704325290521 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12750] ppid=12742 vsize=13269256 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12750/stat : 12750 (java) R 12742 12742 15667 0 -1 4202560 588 0 0 0 189 47 0 0 20 0 20 0 4891745 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704288672728 139704333359483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12751] ppid=12742 vsize=13269256 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12751/stat : 12751 (java) R 12742 12742 15667 0 -1 4202560 669 0 0 0 204 46 0 0 20 0 20 0 4891745 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704287620184 139704325284768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12752] ppid=12742 vsize=13269256 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12752/stat : 12752 (java) R 12742 12742 15667 0 -1 4202560 613 0 0 0 217 48 0 0 20 0 20 0 4891745 13587718144 368591 33554432000 4194304 4196468 140724564631920 139704286567640 139704325290521 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12753] ppid=12742 vsize=13269256 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12753/stat : 12753 (java) R 12742 12742 15667 0 -1 4202560 547 0 0 0 212 55 0 0 20 0 20 0 4891745 13587718144 368648 33554432000 4194304 4196468 140724564631920 139704285515096 139704325290521 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12754] ppid=12742 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12754/stat : 12754 (java) S 12742 12742 15667 0 -1 1077944384 5970 0 0 0 4 0 0 0 20 0 20 0 4891747 13587718144 368648 33554432000 4194304 4196468 140724564631920 139703667876384 139704340272853 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12755] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12755/stat : 12755 (java) S 12742 12742 15667 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4891748 13587718144 368648 33554432000 4194304 4196468 140724564631920 139703666824160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12756] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12756/stat : 12756 (java) S 12742 12742 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4891749 13587718144 368648 33554432000 4194304 4196468 140724564631920 139703665771520 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12757] ppid=12742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12757/stat : 12757 (java) S 12742 12742 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4891752 13587718144 368648 33554432000 4194304 4196468 140724564631920 139703664720080 139704340281243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
################
# More data... #
################
[pid=12743/tid=12770] ppid=12742 vsize=13801768 CPUtime=167.56 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12770/stat : 12770 (java) R 12742 12742 15667 0 -1 4202560 5920 0 0 0 16755 1 0 0 20 0 28 0 4892813 14133010432 1780846 33554432000 4194304 4196468 140724564631920 139703644073784 139703963271002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12771] ppid=12742 vsize=13801768 CPUtime=168.51 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12771/stat : 12771 (java) R 12742 12742 15667 0 -1 4202560 5971 0 0 0 16850 1 0 0 20 0 28 0 4892813 14133010432 1780846 33554432000 4194304 4196468 140724564631920 139703643020936 139703970159760 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
Current children cumulated CPU time (s) 1699.46
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.91 13.13 12.36 17/299 12877
/proc/meminfo: memFree=21196776/32770624 swapFree=5892/132364
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
[pid=12743] ppid=12742 vsize=13801768 CPUtime=2176.95 cores=1,3,5,7,9,11,13,15
/proc/12743/stat : 12743 (java) S 12742 12742 15667 0 -1 1077944320 329694 0 0 0 215336 2359 0 0 20 0 28 0 4891744 14133010432 1765612 33554432000 4194304 4196468 140724564631920 140724564614464 139704340262647 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
/proc/12743/statm: 3450442 1765612 3307 1 0 3437675 0
[pid=12743/tid=12744] ppid=12742 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12744/stat : 12744 (java) S 12742 12742 15667 0 -1 1077944384 9048 0 0 0 429 11 0 0 20 0 28 0 4891744 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704344503424 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12746] ppid=12742 vsize=13801768 CPUtime=40.74 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12746/stat : 12746 (java) S 12742 12742 15667 0 -1 1077944384 19590 0 0 0 3795 279 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704292882704 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12747] ppid=12742 vsize=13801768 CPUtime=40.63 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12747/stat : 12747 (java) S 12742 12742 15667 0 -1 1077944384 18066 0 0 0 3770 293 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704291830160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12748] ppid=12742 vsize=13801768 CPUtime=40.17 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12748/stat : 12748 (java) S 12742 12742 15667 0 -1 1077944384 17195 0 0 0 3744 273 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704290777616 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12749] ppid=12742 vsize=13801768 CPUtime=41.1 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12749/stat : 12749 (java) S 12742 12742 15667 0 -1 1077944384 17102 0 0 0 3817 293 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704289725072 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12750] ppid=12742 vsize=13801768 CPUtime=40.4 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12750/stat : 12750 (java) S 12742 12742 15667 0 -1 1077944384 23602 0 0 0 3742 298 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704288672528 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12751] ppid=12742 vsize=13801768 CPUtime=40.34 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12751/stat : 12751 (java) S 12742 12742 15667 0 -1 1077944384 17294 0 0 0 3730 304 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704287619984 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12752] ppid=12742 vsize=13801768 CPUtime=40.59 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12752/stat : 12752 (java) S 12742 12742 15667 0 -1 1077944384 19439 0 0 0 3792 267 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704286567440 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12753] ppid=12742 vsize=13801768 CPUtime=40.56 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12753/stat : 12753 (java) S 12742 12742 15667 0 -1 1077944384 19203 0 0 0 3770 286 0 0 20 0 28 0 4891745 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139704285514896 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12754] ppid=12742 vsize=13801768 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12754/stat : 12754 (java) S 12742 12742 15667 0 -1 1077944384 26368 0 0 0 680 8 0 0 20 0 28 0 4891747 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703667877872 139704340273794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12755] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12755/stat : 12755 (java) S 12742 12742 15667 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4891748 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703666824160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12756] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12756/stat : 12756 (java) S 12742 12742 15667 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4891749 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703665771520 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12757] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12757/stat : 12757 (java) S 12742 12742 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4891752 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703664720080 139704340281243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12758] ppid=12742 vsize=13801768 CPUtime=7.38 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12758/stat : 12758 (java) S 12742 12742 15667 0 -1 1077944384 24448 0 0 0 735 3 0 0 20 0 28 0 4891752 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703663667696 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12759] ppid=12742 vsize=13801768 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12759/stat : 12759 (java) S 12742 12742 15667 0 -1 1077944384 24539 0 0 0 847 3 0 0 20 0 28 0 4891752 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703662615152 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12760] ppid=12742 vsize=13801768 CPUtime=7.99 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12760/stat : 12760 (java) S 12742 12742 15667 0 -1 1077944384 21825 0 0 0 796 3 0 0 20 0 28 0 4891752 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703661562608 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12761] ppid=12742 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12761/stat : 12761 (java) S 12742 12742 15667 0 -1 1077944384 12553 0 0 0 170 2 0 0 20 0 28 0 4891752 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703660510064 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12762] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12762/stat : 12762 (java) S 12742 12742 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4891753 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703659456736 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12763] ppid=12742 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12763/stat : 12763 (java) S 12742 12742 15667 0 -1 1077944384 1278 0 0 0 9 9 0 0 20 0 28 0 4891753 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703658404272 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12764] ppid=12742 vsize=13801768 CPUtime=226.83 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12764/stat : 12764 (java) R 12742 12742 15667 0 -1 4202560 3181 0 0 0 22682 1 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703650388888 139703970054764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12765] ppid=12742 vsize=13801768 CPUtime=226.83 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12765/stat : 12765 (java) R 12742 12742 15667 0 -1 4202560 6587 0 0 0 22680 3 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703649339640 139703969012372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12766] ppid=12742 vsize=13801768 CPUtime=226.32 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12766/stat : 12766 (java) R 12742 12742 15667 0 -1 4202560 4738 0 0 0 22629 3 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703648284464 139703969012372 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12767] ppid=12742 vsize=13801768 CPUtime=227.76 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12767/stat : 12767 (java) R 12742 12742 15667 0 -1 4202560 6468 0 0 0 22774 2 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703647232152 139703967066205 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12768] ppid=12742 vsize=13801768 CPUtime=227.01 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12768/stat : 12768 (java) R 12742 12742 15667 0 -1 4202560 15861 0 0 0 22696 5 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703646179864 139703966048452 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12769] ppid=12742 vsize=13801768 CPUtime=225.88 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12769/stat : 12769 (java) R 12742 12742 15667 0 -1 4202560 5809 0 0 0 22586 2 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703645129744 139703967066033 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12770] ppid=12742 vsize=13801768 CPUtime=227.16 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12770/stat : 12770 (java) R 12742 12742 15667 0 -1 4202560 7167 0 0 0 22714 2 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703644073784 139703963271002 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12771] ppid=12742 vsize=13801768 CPUtime=227.38 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12771/stat : 12771 (java) R 12742 12742 15667 0 -1 4202560 7007 0 0 0 22736 2 0 0 20 0 28 0 4892813 14133010432 1765612 33554432000 4194304 4196468 140724564631920 139703643021176 139703971657220 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
Current children cumulated CPU time (s) 2176.95
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+310.402 s]
/proc/loadavg: 16.03 13.42 12.48 17/299 12878
/proc/meminfo: memFree=21268480/32770624 swapFree=5892/132448
[pid=12742] ppid=12739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12742/stat : 12742 (xcsp3-exec) S 12739 12742 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4891743 9740288 346 33554432000 4194304 5098028 140731374217264 140731374215368 140515087336060 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 13025280 140731374220432 140731374220640 140731374220640 140731374223339 0
/proc/12742/statm: 2378 346 289 221 0 87 0
[pid=12743] ppid=12742 vsize=13801768 CPUtime=2400.56 cores=1,3,5,7,9,11,13,15
/proc/12743/stat : 12743 (java) S 12742 12742 15667 0 -1 1077944320 337664 0 0 0 237693 2363 0 0 20 0 28 0 4891744 14133010432 1744485 33554432000 4194304 4196468 140724564631920 140724564614464 139704340262647 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
/proc/12743/statm: 3450442 1744485 3307 1 0 3437675 0
[pid=12743/tid=12744] ppid=12742 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12744/stat : 12744 (java) S 12742 12742 15667 0 -1 1077944384 9048 0 0 0 429 11 0 0 20 0 28 0 4891744 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704344503424 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12746] ppid=12742 vsize=13801768 CPUtime=40.88 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12746/stat : 12746 (java) S 12742 12742 15667 0 -1 1077944384 19738 0 0 0 3809 279 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704292882704 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12747] ppid=12742 vsize=13801768 CPUtime=40.77 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12747/stat : 12747 (java) S 12742 12742 15667 0 -1 1077944384 19264 0 0 0 3784 293 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704291830160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12748] ppid=12742 vsize=13801768 CPUtime=40.32 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12748/stat : 12748 (java) S 12742 12742 15667 0 -1 1077944384 17302 0 0 0 3759 273 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704290777616 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12749] ppid=12742 vsize=13801768 CPUtime=41.24 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12749/stat : 12749 (java) S 12742 12742 15667 0 -1 1077944384 17230 0 0 0 3831 293 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704289725072 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12750] ppid=12742 vsize=13801768 CPUtime=40.55 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12750/stat : 12750 (java) S 12742 12742 15667 0 -1 1077944384 24336 0 0 0 3757 298 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704288672528 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12751] ppid=12742 vsize=13801768 CPUtime=40.48 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12751/stat : 12751 (java) S 12742 12742 15667 0 -1 1077944384 17355 0 0 0 3744 304 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704287619984 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12752] ppid=12742 vsize=13801768 CPUtime=40.74 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12752/stat : 12752 (java) S 12742 12742 15667 0 -1 1077944384 19541 0 0 0 3807 267 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704286567440 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12753] ppid=12742 vsize=13801768 CPUtime=40.7 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12753/stat : 12753 (java) S 12742 12742 15667 0 -1 1077944384 20289 0 0 0 3784 286 0 0 20 0 28 0 4891745 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139704285514896 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12754] ppid=12742 vsize=13801768 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12754/stat : 12754 (java) S 12742 12742 15667 0 -1 1077944384 26639 0 0 0 680 8 0 0 20 0 28 0 4891747 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703667877872 139704340273794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12755] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12755/stat : 12755 (java) S 12742 12742 15667 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4891748 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703666824160 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12756] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12756/stat : 12756 (java) S 12742 12742 15667 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4891749 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703665771520 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12757] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12757/stat : 12757 (java) S 12742 12742 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4891752 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703664720080 139704340281243 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12758] ppid=12742 vsize=13801768 CPUtime=7.38 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12758/stat : 12758 (java) S 12742 12742 15667 0 -1 1077944384 24448 0 0 0 735 3 0 0 20 0 28 0 4891752 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703663667696 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12759] ppid=12742 vsize=13801768 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12759/stat : 12759 (java) S 12742 12742 15667 0 -1 1077944384 24539 0 0 0 847 3 0 0 20 0 28 0 4891752 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703662615152 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12760] ppid=12742 vsize=13801768 CPUtime=7.99 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12760/stat : 12760 (java) S 12742 12742 15667 0 -1 1077944384 21825 0 0 0 796 3 0 0 20 0 28 0 4891752 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703661562608 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12761] ppid=12742 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12761/stat : 12761 (java) S 12742 12742 15667 0 -1 1077944384 13471 0 0 0 170 2 0 0 20 0 28 0 4891752 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703660510064 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12762] ppid=12742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12762/stat : 12762 (java) S 12742 12742 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4891753 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703659456736 139704340272853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12763] ppid=12742 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12763/stat : 12763 (java) S 12742 12742 15667 0 -1 1077944384 1280 0 0 0 10 10 0 0 20 0 28 0 4891753 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703658404272 139704340273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12764] ppid=12742 vsize=13801768 CPUtime=254.74 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12764/stat : 12764 (java) R 12742 12742 15667 0 -1 4202560 3309 0 0 0 25473 1 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703650388680 139703968402727 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12765] ppid=12742 vsize=13801768 CPUtime=254.75 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12765/stat : 12765 (java) R 12742 12742 15667 0 -1 4202560 6595 0 0 0 25472 3 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703649337232 139703969012727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12766] ppid=12742 vsize=13801768 CPUtime=254.23 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12766/stat : 12766 (java) R 12742 12742 15667 0 -1 4202560 4838 0 0 0 25420 3 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703648284712 139703969012392 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12767] ppid=12742 vsize=13801768 CPUtime=255.6 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12767/stat : 12767 (java) R 12742 12742 15667 0 -1 4202560 6788 0 0 0 25558 2 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703647232056 139703970054755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12768] ppid=12742 vsize=13801768 CPUtime=254.92 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12768/stat : 12768 (java) R 12742 12742 15667 0 -1 4202560 17598 0 0 0 25486 6 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703646182056 139703967715600 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12769] ppid=12742 vsize=13801768 CPUtime=253.73 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12769/stat : 12769 (java) R 12742 12742 15667 0 -1 4202560 6030 0 0 0 25371 2 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703645129744 139703967066813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12770] ppid=12742 vsize=13801768 CPUtime=255.04 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12770/stat : 12770 (java) R 12742 12742 15667 0 -1 4202560 7499 0 0 0 25502 2 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703644073800 139703966049542 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
[pid=12743/tid=12771] ppid=12742 vsize=13801768 CPUtime=254.55 cores=1,3,5,7,9,11,13,15
/proc/12743/task/12771/stat : 12771 (java) R 12742 12742 15667 0 -1 4202560 7373 0 0 0 25453 2 0 0 20 0 28 0 4892813 14133010432 1744485 33554432000 4194304 4196468 140724564631920 139703643020968 139703967065663 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15495168 140724564640956 140724564641132 140724564641132 140724564643791 0
Current children cumulated CPU time (s) 2400.56
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 12743 sig 9
??? kill 12742 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 12742 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2379
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=793
# CPU time returned by wait4() is 0.003172
# while last known CPU time is 2400.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 310.412
CPU time (s): 2400.56
CPU user time (s): 2376.93
CPU system time (s): 23.63
CPU usage (%): 773.345
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002379
system time used= 0.000793
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.72801 second user time and 4.48182 second system time
The end