runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10270 MiB free)
memory of node 1: 16384 MiB (6378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306937-1534107818/watcher-4306937-1534107818 -o /tmp/evaluation-result-4306937-1534107818/solver-4306937-1534107818 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 1988411001 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306937-1534107818.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5717, runsolver pid=5714
[startup+0.100137 s]*
/proc/loadavg: 2.00 2.01 2.05 4/217 5733
/proc/meminfo: memFree=17032136/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14082940 memory=28488 CPUtime=0.12 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 5493 0 0 0 11 1 0 0 20 0 15 0 228344946 14420930560 7122 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3520735 7122 3024 1 0 3483012 0
[pid=5719/tid=5720] ppid=5717 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) R 5717 5717 4413 0 -1 4202560 3506 0 0 0 8 0 0 0 20 0 15 0 228344946 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910915364656 139910911143318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14082940 memory=3472468143255590096 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14082940 memory=140014360438400 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228344947 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228344948 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228344949 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228344949 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) S 5717 5717 4413 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 228344951 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910448281584 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910447229040 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14082940 memory=140014360438400 CPUtime=0.01 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) R 5717 5717 4413 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 228344951 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910446176496 139910895211870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14082940 memory=140014360438400 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344952 14420930560 7253 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29940 KiB
[startup+0.210615 s]*
/proc/loadavg: 2.00 2.01 2.05 5/217 5733
/proc/meminfo: memFree=17020848/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14082940 memory=40880 CPUtime=0.34 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 8320 0 0 0 32 2 0 0 20 0 15 0 228344946 14420930560 10220 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3520735 10220 3183 1 0 3483012 0
[pid=5719/tid=5720] ppid=5717 vsize=14082940 memory=4500115623978573208 CPUtime=0.19 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) D 5717 5717 4413 0 -1 1077944384 5438 0 0 0 18 1 0 0 20 0 15 0 228344946 14420930560 10349 33554432000 4194304 4196468 140722463911536 139910915355552 139910903810605 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14082940 memory=3472468143255590096 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14420930560 10349 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14082940 memory=140014360438400 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14420930560 10349 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14420963328 10349 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228344947 14420963328 10349 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14082940 memory=140014360438400 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228344948 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228344949 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228344949 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) S 5717 5717 4413 0 -1 1077944384 680 0 0 0 3 0 0 0 20 0 15 0 228344951 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910448281584 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) S 5717 5717 4413 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 15 0 228344951 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910447229040 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14082940 memory=140014360438400 CPUtime=0.07 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) R 5717 5717 4413 0 -1 4202560 793 0 0 0 7 0 0 0 20 0 15 0 228344951 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910446172928 139910889811408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14082940 memory=140014360438400 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344952 14420930560 10351 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42332 KiB
[startup+0.31048 s]*
/proc/loadavg: 2.00 2.01 2.05 4/217 5733
/proc/meminfo: memFree=17013600/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14087196 memory=48204 CPUtime=0.53 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 9226 0 0 0 50 3 0 0 20 0 15 0 228344946 14425288704 12051 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3521799 12051 3259 1 0 3483012 0
[pid=5719/tid=5720] ppid=5717 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) R 5717 5717 4413 0 -1 4202560 6151 0 0 0 27 2 0 0 20 0 15 0 228344946 14425288704 12051 33554432000 4194304 4196468 140722463911536 139910915368160 139910895211870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14087196 memory=3472468143255590096 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14425288704 12051 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14087196 memory=140014360438400 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14087196 memory=6 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14087196 memory=140014256269343 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228344947 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14087196 memory=280028512517920 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228344948 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14087196 memory=140014256246287 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228344949 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14087196 memory=280028616567816 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228344949 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14087196 memory=140014256269343 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) S 5717 5717 4413 0 -1 1077944384 692 0 0 0 5 0 0 0 20 0 15 0 228344951 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910448281584 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) S 5717 5717 4413 0 -1 1077944384 230 0 0 0 4 0 0 0 20 0 15 0 228344951 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910447229040 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) S 5717 5717 4413 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 15 0 228344951 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910446176496 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344952 14425288704 12116 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49656 KiB
[startup+0.700894 s]
/proc/loadavg: 2.00 2.01 2.05 5/217 5733
/proc/meminfo: memFree=17000016/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14089320 memory=80448 CPUtime=1.55 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 15927 0 0 0 150 5 0 0 20 0 15 0 228344946 14427463680 20112 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3522330 20112 3340 1 0 3483524 0
[pid=5719/tid=5720] ppid=5717 vsize=14089320 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) R 5717 5717 4413 0 -1 4202560 6862 0 0 0 64 3 0 0 20 0 15 0 228344946 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910915369984 139910522733094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14089320 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14089320 memory=7228928657758113873 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14089320 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344947 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14089320 memory=3054156605267021953 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228344947 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14089320 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228344948 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14089320 memory=62056 CPUtime=0.29 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) R 5717 5717 4413 0 -1 4202560 3219 0 0 0 29 0 0 0 20 0 15 0 228344951 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910448262520 139910894630357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14089320 memory=2056 CPUtime=0.28 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) R 5717 5717 4413 0 -1 4202560 2588 0 0 0 28 0 0 0 20 0 15 0 228344951 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910447209832 139910889110880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14089320 memory=932 CPUtime=0.27 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) S 5717 5717 4413 0 -1 1077944384 1950 0 0 0 27 0 0 0 20 0 15 0 228344951 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910446176496 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14089320 memory=7380063209972523600 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14089320 memory=8025788831307884116 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 20112 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 81900 KiB
[startup+1.5009 s]
/proc/loadavg: 2.00 2.01 2.05 5/217 5733
/proc/meminfo: memFree=16955308/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14089320 memory=199940 CPUtime=29.2 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 45650 0 0 0 2907 13 0 0 20 0 15 0 228344946 14427463680 49985 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3522330 49985 3387 1 0 3483524 0
[pid=5719/tid=5720] ppid=5717 vsize=14089320 memory=1728 CPUtime=25.44 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) R 5717 5717 4413 0 -1 4202560 8999 0 0 0 2540 4 0 0 20 0 15 0 228344946 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910915371040 139910527062616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14089320 memory=199940 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 368 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14089320 memory=8628 CPUtime=0.03 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 724 0 0 0 3 0 0 0 20 0 15 0 228344947 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14089320 memory=1080 CPUtime=0.03 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 681 0 0 0 3 0 0 0 20 0 15 0 228344947 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14089320 memory=752 CPUtime=0.03 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 345 0 0 0 3 0 0 0 20 0 15 0 228344947 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14089320 memory=820 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 905 0 0 0 4 0 0 0 20 0 15 0 228344948 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14089320 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14089320 memory=224312 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14089320 memory=224228 CPUtime=1.55 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) S 5717 5717 4413 0 -1 1077944384 15198 0 0 0 154 1 0 0 20 0 15 0 228344951 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910448281584 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14089320 memory=8996 CPUtime=1.56 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) S 5717 5717 4413 0 -1 1077944384 13073 0 0 0 154 2 0 0 20 0 15 0 228344951 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910447229040 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14089320 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) S 5717 5717 4413 0 -1 1077944384 3618 0 0 0 35 0 0 0 20 0 15 0 228344951 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910446176496 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14089320 memory=2056 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 49985 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 29.2 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 201392 KiB
[startup+27.2008 s]
/proc/loadavg: 1.80 1.97 2.03 3/217 5733
/proc/meminfo: memFree=16859124/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14089320 memory=201988 CPUtime=30.81 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 45696 0 0 0 3068 13 0 0 20 0 15 0 228344946 14427463680 50497 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3522330 50497 3387 1 0 3483524 0
[pid=5719/tid=5720] ppid=5717 vsize=14089320 memory=140014256609742 CPUtime=27.03 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) R 5717 5717 4413 0 -1 4202560 9027 0 0 0 2699 4 0 0 20 0 15 0 228344946 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910915371040 139910527062799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14089320 memory=288423404079079384 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 370 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14089320 memory=280028512642816 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 725 0 0 0 4 1 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14089320 memory=42212 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 683 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14089320 memory=6944656592452807316 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 348 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14089320 memory=-7457052372387209120 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 909 0 0 0 5 0 0 0 20 0 15 0 228344948 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14089320 memory=199940 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14089320 memory=199940 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14089320 memory=280028513036704 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14089320 memory=280028513557008 CPUtime=1.55 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) S 5717 5717 4413 0 -1 1077944384 15200 0 0 0 154 1 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910448281584 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14089320 memory=3632 CPUtime=1.56 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) S 5717 5717 4413 0 -1 1077944384 13075 0 0 0 154 2 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910447229040 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14089320 memory=62056 CPUtime=0.35 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) S 5717 5717 4413 0 -1 1077944384 3620 0 0 0 35 0 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910446176496 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14089320 memory=2056 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 30.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 203440 KiB
[startup+28.0017 s]*
/proc/loadavg: 1.82 1.97 2.03 3/217 5733
/proc/meminfo: memFree=16859124/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14089320 memory=201988 CPUtime=31.63 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 45708 0 0 0 3150 13 0 0 20 0 15 0 228344946 14427463680 50497 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3522330 50497 3387 1 0 3483524 0
[pid=5719/tid=5720] ppid=5717 vsize=14089320 memory=8112282956445269571 CPUtime=27.83 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) R 5717 5717 4413 0 -1 4202560 9037 0 0 0 2779 4 0 0 20 0 15 0 228344946 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910915370928 139910526221475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14089320 memory=-7003737579269690708 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 370 0 0 0 5 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14089320 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 726 0 0 0 4 1 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14089320 memory=201988 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 683 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14089320 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14089320 memory=-7003737579269690708 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 909 0 0 0 5 0 0 0 20 0 15 0 228344948 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14089320 memory=820 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14089320 memory=280028513013088 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14089320 memory=12817 CPUtime=1.55 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) S 5717 5717 4413 0 -1 1077944384 15200 0 0 0 154 1 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910448281584 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14089320 memory=8029051415420297488 CPUtime=1.56 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) S 5717 5717 4413 0 -1 1077944384 13075 0 0 0 154 2 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910447229040 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14089320 memory=140014256521425 CPUtime=0.35 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) S 5717 5717 4413 0 -1 1077944384 3620 0 0 0 35 0 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910446176496 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14089320 memory=280028513030720 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14089320 memory=280028512256240 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 31.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 203440 KiB
[startup+28.4008 s]
/proc/loadavg: 1.82 1.97 2.03 3/217 5733
/proc/meminfo: memFree=16859124/32770624 swapFree=67108796/67108860
[pid=5717] ppid=5714 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5717/stat : 5717 (xcsp3-exec) S 5714 5717 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 228344946 115843072 363 33554432000 4194304 5098028 140736758345232 140736758343336 140009101107836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140736758350906 140736758351108 140736758351108 140736758353866 0
/proc/5717/statm: 28282 363 305 221 0 87 0
[pid=5719] ppid=5717 vsize=14089320 memory=201988 CPUtime=32.03 cores=1,3,5,7
/proc/5719/stat : 5719 (java) S 5717 5717 4413 0 -1 1077944320 45713 0 0 0 3190 13 0 0 20 0 15 0 228344946 14427463680 50497 33554432000 4194304 4196468 140722463911536 140722463894080 139910911131383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
/proc/5719/statm: 3522330 50497 3387 1 0 3483524 0
[pid=5719/tid=5720] ppid=5717 vsize=14089320 memory=6944656575208382560 CPUtime=28.21 cores=1,3,5,7
/proc/5719/task/5720/stat : 5720 (java) R 5717 5717 4413 0 -1 4202560 9042 0 0 0 2817 4 0 0 20 0 15 0 228344946 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910915371040 139910527030121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5721] ppid=5717 vsize=14089320 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5721/stat : 5721 (java) S 5717 5717 4413 0 -1 1077944384 370 0 0 0 5 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910848731408 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5722] ppid=5717 vsize=14089320 memory=39012 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5722/stat : 5722 (java) S 5717 5717 4413 0 -1 1077944384 726 0 0 0 4 1 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910847678864 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5723] ppid=5717 vsize=14089320 memory=15140 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5723/stat : 5723 (java) S 5717 5717 4413 0 -1 1077944384 683 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910846626320 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5724] ppid=5717 vsize=14089320 memory=3160 CPUtime=0.04 cores=1,3,5,7
/proc/5719/task/5724/stat : 5724 (java) S 5717 5717 4413 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 228344947 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910845573776 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5725] ppid=5717 vsize=14089320 memory=496 CPUtime=0.05 cores=1,3,5,7
/proc/5719/task/5725/stat : 5725 (java) S 5717 5717 4413 0 -1 1077944384 909 0 0 0 5 0 0 0 20 0 15 0 228344948 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910452492784 139910911142530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5726] ppid=5717 vsize=14089320 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5726/stat : 5726 (java) S 5717 5717 4413 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910451439008 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5727] ppid=5717 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5727/stat : 5727 (java) S 5717 5717 4413 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 228344949 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910450386416 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5728] ppid=5717 vsize=14089320 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5728/stat : 5728 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910449334992 139910911149979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5729] ppid=5717 vsize=14089320 memory=3884 CPUtime=1.55 cores=1,3,5,7
/proc/5719/task/5729/stat : 5729 (java) S 5717 5717 4413 0 -1 1077944384 15200 0 0 0 154 1 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910448281584 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5730] ppid=5717 vsize=14089320 memory=2180 CPUtime=1.56 cores=1,3,5,7
/proc/5719/task/5730/stat : 5730 (java) S 5717 5717 4413 0 -1 1077944384 13075 0 0 0 154 2 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910447229040 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5731] ppid=5717 vsize=14089320 memory=3980 CPUtime=0.35 cores=1,3,5,7
/proc/5719/task/5731/stat : 5731 (java) S 5717 5717 4413 0 -1 1077944384 3620 0 0 0 35 0 0 0 20 0 15 0 228344951 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910446176496 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5732] ppid=5717 vsize=14089320 memory=888 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5732/stat : 5732 (java) S 5717 5717 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910445124192 139910911141589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
[pid=5719/tid=5733] ppid=5717 vsize=14089320 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/5719/task/5733/stat : 5733 (java) S 5717 5717 4413 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 228344952 14427463680 50497 33554432000 4194304 4196468 140722463911536 139910444071728 139910911142530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 18063360 140722463917190 140722463917361 140722463917361 140722463920079 0
Current children cumulated CPU time: 32.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 203440 KiB
Child status: 0
Real time (s): 28.4706
CPU time (s): 32.1079
CPU user time (s): 31.9652
CPU system time (s): 0.142711
CPU usage (%): 112.776
Max. virtual memory (cumulated for all children) (KiB): 14206472
Max. memory (cumulated for all children) (KiB): 229932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.9652
system time used= 0.142711
maximum resident set size= 228548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47043
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3905
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 5717
# total CPU time (s): 32.1079
# total CPU user time (s): 31.9652
# total CPU system time (s): 0.142711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.161426 second user time and 0.343762 second system time
The end