0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271062-1502686089.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271062-1502686089.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
0.72/0.46 c solve instance...
2.72/0.75 s SATISFIABLE
2.72/0.75 v <instantiation>
2.72/0.75 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
2.72/0.75 v <values>1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 </values>
2.72/0.75 v </instantiation>
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 (15047 MiB free)
memory of node 1: 16384 MiB (15674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271062-1502686089/watcher-4271062-1502686089 -o /tmp/evaluation-result-4271062-1502686089/solver-4271062-1502686089 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502685167-26091 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 68339493 HOME/instance-4271062-1502686089.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27747, runsolver pid=27744
[startup+0.100173 s]*
/proc/loadavg: 4.08 7.38 8.23 2/201 27768
/proc/meminfo: memFree=31443004/32770624 swapFree=67108860/67108860
[pid=27747] ppid=27744 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27747/stat : 27747 (xcsp3-exec) S 27744 27747 26064 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101696691 9740288 346 33554432000 4194304 5098028 140737450890672 140737450888776 140261860622972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8241152 140737450898534 140737450898743 140737450898743 140737450901483 0
/proc/27747/statm: 2378 346 289 221 0 87 0
[pid=27749] ppid=27747 vsize=25999808 memory=27344 CPUtime=0.12 cores=0-7
/proc/27749/stat : 27749 (java) S 27747 27747 26064 0 -1 1077944320 5273 0 0 0 10 2 0 0 20 0 20 0 101696692 26623803392 6836 33554432000 4194304 4196468 140726168000544 140726167983088 139985771020023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
/proc/27749/statm: 6499952 6836 2846 1 0 6488269 0
[pid=27749/tid=27750] ppid=27747 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27749/task/27750/stat : 27750 (java) R 27747 27747 26064 0 -1 4202560 3271 0 0 0 8 1 0 0 20 0 20 0 101696692 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985775254800 139985771041949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27751] ppid=27747 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27749/task/27751/stat : 27751 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985736301072 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27752] ppid=27747 vsize=25999808 memory=139944737408640 CPUtime=0 cores=0-7
/proc/27749/task/27752/stat : 27752 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985328327312 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27753] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27753/stat : 27753 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985327274256 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27754] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27754/stat : 27754 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985326221712 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27755] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27755/stat : 27755 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985325169680 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27756] ppid=27747 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27749/task/27756/stat : 27756 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985324117136 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27757] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27757/stat : 27757 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985323064080 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27758] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27758/stat : 27758 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696693 26623803392 6836 33554432000 4194304 4196468 140726168000544 139985322011536 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27759] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27759/stat : 27759 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696694 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984492701936 139985771031170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27760] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27760/stat : 27760 (java) S 27747 27747 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101696695 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984491648160 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27761] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27761/stat : 27761 (java) S 27747 27747 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101696695 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984490595056 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27762] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27762/stat : 27762 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696697 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984489543632 139985771038619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27763] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27763/stat : 27763 (java) S 27747 27747 26064 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 101696697 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984488491760 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27764] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27764/stat : 27764 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101696697 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984487439216 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27765] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27765/stat : 27765 (java) S 27747 27747 26064 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 101696697 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984486386160 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27766] ppid=27747 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27749/task/27766/stat : 27766 (java) S 27747 27747 26064 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 101696697 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984485333616 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27767] ppid=27747 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27767/stat : 27767 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101696698 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984484280800 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27768] ppid=27747 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27749/task/27768/stat : 27768 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696698 26623803392 6836 33554432000 4194304 4196468 140726168000544 139984483228336 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28728 KiB
[startup+0.21049 s]*
/proc/loadavg: 4.08 7.38 8.23 2/201 27768
/proc/meminfo: memFree=31432460/32770624 swapFree=67108860/67108860
[pid=27747] ppid=27744 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27747/stat : 27747 (xcsp3-exec) S 27744 27747 26064 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101696691 9740288 346 33554432000 4194304 5098028 140737450890672 140737450888776 140261860622972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8241152 140737450898534 140737450898743 140737450898743 140737450901483 0
/proc/27747/statm: 2378 346 289 221 0 87 0
[pid=27749] ppid=27747 vsize=26004064 memory=39068 CPUtime=0.33 cores=0-7
/proc/27749/stat : 27749 (java) S 27747 27747 26064 0 -1 1077944320 7919 0 0 0 30 3 0 0 20 0 20 0 101696692 26628161536 9767 33554432000 4194304 4196468 140726168000544 140726167983088 139985771020023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
/proc/27749/statm: 6501016 9767 3033 1 0 6488269 0
[pid=27749/tid=27750] ppid=27747 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27749/task/27750/stat : 27750 (java) D 27747 27747 26064 0 -1 1077944384 5016 0 0 0 17 2 0 0 20 0 20 0 101696692 26628161536 9767 33554432000 4194304 4196468 140726168000544 139985775221744 139985763699245 0 4 0 16800975 18446744072101707300 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27751] ppid=27747 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/27749/task/27751/stat : 27751 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628161536 9767 33554432000 4194304 4196468 140726168000544 139985736301072 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27752] ppid=27747 vsize=26004064 memory=4121832133253695136 CPUtime=0 cores=0-7
/proc/27749/task/27752/stat : 27752 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101696693 26628161536 9767 33554432000 4194304 4196468 140726168000544 139985328327312 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27753] ppid=27747 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27749/task/27753/stat : 27753 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628161536 9767 33554432000 4194304 4196468 140726168000544 139985327274256 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27754] ppid=27747 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27754/stat : 27754 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696693 26628194304 9767 33554432000 4194304 4196468 140726168000544 139985326221712 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27755] ppid=27747 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27755/stat : 27755 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628194304 9767 33554432000 4194304 4196468 140726168000544 139985325169680 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27756] ppid=27747 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27749/task/27756/stat : 27756 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628161536 9767 33554432000 4194304 4196468 140726168000544 139985324117136 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27757] ppid=27747 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27757/stat : 27757 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628161536 9767 33554432000 4194304 4196468 140726168000544 139985323064080 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27758] ppid=27747 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27758/stat : 27758 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696693 26628161536 9767 33554432000 4194304 4196468 140726168000544 139985322011536 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27759] ppid=27747 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27759/stat : 27759 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696694 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984492701936 139985771031170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27760] ppid=27747 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27760/stat : 27760 (java) S 27747 27747 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101696695 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984491648160 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27761] ppid=27747 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27761/stat : 27761 (java) S 27747 27747 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101696695 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984490595056 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27762] ppid=27747 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27762/stat : 27762 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696697 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984489543632 139985771038619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27763] ppid=27747 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27763/stat : 27763 (java) S 27747 27747 26064 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 101696697 26628194304 9767 33554432000 4194304 4196468 140726168000544 139984488491760 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27764] ppid=27747 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/27749/task/27764/stat : 27764 (java) S 27747 27747 26064 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 20 0 101696697 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984487439216 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27765] ppid=27747 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/27749/task/27765/stat : 27765 (java) S 27747 27747 26064 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 101696697 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984486386160 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27766] ppid=27747 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/27749/task/27766/stat : 27766 (java) S 27747 27747 26064 0 -1 1077944384 711 0 0 0 7 0 0 0 20 0 20 0 101696697 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984485333616 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27767] ppid=27747 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27767/stat : 27767 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101696698 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984484280800 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27768] ppid=27747 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27749/task/27768/stat : 27768 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696698 26628161536 9767 33554432000 4194304 4196468 140726168000544 139984483228336 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40452 KiB
[startup+0.310303 s]*
/proc/loadavg: 4.08 7.38 8.23 3/201 27768
/proc/meminfo: memFree=31425884/32770624 swapFree=67108860/67108860
[pid=27747] ppid=27744 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27747/stat : 27747 (xcsp3-exec) S 27744 27747 26064 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101696691 9740288 346 33554432000 4194304 5098028 140737450890672 140737450888776 140261860622972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8241152 140737450898534 140737450898743 140737450898743 140737450901483 0
/proc/27747/statm: 2378 346 289 221 0 87 0
[pid=27749] ppid=27747 vsize=26004140 memory=45992 CPUtime=0.48 cores=0-7
/proc/27749/stat : 27749 (java) S 27747 27747 26064 0 -1 1077944320 8766 0 0 0 45 3 0 0 20 0 20 0 101696692 26628239360 11498 33554432000 4194304 4196468 140726168000544 140726167983088 139985771020023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
/proc/27749/statm: 6501035 11498 3068 1 0 6488269 0
[pid=27749/tid=27750] ppid=27747 vsize=26004140 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/27749/task/27750/stat : 27750 (java) R 27747 27747 26064 0 -1 4202560 5784 0 0 0 26 2 0 0 20 0 20 0 101696692 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985775253552 139985755100510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27751] ppid=27747 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27751/stat : 27751 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985736301072 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27752] ppid=27747 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27752/stat : 27752 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985328327312 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27753] ppid=27747 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27753/stat : 27753 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985327274256 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27754] ppid=27747 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27754/stat : 27754 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985326221712 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27755] ppid=27747 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/27749/task/27755/stat : 27755 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985325169680 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27756] ppid=27747 vsize=26004140 memory=139944597222319 CPUtime=0 cores=0-7
/proc/27749/task/27756/stat : 27756 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985324117136 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27757] ppid=27747 vsize=26004140 memory=139944597224624 CPUtime=0 cores=0-7
/proc/27749/task/27757/stat : 27757 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985323064080 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27758] ppid=27747 vsize=26004140 memory=139944597226928 CPUtime=0 cores=0-7
/proc/27749/task/27758/stat : 27758 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696693 26628239360 11498 33554432000 4194304 4196468 140726168000544 139985322011536 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27759] ppid=27747 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27759/stat : 27759 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101696694 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984492701936 139985771031170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27760] ppid=27747 vsize=26004140 memory=279889194460816 CPUtime=0 cores=0-7
/proc/27749/task/27760/stat : 27760 (java) S 27747 27747 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101696695 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984491648160 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27761] ppid=27747 vsize=26004140 memory=279889194467728 CPUtime=0 cores=0-7
/proc/27749/task/27761/stat : 27761 (java) S 27747 27747 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101696695 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984490595056 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27762] ppid=27747 vsize=26004140 memory=279889194409008 CPUtime=0 cores=0-7
/proc/27749/task/27762/stat : 27762 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696697 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984489543632 139985771038619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27763] ppid=27747 vsize=26004140 memory=279889194481552 CPUtime=0.01 cores=0-7
/proc/27749/task/27763/stat : 27763 (java) S 27747 27747 26064 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 101696697 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984488491760 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27764] ppid=27747 vsize=26004140 memory=279889194488464 CPUtime=0.03 cores=0-7
/proc/27749/task/27764/stat : 27764 (java) S 27747 27747 26064 0 -1 1077944384 337 0 0 0 3 0 0 0 20 0 20 0 101696697 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984487439216 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27765] ppid=27747 vsize=26004140 memory=279889194486160 CPUtime=0.01 cores=0-7
/proc/27749/task/27765/stat : 27765 (java) S 27747 27747 26064 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 101696697 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984486386160 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27766] ppid=27747 vsize=26004140 memory=279889194502320 CPUtime=0.12 cores=0-7
/proc/27749/task/27766/stat : 27766 (java) R 27747 27747 26064 0 -1 4202560 757 0 0 0 12 0 0 0 20 0 20 0 101696697 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984485333616 139985763257150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27767] ppid=27747 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27767/stat : 27767 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101696698 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984484280800 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27768] ppid=27747 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/27749/task/27768/stat : 27768 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101696698 26628239360 11498 33554432000 4194304 4196468 140726168000544 139984483228336 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47376 KiB
[startup+0.708259 s]
/proc/loadavg: 4.08 7.38 8.23 11/209 27776
/proc/meminfo: memFree=31386844/32770624 swapFree=67108860/67108860
[pid=27747] ppid=27744 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27747/stat : 27747 (xcsp3-exec) S 27744 27747 26064 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101696691 9740288 346 33554432000 4194304 5098028 140737450890672 140737450888776 140261860622972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8241152 140737450898534 140737450898743 140737450898743 140737450901483 0
/proc/27747/statm: 2378 346 289 221 0 87 0
[pid=27749] ppid=27747 vsize=26538700 memory=88500 CPUtime=2.72 cores=0-7
/proc/27749/stat : 27749 (java) S 27747 27747 26064 0 -1 1077944320 13627 0 0 0 266 6 0 0 20 0 28 0 101696692 27175628800 22125 33554432000 4194304 4196468 140726168000544 140726167983088 139985771020023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
/proc/27749/statm: 6634675 22125 3221 1 0 6621909 0
[pid=27749/tid=27750] ppid=27747 vsize=26538700 memory=279889194860208 CPUtime=0.44 cores=0-7
/proc/27749/task/27750/stat : 27750 (java) S 27747 27747 26064 0 -1 1077944384 6270 0 0 0 41 3 0 0 20 0 28 0 101696692 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985775260800 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27751] ppid=27747 vsize=26538700 memory=139944597431152 CPUtime=0 cores=0-7
/proc/27749/task/27751/stat : 27751 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985736301072 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27752] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27752/stat : 27752 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985328327312 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27753] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27753/stat : 27753 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985327274256 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27754] ppid=27747 vsize=26538700 memory=2372 CPUtime=0 cores=0-7
/proc/27749/task/27754/stat : 27754 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985326221712 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27755] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27755/stat : 27755 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985325169680 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27756] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27756/stat : 27756 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985324117136 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27757] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27757/stat : 27757 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985323064080 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27758] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27758/stat : 27758 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985322011536 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27759] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27759/stat : 27759 (java) S 27747 27747 26064 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 101696694 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984492701936 139985771031170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27760] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27760/stat : 27760 (java) S 27747 27747 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 101696695 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984491648160 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27761] ppid=27747 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/27749/task/27761/stat : 27761 (java) S 27747 27747 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 101696695 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984490595056 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27762] ppid=27747 vsize=26538700 memory=1428 CPUtime=0 cores=0-7
/proc/27749/task/27762/stat : 27762 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984489543632 139985771038619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27763] ppid=27747 vsize=26538700 memory=1204 CPUtime=0.3 cores=0-7
/proc/27749/task/27763/stat : 27763 (java) S 27747 27747 26064 0 -1 1077944384 1226 0 0 0 30 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984488480432 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27764] ppid=27747 vsize=26538700 memory=15876 CPUtime=0.29 cores=0-7
/proc/27749/task/27764/stat : 27764 (java) R 27747 27747 26064 0 -1 4202560 1632 0 0 0 29 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984487420232 139985755949453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27765] ppid=27747 vsize=26538700 memory=18520 CPUtime=0.27 cores=0-7
/proc/27749/task/27765/stat : 27765 (java) R 27747 27747 26064 0 -1 4202560 1012 0 0 0 27 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984486372944 139985755412085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27766] ppid=27747 vsize=26538700 memory=4048 CPUtime=0.32 cores=0-7
/proc/27749/task/27766/stat : 27766 (java) R 27747 27747 26064 0 -1 1077944384 1816 0 0 0 32 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984485329376 139985771030229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27767] ppid=27747 vsize=26538700 memory=18488 CPUtime=0 cores=0-7
/proc/27749/task/27767/stat : 27767 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101696698 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984484280800 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27768] ppid=27747 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/27749/task/27768/stat : 27768 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696698 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984483228336 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27769] ppid=27747 vsize=26538700 memory=1236 CPUtime=0.13 cores=0-7
/proc/27749/task/27769/stat : 27769 (java) R 27747 27747 26064 0 -1 4202560 55 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984475215992 139985411171244 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27770] ppid=27747 vsize=26538700 memory=640 CPUtime=0.13 cores=0-7
/proc/27749/task/27770/stat : 27770 (java) R 27747 27747 26064 0 -1 4202560 53 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984474164824 139985410675873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27771] ppid=27747 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/27749/task/27771/stat : 27771 (java) R 27747 27747 26064 0 -1 4202560 71 0 0 0 16 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984473112880 139985411011289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27772] ppid=27747 vsize=26538700 memory=1716 CPUtime=0.11 cores=0-7
/proc/27749/task/27772/stat : 27772 (java) R 27747 27747 26064 0 -1 4202560 41 0 0 0 11 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984472059824 139985410891629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27773] ppid=27747 vsize=26538700 memory=1948 CPUtime=0.13 cores=0-7
/proc/27749/task/27773/stat : 27773 (java) R 27747 27747 26064 0 -1 4202560 29 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984471007640 139985410891711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27774] ppid=27747 vsize=26538700 memory=8564 CPUtime=0.13 cores=0-7
/proc/27749/task/27774/stat : 27774 (java) R 27747 27747 26064 0 -1 4202560 36 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984469954984 139985410929145 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27775] ppid=27747 vsize=26538700 memory=1228 CPUtime=0.11 cores=0-7
/proc/27749/task/27775/stat : 27775 (java) R 27747 27747 26064 0 -1 4202560 37 0 0 0 11 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984468902880 139985411171253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27776] ppid=27747 vsize=26538700 memory=12028 CPUtime=0.09 cores=0-7
/proc/27749/task/27776/stat : 27776 (java) R 27747 27747 26064 0 -1 1077944384 34 0 0 0 9 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984467848928 139985771030229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 89884 KiB
[startup+0.773504 s]
# the end of solver process 27747 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.0347 s, system=0.075918 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.708259 s]
/proc/loadavg: 4.08 7.38 8.23 11/209 27776
/proc/meminfo: memFree=31386844/32770624 swapFree=67108860/67108860
[pid=27747] ppid=27744 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27747/stat : 27747 (xcsp3-exec) S 27744 27747 26064 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101696691 9740288 346 33554432000 4194304 5098028 140737450890672 140737450888776 140261860622972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8241152 140737450898534 140737450898743 140737450898743 140737450901483 0
/proc/27747/statm: 2378 346 289 221 0 87 0
[pid=27749] ppid=27747 vsize=26538700 memory=88500 CPUtime=2.72 cores=0-7
/proc/27749/stat : 27749 (java) S 27747 27747 26064 0 -1 1077944320 13627 0 0 0 266 6 0 0 20 0 28 0 101696692 27175628800 22125 33554432000 4194304 4196468 140726168000544 140726167983088 139985771020023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
/proc/27749/statm: 6634675 22125 3221 1 0 6621909 0
[pid=27749/tid=27750] ppid=27747 vsize=26538700 memory=279889194860208 CPUtime=0.44 cores=0-7
/proc/27749/task/27750/stat : 27750 (java) S 27747 27747 26064 0 -1 1077944384 6270 0 0 0 41 3 0 0 20 0 28 0 101696692 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985775260800 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27751] ppid=27747 vsize=26538700 memory=139944597431152 CPUtime=0 cores=0-7
/proc/27749/task/27751/stat : 27751 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985736301072 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27752] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27752/stat : 27752 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985328327312 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27753] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27753/stat : 27753 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985327274256 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27754] ppid=27747 vsize=26538700 memory=2372 CPUtime=0 cores=0-7
/proc/27749/task/27754/stat : 27754 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985326221712 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27755] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27755/stat : 27755 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985325169680 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27756] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27756/stat : 27756 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985324117136 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27757] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27757/stat : 27757 (java) S 27747 27747 26064 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985323064080 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27758] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27758/stat : 27758 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696693 27175628800 22125 33554432000 4194304 4196468 140726168000544 139985322011536 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27759] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27759/stat : 27759 (java) S 27747 27747 26064 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 101696694 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984492701936 139985771031170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27760] ppid=27747 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27749/task/27760/stat : 27760 (java) S 27747 27747 26064 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 101696695 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984491648160 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27761] ppid=27747 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/27749/task/27761/stat : 27761 (java) S 27747 27747 26064 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 101696695 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984490595056 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27762] ppid=27747 vsize=26538700 memory=1428 CPUtime=0 cores=0-7
/proc/27749/task/27762/stat : 27762 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984489543632 139985771038619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27763] ppid=27747 vsize=26538700 memory=1204 CPUtime=0.3 cores=0-7
/proc/27749/task/27763/stat : 27763 (java) S 27747 27747 26064 0 -1 1077944384 1226 0 0 0 30 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984488480432 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27764] ppid=27747 vsize=26538700 memory=15876 CPUtime=0.29 cores=0-7
/proc/27749/task/27764/stat : 27764 (java) R 27747 27747 26064 0 -1 4202560 1632 0 0 0 29 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984487420232 139985755949453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27765] ppid=27747 vsize=26538700 memory=18520 CPUtime=0.27 cores=0-7
/proc/27749/task/27765/stat : 27765 (java) R 27747 27747 26064 0 -1 4202560 1012 0 0 0 27 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984486372944 139985755412085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27766] ppid=27747 vsize=26538700 memory=4048 CPUtime=0.32 cores=0-7
/proc/27749/task/27766/stat : 27766 (java) R 27747 27747 26064 0 -1 1077944384 1816 0 0 0 32 0 0 0 20 0 28 0 101696697 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984485329376 139985771030229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27767] ppid=27747 vsize=26538700 memory=18488 CPUtime=0 cores=0-7
/proc/27749/task/27767/stat : 27767 (java) S 27747 27747 26064 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101696698 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984484280800 139985771030229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27768] ppid=27747 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/27749/task/27768/stat : 27768 (java) S 27747 27747 26064 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101696698 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984483228336 139985771031170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27769] ppid=27747 vsize=26538700 memory=1236 CPUtime=0.13 cores=0-7
/proc/27749/task/27769/stat : 27769 (java) R 27747 27747 26064 0 -1 4202560 55 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984475215992 139985411171244 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27770] ppid=27747 vsize=26538700 memory=640 CPUtime=0.13 cores=0-7
/proc/27749/task/27770/stat : 27770 (java) R 27747 27747 26064 0 -1 4202560 53 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984474164824 139985410675873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27771] ppid=27747 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/27749/task/27771/stat : 27771 (java) R 27747 27747 26064 0 -1 4202560 71 0 0 0 16 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984473112880 139985411011289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27772] ppid=27747 vsize=26538700 memory=1716 CPUtime=0.11 cores=0-7
/proc/27749/task/27772/stat : 27772 (java) R 27747 27747 26064 0 -1 4202560 41 0 0 0 11 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984472059824 139985410891629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27773] ppid=27747 vsize=26538700 memory=1948 CPUtime=0.13 cores=0-7
/proc/27749/task/27773/stat : 27773 (java) R 27747 27747 26064 0 -1 4202560 29 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984471007640 139985410891711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27774] ppid=27747 vsize=26538700 memory=8564 CPUtime=0.13 cores=0-7
/proc/27749/task/27774/stat : 27774 (java) R 27747 27747 26064 0 -1 4202560 36 0 0 0 13 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984469954984 139985410929145 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27775] ppid=27747 vsize=26538700 memory=1228 CPUtime=0.11 cores=0-7
/proc/27749/task/27775/stat : 27775 (java) R 27747 27747 26064 0 -1 4202560 37 0 0 0 11 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984468902880 139985411171253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
[pid=27749/tid=27776] ppid=27747 vsize=26538700 memory=12028 CPUtime=0.09 cores=0-7
/proc/27749/task/27776/stat : 27776 (java) R 27747 27747 26064 0 -1 1077944384 34 0 0 0 9 0 0 0 20 0 28 0 101696739 27175628800 22125 33554432000 4194304 4196468 140726168000544 139984467848928 139985771030229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28889088 140726168003730 140726168003907 140726168003907 140726168006607 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 89884 KiB
Child status: 0
Real time (s): 0.773561
CPU time (s): 3.11062
CPU user time (s): 3.0347
CPU system time (s): 0.075918
CPU usage (%): 402.116
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 89884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.0347
system time used= 0.075918
maximum resident set size= 94416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2255
involuntary context switches= 62
# summary of solver processes directly reported to runsolver:
# pid: 27747
# total CPU time (s): 3.11062
# total CPU user time (s): 3.0347
# total CPU system time (s): 0.075918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024781 second user time and 0.050873 second system time
The end
Begin job on node106 at 2017-08-14 06:33:51
IDJOB=4271062
IDBENCH=120877
IDSOLVER=2662
FILE ID=node106/4271062-1502686089
RUNJOBID= node106-1502685167-26091
PBS_JOBID= 20628992
Free space on /tmp= 61772 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-2-22.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271062-1502686089/watcher-4271062-1502686089 -o /tmp/evaluation-result-4271062-1502686089/solver-4271062-1502686089 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502685167-26091 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 68339493 HOME/instance-4271062-1502686089.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 63c49c4fa2f593a3284d3df8e40494dc
RANDOM SEED=68339493
node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31459464 kB
MemAvailable: 31980292 kB
Buffers: 139896 kB
Cached: 666220 kB
SwapCached: 0 kB
Active: 437912 kB
Inactive: 423444 kB
Active(anon): 11260 kB
Inactive(anon): 72084 kB
Active(file): 426652 kB
Inactive(file): 351360 kB
Unevictable: 6504 kB
Mlocked: 6504 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8308 kB
Writeback: 0 kB
AnonPages: 62096 kB
Mapped: 44252 kB
Shmem: 25228 kB
Slab: 143436 kB
SReclaimable: 117300 kB
SUnreclaim: 26136 kB
KernelStack: 3376 kB
PageTables: 4396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61764 MiB
End job on node106 at 2017-08-14 06:33:51