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 (6153 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393005-1568314910/watcher-4393005-1568314910 -o /tmp/evaluation-result-4393005-1568314910/solver-4393005-1568314910 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 678301460 HOME/instance-4393005-1568314910.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=16057, runsolver pid=16054
[startup+0.100067 s]*
/proc/loadavg: 8.77 8.33 6.99 7/233 16073
/proc/meminfo: memFree=21998100/32770624 swapFree=66996220/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
[pid=16059] ppid=16057 vsize=15144768 memory=30220 CPUtime=0.13 cores=1,3,5,7
/proc/16059/stat : 16059 (java) S 16057 16057 14062 0 -1 1077944320 5943 0 0 0 12 1 0 0 20 0 15 0 407745701 15508242432 7555 33554432000 4194304 4196468 140728635985920 140728635968464 140399602392823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
/proc/16059/statm: 3786192 7555 3152 1 0 3748377 0
[pid=16059/tid=16060] ppid=16057 vsize=15144768 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/16059/task/16060/stat : 16060 (java) R 16057 16057 14062 0 -1 4202560 3875 0 0 0 8 0 0 0 20 0 15 0 407745701 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399606618656 140399602404758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16061] ppid=16057 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16061/stat : 16061 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399530433296 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16062] ppid=16057 vsize=15144768 memory=140446625531520 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16062/stat : 16062 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399529380752 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16063] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16063/stat : 16063 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399192960016 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16064] ppid=16057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16064/stat : 16064 (java) S 16057 16057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399191907472 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16065] ppid=16057 vsize=15144768 memory=140446625531520 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16065/stat : 16065 (java) S 16057 16057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407745704 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399138174960 140399602403970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16066] ppid=16057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16066/stat : 16066 (java) S 16057 16057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407745704 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399137121184 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16067] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16067/stat : 16067 (java) S 16057 16057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407745704 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399136068592 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16068] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16068/stat : 16068 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399135017168 140399602411419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16069] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16069/stat : 16069 (java) R 16057 16057 14062 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399133964880 140399602403029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16070] ppid=16057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16070/stat : 16070 (java) R 16057 16057 14062 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399132903744 140399587270208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16071] ppid=16057 vsize=15144768 memory=140446625531520 CPUtime=0.02 cores=1,3,5,7
/proc/16059/task/16071/stat : 16071 (java) R 16057 16057 14062 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 407745707 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399131859696 140399602404758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16072] ppid=16057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16072/stat : 16072 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399130807392 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16073] ppid=16057 vsize=15144768 memory=140446625531520 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 7555 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31668 KiB
[startup+0.21076 s]*
/proc/loadavg: 8.77 8.33 6.99 8/233 16073
/proc/meminfo: memFree=21985976/32770624 swapFree=66996220/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
[pid=16059] ppid=16057 vsize=15144768 memory=40752 CPUtime=0.35 cores=1,3,5,7
/proc/16059/stat : 16059 (java) S 16057 16057 14062 0 -1 1077944320 9382 0 0 0 32 3 0 0 20 0 15 0 407745701 15508242432 10188 33554432000 4194304 4196468 140728635985920 140728635968464 140399602392823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
/proc/16059/statm: 3786192 10188 3311 1 0 3748377 0
[pid=16059/tid=16060] ppid=16057 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16059/task/16060/stat : 16060 (java) R 16057 16057 14062 0 -1 4202560 6678 0 0 0 18 2 0 0 20 0 15 0 407745701 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399606626528 140399602414749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16061] ppid=16057 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16061/stat : 16061 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399530433296 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16062] ppid=16057 vsize=15144768 memory=2854491 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16062/stat : 16062 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399529380752 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16063] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16063/stat : 16063 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399192960016 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16064] ppid=16057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16064/stat : 16064 (java) S 16057 16057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407745702 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399191907472 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16065] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16065/stat : 16065 (java) S 16057 16057 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407745704 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399138174960 140399602403970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16066] ppid=16057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16066/stat : 16066 (java) S 16057 16057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407745704 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399137121184 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16067] ppid=16057 vsize=15144768 memory=140446625531520 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16067/stat : 16067 (java) S 16057 16057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407745704 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399136068592 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16068] ppid=16057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16068/stat : 16068 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399135017168 140399602411419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16069] ppid=16057 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16059/task/16069/stat : 16069 (java) S 16057 16057 14062 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 407745707 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399133964784 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16070] ppid=16057 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16059/task/16070/stat : 16070 (java) S 16057 16057 14062 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 15 0 407745707 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399132912240 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16071] ppid=16057 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16059/task/16071/stat : 16071 (java) S 16057 16057 14062 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 407745707 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399131859696 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16072] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16072/stat : 16072 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399130807392 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16073] ppid=16057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745707 15508242432 10188 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42200 KiB
[startup+0.311922 s]*
/proc/loadavg: 8.77 8.33 6.99 8/233 16073
/proc/meminfo: memFree=21978820/32770624 swapFree=66996220/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
[pid=16059] ppid=16057 vsize=15149024 memory=49948 CPUtime=0.53 cores=1,3,5,7
/proc/16059/stat : 16059 (java) S 16057 16057 14062 0 -1 1077944320 10855 0 0 0 50 3 0 0 20 0 15 0 407745701 15512600576 12487 33554432000 4194304 4196468 140728635985920 140728635968464 140399602392823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
/proc/16059/statm: 3787256 12487 3364 1 0 3748377 0
[pid=16059/tid=16060] ppid=16057 vsize=15149024 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7
/proc/16059/task/16060/stat : 16060 (java) R 16057 16057 14062 0 -1 4202560 7808 0 0 0 27 2 0 0 20 0 15 0 407745701 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399606626608 140399586473310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16061] ppid=16057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16061/stat : 16061 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399530433296 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16062] ppid=16057 vsize=15149024 memory=2855325 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16062/stat : 16062 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399529380752 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16063] ppid=16057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16063/stat : 16063 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399192960016 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16064] ppid=16057 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16064/stat : 16064 (java) S 16057 16057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407745702 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399191907472 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16065] ppid=16057 vsize=15149024 memory=140446625531520 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16065/stat : 16065 (java) S 16057 16057 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407745704 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399138174960 140399602403970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16066] ppid=16057 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16066/stat : 16066 (java) S 16057 16057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407745704 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399137121184 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16067] ppid=16057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16067/stat : 16067 (java) S 16057 16057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407745704 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399136068592 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16068] ppid=16057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16068/stat : 16068 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399135017168 140399602411419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16069] ppid=16057 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16059/task/16069/stat : 16069 (java) S 16057 16057 14062 0 -1 1077944384 555 0 0 0 4 0 0 0 20 0 15 0 407745707 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399133964784 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16070] ppid=16057 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/16059/task/16070/stat : 16070 (java) R 16057 16057 14062 0 -1 4202560 252 0 0 0 5 0 0 0 20 0 15 0 407745707 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399132912240 140399602414170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16071] ppid=16057 vsize=15149024 memory=140446625531520 CPUtime=0.13 cores=1,3,5,7
/proc/16059/task/16071/stat : 16071 (java) S 16057 16057 14062 0 -1 1077944384 943 0 0 0 13 0 0 0 20 0 15 0 407745707 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399131859696 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16072] ppid=16057 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16072/stat : 16072 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399130807392 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16073] ppid=16057 vsize=15149024 memory=140446625531520 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745707 15512600576 12487 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51396 KiB
[startup+0.700823 s]
/proc/loadavg: 8.77 8.33 6.99 9/233 16073
/proc/meminfo: memFree=21951448/32770624 swapFree=66996220/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
[pid=16059] ppid=16057 vsize=15151148 memory=133008 CPUtime=1.72 cores=1,3,5,7
/proc/16059/stat : 16059 (java) S 16057 16057 14062 0 -1 1077944320 14187 0 0 0 166 6 0 0 20 0 15 0 407745701 15514775552 33252 33554432000 4194304 4196468 140728635985920 140728635968464 140399602392823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
/proc/16059/statm: 3787787 33252 3446 1 0 3748889 0
[pid=16059/tid=16060] ppid=16057 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16059/task/16060/stat : 16060 (java) R 16057 16057 14062 0 -1 4202560 8363 0 0 0 63 4 0 0 20 0 15 0 407745701 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399606630816 140399602404758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16061] ppid=16057 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16061/stat : 16061 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399530433296 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16062] ppid=16057 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16062/stat : 16062 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399529380752 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16063] ppid=16057 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16063/stat : 16063 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745702 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399192960016 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16064] ppid=16057 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16064/stat : 16064 (java) S 16057 16057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407745702 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399191907472 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16065] ppid=16057 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16065/stat : 16065 (java) S 16057 16057 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407745704 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399138174960 140399602403970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16066] ppid=16057 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16066/stat : 16066 (java) S 16057 16057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407745704 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399137121184 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16067] ppid=16057 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16067/stat : 16067 (java) S 16057 16057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407745704 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399136068592 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16068] ppid=16057 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16068/stat : 16068 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399135017168 140399602411419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16069] ppid=16057 vsize=15151148 memory=2552 CPUtime=0.34 cores=1,3,5,7
/proc/16059/task/16069/stat : 16069 (java) R 16057 16057 14062 0 -1 4202560 1475 0 0 0 34 0 0 0 20 0 15 0 407745707 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399133951632 140399580559304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16070] ppid=16057 vsize=15151148 memory=1760 CPUtime=0.34 cores=1,3,5,7
/proc/16059/task/16070/stat : 16070 (java) R 16057 16057 14062 0 -1 4202560 1292 0 0 0 34 0 0 0 20 0 15 0 407745707 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399132903696 140399582049345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16071] ppid=16057 vsize=15151148 memory=111632 CPUtime=0.34 cores=1,3,5,7
/proc/16059/task/16071/stat : 16071 (java) R 16057 16057 14062 0 -1 1077944384 1752 0 0 0 34 0 0 0 20 0 15 0 407745707 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399131859696 140399602403970 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16072] ppid=16057 vsize=15151148 memory=800 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16072/stat : 16072 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407745707 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399130807392 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16073] ppid=16057 vsize=15151148 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407745707 15514775552 33252 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 134456 KiB
[startup+1.50821 s]
/proc/loadavg: 8.77 8.33 6.99 8/233 16073
/proc/meminfo: memFree=21828320/32770624 swapFree=66996220/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 930 0 0 0 6 6 0 0 20 0 19 0 407745707 15787421696 326410 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16074] ppid=16057 vsize=15417404 memory=1303592 CPUtime=614.37 cores=1,3,5,7
/proc/16059/task/16074/stat : 16074 (java) R 16057 16057 14062 0 -1 4202560 1254 0 0 0 61436 1 0 0 20 0 19 0 407745811 15787421696 326410 33554432000 4194304 4196468 140728635985920 140399126997608 140399215500311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16075] ppid=16057 vsize=15417404 memory=3624 CPUtime=614.28 cores=1,3,5,7
/proc/16059/task/16075/stat : 16075 (java) R 16057 16057 14062 0 -1 4202560 4168 0 0 0 61421 7 0 0 20 0 19 0 407745811 15787421696 326410 33554432000 4194304 4196468 140728635985920 140399051886920 140399215624683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16076] ppid=16057 vsize=15417404 memory=22928 CPUtime=615.12 cores=1,3,5,7
/proc/16059/task/16076/stat : 16076 (java) R 16057 16057 14062 0 -1 4202560 1229 0 0 0 61512 0 0 0 20 0 19 0 407745811 15787421696 326410 33554432000 4194304 4196468 140728635985920 140399050836784 140399215500778 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16077] ppid=16057 vsize=15417404 memory=984 CPUtime=615.79 cores=1,3,5,7
/proc/16059/task/16077/stat : 16077 (java) R 16057 16057 14062 0 -1 4202560 4689 0 0 0 61570 9 0 0 20 0 19 0 407745812 15787421696 326410 33554432000 4194304 4196468 140728635985920 140399049781088 140399215500311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 2467.91 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1307088 KiB
[startup+622.404 s]
/proc/loadavg: 8.95 8.55 7.71 10/237 16422
/proc/meminfo: memFree=27382504/32770624 swapFree=66996228/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
[pid=16059] ppid=16057 vsize=15417404 memory=1305716 CPUtime=2474.27 cores=1,3,5,7
/proc/16059/stat : 16059 (java) S 16057 16057 14062 0 -1 1077944320 62030 0 0 0 247356 71 0 0 20 0 19 0 407745701 15787421696 326429 33554432000 4194304 4196468 140728635985920 140728635968464 140399602392823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
/proc/16059/statm: 3854351 326429 3508 1 0 3815453 0
[pid=16059/tid=16060] ppid=16057 vsize=15417404 memory=2552 CPUtime=1.04 cores=1,3,5,7
/proc/16059/task/16060/stat : 16060 (java) S 16057 16057 14062 0 -1 1077944384 9061 0 0 0 98 6 0 0 20 0 19 0 407745701 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399606633600 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16061] ppid=16057 vsize=15417404 memory=6791534058613427641 CPUtime=0.59 cores=1,3,5,7
/proc/16059/task/16061/stat : 16061 (java) S 16057 16057 14062 0 -1 1077944384 3322 0 0 0 49 10 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399530433296 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16062] ppid=16057 vsize=15417404 memory=22928 CPUtime=0.6 cores=1,3,5,7
/proc/16059/task/16062/stat : 16062 (java) S 16057 16057 14062 0 -1 1077944384 3094 0 0 0 49 11 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399529380752 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16063] ppid=16057 vsize=15417404 memory=984 CPUtime=0.59 cores=1,3,5,7
/proc/16059/task/16063/stat : 16063 (java) S 16057 16057 14062 0 -1 1077944384 2982 0 0 0 48 11 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399192960016 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16064] ppid=16057 vsize=15417404 memory=2024 CPUtime=0.6 cores=1,3,5,7
/proc/16059/task/16064/stat : 16064 (java) S 16057 16057 14062 0 -1 1077944384 1821 0 0 0 48 12 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399191907472 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16065] ppid=16057 vsize=15417404 memory=1380 CPUtime=0.31 cores=1,3,5,7
/proc/16059/task/16065/stat : 16065 (java) S 16057 16057 14062 0 -1 1077944384 4619 0 0 0 28 3 0 0 20 0 19 0 407745704 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399138174960 140399602403970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16066] ppid=16057 vsize=15417404 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16066/stat : 16066 (java) S 16057 16057 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407745704 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399137121248 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16067] ppid=16057 vsize=15417404 memory=772 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16067/stat : 16067 (java) S 16057 16057 14062 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 407745704 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399136068608 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16068] ppid=16057 vsize=15417404 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16068/stat : 16068 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399135017168 140399602411419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16069] ppid=16057 vsize=15417404 memory=8836 CPUtime=1.82 cores=1,3,5,7
/proc/16059/task/16069/stat : 16069 (java) S 16057 16057 14062 0 -1 1077944384 9531 0 0 0 181 1 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399133964784 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16070] ppid=16057 vsize=15417404 memory=11932 CPUtime=1.85 cores=1,3,5,7
/proc/16059/task/16070/stat : 16070 (java) S 16057 16057 14062 0 -1 1077944384 7186 0 0 0 185 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399132912240 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16071] ppid=16057 vsize=15417404 memory=1556 CPUtime=0.7 cores=1,3,5,7
/proc/16059/task/16071/stat : 16071 (java) S 16057 16057 14062 0 -1 1077944384 6552 0 0 0 70 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399131859696 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16072] ppid=16057 vsize=15417404 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16072/stat : 16072 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399130807392 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16073] ppid=16057 vsize=15417404 memory=928 CPUtime=0.12 cores=1,3,5,7
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 945 0 0 0 6 6 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16074] ppid=16057 vsize=15417404 memory=6791534058613427641 CPUtime=615.96 cores=1,3,5,7
/proc/16059/task/16074/stat : 16074 (java) R 16057 16057 14062 0 -1 4202560 1274 0 0 0 61595 1 0 0 20 0 19 0 407745811 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399126997640 140399215624471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16075] ppid=16057 vsize=15417404 memory=1556 CPUtime=615.88 cores=1,3,5,7
/proc/16059/task/16075/stat : 16075 (java) R 16057 16057 14062 0 -1 4202560 4272 0 0 0 61581 7 0 0 20 0 19 0 407745811 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399051886784 140399215593137 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16076] ppid=16057 vsize=15417404 memory=5908 CPUtime=616.71 cores=1,3,5,7
/proc/16059/task/16076/stat : 16076 (java) R 16057 16057 14062 0 -1 4202560 1291 0 0 0 61671 0 0 0 20 0 19 0 407745811 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399050833712 140399215677514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16077] ppid=16057 vsize=15417404 memory=14012 CPUtime=617.36 cores=1,3,5,7
/proc/16059/task/16077/stat : 16077 (java) R 16057 16057 14062 0 -1 4202560 4749 0 0 0 61727 9 0 0 20 0 19 0 407745812 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399049784128 140399216971643 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 2474.27 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1307164 KiB
[startup+622.801 s]
/proc/loadavg: 8.95 8.55 7.71 10/237 16422
/proc/meminfo: memFree=27382504/32770624 swapFree=66996228/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
[pid=16059] ppid=16057 vsize=15417404 memory=1305716 CPUtime=2475.78 cores=1,3,5,7
/proc/16059/stat : 16059 (java) S 16057 16057 14062 0 -1 1077944320 62037 0 0 0 247507 71 0 0 20 0 19 0 407745701 15787421696 326429 33554432000 4194304 4196468 140728635985920 140728635968464 140399602392823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
/proc/16059/statm: 3854351 326429 3508 1 0 3815453 0
[pid=16059/tid=16060] ppid=16057 vsize=15417404 memory=6933690305039933585 CPUtime=1.04 cores=1,3,5,7
/proc/16059/task/16060/stat : 16060 (java) S 16057 16057 14062 0 -1 1077944384 9061 0 0 0 98 6 0 0 20 0 19 0 407745701 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399606633600 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16061] ppid=16057 vsize=15417404 memory=-6237260532469557610 CPUtime=0.59 cores=1,3,5,7
/proc/16059/task/16061/stat : 16061 (java) S 16057 16057 14062 0 -1 1077944384 3322 0 0 0 49 10 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399530433296 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16062] ppid=16057 vsize=15417404 memory=-7595718148655178334 CPUtime=0.6 cores=1,3,5,7
/proc/16059/task/16062/stat : 16062 (java) S 16057 16057 14062 0 -1 1077944384 3094 0 0 0 49 11 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399529380752 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16063] ppid=16057 vsize=15417404 memory=6791534058613427641 CPUtime=0.59 cores=1,3,5,7
/proc/16059/task/16063/stat : 16063 (java) S 16057 16057 14062 0 -1 1077944384 2982 0 0 0 48 11 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399192960016 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16064] ppid=16057 vsize=15417404 memory=928 CPUtime=0.61 cores=1,3,5,7
/proc/16059/task/16064/stat : 16064 (java) S 16057 16057 14062 0 -1 1077944384 1821 0 0 0 49 12 0 0 20 0 19 0 407745702 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399191907472 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16065] ppid=16057 vsize=15417404 memory=1528 CPUtime=0.31 cores=1,3,5,7
/proc/16059/task/16065/stat : 16065 (java) S 16057 16057 14062 0 -1 1077944384 4619 0 0 0 28 3 0 0 20 0 19 0 407745704 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399138174960 140399602403970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16066] ppid=16057 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16066/stat : 16066 (java) S 16057 16057 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407745704 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399137121248 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16067] ppid=16057 vsize=15417404 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16067/stat : 16067 (java) S 16057 16057 14062 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 407745704 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399136068608 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16068] ppid=16057 vsize=15417404 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16068/stat : 16068 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399135017168 140399602411419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16069] ppid=16057 vsize=15417404 memory=2552 CPUtime=1.82 cores=1,3,5,7
/proc/16059/task/16069/stat : 16069 (java) S 16057 16057 14062 0 -1 1077944384 9531 0 0 0 181 1 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399133964784 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16070] ppid=16057 vsize=15417404 memory=1164 CPUtime=1.85 cores=1,3,5,7
/proc/16059/task/16070/stat : 16070 (java) S 16057 16057 14062 0 -1 1077944384 7188 0 0 0 185 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399132912240 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16071] ppid=16057 vsize=15417404 memory=8317482817917895235 CPUtime=0.7 cores=1,3,5,7
/proc/16059/task/16071/stat : 16071 (java) S 16057 16057 14062 0 -1 1077944384 6552 0 0 0 70 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399131859696 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16072] ppid=16057 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16072/stat : 16072 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399130807392 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16073] ppid=16057 vsize=15417404 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 945 0 0 0 6 6 0 0 20 0 19 0 407745707 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16074] ppid=16057 vsize=15417404 memory=1305716 CPUtime=616.35 cores=1,3,5,7
/proc/16059/task/16074/stat : 16074 (java) R 16057 16057 14062 0 -1 4202560 1275 0 0 0 61634 1 0 0 20 0 19 0 407745811 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399127001528 140399215625219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16075] ppid=16057 vsize=15417404 memory=1380 CPUtime=616.27 cores=1,3,5,7
/proc/16059/task/16075/stat : 16075 (java) R 16057 16057 14062 0 -1 4202560 4273 0 0 0 61620 7 0 0 20 0 19 0 407745811 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399051889856 140399215676440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16076] ppid=16057 vsize=15417404 memory=1128 CPUtime=617.07 cores=1,3,5,7
/proc/16059/task/16076/stat : 16076 (java) R 16057 16057 14062 0 -1 4202560 1294 0 0 0 61707 0 0 0 20 0 19 0 407745811 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399050836896 140399215624459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16077] ppid=16057 vsize=15417404 memory=772 CPUtime=617.71 cores=1,3,5,7
/proc/16059/task/16077/stat : 16077 (java) R 16057 16057 14062 0 -1 4202560 4749 0 0 0 61762 9 0 0 20 0 19 0 407745812 15787421696 326429 33554432000 4194304 4196468 140728635985920 140399049781088 140399215593105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 2475.78 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1307164 KiB
[startup+623.001 s]*
/proc/loadavg: 8.95 8.55 7.71 6/237 16422
/proc/meminfo: memFree=27370216/32770624 swapFree=66996228/67108860
[pid=16057] ppid=16054 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16057/stat : 16057 (xcsp3-exec) S 16054 16057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407745701 115843072 362 33554432000 4194304 5098028 140733792869200 140733792867304 139858502287996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21823488 140733792875387 140733792875629 140733792875629 140733792878538 0
/proc/16057/statm: 28282 362 304 221 0 87 0
[pid=16059] ppid=16057 vsize=15417404 memory=1318004 CPUtime=2476.59 cores=1,3,5,7
/proc/16059/stat : 16059 (java) S 16057 16057 14062 0 -1 1077944320 62065 0 0 0 247588 71 0 0 20 0 19 0 407745701 15787421696 329501 33554432000 4194304 4196468 140728635985920 140728635968464 140399602392823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
/proc/16059/statm: 3854351 329501 3508 1 0 3815453 0
[pid=16059/tid=16060] ppid=16057 vsize=15417404 memory=8317482817917895235 CPUtime=1.04 cores=1,3,5,7
/proc/16059/task/16060/stat : 16060 (java) S 16057 16057 14062 0 -1 1077944384 9061 0 0 0 98 6 0 0 20 0 19 0 407745701 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399606633600 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16061] ppid=16057 vsize=15417404 memory=1448 CPUtime=0.59 cores=1,3,5,7
/proc/16059/task/16061/stat : 16061 (java) S 16057 16057 14062 0 -1 1077944384 3328 0 0 0 49 10 0 0 20 0 19 0 407745702 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399530433296 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16062] ppid=16057 vsize=15417404 memory=1305640 CPUtime=0.61 cores=1,3,5,7
/proc/16059/task/16062/stat : 16062 (java) S 16057 16057 14062 0 -1 1077944384 3095 0 0 0 50 11 0 0 20 0 19 0 407745702 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399529380752 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16063] ppid=16057 vsize=15417404 memory=4126316290023845779 CPUtime=0.6 cores=1,3,5,7
/proc/16059/task/16063/stat : 16063 (java) S 16057 16057 14062 0 -1 1077944384 2990 0 0 0 48 12 0 0 20 0 19 0 407745702 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399192960016 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16064] ppid=16057 vsize=15417404 memory=6791534058613427641 CPUtime=0.61 cores=1,3,5,7
/proc/16059/task/16064/stat : 16064 (java) S 16057 16057 14062 0 -1 1077944384 1826 0 0 0 49 12 0 0 20 0 19 0 407745702 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399191907472 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16065] ppid=16057 vsize=15417404 memory=111632 CPUtime=0.31 cores=1,3,5,7
/proc/16059/task/16065/stat : 16065 (java) S 16057 16057 14062 0 -1 1077944384 4619 0 0 0 28 3 0 0 20 0 19 0 407745704 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399138174960 140399602403970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16066] ppid=16057 vsize=15417404 memory=800 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16066/stat : 16066 (java) S 16057 16057 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407745704 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399137121248 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16067] ppid=16057 vsize=15417404 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16067/stat : 16067 (java) S 16057 16057 14062 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 407745704 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399136068608 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16068] ppid=16057 vsize=15417404 memory=916 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16068/stat : 16068 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407745707 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399135017168 140399602411419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16069] ppid=16057 vsize=15417404 memory=3848 CPUtime=1.82 cores=1,3,5,7
/proc/16059/task/16069/stat : 16069 (java) S 16057 16057 14062 0 -1 1077944384 9531 0 0 0 181 1 0 0 20 0 19 0 407745707 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399133964784 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16070] ppid=16057 vsize=15417404 memory=2708 CPUtime=1.85 cores=1,3,5,7
/proc/16059/task/16070/stat : 16070 (java) S 16057 16057 14062 0 -1 1077944384 7188 0 0 0 185 0 0 0 20 0 19 0 407745707 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399132912240 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16071] ppid=16057 vsize=15417404 memory=2700 CPUtime=0.7 cores=1,3,5,7
/proc/16059/task/16071/stat : 16071 (java) S 16057 16057 14062 0 -1 1077944384 6552 0 0 0 70 0 0 0 20 0 19 0 407745707 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399131859696 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16072] ppid=16057 vsize=15417404 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/16059/task/16072/stat : 16072 (java) S 16057 16057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407745707 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399130807392 140399602403029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16073] ppid=16057 vsize=15417404 memory=1408 CPUtime=0.12 cores=1,3,5,7
/proc/16059/task/16073/stat : 16073 (java) S 16057 16057 14062 0 -1 1077944384 945 0 0 0 6 6 0 0 20 0 19 0 407745707 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399129753904 140399602403970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16074] ppid=16057 vsize=15417404 memory=3436 CPUtime=616.54 cores=1,3,5,7
/proc/16059/task/16074/stat : 16074 (java) R 16057 16057 14062 0 -1 4202560 1277 0 0 0 61653 1 0 0 20 0 19 0 407745811 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399126997472 140399209634605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16075] ppid=16057 vsize=15417404 memory=1448 CPUtime=616.47 cores=1,3,5,7
/proc/16059/task/16075/stat : 16075 (java) R 16057 16057 14062 0 -1 4202560 4278 0 0 0 61640 7 0 0 20 0 19 0 407745811 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399051889328 140399216332597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16076] ppid=16057 vsize=15417404 memory=1305640 CPUtime=617.28 cores=1,3,5,7
/proc/16059/task/16076/stat : 16076 (java) R 16057 16057 14062 0 -1 4202560 1294 0 0 0 61728 0 0 0 20 0 19 0 407745811 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399050833896 140399215500524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
[pid=16059/tid=16077] ppid=16057 vsize=15417404 memory=1412 CPUtime=617.91 cores=1,3,5,7
/proc/16059/task/16077/stat : 16077 (java) R 16057 16057 14062 0 -1 4202560 4750 0 0 0 61782 9 0 0 20 0 19 0 407745812 15787421696 329501 33554432000 4194304 4196468 140728635985920 140399049781200 140399215744565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31346688 140728635995119 140728635995290 140728635995290 140728635998159 0
Current children cumulated CPU time: 2476.59 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1319452 KiB
Child status: 0
Real time (s): 623.084
CPU time (s): 2476.87
CPU user time (s): 2476.14
CPU system time (s): 0.729279
CPU usage (%): 397.518
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1319452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2476.14
system time used= 0.729279
maximum resident set size= 1318124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63965
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26739
involuntary context switches= 42852
# summary of solver processes directly reported to runsolver:
# pid: 16057
# total CPU time (s): 2476.87
# total CPU user time (s): 2476.14
# total CPU system time (s): 0.729279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92131 second user time and 6.88 second system time
The end