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 (10922 MiB free)
memory of node 1: 16384 MiB (9149 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292187-1532279337/watcher-4292187-1532279337 -o /tmp/evaluation-result-4292187-1532279337/solver-4292187-1532279337 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532279337-4631 --watchdog 2560 HOME/xcsp3-exec -seed 1739284161 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292187-1532279337.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4660, runsolver pid=4656
[startup+0.100059 s]*
/proc/loadavg: 1.00 1.34 1.73 4/221 4695
/proc/meminfo: memFree=20519588/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14082840 memory=28540 CPUtime=0.12 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 5497 0 0 0 11 1 0 0 20 0 15 0 45496894 14420828160 7135 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3520710 7135 2992 1 0 3483008 0
[pid=4666/tid=4668] ppid=4660 vsize=14082840 memory=-8746397036304449475 CPUtime=0.09 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 3507 0 0 0 8 1 0 0 20 0 15 0 45496894 14420828160 7135 33554432000 4194304 4196468 140737446372144 140706303297328 140705896935093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 7135 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14082840 memory=139995189626496 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 7135 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 7135 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 7135 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14082840 memory=139995189626496 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45496896 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45496896 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45496897 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14082840 memory=139995189626496 CPUtime=0.01 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) R 4660 4660 1669 0 -1 4202560 295 0 0 0 1 0 0 0 20 0 15 0 45496899 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705137666928 140706277741760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14082840 memory=139995189626496 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 7135 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29996 KiB
[startup+0.210968 s]*
/proc/loadavg: 1.00 1.34 1.73 4/221 4695
/proc/meminfo: memFree=20494952/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14082840 memory=40684 CPUtime=0.31 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 8239 0 0 0 29 2 0 0 20 0 15 0 45496894 14420828160 10171 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3520710 10171 3171 1 0 3483008 0
[pid=4666/tid=4668] ppid=4660 vsize=14082840 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 5366 0 0 0 17 1 0 0 20 0 15 0 45496894 14420828160 10171 33554432000 4194304 4196468 140737446372144 140706303302080 140706283144542 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14082840 memory=14550 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 10171 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14082840 memory=139995189698805 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 10171 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 10171 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45496895 14420828160 10171 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14082840 memory=139995189626496 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45496896 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45496896 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45496897 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 45496899 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 296 0 0 0 2 0 0 0 20 0 15 0 45496899 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14082840 memory=139995189626496 CPUtime=0.07 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) S 4660 4660 1669 0 -1 1077944384 784 0 0 0 7 0 0 0 20 0 15 0 45496899 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705137666928 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496899 14420828160 10171 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42140 KiB
[startup+0.310841 s]*
/proc/loadavg: 1.00 1.34 1.73 3/221 4695
/proc/meminfo: memFree=20482132/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14087096 memory=46492 CPUtime=0.47 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 8881 0 0 0 45 2 0 0 20 0 15 0 45496894 14425186304 11623 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3521774 11623 3193 1 0 3483008 0
[pid=4666/tid=4668] ppid=4660 vsize=14087096 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 5923 0 0 0 26 2 0 0 20 0 15 0 45496894 14425186304 11752 33554432000 4194304 4196468 140737446372144 140706303285568 140706283107685 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14425186304 11752 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14087096 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14425186304 11752 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14087096 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14425186304 11752 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45496895 14425186304 11752 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45496896 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45496896 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45496897 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14087096 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14087096 memory=3047711566422646390 CPUtime=0.03 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 496 0 0 0 3 0 0 0 20 0 15 0 45496899 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14087096 memory=-6516833586042938556 CPUtime=0.03 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 15 0 45496899 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14087096 memory=8325818968683490714 CPUtime=0.12 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) R 4660 4660 1669 0 -1 4202560 858 0 0 0 12 0 0 0 20 0 15 0 45496899 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705137666928 140706292160891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496899 14425186304 11752 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 47948 KiB
[startup+0.700735 s]
/proc/loadavg: 1.00 1.34 1.73 7/221 4695
/proc/meminfo: memFree=20454156/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14089220 memory=77428 CPUtime=1.49 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 12515 0 0 0 144 5 0 0 20 0 15 0 45496894 14427361280 19357 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3522305 19357 3342 1 0 3483520 0
[pid=4666/tid=4668] ppid=4660 vsize=14089220 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 7091 0 0 0 62 3 0 0 20 0 15 0 45496894 14427361280 19357 33554432000 4194304 4196468 140737446372144 140706303301968 140706299075990 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 19357 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14089220 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 19357 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 19357 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 19357 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14089220 memory=15276 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45496897 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14089220 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14089220 memory=1728 CPUtime=0.22 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 1113 0 0 0 22 0 0 0 20 0 15 0 45496899 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14089220 memory=1004 CPUtime=0.22 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 1041 0 0 0 22 0 0 0 20 0 15 0 45496899 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14089220 memory=11956 CPUtime=0.37 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) R 4660 4660 1669 0 -1 4202560 1963 0 0 0 37 0 0 0 20 0 15 0 45496899 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705137662880 140706299075990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14089220 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14089220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 19357 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 78884 KiB
[startup+1.50085 s]
/proc/loadavg: 1.00 1.34 1.73 7/221 4695
/proc/meminfo: memFree=20372800/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14089220 memory=214728 CPUtime=13.22 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 36743 0 0 0 1310 12 0 0 20 0 15 0 45496894 14427361280 53682 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3522305 53682 3370 1 0 3483520 0
[pid=4666/tid=4668] ppid=4660 vsize=14089220 memory=6933690305039933585 CPUtime=9.53 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 8726 0 0 0 948 5 0 0 20 0 15 0 45496894 14427361280 53682 33554432000 4194304 4196468 140737446372144 140706303300496 140705901626463 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53682 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14089220 memory=208376 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53682 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53682 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14089220 memory=213136 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53682 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45496897 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14089220 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14089220 memory=4028 CPUtime=1.53 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 6549 0 0 0 153 0 0 0 20 0 15 0 45496899 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14089220 memory=15276 CPUtime=1.55 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 15158 0 0 0 152 3 0 0 20 0 15 0 45496899 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14089220 memory=1296 CPUtime=0.53 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) S 4660 4660 1669 0 -1 1077944384 3917 0 0 0 53 0 0 0 20 0 15 0 45496899 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705137666928 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14089220 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14089220 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53682 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 13.22 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216184 KiB
[startup+10.0007 s]*
/proc/loadavg: 1.16 1.36 1.73 3/221 4695
/proc/meminfo: memFree=20131364/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14089220 memory=214788 CPUtime=13.63 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 37135 0 0 0 1351 12 0 0 20 0 15 0 45496894 14427361280 53697 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3522305 53697 3370 1 0 3483520 0
[pid=4666/tid=4668] ppid=4660 vsize=14089220 memory=8112282956445269571 CPUtime=9.94 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 8878 0 0 0 989 5 0 0 20 0 15 0 45496894 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706303301304 140705902636662 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14089220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14089220 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14089220 memory=848 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14089220 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45496897 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14089220 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14089220 memory=6944652177228980320 CPUtime=1.53 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 6549 0 0 0 153 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14089220 memory=0 CPUtime=1.55 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 15395 0 0 0 152 3 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14089220 memory=-1598831813028945288 CPUtime=0.53 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) S 4660 4660 1669 0 -1 1077944384 3917 0 0 0 53 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705137666928 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14089220 memory=9023629670928638048 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14089220 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 13.63 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216244 KiB
[startup+10.2007 s]
/proc/loadavg: 1.16 1.36 1.73 3/221 4695
/proc/meminfo: memFree=20131364/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14089220 memory=214788 CPUtime=13.82 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 37222 0 0 0 1370 12 0 0 20 0 15 0 45496894 14427361280 53697 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3522305 53697 3370 1 0 3483520 0
[pid=4666/tid=4668] ppid=4660 vsize=14089220 memory=15817781274741050 CPUtime=10.13 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 8886 0 0 0 1008 5 0 0 20 0 15 0 45496894 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706303301304 140705902137437 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14089220 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14089220 memory=10044 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14089220 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14089220 memory=18444 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14089220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14089220 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14089220 memory=6296143700806424935 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45496897 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14089220 memory=7739276948477864808 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14089220 memory=6220993253238723945 CPUtime=1.53 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 6549 0 0 0 153 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14089220 memory=7440052414108952401 CPUtime=1.55 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 15395 0 0 0 152 3 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14089220 memory=8100121310273432931 CPUtime=0.53 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) S 4660 4660 1669 0 -1 1077944384 3917 0 0 0 53 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705137666928 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14089220 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14089220 memory=-3620173217431270332 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 13.82 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216244 KiB
[startup+10.3007 s]
/proc/loadavg: 1.16 1.36 1.73 3/221 4695
/proc/meminfo: memFree=20131364/32770624 swapFree=67108860/67108860
[pid=4660] ppid=4656 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4660/stat : 4660 (xcsp3-exec) S 4656 4660 1669 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45496893 115843072 364 33554432000 4194304 5098028 140735163983488 140735163981592 139703004975740 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7712768 140735163991098 140735163991300 140735163991300 140735163994058 0
/proc/4660/statm: 28282 364 306 221 0 87 0
[pid=4666] ppid=4660 vsize=14089220 memory=214788 CPUtime=13.92 cores=1,3,5,7
/proc/4666/stat : 4666 (java) S 4660 4660 1669 0 -1 1077944320 37296 0 0 0 1380 12 0 0 20 0 15 0 45496894 14427361280 53697 33554432000 4194304 4196468 140737446372144 140737446354688 140706299064055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
/proc/4666/statm: 3522305 53697 3370 1 0 3483520 0
[pid=4666/tid=4668] ppid=4660 vsize=14089220 memory=279990126828192 CPUtime=10.23 cores=1,3,5,7
/proc/4666/task/4668/stat : 4668 (java) R 4660 4660 1669 0 -1 4202560 8888 0 0 0 1018 5 0 0 20 0 15 0 45496894 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706303295312 140705901893153 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4670] ppid=4660 vsize=14089220 memory=7379500264415848306 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4670/stat : 4670 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706229152656 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4671] ppid=4660 vsize=14089220 memory=208376 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4671/stat : 4671 (java) S 4660 4660 1669 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706228099856 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4672] ppid=4660 vsize=14089220 memory=208376 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4672/stat : 4672 (java) S 4660 4660 1669 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706227047568 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4673] ppid=4660 vsize=14089220 memory=214556 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4673/stat : 4673 (java) S 4660 4660 1669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45496895 14427361280 53697 33554432000 4194304 4196468 140737446372144 140706225994768 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4678] ppid=4660 vsize=14089220 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4678/stat : 4678 (java) S 4660 4660 1669 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705211447408 140706299075202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4680] ppid=4660 vsize=14089220 memory=18444 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4680/stat : 4680 (java) S 4660 4660 1669 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45496896 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705210393376 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4682] ppid=4660 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4682/stat : 4682 (java) S 4660 4660 1669 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45496897 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705141875824 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4684] ppid=4660 vsize=14089220 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4684/stat : 4684 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705140824144 140706299082651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4685] ppid=4660 vsize=14089220 memory=7235694047730428770 CPUtime=1.53 cores=1,3,5,7
/proc/4666/task/4685/stat : 4685 (java) S 4660 4660 1669 0 -1 1077944384 6581 0 0 0 153 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705139772016 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4686] ppid=4660 vsize=14089220 memory=214556 CPUtime=1.55 cores=1,3,5,7
/proc/4666/task/4686/stat : 4686 (java) S 4660 4660 1669 0 -1 1077944384 15395 0 0 0 152 3 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705138719216 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4687] ppid=4660 vsize=14089220 memory=279990126713504 CPUtime=0.53 cores=1,3,5,7
/proc/4666/task/4687/stat : 4687 (java) S 4660 4660 1669 0 -1 1077944384 3957 0 0 0 53 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705137666928 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4689] ppid=4660 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4689/stat : 4689 (java) S 4660 4660 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705136614368 140706299074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
[pid=4666/tid=4693] ppid=4660 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4666/task/4693/stat : 4693 (java) S 4660 4660 1669 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 15 0 45496899 14427361280 53697 33554432000 4194304 4196468 140737446372144 140705135561136 140706299075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34643968 140737446380673 140737446380849 140737446380849 140737446383567 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 216244 KiB
Child status: 0
Real time (s): 10.3189
CPU time (s): 13.9549
CPU user time (s): 13.8223
CPU system time (s): 0.132623
CPU usage (%): 135.236
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 216244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8223
system time used= 0.132623
maximum resident set size= 215260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38597
page faults= 0
swaps= 0
block input operations= 1984
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2686
involuntary context switches= 65
# summary of solver processes directly reported to runsolver:
# pid: 4660
# total CPU time (s): 13.9549
# total CPU user time (s): 13.8223
# total CPU system time (s): 0.132623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084242 second user time and 0.148557 second system time
The end