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-4248824-1500693025/watcher-4248824-1500693025 -o /tmp/evaluation-result-4248824-1500693025/solver-4248824-1500693025 -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 1605572640 HOME/instance-4248824-1500693025.xml
pid=10611
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: 15.64 13.72 13.80 10/272 10614
/proc/meminfo: memFree=28878652/32770624 swapFree=5800/281792
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
[startup+0.100099 s]
/proc/loadavg: 15.64 13.72 13.80 10/272 10614
/proc/meminfo: memFree=28878652/32770624 swapFree=5800/281792
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200355 s]
/proc/loadavg: 15.64 13.72 13.80 10/272 10614
/proc/meminfo: memFree=28878652/32770624 swapFree=5800/281792
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300278 s]
/proc/loadavg: 15.64 13.72 13.80 10/272 10614
/proc/meminfo: memFree=28878652/32770624 swapFree=5800/281792
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700321 s]
/proc/loadavg: 15.64 13.72 13.80 10/272 10614
/proc/meminfo: memFree=28878652/32770624 swapFree=5800/281792
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5009 s]
/proc/loadavg: 15.64 13.72 13.80 10/293 10635
/proc/meminfo: memFree=28687412/32770624 swapFree=5800/281828
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
[pid=10615] ppid=10614 vsize=13269256 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/10615/stat : 10615 (java) S 10614 10614 7621 0 -1 1077944320 12281 0 0 0 223 20 0 0 20 0 20 0 4570241 13587718144 68461 33554432000 4194304 4196468 140733648108368 140733648090912 140541472677623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
/proc/10615/statm: 3317314 68461 3214 1 0 3304547 0
[pid=10615/tid=10616] ppid=10614 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10616/stat : 10616 (java) R 10614 10614 7621 0 -1 4202560 6759 0 0 0 139 5 0 0 20 0 20 0 4570241 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541476914888 140541080463840 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10618] ppid=10614 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10618/stat : 10618 (java) S 10614 10614 7621 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541404813584 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10619] ppid=10614 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10619/stat : 10619 (java) S 10614 10614 7621 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541403761040 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10620] ppid=10614 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10620/stat : 10620 (java) S 10614 10614 7621 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541402708496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10621] ppid=10614 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10621/stat : 10621 (java) S 10614 10614 7621 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541401655952 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10622] ppid=10614 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10622/stat : 10622 (java) S 10614 10614 7621 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541400603408 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10623] ppid=10614 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10623/stat : 10623 (java) S 10614 10614 7621 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541399550864 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10624] ppid=10614 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10624/stat : 10624 (java) S 10614 10614 7621 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541398498320 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10625] ppid=10614 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10625/stat : 10625 (java) S 10614 10614 7621 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4570242 13587718144 68461 33554432000 4194304 4196468 140733648108368 140541397445776 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10626] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10626/stat : 10626 (java) S 10614 10614 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4570244 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540935034864 140541472688770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10627] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10627/stat : 10627 (java) S 10614 10614 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4570245 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540933981088 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10628] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10628/stat : 10628 (java) S 10614 10614 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4570245 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540932928496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10629] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10629/stat : 10629 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4570249 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540931877072 140541472696219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10630] ppid=10614 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10630/stat : 10630 (java) S 10614 10614 7621 0 -1 1077944384 1081 0 0 0 15 0 0 0 20 0 20 0 4570249 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540930824688 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10631] ppid=10614 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10631/stat : 10631 (java) S 10614 10614 7621 0 -1 1077944384 843 0 0 0 16 0 0 0 20 0 20 0 4570249 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540929772144 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10632] ppid=10614 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10632/stat : 10632 (java) S 10614 10614 7621 0 -1 1077944384 733 0 0 0 17 0 0 0 20 0 20 0 4570249 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540928719600 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10633] ppid=10614 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10633/stat : 10633 (java) S 10614 10614 7621 0 -1 1077944384 1318 0 0 0 24 0 0 0 20 0 20 0 4570249 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540927667056 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10634] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10634/stat : 10634 (java) S 10614 10614 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4570250 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540725160160 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10635] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10635/stat : 10635 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4570250 13587718144 68461 33554432000 4194304 4196468 140733648108368 140540724107696 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13278768
[startup+3.1009 s]
/proc/loadavg: 15.11 13.64 13.78 16/293 10635
/proc/meminfo: memFree=28530268/32770624 swapFree=5800/281828
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
[pid=10615] ppid=10614 vsize=13269256 CPUtime=4.61 cores=0,2,4,6,8,10,12,14
/proc/10615/stat : 10615 (java) S 10614 10614 7621 0 -1 1077944320 13286 0 0 0 408 53 0 0 20 0 20 0 4570241 13587718144 121596 33554432000 4194304 4196468 140733648108368 140733648090912 140541472677623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
/proc/10615/statm: 3317314 121596 3239 1 0 3304547 0
[pid=10615/tid=10616] ppid=10614 vsize=13269256 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10616/stat : 10616 (java) R 10614 10614 7621 0 -1 4202560 6930 0 0 0 289 8 0 0 20 0 20 0 4570241 13587718144 121596 33554432000 4194304 4196468 140733648108368 140541476913496 140541080424880 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10618] ppid=10614 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10618/stat : 10618 (java) S 10614 10614 7621 0 -1 1077944384 65 0 0 0 4 4 0 0 20 0 20 0 4570242 13587718144 121596 33554432000 4194304 4196468 140733648108368 140541404813584 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10619] ppid=10614 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10619/stat : 10619 (java) S 10614 10614 7621 0 -1 1077944384 73 0 0 0 4 5 0 0 20 0 20 0 4570242 13587718144 121596 33554432000 4194304 4196468 140733648108368 140541403761040 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10620] ppid=10614 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10620/stat : 10620 (java) S 10614 10614 7621 0 -1 1077944384 143 0 0 0 4 5 0 0 20 0 20 0 4570242 13587718144 122108 33554432000 4194304 4196468 140733648108368 140541402708496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10621] ppid=10614 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10621/stat : 10621 (java) S 10614 10614 7621 0 -1 1077944384 88 0 0 0 3 6 0 0 20 0 20 0 4570242 13587718144 122108 33554432000 4194304 4196468 140733648108368 140541401655952 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10622] ppid=10614 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10622/stat : 10622 (java) S 10614 10614 7621 0 -1 1077944384 109 0 0 0 4 5 0 0 20 0 20 0 4570242 13587718144 122108 33554432000 4194304 4196468 140733648108368 140541400603408 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10623] ppid=10614 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10623/stat : 10623 (java) S 10614 10614 7621 0 -1 1077944384 128 0 0 0 4 5 0 0 20 0 20 0 4570242 13587718144 122108 33554432000 4194304 4196468 140733648108368 140541399550864 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10624] ppid=10614 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10624/stat : 10624 (java) S 10614 10614 7621 0 -1 1077944384 90 0 0 0 3 5 0 0 20 0 20 0 4570242 13587718144 122108 33554432000 4194304 4196468 140733648108368 140541398498320 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10625] ppid=10614 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10625/stat : 10625 (java) S 10614 10614 7621 0 -1 1077944384 111 0 0 0 4 5 0 0 20 0 20 0 4570242 13587718144 122108 33554432000 4194304 4196468 140733648108368 140541397445776 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10626] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10626/stat : 10626 (java) S 10614 10614 7621 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4570244 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540935034864 140541472688770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10627] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10627/stat : 10627 (java) S 10614 10614 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4570245 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540933981088 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10628] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10628/stat : 10628 (java) S 10614 10614 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4570245 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540932928496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10629] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10629/stat : 10629 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4570249 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540931877072 140541472696219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10630] ppid=10614 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10630/stat : 10630 (java) S 10614 10614 7621 0 -1 1077944384 1087 0 0 0 16 0 0 0 20 0 20 0 4570249 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540930824688 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10631] ppid=10614 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10631/stat : 10631 (java) S 10614 10614 7621 0 -1 1077944384 848 0 0 0 18 0 0 0 20 0 20 0 4570249 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540929772144 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10632] ppid=10614 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10632/stat : 10632 (java) S 10614 10614 7621 0 -1 1077944384 762 0 0 0 22 0 0 0 20 0 20 0 4570249 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540928719600 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10633] ppid=10614 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10633/stat : 10633 (java) S 10614 10614 7621 0 -1 1077944384 1347 0 0 0 26 0 0 0 20 0 20 0 4570249 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540927667056 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10634] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10634/stat : 10634 (java) S 10614 10614 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4570250 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540725160160 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10635] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10635/stat : 10635 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4570250 13587718144 122108 33554432000 4194304 4196468 140733648108368 140540724107696 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 13278768
[startup+6.30092 s]
/proc/loadavg: 15.11 13.64 13.78 10/293 10635
/proc/meminfo: memFree=28196912/32770624 swapFree=5800/281836
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
[pid=10615] ppid=10614 vsize=13269256 CPUtime=8.76 cores=0,2,4,6,8,10,12,14
/proc/10615/stat : 10615 (java) S 10614 10614 7621 0 -1 1077944320 16981 0 0 0 764 112 0 0 20 0 20 0 4570241 13587718144 219333 33554432000 4194304 4196468 140733648108368 140733648090912 140541472677623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
/proc/10615/statm: 3317314 219333 3239 1 0 3304547 0
[pid=10615/tid=10616] ppid=10614 vsize=13269256 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10616/stat : 10616 (java) R 10614 10614 7621 0 -1 4202560 8116 0 0 0 591 12 0 0 20 0 20 0 4570241 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541476915896 140541080278542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10618] ppid=10614 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10618/stat : 10618 (java) S 10614 10614 7621 0 -1 1077944384 128 0 0 0 10 10 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541404813584 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10619] ppid=10614 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10619/stat : 10619 (java) S 10614 10614 7621 0 -1 1077944384 136 0 0 0 10 12 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541403761040 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10620] ppid=10614 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10620/stat : 10620 (java) S 10614 10614 7621 0 -1 1077944384 205 0 0 0 11 11 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541402708496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10621] ppid=10614 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10621/stat : 10621 (java) S 10614 10614 7621 0 -1 1077944384 151 0 0 0 9 13 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541401655952 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10622] ppid=10614 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10622/stat : 10622 (java) S 10614 10614 7621 0 -1 1077944384 174 0 0 0 10 12 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541400603408 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10623] ppid=10614 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10623/stat : 10623 (java) S 10614 10614 7621 0 -1 1077944384 190 0 0 0 10 12 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541399550864 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10624] ppid=10614 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10624/stat : 10624 (java) S 10614 10614 7621 0 -1 1077944384 154 0 0 0 9 11 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541398498320 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10625] ppid=10614 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10625/stat : 10625 (java) S 10614 10614 7621 0 -1 1077944384 178 0 0 0 10 12 0 0 20 0 20 0 4570242 13587718144 219333 33554432000 4194304 4196468 140733648108368 140541397445776 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10626] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10626/stat : 10626 (java) S 10614 10614 7621 0 -1 1077944384 584 0 0 0 0 0 0 0 20 0 20 0 4570244 13587718144 219333 33554432000 4194304 4196468 140733648108368 140540935034864 140541472688770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10627] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10627/stat : 10627 (java) S 10614 10614 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4570245 13587718144 219333 33554432000 4194304 4196468 140733648108368 140540933981152 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10628] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10628/stat : 10628 (java) S 10614 10614 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4570245 13587718144 219333 33554432000 4194304 4196468 140733648108368 140540932928512 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10629] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10629/stat : 10629 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4570249 13587718144 219333 33554432000 4194304 4196468 140733648108368 140540931877072 140541472696219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
################
# More data... #
################
/proc/10615/task/10628/stat : 10628 (java) S 10614 10614 7621 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 20 0 4570245 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540932928512 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10629] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10629/stat : 10629 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4570249 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540931877072 140541472696219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10630] ppid=10614 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10630/stat : 10630 (java) S 10614 10614 7621 0 -1 1077944384 4338 0 0 0 61 1 0 0 20 0 20 0 4570249 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540930824688 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10631] ppid=10614 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10631/stat : 10631 (java) S 10614 10614 7621 0 -1 1077944384 2373 0 0 0 41 1 0 0 20 0 20 0 4570249 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540929772144 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10632] ppid=10614 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10632/stat : 10632 (java) S 10614 10614 7621 0 -1 1077944384 1658 0 0 0 34 0 0 0 20 0 20 0 4570249 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540928719600 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10633] ppid=10614 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10633/stat : 10633 (java) S 10614 10614 7621 0 -1 1077944384 4576 0 0 0 47 0 0 0 20 0 20 0 4570249 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540927667056 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10634] ppid=10614 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10634/stat : 10634 (java) S 10614 10614 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4570250 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540725160160 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10635] ppid=10614 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10635/stat : 10635 (java) S 10614 10614 7621 0 -1 1077944384 172 0 0 0 2 1 0 0 20 0 20 0 4570250 13587718144 1179060 33554432000 4194304 4196468 140733648108368 140540724107696 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
Current children cumulated CPU time (s) 87.78
Current children cumulated vsize (KiB) 13278768
[startup+59.6008 s]
/proc/loadavg: 11.39 12.84 13.49 10/293 10635
/proc/meminfo: memFree=24302932/32770624 swapFree=5800/281888
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
[pid=10615] ppid=10614 vsize=13801768 CPUtime=88.62 cores=0,2,4,6,8,10,12,14
/proc/10615/stat : 10615 (java) S 10614 10614 7621 0 -1 1077944320 100233 0 0 0 8035 827 0 0 20 0 28 0 4570241 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140733648090912 140541472677623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
/proc/10615/statm: 3450442 1179203 3269 1 0 3437675 0
[pid=10615/tid=10616] ppid=10614 vsize=13801768 CPUtime=54.15 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10616/stat : 10616 (java) S 10614 10614 7621 0 -1 1077944384 15699 0 0 0 5373 42 0 0 20 0 28 0 4570241 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541476918400 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10618] ppid=10614 vsize=13801768 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10618/stat : 10618 (java) S 10614 10614 7621 0 -1 1077944384 10387 0 0 0 294 86 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541404813584 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10619] ppid=10614 vsize=13801768 CPUtime=3.84 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10619/stat : 10619 (java) S 10614 10614 7621 0 -1 1077944384 6242 0 0 0 280 104 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541403761040 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10620] ppid=10614 vsize=13801768 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10620/stat : 10620 (java) S 10614 10614 7621 0 -1 1077944384 7609 0 0 0 281 101 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541402708496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10621] ppid=10614 vsize=13801768 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10621/stat : 10621 (java) S 10614 10614 7621 0 -1 1077944384 5822 0 0 0 283 96 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541401655952 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10622] ppid=10614 vsize=13801768 CPUtime=3.85 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10622/stat : 10622 (java) S 10614 10614 7621 0 -1 1077944384 4659 0 0 0 287 98 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541400603408 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10623] ppid=10614 vsize=13801768 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10623/stat : 10623 (java) S 10614 10614 7621 0 -1 1077944384 18452 0 0 0 287 96 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541399550864 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10624] ppid=10614 vsize=13801768 CPUtime=3.81 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10624/stat : 10624 (java) S 10614 10614 7621 0 -1 1077944384 5474 0 0 0 279 102 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541398498320 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10625] ppid=10614 vsize=13801768 CPUtime=3.76 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10625/stat : 10625 (java) S 10614 10614 7621 0 -1 1077944384 5342 0 0 0 286 90 0 0 20 0 28 0 4570242 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140541397445776 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10626] ppid=10614 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10626/stat : 10626 (java) S 10614 10614 7621 0 -1 1077944384 5385 0 0 0 145 1 0 0 20 0 28 0 4570244 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540935034864 140541472688770 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10627] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10627/stat : 10627 (java) S 10614 10614 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4570245 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540933981152 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10628] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10628/stat : 10628 (java) S 10614 10614 7621 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4570245 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540932928512 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10629] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10629/stat : 10629 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4570249 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540931877072 140541472696219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10630] ppid=10614 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10630/stat : 10630 (java) R 10614 10614 7621 0 -1 4202560 4353 0 0 0 64 1 0 0 20 0 28 0 4570249 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540930824784 140541472689558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10631] ppid=10614 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10631/stat : 10631 (java) S 10614 10614 7621 0 -1 1077944384 2387 0 0 0 45 1 0 0 20 0 28 0 4570249 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540929772144 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10632] ppid=10614 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10632/stat : 10632 (java) R 10614 10614 7621 0 -1 1077944384 1669 0 0 0 36 0 0 0 20 0 28 0 4570249 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540928712624 140541472687829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10633] ppid=10614 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10633/stat : 10633 (java) R 10614 10614 7621 0 -1 4202560 4855 0 0 0 51 0 0 0 20 0 28 0 4570249 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540927665016 140541457208470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10634] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10634/stat : 10634 (java) S 10614 10614 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4570250 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540725160160 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10635] ppid=10614 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10635/stat : 10635 (java) S 10614 10614 7621 0 -1 1077944384 172 0 0 0 2 1 0 0 20 0 28 0 4570250 14133010432 1179203 33554432000 4194304 4196468 140733648108368 140540724107696 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
Current children cumulated CPU time (s) 88.62
Current children cumulated vsize (KiB) 13811280
[startup+60.0012 s]
/proc/loadavg: 11.39 12.84 13.49 10/293 10635
/proc/meminfo: memFree=24302932/32770624 swapFree=5800/281888
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
[pid=10615] ppid=10614 vsize=13801768 CPUtime=91.72 cores=0,2,4,6,8,10,12,14
/proc/10615/stat : 10615 (java) S 10614 10614 7621 0 -1 1077944320 103913 0 0 0 8344 828 0 0 20 0 28 0 4570241 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140733648090912 140541472677623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
/proc/10615/statm: 3450442 1181334 3273 1 0 3437675 0
[pid=10615/tid=10616] ppid=10614 vsize=13801768 CPUtime=54.15 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10616/stat : 10616 (java) S 10614 10614 7621 0 -1 1077944384 15699 0 0 0 5373 42 0 0 20 0 28 0 4570241 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541476918400 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10618] ppid=10614 vsize=13801768 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10618/stat : 10618 (java) S 10614 10614 7621 0 -1 1077944384 10387 0 0 0 294 86 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541404813584 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10619] ppid=10614 vsize=13801768 CPUtime=3.84 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10619/stat : 10619 (java) S 10614 10614 7621 0 -1 1077944384 6242 0 0 0 280 104 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541403761040 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10620] ppid=10614 vsize=13801768 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10620/stat : 10620 (java) S 10614 10614 7621 0 -1 1077944384 7609 0 0 0 281 101 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541402708496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10621] ppid=10614 vsize=13801768 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10621/stat : 10621 (java) S 10614 10614 7621 0 -1 1077944384 5822 0 0 0 283 96 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541401655952 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10622] ppid=10614 vsize=13801768 CPUtime=3.85 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10622/stat : 10622 (java) S 10614 10614 7621 0 -1 1077944384 4659 0 0 0 287 98 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541400603408 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10623] ppid=10614 vsize=13801768 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10623/stat : 10623 (java) S 10614 10614 7621 0 -1 1077944384 18452 0 0 0 287 96 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541399550864 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10624] ppid=10614 vsize=13801768 CPUtime=3.81 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10624/stat : 10624 (java) S 10614 10614 7621 0 -1 1077944384 5474 0 0 0 279 102 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541398498320 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10625] ppid=10614 vsize=13801768 CPUtime=3.76 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10625/stat : 10625 (java) S 10614 10614 7621 0 -1 1077944384 5342 0 0 0 286 90 0 0 20 0 28 0 4570242 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140541397445776 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10626] ppid=10614 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10626/stat : 10626 (java) S 10614 10614 7621 0 -1 1077944384 5385 0 0 0 145 1 0 0 20 0 28 0 4570244 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540935034864 140541472688770 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10627] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10627/stat : 10627 (java) S 10614 10614 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4570245 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540933981152 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10628] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10628/stat : 10628 (java) S 10614 10614 7621 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4570245 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540932928512 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10629] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10629/stat : 10629 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4570249 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540931877072 140541472696219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10630] ppid=10614 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10630/stat : 10630 (java) R 10614 10614 7621 0 -1 4202560 5340 0 0 0 85 1 0 0 20 0 28 0 4570249 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540930814096 140541458707696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10631] ppid=10614 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10631/stat : 10631 (java) R 10614 10614 7621 0 -1 4202560 2829 0 0 0 66 1 0 0 20 0 28 0 4570249 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540929757880 140541457601970 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10632] ppid=10614 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10632/stat : 10632 (java) R 10614 10614 7621 0 -1 4202560 3056 0 0 0 53 0 0 0 20 0 28 0 4570249 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540928700616 140541453378238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10633] ppid=10614 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10633/stat : 10633 (java) S 10614 10614 7621 0 -1 1077944384 5643 0 0 0 66 1 0 0 20 0 28 0 4570249 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540927667056 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10634] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10634/stat : 10634 (java) S 10614 10614 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4570250 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540725160160 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10635] ppid=10614 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10635/stat : 10635 (java) S 10614 10614 7621 0 -1 1077944384 172 0 0 0 2 1 0 0 20 0 28 0 4570250 14133010432 1181334 33554432000 4194304 4196468 140733648108368 140540724107696 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
Current children cumulated CPU time (s) 91.72
Current children cumulated vsize (KiB) 13811280
[startup+60.101 s]
/proc/loadavg: 11.39 12.84 13.49 10/293 10635
/proc/meminfo: memFree=24302932/32770624 swapFree=5800/281888
[pid=10614] ppid=10611 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10614/stat : 10614 (xcsp3-exec) S 10611 10614 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4570240 9740288 346 33554432000 4194304 5098028 140731843072720 140731843070824 140262135128700 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 18890752 140731843077262 140731843077472 140731843077472 140731843080171 0
/proc/10614/statm: 2378 346 289 221 0 87 0
[pid=10615] ppid=10614 vsize=13801768 CPUtime=92.22 cores=0,2,4,6,8,10,12,14
/proc/10615/stat : 10615 (java) S 10614 10614 7621 0 -1 1077944320 105242 0 0 0 8394 828 0 0 20 0 28 0 4570241 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140733648090912 140541472677623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
/proc/10615/statm: 3450442 1182431 3274 1 0 3437675 0
[pid=10615/tid=10616] ppid=10614 vsize=13801768 CPUtime=54.15 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10616/stat : 10616 (java) S 10614 10614 7621 0 -1 1077944384 15699 0 0 0 5373 42 0 0 20 0 28 0 4570241 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541476918400 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10618] ppid=10614 vsize=13801768 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10618/stat : 10618 (java) S 10614 10614 7621 0 -1 1077944384 10387 0 0 0 294 86 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541404813584 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10619] ppid=10614 vsize=13801768 CPUtime=3.84 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10619/stat : 10619 (java) S 10614 10614 7621 0 -1 1077944384 6242 0 0 0 280 104 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541403761040 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10620] ppid=10614 vsize=13801768 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10620/stat : 10620 (java) S 10614 10614 7621 0 -1 1077944384 7609 0 0 0 281 101 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541402708496 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10621] ppid=10614 vsize=13801768 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10621/stat : 10621 (java) S 10614 10614 7621 0 -1 1077944384 5822 0 0 0 283 96 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541401655952 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10622] ppid=10614 vsize=13801768 CPUtime=3.85 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10622/stat : 10622 (java) S 10614 10614 7621 0 -1 1077944384 4659 0 0 0 287 98 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541400603408 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10623] ppid=10614 vsize=13801768 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10623/stat : 10623 (java) S 10614 10614 7621 0 -1 1077944384 18452 0 0 0 287 96 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541399550864 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10624] ppid=10614 vsize=13801768 CPUtime=3.81 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10624/stat : 10624 (java) S 10614 10614 7621 0 -1 1077944384 5474 0 0 0 279 102 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541398498320 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10625] ppid=10614 vsize=13801768 CPUtime=3.76 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10625/stat : 10625 (java) S 10614 10614 7621 0 -1 1077944384 5342 0 0 0 286 90 0 0 20 0 28 0 4570242 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140541397445776 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10626] ppid=10614 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10626/stat : 10626 (java) S 10614 10614 7621 0 -1 1077944384 5385 0 0 0 145 1 0 0 20 0 28 0 4570244 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540935034864 140541472688770 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10627] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10627/stat : 10627 (java) S 10614 10614 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4570245 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540933981152 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10628] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10628/stat : 10628 (java) S 10614 10614 7621 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4570245 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540932928512 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10629] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10629/stat : 10629 (java) S 10614 10614 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4570249 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540931877072 140541472696219 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10630] ppid=10614 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10630/stat : 10630 (java) R 10614 10614 7621 0 -1 4202560 6178 0 0 0 95 1 0 0 20 0 28 0 4570249 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540930811232 140541457598911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10631] ppid=10614 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10631/stat : 10631 (java) R 10614 10614 7621 0 -1 4202560 3062 0 0 0 76 1 0 0 20 0 28 0 4570249 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540929758168 140541450110576 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10632] ppid=10614 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10632/stat : 10632 (java) R 10614 10614 7621 0 -1 4202560 3311 0 0 0 63 0 0 0 20 0 28 0 4570249 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540928705624 140541457794797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10633] ppid=10614 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10633/stat : 10633 (java) S 10614 10614 7621 0 -1 1077944384 5643 0 0 0 66 1 0 0 20 0 28 0 4570249 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540927667056 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10634] ppid=10614 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10634/stat : 10634 (java) S 10614 10614 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4570250 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540725160160 140541472687829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
[pid=10615/tid=10635] ppid=10614 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10615/task/10635/stat : 10635 (java) S 10614 10614 7621 0 -1 1077944384 172 0 0 0 2 1 0 0 20 0 28 0 4570250 14133010432 1182431 33554432000 4194304 4196468 140733648108368 140540724107696 140541472688770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 14 0 0 6293624 6294260 27246592 140733648114876 140733648115052 140733648115052 140733648117711 0
Current children cumulated CPU time (s) 92.22
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 60.1831
CPU time (s): 92.4217
CPU user time (s): 84.1069
CPU system time (s): 8.31476
CPU usage (%): 153.567
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.1069
system time used= 8.31476
maximum resident set size= 4731880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6530
involuntary context switches= 6990
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.486817 second user time and 0.552826 second system time
The end