0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281120-1503119208.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4281120-1503119208.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
154.75/127.73 c solve instance...
158.98/128.31 s SATISFIABLE
158.98/128.31 v <instantiation>
158.98/128.31 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
158.98/128.31 v <values>3 6 1 7 2 5 9 4 8 9 8 7 4 1 3 2 5 6 2 5 4 8 6 9 1 3 7 8 7 6 9 3 4 5 1 2 5 2 3 1 8 6 7 9 4 4 1 9 2 5 7 6 8 3 6 4 5 3 7 1 8 2 9 7 3 8 5 9 2 4 6 1 1 9 2 6 4 8 3 7 5 </values>
158.98/128.31 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 (13294 MiB free)
memory of node 1: 16384 MiB (13299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281120-1503119208/watcher-4281120-1503119208 -o /tmp/evaluation-result-4281120-1503119208/solver-4281120-1503119208 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1466759050 HOME/instance-4281120-1503119208.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
solver pid=10962, runsolver pid=10959
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 8.06 8.26 8.29 2/200 10983
/proc/meminfo: memFree=27214724/32770624 swapFree=67108860/67108860
[pid=10962] ppid=10959 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10962/stat : 10962 (xcsp3-exec) S 10959 10962 10918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145008293 9740288 345 33554432000 4194304 5098028 140729154596512 140729154594616 140689754792572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34918400 140729154597988 140729154598199 140729154598199 140729154600939 0
/proc/10962/statm: 2378 345 289 221 0 87 0
[pid=10964] ppid=10962 vsize=25999808 memory=27200 CPUtime=0.12 cores=0-7
/proc/10964/stat : 10964 (java) S 10962 10962 10918 0 -1 1077944320 5680 0 0 0 11 1 0 0 20 0 20 0 145008293 26623803392 6800 33554432000 4194304 4196468 140723653973808 140723653956352 140249404645111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
/proc/10964/statm: 6499952 6800 2872 1 0 6488269 0
[pid=10964/tid=10965] ppid=10962 vsize=25999808 memory=8328451419030855069 CPUtime=0.08 cores=0-7
/proc/10964/task/10965/stat : 10965 (java) R 10962 10962 10918 0 -1 4202560 3679 0 0 0 8 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249408877024 140249404667037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10966] ppid=10962 vsize=25999808 memory=732370082705181669 CPUtime=0 cores=0-7
/proc/10964/task/10966/stat : 10966 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249357265552 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10967] ppid=10962 vsize=25999808 memory=139944367728256 CPUtime=0 cores=0-7
/proc/10964/task/10967/stat : 10967 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249356212752 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10968] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10968/stat : 10968 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249355159952 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10969] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10969/stat : 10969 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249354107152 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10970] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10970/stat : 10970 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249353055376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10971] ppid=10962 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10964/task/10971/stat : 10971 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249352002576 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10972] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10972/stat : 10972 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249350949776 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10973] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10973/stat : 10973 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26623803392 6800 33554432000 4194304 4196468 140723653973808 140249349896976 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10974] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10974/stat : 10974 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008296 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247608838512 140249404656258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10975] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10975/stat : 10975 (java) S 10962 10962 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145008296 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247607784480 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10976] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10976/stat : 10976 (java) S 10962 10962 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145008297 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247606731632 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10977] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10977/stat : 10977 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008299 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247605679952 140249404663707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10978] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10978/stat : 10978 (java) S 10962 10962 10918 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 145008299 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247604628336 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10979] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10979/stat : 10979 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008299 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247603575536 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10980] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10980/stat : 10980 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008299 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247602522736 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10981] ppid=10962 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10964/task/10981/stat : 10981 (java) R 10962 10962 10918 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 145008299 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247601467472 140249404657046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10982] ppid=10962 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10982/stat : 10982 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008299 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247600417376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10983] ppid=10962 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10964/task/10983/stat : 10983 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008299 26623803392 6800 33554432000 4194304 4196468 140723653973808 140247599364656 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28580 KiB
[startup+0.210409 s]*
/proc/loadavg: 8.06 8.26 8.29 2/200 10983
/proc/meminfo: memFree=27203808/32770624 swapFree=67108860/67108860
[pid=10962] ppid=10959 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10962/stat : 10962 (xcsp3-exec) S 10959 10962 10918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145008293 9740288 345 33554432000 4194304 5098028 140729154596512 140729154594616 140689754792572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34918400 140729154597988 140729154598199 140729154598199 140729154600939 0
/proc/10962/statm: 2378 345 289 221 0 87 0
[pid=10964] ppid=10962 vsize=26004064 memory=39000 CPUtime=0.33 cores=0-7
/proc/10964/stat : 10964 (java) S 10962 10962 10918 0 -1 1077944320 8347 0 0 0 31 2 0 0 20 0 20 0 145008293 26628161536 9750 33554432000 4194304 4196468 140723653973808 140723653956352 140249404645111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
/proc/10964/statm: 6501016 9750 3029 1 0 6488269 0
[pid=10964/tid=10965] ppid=10962 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/10964/task/10965/stat : 10965 (java) D 10962 10962 10918 0 -1 1077944384 5448 0 0 0 18 1 0 0 20 0 20 0 145008294 26628161536 9771 33554432000 4194304 4196468 140723653973808 140249408855920 140249397324333 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10966] ppid=10962 vsize=26004064 memory=279888629311224 CPUtime=0 cores=0-7
/proc/10964/task/10966/stat : 10966 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 9771 33554432000 4194304 4196468 140723653973808 140249357265552 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10967] ppid=10962 vsize=26004064 memory=139944367728256 CPUtime=0 cores=0-7
/proc/10964/task/10967/stat : 10967 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 9771 33554432000 4194304 4196468 140723653973808 140249356212752 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10968] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10968/stat : 10968 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 9771 33554432000 4194304 4196468 140723653973808 140249355159952 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10969] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10969/stat : 10969 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 9771 33554432000 4194304 4196468 140723653973808 140249354107152 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10970] ppid=10962 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10970/stat : 10970 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628194304 9771 33554432000 4194304 4196468 140723653973808 140249353055376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10971] ppid=10962 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/10964/task/10971/stat : 10971 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628194304 9771 33554432000 4194304 4196468 140723653973808 140249352002576 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10972] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10972/stat : 10972 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 9771 33554432000 4194304 4196468 140723653973808 140249350949776 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10973] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10973/stat : 10973 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 9771 33554432000 4194304 4196468 140723653973808 140249349896976 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10974] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10974/stat : 10974 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008296 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247608838512 140249404656258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10975] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10975/stat : 10975 (java) S 10962 10962 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145008296 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247607784480 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10976] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10976/stat : 10976 (java) S 10962 10962 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145008297 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247606731632 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10977] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10977/stat : 10977 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008299 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247605679952 140249404663707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10978] ppid=10962 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10978/stat : 10978 (java) S 10962 10962 10918 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 145008299 26628194304 9771 33554432000 4194304 4196468 140723653973808 140247604628336 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10979] ppid=10962 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/10964/task/10979/stat : 10979 (java) S 10962 10962 10918 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 145008299 26628194304 9771 33554432000 4194304 4196468 140723653973808 140247603575536 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10980] ppid=10962 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10964/task/10980/stat : 10980 (java) S 10962 10962 10918 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 145008299 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247602522736 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10981] ppid=10962 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/10964/task/10981/stat : 10981 (java) S 10962 10962 10918 0 -1 1077944384 699 0 0 0 7 0 0 0 20 0 20 0 145008299 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247601469936 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10982] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10982/stat : 10982 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008299 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247600417376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10983] ppid=10962 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10964/task/10983/stat : 10983 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008299 26628161536 9771 33554432000 4194304 4196468 140723653973808 140247599364656 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40380 KiB
[startup+0.3105 s]*
/proc/loadavg: 8.06 8.26 8.29 3/200 10983
/proc/meminfo: memFree=27196488/32770624 swapFree=67108860/67108860
[pid=10962] ppid=10959 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10962/stat : 10962 (xcsp3-exec) S 10959 10962 10918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145008293 9740288 345 33554432000 4194304 5098028 140729154596512 140729154594616 140689754792572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34918400 140729154597988 140729154598199 140729154598199 140729154600939 0
/proc/10962/statm: 2378 345 289 221 0 87 0
[pid=10964] ppid=10962 vsize=26004064 memory=45948 CPUtime=0.5 cores=0-7
/proc/10964/stat : 10964 (java) S 10962 10962 10918 0 -1 1077944320 9207 0 0 0 47 3 0 0 20 0 20 0 145008293 26628161536 11487 33554432000 4194304 4196468 140723653973808 140723653956352 140249404645111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
/proc/10964/statm: 6501016 11487 3073 1 0 6488269 0
[pid=10964/tid=10965] ppid=10962 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10964/task/10965/stat : 10965 (java) R 10962 10962 10918 0 -1 4202560 6097 0 0 0 27 2 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249408875120 140249404667037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10966] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10966/stat : 10966 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249357265552 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10967] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10967/stat : 10967 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249356212752 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10968] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10968/stat : 10968 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249355159952 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10969] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10969/stat : 10969 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249354107152 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10970] ppid=10962 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10964/task/10970/stat : 10970 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249353055376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10971] ppid=10962 vsize=26004064 memory=139944261677999 CPUtime=0 cores=0-7
/proc/10964/task/10971/stat : 10971 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249352002576 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10972] ppid=10962 vsize=26004064 memory=139944261680304 CPUtime=0 cores=0-7
/proc/10964/task/10972/stat : 10972 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249350949776 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10973] ppid=10962 vsize=26004064 memory=139944261682608 CPUtime=0 cores=0-7
/proc/10964/task/10973/stat : 10973 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008294 26628161536 11553 33554432000 4194304 4196468 140723653973808 140249349896976 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10974] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10974/stat : 10974 (java) S 10962 10962 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145008296 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247608838512 140249404656258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10975] ppid=10962 vsize=26004064 memory=279888523372176 CPUtime=0 cores=0-7
/proc/10964/task/10975/stat : 10975 (java) S 10962 10962 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145008296 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247607784480 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10976] ppid=10962 vsize=26004064 memory=279888523379088 CPUtime=0 cores=0-7
/proc/10964/task/10976/stat : 10976 (java) S 10962 10962 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145008297 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247606731632 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10977] ppid=10962 vsize=26004064 memory=279888523320368 CPUtime=0 cores=0-7
/proc/10964/task/10977/stat : 10977 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008299 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247605679952 140249404663707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10978] ppid=10962 vsize=26004064 memory=279888523392912 CPUtime=0.01 cores=0-7
/proc/10964/task/10978/stat : 10978 (java) R 10962 10962 10918 0 -1 4202560 518 0 0 0 1 0 0 0 20 0 20 0 145008299 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247604628336 140249389042265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10979] ppid=10962 vsize=26004064 memory=279888523399824 CPUtime=0.03 cores=0-7
/proc/10964/task/10979/stat : 10979 (java) R 10962 10962 10918 0 -1 4202560 376 0 0 0 3 0 0 0 20 0 20 0 145008299 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247603575536 140249382394390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10980] ppid=10962 vsize=26004064 memory=279888523397520 CPUtime=0.02 cores=0-7
/proc/10964/task/10980/stat : 10980 (java) S 10962 10962 10918 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 20 0 145008299 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247602522736 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10981] ppid=10962 vsize=26004064 memory=279888523413680 CPUtime=0.12 cores=0-7
/proc/10964/task/10981/stat : 10981 (java) S 10962 10962 10918 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 20 0 145008299 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247601469936 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10982] ppid=10962 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10982/stat : 10982 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145008299 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247600417376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10983] ppid=10962 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10964/task/10983/stat : 10983 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145008299 26628161536 11553 33554432000 4194304 4196468 140723653973808 140247599364656 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47328 KiB
[startup+0.701072 s]
/proc/loadavg: 8.06 8.26 8.29 5/200 10983
/proc/meminfo: memFree=27084784/32770624 swapFree=67108860/67108860
[pid=10962] ppid=10959 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10962/stat : 10962 (xcsp3-exec) S 10959 10962 10918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145008293 9740288 345 33554432000 4194304 5098028 140729154596512 140729154594616 140689754792572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34918400 140729154597988 140729154598199 140729154598199 140729154600939 0
/proc/10962/statm: 2378 345 289 221 0 87 0
[pid=10964] ppid=10962 vsize=26004140 memory=264956 CPUtime=1.59 cores=0-7
/proc/10964/stat : 10964 (java) S 10962 10962 10918 0 -1 1077944320 12455 0 0 0 143 16 0 0 20 0 20 0 145008293 26628239360 66239 33554432000 4194304 4196468 140723653973808 140723653956352 140249404645111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
/proc/10964/statm: 6501035 66239 3207 1 0 6488269 0
[pid=10964/tid=10965] ppid=10962 vsize=26004140 memory=279888523708544 CPUtime=0.64 cores=0-7
/proc/10964/task/10965/stat : 10965 (java) R 10962 10962 10918 0 -1 4202560 6432 0 0 0 60 4 0 0 20 0 20 0 145008294 26628239360 66239 33554432000 4194304 4196468 140723653973808 140249408878720 140249022577226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10966] ppid=10962 vsize=26004140 memory=5016521802893 CPUtime=0.01 cores=0-7
/proc/10964/task/10966/stat : 10966 (java) S 10962 10962 10918 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 20 0 145008294 26628239360 66239 33554432000 4194304 4196468 140723653973808 140249357265552 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10967] ppid=10962 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7
/proc/10964/task/10967/stat : 10967 (java) S 10962 10962 10918 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 145008294 26628239360 66239 33554432000 4194304 4196468 140723653973808 140249356212752 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10968] ppid=10962 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7
/proc/10964/task/10968/stat : 10968 (java) S 10962 10962 10918 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 145008294 26628239360 66239 33554432000 4194304 4196468 140723653973808 140249355159952 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
################
# More data... #
################
[pid=10964/tid=10973] ppid=10962 vsize=26538700 memory=7788 CPUtime=3.56 cores=0-7
/proc/10964/task/10973/stat : 10973 (java) S 10962 10962 10918 0 -1 1077944384 7410 0 0 0 279 77 0 0 20 0 28 0 145008294 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140249349896976 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10974] ppid=10962 vsize=26538700 memory=840 CPUtime=6.59 cores=0-7
/proc/10964/task/10974/stat : 10974 (java) S 10962 10962 10918 0 -1 1077944384 13600 0 0 0 646 13 0 0 20 0 28 0 145008296 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247608838512 140249404656258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10975] ppid=10962 vsize=26538700 memory=4104 CPUtime=0 cores=0-7
/proc/10964/task/10975/stat : 10975 (java) S 10962 10962 10918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 145008296 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247607784544 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10976] ppid=10962 vsize=26538700 memory=1696 CPUtime=0 cores=0-7
/proc/10964/task/10976/stat : 10976 (java) S 10962 10962 10918 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 145008297 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247606731648 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10977] ppid=10962 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/10964/task/10977/stat : 10977 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145008299 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247605679952 140249404663707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10978] ppid=10962 vsize=26538700 memory=3888 CPUtime=0.51 cores=0-7
/proc/10964/task/10978/stat : 10978 (java) S 10962 10962 10918 0 -1 1077944384 3994 0 0 0 51 0 0 0 20 0 28 0 145008299 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247604628336 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10979] ppid=10962 vsize=26538700 memory=12132 CPUtime=0.81 cores=0-7
/proc/10964/task/10979/stat : 10979 (java) R 10962 10962 10918 0 -1 1077944384 5196 0 0 0 80 1 0 0 20 0 28 0 145008299 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247603575536 140249404656258 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10980] ppid=10962 vsize=26538700 memory=1440 CPUtime=0.66 cores=0-7
/proc/10964/task/10980/stat : 10980 (java) S 10962 10962 10918 0 -1 1077944384 4734 0 0 0 65 1 0 0 20 0 28 0 145008299 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247602522736 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10981] ppid=10962 vsize=26538700 memory=5796 CPUtime=0.45 cores=0-7
/proc/10964/task/10981/stat : 10981 (java) S 10962 10962 10918 0 -1 1077944384 6552 0 0 0 44 1 0 0 20 0 28 0 145008299 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247601469936 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10982] ppid=10962 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/10964/task/10982/stat : 10982 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145008299 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247600417376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10983] ppid=10962 vsize=26538700 memory=8708 CPUtime=0.05 cores=0-7
/proc/10964/task/10983/stat : 10983 (java) S 10962 10962 10918 0 -1 1077944384 638 0 0 0 2 3 0 0 20 0 28 0 145008299 27175628800 1351951 33554432000 4194304 4196468 140723653973808 140247599364656 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
Current children cumulated CPU time: 155.18 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5409184 KiB
[startup+128.203 s]*
/proc/loadavg: 2.09 5.85 7.39 10/208 10991
/proc/meminfo: memFree=21824692/32770624 swapFree=67108860/67108860
[pid=10962] ppid=10959 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10962/stat : 10962 (xcsp3-exec) S 10959 10962 10918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145008293 9740288 345 33554432000 4194304 5098028 140729154596512 140729154594616 140689754792572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34918400 140729154597988 140729154598199 140729154598199 140729154600939 0
/proc/10962/statm: 2378 345 289 221 0 87 0
[pid=10964] ppid=10962 vsize=26538700 memory=5411568 CPUtime=158.41 cores=0-7
/proc/10964/stat : 10964 (java) S 10962 10962 10918 0 -1 1077944320 134033 0 0 0 15158 683 0 0 20 0 28 0 145008293 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140723653956352 140249404645111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
/proc/10964/statm: 6634675 1352892 3258 1 0 6621909 0
[pid=10964/tid=10965] ppid=10962 vsize=26538700 memory=960 CPUtime=117.01 cores=0-7
/proc/10964/task/10965/stat : 10965 (java) S 10962 10962 10918 0 -1 1077944384 26068 0 0 0 11644 57 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249408885888 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10966] ppid=10962 vsize=26538700 memory=4472 CPUtime=3.59 cores=0-7
/proc/10964/task/10966/stat : 10966 (java) S 10962 10962 10918 0 -1 1077944384 5330 0 0 0 278 81 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249357265552 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10967] ppid=10962 vsize=26538700 memory=-7003737579269690708 CPUtime=3.59 cores=0-7
/proc/10964/task/10967/stat : 10967 (java) S 10962 10962 10918 0 -1 1077944384 9305 0 0 0 290 69 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249356212752 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10968] ppid=10962 vsize=26538700 memory=65 CPUtime=3.54 cores=0-7
/proc/10964/task/10968/stat : 10968 (java) S 10962 10962 10918 0 -1 1077944384 6064 0 0 0 281 73 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249355159952 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10969] ppid=10962 vsize=26538700 memory=43 CPUtime=3.59 cores=0-7
/proc/10964/task/10969/stat : 10969 (java) S 10962 10962 10918 0 -1 1077944384 15973 0 0 0 278 81 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249354107152 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10970] ppid=10962 vsize=26538700 memory=0 CPUtime=3.56 cores=0-7
/proc/10964/task/10970/stat : 10970 (java) S 10962 10962 10918 0 -1 1077944384 6403 0 0 0 283 73 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249353055376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10971] ppid=10962 vsize=26538700 memory=5 CPUtime=3.58 cores=0-7
/proc/10964/task/10971/stat : 10971 (java) S 10962 10962 10918 0 -1 1077944384 5037 0 0 0 286 72 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249352002576 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10972] ppid=10962 vsize=26538700 memory=296 CPUtime=3.59 cores=0-7
/proc/10964/task/10972/stat : 10972 (java) S 10962 10962 10918 0 -1 1077944384 6311 0 0 0 287 72 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249350949776 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10973] ppid=10962 vsize=26538700 memory=294 CPUtime=3.56 cores=0-7
/proc/10964/task/10973/stat : 10973 (java) S 10962 10962 10918 0 -1 1077944384 7410 0 0 0 279 77 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249349896976 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10974] ppid=10962 vsize=26538700 memory=657 CPUtime=6.59 cores=0-7
/proc/10964/task/10974/stat : 10974 (java) S 10962 10962 10918 0 -1 1077944384 13601 0 0 0 646 13 0 0 20 0 28 0 145008296 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247608838512 140249404656258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10975] ppid=10962 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10975/stat : 10975 (java) S 10962 10962 10918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 145008296 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247607784544 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10976] ppid=10962 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/10964/task/10976/stat : 10976 (java) S 10962 10962 10918 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 145008297 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247606731648 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10977] ppid=10962 vsize=26538700 memory=4628192 CPUtime=0 cores=0-7
/proc/10964/task/10977/stat : 10977 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247605679952 140249404663707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10978] ppid=10962 vsize=26538700 memory=3258 CPUtime=0.64 cores=0-7
/proc/10964/task/10978/stat : 10978 (java) S 10962 10962 10918 0 -1 1077944384 5084 0 0 0 63 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247604628336 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10979] ppid=10962 vsize=26538700 memory=20922 CPUtime=1 cores=0-7
/proc/10964/task/10979/stat : 10979 (java) R 10962 10962 10918 0 -1 4202560 7086 0 0 0 99 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247603561416 140249386167588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10980] ppid=10962 vsize=26538700 memory=7660767278595026833 CPUtime=0.73 cores=0-7
/proc/10964/task/10980/stat : 10980 (java) S 10962 10962 10918 0 -1 1077944384 5381 0 0 0 72 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247602522736 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10981] ppid=10962 vsize=26538700 memory=7660768378106654609 CPUtime=0.49 cores=0-7
/proc/10964/task/10981/stat : 10981 (java) S 10962 10962 10918 0 -1 1077944384 6990 0 0 0 48 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247601469936 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 53 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10982] ppid=10962 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/10964/task/10982/stat : 10982 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247600417376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10983] ppid=10962 vsize=26538700 memory=5407192 CPUtime=0.05 cores=0-7
/proc/10964/task/10983/stat : 10983 (java) S 10962 10962 10918 0 -1 1077944384 638 0 0 0 2 3 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247599364656 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10984] ppid=10962 vsize=26538700 memory=1380 CPUtime=0.43 cores=0-7
/proc/10964/task/10984/stat : 10984 (java) R 10962 10962 10918 0 -1 4202560 95 0 0 0 43 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246987556288 140249023475608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10985] ppid=10962 vsize=26538700 memory=4628192 CPUtime=0.33 cores=0-7
/proc/10964/task/10985/stat : 10985 (java) R 10962 10962 10918 0 -1 4202560 44 0 0 0 33 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246986504512 140249023475608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10986] ppid=10962 vsize=26538700 memory=916 CPUtime=0.41 cores=0-7
/proc/10964/task/10986/stat : 10986 (java) R 10962 10962 10918 0 -1 4202560 43 0 0 0 41 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246985456072 140249023475680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10987] ppid=10962 vsize=26538700 memory=3888 CPUtime=0.37 cores=0-7
/proc/10964/task/10987/stat : 10987 (java) R 10962 10962 10918 0 -1 4202560 45 0 0 0 37 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246984400184 140249023475608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10988] ppid=10962 vsize=26538700 memory=359 CPUtime=0.39 cores=0-7
/proc/10964/task/10988/stat : 10988 (java) R 10962 10962 10918 0 -1 4202560 41 0 0 0 39 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246983347200 140249023475608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10989] ppid=10962 vsize=26538700 memory=356 CPUtime=0.38 cores=0-7
/proc/10964/task/10989/stat : 10989 (java) R 10962 10962 10918 0 -1 4202560 5529 0 0 0 38 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246982294448 140249023475608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10990] ppid=10962 vsize=26538700 memory=1380 CPUtime=0.38 cores=0-7
/proc/10964/task/10990/stat : 10990 (java) R 10962 10962 10918 0 -1 4202560 72 0 0 0 38 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246981241784 140249023475608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10991] ppid=10962 vsize=26538700 memory=5407196 CPUtime=0.41 cores=0-7
/proc/10964/task/10991/stat : 10991 (java) R 10962 10962 10918 0 -1 4202560 53 0 0 0 41 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246980189936 140249023475608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
Current children cumulated CPU time: 158.41 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5412948 KiB
[startup+128.312 s]
/proc/loadavg: 2.09 5.85 7.39 10/208 10991
/proc/meminfo: memFree=21824692/32770624 swapFree=67108860/67108860
[pid=10962] ppid=10959 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10962/stat : 10962 (xcsp3-exec) S 10959 10962 10918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 145008293 9740288 345 33554432000 4194304 5098028 140729154596512 140729154594616 140689754792572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34918400 140729154597988 140729154598199 140729154598199 140729154600939 0
/proc/10962/statm: 2378 345 289 221 0 87 0
[pid=10964] ppid=10962 vsize=26538700 memory=5411568 CPUtime=158.98 cores=0-7
/proc/10964/stat : 10964 (java) S 10962 10962 10918 0 -1 1077944320 134058 0 0 0 15215 683 0 0 20 0 28 0 145008293 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140723653956352 140249404645111 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
/proc/10964/statm: 6634675 1352892 3258 1 0 6621909 0
[pid=10964/tid=10965] ppid=10962 vsize=26538700 memory=5407196 CPUtime=117.01 cores=0-7
/proc/10964/task/10965/stat : 10965 (java) S 10962 10962 10918 0 -1 1077944384 26068 0 0 0 11644 57 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249408885888 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10966] ppid=10962 vsize=26538700 memory=5407192 CPUtime=3.59 cores=0-7
/proc/10964/task/10966/stat : 10966 (java) S 10962 10962 10918 0 -1 1077944384 5330 0 0 0 278 81 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249357265552 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10967] ppid=10962 vsize=26538700 memory=5409388 CPUtime=3.59 cores=0-7
/proc/10964/task/10967/stat : 10967 (java) S 10962 10962 10918 0 -1 1077944384 9305 0 0 0 290 69 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249356212752 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10968] ppid=10962 vsize=26538700 memory=1380 CPUtime=3.54 cores=0-7
/proc/10964/task/10968/stat : 10968 (java) S 10962 10962 10918 0 -1 1077944384 6064 0 0 0 281 73 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249355159952 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10969] ppid=10962 vsize=26538700 memory=644 CPUtime=3.59 cores=0-7
/proc/10964/task/10969/stat : 10969 (java) S 10962 10962 10918 0 -1 1077944384 15973 0 0 0 278 81 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249354107152 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10970] ppid=10962 vsize=26538700 memory=960 CPUtime=3.56 cores=0-7
/proc/10964/task/10970/stat : 10970 (java) S 10962 10962 10918 0 -1 1077944384 6403 0 0 0 283 73 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249353055376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10971] ppid=10962 vsize=26538700 memory=4626184 CPUtime=3.58 cores=0-7
/proc/10964/task/10971/stat : 10971 (java) S 10962 10962 10918 0 -1 1077944384 5037 0 0 0 286 72 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249352002576 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10972] ppid=10962 vsize=26538700 memory=4100 CPUtime=3.59 cores=0-7
/proc/10964/task/10972/stat : 10972 (java) S 10962 10962 10918 0 -1 1077944384 6311 0 0 0 287 72 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249350949776 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10973] ppid=10962 vsize=26538700 memory=1292 CPUtime=3.56 cores=0-7
/proc/10964/task/10973/stat : 10973 (java) S 10962 10962 10918 0 -1 1077944384 7410 0 0 0 279 77 0 0 20 0 28 0 145008294 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140249349896976 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10974] ppid=10962 vsize=26538700 memory=2448 CPUtime=6.59 cores=0-7
/proc/10964/task/10974/stat : 10974 (java) S 10962 10962 10918 0 -1 1077944384 13601 0 0 0 646 13 0 0 20 0 28 0 145008296 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247608838512 140249404656258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10975] ppid=10962 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/10964/task/10975/stat : 10975 (java) S 10962 10962 10918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 145008296 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247607784544 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10976] ppid=10962 vsize=26538700 memory=7901169209133669805 CPUtime=0 cores=0-7
/proc/10964/task/10976/stat : 10976 (java) S 10962 10962 10918 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 145008297 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247606731648 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10977] ppid=10962 vsize=26538700 memory=44 CPUtime=0 cores=0-7
/proc/10964/task/10977/stat : 10977 (java) S 10962 10962 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247605679952 140249404663707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10978] ppid=10962 vsize=26538700 memory=0 CPUtime=0.64 cores=0-7
/proc/10964/task/10978/stat : 10978 (java) S 10962 10962 10918 0 -1 1077944384 5084 0 0 0 63 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247604628336 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10979] ppid=10962 vsize=26538700 memory=356 CPUtime=1.1 cores=0-7
/proc/10964/task/10979/stat : 10979 (java) S 10962 10962 10918 0 -1 1077944384 7110 0 0 0 109 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247603575536 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10980] ppid=10962 vsize=26538700 memory=659 CPUtime=0.73 cores=0-7
/proc/10964/task/10980/stat : 10980 (java) S 10962 10962 10918 0 -1 1077944384 5381 0 0 0 72 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247602522736 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10981] ppid=10962 vsize=26538700 memory=164 CPUtime=0.49 cores=0-7
/proc/10964/task/10981/stat : 10981 (java) S 10962 10962 10918 0 -1 1077944384 6990 0 0 0 48 1 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247601469936 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 53 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10982] ppid=10962 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/10964/task/10982/stat : 10982 (java) S 10962 10962 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247600417376 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10983] ppid=10962 vsize=26538700 memory=5407196 CPUtime=0.05 cores=0-7
/proc/10964/task/10983/stat : 10983 (java) S 10962 10962 10918 0 -1 1077944384 638 0 0 0 2 3 0 0 20 0 28 0 145008299 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140247599364656 140249404656258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10984] ppid=10962 vsize=26538700 memory=1380 CPUtime=0.46 cores=0-7
/proc/10964/task/10984/stat : 10984 (java) S 10962 10962 10918 0 -1 1077944384 95 0 0 0 46 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246987562416 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10985] ppid=10962 vsize=26538700 memory=5407196 CPUtime=0.41 cores=0-7
/proc/10964/task/10985/stat : 10985 (java) S 10962 10962 10918 0 -1 1077944384 44 0 0 0 41 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246986511056 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10986] ppid=10962 vsize=26538700 memory=659 CPUtime=0.51 cores=0-7
/proc/10964/task/10986/stat : 10986 (java) R 10962 10962 10918 0 -1 4202560 43 0 0 0 51 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246985456360 140249023475704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10987] ppid=10962 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7
/proc/10964/task/10987/stat : 10987 (java) S 10962 10962 10918 0 -1 1077944384 45 0 0 0 42 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246984406480 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10988] ppid=10962 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7
/proc/10964/task/10988/stat : 10988 (java) S 10962 10962 10918 0 -1 1077944384 42 0 0 0 42 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246983353680 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10989] ppid=10962 vsize=26538700 memory=0 CPUtime=0.44 cores=0-7
/proc/10964/task/10989/stat : 10989 (java) S 10962 10962 10918 0 -1 1077944384 5529 0 0 0 44 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246982300880 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10990] ppid=10962 vsize=26538700 memory=51 CPUtime=0.44 cores=0-7
/proc/10964/task/10990/stat : 10990 (java) S 10962 10962 10918 0 -1 1077944384 72 0 0 0 44 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246981248080 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
[pid=10964/tid=10991] ppid=10962 vsize=26538700 memory=80 CPUtime=0.46 cores=0-7
/proc/10964/task/10991/stat : 10991 (java) S 10962 10962 10918 0 -1 1077944384 53 0 0 0 46 0 0 0 20 0 28 0 145021068 27175628800 1352892 33554432000 4194304 4196468 140723653973808 140246980195280 140249404655317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32436224 140723653981330 140723653981507 140723653981507 140723653984207 0
Current children cumulated CPU time: 158.98 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5412948 KiB
Child status: 0
Real time (s): 128.35
CPU time (s): 159.03
CPU user time (s): 152.165
CPU system time (s): 6.86463
CPU usage (%): 123.904
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5412948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.165
system time used= 6.86463
maximum resident set size= 5412572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10804
involuntary context switches= 592
# summary of solver processes directly reported to runsolver:
# pid: 10962
# total CPU time (s): 159.03
# total CPU user time (s): 152.165
# total CPU system time (s): 6.86463
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.950225 second user time and 1.40912 second system time
The end
Begin job on node113 at 2017-08-19 06:52:28
IDJOB=4281120
IDBENCH=120396
IDSOLVER=2675
FILE ID=node113/4281120-1503119208
RUNJOBID= node113-1503118348-10945
PBS_JOBID= 20630765
Free space on /tmp= 61672 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s05c-table.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-4281120-1503119208/watcher-4281120-1503119208 -o /tmp/evaluation-result-4281120-1503119208/solver-4281120-1503119208 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1466759050 HOME/instance-4281120-1503119208.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= db3f83fbcf6995a753f778d644e50d9f
RANDOM SEED=1466759050
node113.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.89
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.89
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.89
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.89
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: 27232256 kB
MemAvailable: 31971344 kB
Buffers: 245200 kB
Cached: 4784908 kB
SwapCached: 0 kB
Active: 1257388 kB
Inactive: 3826040 kB
Active(anon): 3540 kB
Inactive(anon): 85840 kB
Active(file): 1253848 kB
Inactive(file): 3740200 kB
Unevictable: 7568 kB
Mlocked: 7568 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 28068 kB
Writeback: 4 kB
AnonPages: 61040 kB
Mapped: 50244 kB
Shmem: 33416 kB
Slab: 148056 kB
SReclaimable: 121748 kB
SUnreclaim: 26308 kB
KernelStack: 3168 kB
PageTables: 4788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61664 MiB
End job on node113 at 2017-08-19 06:54:37