0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281439-1503184790.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4281439-1503184790.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
1.53/0.68 c solve instance...
2.59/0.88 o 38
2.59/0.90 o 37
3.26/0.91 o 36
3.26/0.95 o 35
3.26/0.95 o 34
3.26/0.95 o 33
3.26/0.96 o 32
3.26/0.96 o 31
3.26/0.97 o 30
3.26/0.97 o 29
3.26/0.98 o 28
3.26/0.98 o 27
3.26/0.98 o 26
3.26/0.99 o 25
3.26/0.99 o 24
3.26/1.00 o 23
3.87/1.01 o 22
3.87/1.01 o 21
3.87/1.02 o 20
3.87/1.02 o 19
3.87/1.02 o 18
3.87/1.03 o 17
3.87/1.03 o 16
3.87/1.03 o 15
3.87/1.04 o 14
3.87/1.04 o 13
3.87/1.05 o 12
3.87/1.05 o 11
3.87/1.05 o 10
3.87/1.06 o 9
3.87/1.07 o 8
3.87/1.11 o 5
4.55/1.17 o 4
4.55/1.19 o 3
19.52/3.07 o 2
19.52/3.07 s OPTIMUM FOUND
19.52/3.07 v <instantiation>
19.52/3.07 v <list>z 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[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] 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[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] 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[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] 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[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] 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[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] 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[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] 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[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] 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[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] 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] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] </list>
19.52/3.07 v <values>2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 </values>
19.52/3.07 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 (13005 MiB free)
memory of node 1: 16384 MiB (12577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281439-1503184790/watcher-4281439-1503184790 -o /tmp/evaluation-result-4281439-1503184790/solver-4281439-1503184790 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503180405-3599 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1901936035 HOME/instance-4281439-1503184790.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=6735, runsolver pid=6732
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 7.68 7.65 7.98 3/200 6756
/proc/meminfo: memFree=26181704/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
[pid=6737] ppid=6735 vsize=25999808 memory=26376 CPUtime=0.11 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 3572 0 -1 1077944320 5476 0 0 0 10 1 0 0 20 0 20 0 151566640 26623803392 6594 33554432000 4194304 4196468 140732780706736 140732780689280 139968471252727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
/proc/6737/statm: 6499952 6594 2873 1 0 6488269 0
[pid=6737/tid=6738] ppid=6735 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 3572 0 -1 4202560 3486 0 0 0 8 0 0 0 20 0 20 0 151566640 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968475486000 139968471264662 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6739] ppid=6735 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968423873552 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6740] ppid=6735 vsize=25999808 memory=139939943831168 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968422821008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6741] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968026901264 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6742] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968025848720 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6743] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968024795664 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6744] ppid=6735 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968023743120 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6745] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968022690064 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6746] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566641 26623803392 6594 33554432000 4194304 4196468 140732780706736 139968021637520 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6747] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566642 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966676396784 139968471263874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6748] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151566643 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966675343008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6749] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151566643 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966674289904 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6750] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566645 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966673238480 139968471271323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6751] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 3572 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 151566645 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966672185584 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6752] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566645 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966671133040 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6753] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566645 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966670079984 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6754] ppid=6735 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) R 6735 6735 3572 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 151566645 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966669027440 139968471274074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6755] ppid=6735 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566646 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966667975648 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6756] ppid=6735 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566646 26623803392 6594 33554432000 4194304 4196468 140732780706736 139966666923184 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27760 KiB
[startup+0.209884 s]*
/proc/loadavg: 7.68 7.65 7.98 2/200 6756
/proc/meminfo: memFree=26169516/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
[pid=6737] ppid=6735 vsize=26004064 memory=38708 CPUtime=0.33 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 3572 0 -1 1077944320 8261 0 0 0 31 2 0 0 20 0 20 0 151566640 26628161536 9677 33554432000 4194304 4196468 140732780706736 140732780689280 139968471252727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
/proc/6737/statm: 6501016 9677 3042 1 0 6488269 0
[pid=6737/tid=6738] ppid=6735 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) D 6735 6735 3572 0 -1 1077944384 5406 0 0 0 18 1 0 0 20 0 20 0 151566640 26628161536 9677 33554432000 4194304 4196468 140732780706736 139968475463520 139968463931949 0 4 0 16800975 18446744072101625380 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6739] ppid=6735 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 9677 33554432000 4194304 4196468 140732780706736 139968423873552 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6740] ppid=6735 vsize=26004064 memory=139939944366491 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 9677 33554432000 4194304 4196468 140732780706736 139968422821008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6741] ppid=6735 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 9677 33554432000 4194304 4196468 140732780706736 139968026901264 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6742] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 9677 33554432000 4194304 4196468 140732780706736 139968025848720 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6743] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 9677 33554432000 4194304 4196468 140732780706736 139968024795664 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6744] ppid=6735 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628194304 9677 33554432000 4194304 4196468 140732780706736 139968023743120 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6745] ppid=6735 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628194304 9677 33554432000 4194304 4196468 140732780706736 139968022690064 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6746] ppid=6735 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566641 26628194304 9699 33554432000 4194304 4196468 140732780706736 139968021637520 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6747] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 3572 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151566642 26628161536 9699 33554432000 4194304 4196468 140732780706736 139966676396784 139968471263874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6748] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151566643 26628161536 9699 33554432000 4194304 4196468 140732780706736 139966675343008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6749] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151566643 26628161536 9699 33554432000 4194304 4196468 140732780706736 139966674289904 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6750] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566645 26628161536 9699 33554432000 4194304 4196468 140732780706736 139966673238480 139968471271323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6751] ppid=6735 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 3572 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 20 0 151566645 26628161536 9699 33554432000 4194304 4196468 140732780706736 139966672185584 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6752] ppid=6735 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 3572 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 151566645 26628161536 9699 33554432000 4194304 4196468 140732780706736 139966671133040 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6753] ppid=6735 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 3572 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 151566645 26628161536 9699 33554432000 4194304 4196468 140732780706736 139966670079984 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6754] ppid=6735 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) S 6735 6735 3572 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 20 0 151566645 26628194304 9699 33554432000 4194304 4196468 140732780706736 139966669027440 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6755] ppid=6735 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566646 26628194304 9699 33554432000 4194304 4196468 140732780706736 139966667975648 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6756] ppid=6735 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566646 26628194304 9699 33554432000 4194304 4196468 140732780706736 139966666923184 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40092 KiB
[startup+0.309476 s]*
/proc/loadavg: 7.68 7.65 7.98 4/200 6756
/proc/meminfo: memFree=26163128/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
[pid=6737] ppid=6735 vsize=26004064 memory=46440 CPUtime=0.5 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 3572 0 -1 1077944320 9302 0 0 0 47 3 0 0 20 0 20 0 151566640 26628161536 11610 33554432000 4194304 4196468 140732780706736 140732780689280 139968471252727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
/proc/6737/statm: 6501016 11610 3069 1 0 6488269 0
[pid=6737/tid=6738] ppid=6735 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 3572 0 -1 4202560 6177 0 0 0 28 1 0 0 20 0 20 0 151566640 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968475487776 139968471274653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6739] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968423873552 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6740] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968422821008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6741] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968026901264 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6742] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968025848720 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6743] ppid=6735 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968024795664 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6744] ppid=6735 vsize=26004064 memory=139939832492975 CPUtime=0 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968023743120 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6745] ppid=6735 vsize=26004064 memory=139939832495280 CPUtime=0 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968022690064 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6746] ppid=6735 vsize=26004064 memory=139939832497584 CPUtime=0 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566641 26628161536 11620 33554432000 4194304 4196468 140732780706736 139968021637520 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6747] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 3572 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151566642 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966676396784 139968471263874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6748] ppid=6735 vsize=26004064 memory=279879665002128 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151566643 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966675343008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6749] ppid=6735 vsize=26004064 memory=279879665009040 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151566643 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966674289904 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6750] ppid=6735 vsize=26004064 memory=279879664950320 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566645 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966673238480 139968471271323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6751] ppid=6735 vsize=26004064 memory=279879665022864 CPUtime=0.02 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 3572 0 -1 1077944384 684 0 0 0 2 0 0 0 20 0 20 0 151566645 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966672185584 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6752] ppid=6735 vsize=26004064 memory=279879665029776 CPUtime=0.02 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 3572 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 151566645 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966671133040 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6753] ppid=6735 vsize=26004064 memory=279879665027472 CPUtime=0.01 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 3572 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 151566645 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966670079984 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6754] ppid=6735 vsize=26004064 memory=279879665043632 CPUtime=0.12 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) S 6735 6735 3572 0 -1 1077944384 936 0 0 0 12 0 0 0 20 0 20 0 151566645 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966669027440 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6755] ppid=6735 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151566646 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966667975648 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6756] ppid=6735 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151566646 26628161536 11620 33554432000 4194304 4196468 140732780706736 139966666923184 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47824 KiB
[startup+0.700963 s]
/proc/loadavg: 7.68 7.65 7.98 6/200 6756
/proc/meminfo: memFree=26144836/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
[pid=6737] ppid=6735 vsize=26406600 memory=124372 CPUtime=1.85 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 3572 0 -1 1077944320 12667 0 0 0 179 6 0 0 20 0 27 0 151566640 27040358400 31093 33554432000 4194304 4196468 140732780706736 140732780689280 139968471252727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
/proc/6737/statm: 6618291 31093 3217 1 0 6605525 0
[pid=6737/tid=6738] ppid=6735 vsize=26473164 memory=279879665401520 CPUtime=0.66 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) S 6735 6735 3572 0 -1 1077944384 6915 0 0 0 63 3 0 0 20 0 28 0 151566640 27108519936 31093 33554432000 4194304 4196468 140732780706736 139968475493504 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6739] ppid=6735 vsize=26473164 memory=139939832701808 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31093 33554432000 4194304 4196468 140732780706736 139968423873552 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6740] ppid=6735 vsize=26473164 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31093 33554432000 4194304 4196468 140732780706736 139968422821008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6741] ppid=6735 vsize=26473164 memory=1004 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31094 33554432000 4194304 4196468 140732780706736 139968026901264 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6742] ppid=6735 vsize=26473164 memory=1436 CPUtime=0 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31094 33554432000 4194304 4196468 140732780706736 139968025848720 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6743] ppid=6735 vsize=26473164 memory=1200 CPUtime=0 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31094 33554432000 4194304 4196468 140732780706736 139968024795664 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6744] ppid=6735 vsize=26473164 memory=15876 CPUtime=0 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31094 33554432000 4194304 4196468 140732780706736 139968023743120 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6745] ppid=6735 vsize=26473164 memory=4040 CPUtime=0 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31094 33554432000 4194304 4196468 140732780706736 139968022690064 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6746] ppid=6735 vsize=26473164 memory=24096 CPUtime=0 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151566641 27108519936 31094 33554432000 4194304 4196468 140732780706736 139968021637520 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6747] ppid=6735 vsize=26473164 memory=18292 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 3572 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 151566642 27108519936 31094 33554432000 4194304 4196468 140732780706736 139966676396784 139968471263874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6748] ppid=6735 vsize=26473164 memory=1792 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151566643 27108519936 31094 33554432000 4194304 4196468 140732780706736 139966675343008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6749] ppid=6735 vsize=26473164 memory=648 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151566643 27108519936 31094 33554432000 4194304 4196468 140732780706736 139966674289904 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6750] ppid=6735 vsize=26473164 memory=1236 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151566645 27108519936 31094 33554432000 4194304 4196468 140732780706736 139966673238480 139968471271323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6751] ppid=6735 vsize=26473164 memory=0 CPUtime=0.24 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) R 6735 6735 3572 0 -1 4202560 1313 0 0 0 24 0 0 0 20 0 28 0 151566645 27108519936 31094 33554432000 4194304 4196468 140732780706736 139966672185584 139968456376765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6752] ppid=6735 vsize=26473164 memory=1228 CPUtime=0.24 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 3572 0 -1 1077944384 536 0 0 0 24 0 0 0 20 0 28 0 151566645 27108519936 31094 33554432000 4194304 4196468 140732780706736 139966671133040 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6753] ppid=6735 vsize=26473164 memory=796 CPUtime=0.26 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) R 6735 6735 3572 0 -1 4202560 725 0 0 0 26 0 0 0 20 0 28 0 151566645 27108519936 31606 33554432000 4194304 4196468 140732780706736 139966670079984 139968471266609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6754] ppid=6735 vsize=26473164 memory=10088 CPUtime=0.39 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) S 6735 6735 3572 0 -1 1077944384 1703 0 0 0 39 0 0 0 20 0 28 0 151566645 27108519936 31606 33554432000 4194304 4196468 140732780706736 139966669027440 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6755] ppid=6735 vsize=26473164 memory=1948 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151566646 27108519936 31606 33554432000 4194304 4196468 140732780706736 139966667975648 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6756] ppid=6735 vsize=26604236 memory=8580 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151566646 27242737664 31606 33554432000 4194304 4196468 140732780706736 139966666923184 139968471263874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 26416112 KiB
Current children cumulated memory: 125756 KiB
[startup+1.50096 s]
/proc/loadavg: 7.68 7.65 7.98 7/208 6884
/proc/meminfo: memFree=25991576/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
[pid=6737] ppid=6735 vsize=26605264 memory=250716 CPUtime=7.54 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 3572 0 -1 1077944320 22566 0 0 0 735 19 0 0 20 0 28 0 151566640 27243790336 62679 33554432000 4194304 4196468 140732780706736 140732780689280 139968471252727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
/proc/6737/statm: 6651316 62679 3264 1 0 6638550 0
[pid=6737/tid=6738] ppid=6735 vsize=26605264 memory=6943526294502006880 CPUtime=0.69 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) S 6735 6735 3572 0 -1 1077944384 6919 0 0 0 66 3 0 0 20 0 28 0 151566640 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968475493504 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6739] ppid=6735 vsize=26605264 memory=279879665356304 CPUtime=0.01 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 3572 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968423873552 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6740] ppid=6735 vsize=26605264 memory=288230596050944315 CPUtime=0.02 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 3572 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968422821008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6741] ppid=6735 vsize=26605264 memory=14972269734661901 CPUtime=0.02 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 3572 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968026901264 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6742] ppid=6735 vsize=26605264 memory=0 CPUtime=0.01 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 3572 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968025848720 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6743] ppid=6735 vsize=26605264 memory=0 CPUtime=0.03 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 3572 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968024795664 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6744] ppid=6735 vsize=26605264 memory=139944238798463 CPUtime=0.02 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 3572 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968023743120 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6745] ppid=6735 vsize=26605264 memory=0 CPUtime=0.03 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 3572 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968022690064 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6746] ppid=6735 vsize=26605264 memory=0 CPUtime=0.03 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 3572 0 -1 1077944384 44 0 0 0 3 0 0 0 20 0 28 0 151566641 27243790336 62679 33554432000 4194304 4196468 140732780706736 139968021637520 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6747] ppid=6735 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 3572 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 151566642 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966676396784 139968471263874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6748] ppid=6735 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 3572 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151566643 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966675343008 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6749] ppid=6735 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151566643 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966674289904 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6750] ppid=6735 vsize=26605264 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151566645 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966673238480 139968471271323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6751] ppid=6735 vsize=26605264 memory=80 CPUtime=0.77 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) R 6735 6735 3572 0 -1 4202560 2358 0 0 0 76 1 0 0 20 0 28 0 151566645 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966672172128 139968452796513 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6752] ppid=6735 vsize=26605264 memory=0 CPUtime=0.79 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) R 6735 6735 3572 0 -1 4202560 2351 0 0 0 79 0 0 0 20 0 28 0 151566645 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966671121472 139968456376304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6753] ppid=6735 vsize=26605264 memory=209 CPUtime=0.77 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) R 6735 6735 3572 0 -1 4202560 1591 0 0 0 77 0 0 0 20 0 28 0 151566645 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966670065952 139968456378496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6754] ppid=6735 vsize=26605264 memory=105 CPUtime=0.61 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) R 6735 6735 3572 0 -1 1077944384 2647 0 0 0 61 0 0 0 20 0 28 0 151566645 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966669027440 139968471263874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6755] ppid=6735 vsize=26605264 memory=16087 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151566646 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966667975648 139968471262933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
[pid=6737/tid=6756] ppid=6735 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) R 6735 6735 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151566646 27243790336 62679 33554432000 4194304 4196468 140732780706736 139966666923184 139968471263874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11624448 140732780709016 140732780709192 140732780709192 140732780711887 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 252100 KiB
[startup+3.11056 s]
/proc/loadavg: 7.95 7.70 7.99 9/208 7036
/proc/meminfo: memFree=25826644/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
heavy processes:
[startup+3.31781 s]
# the end of solver process 6735 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19.8036 s, system=0.277799 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2095 s]
/proc/loadavg: 7.95 7.70 7.99 1/182 7044
/proc/meminfo: memFree=26192828/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
[startup+3.30029 s]
/proc/loadavg: 7.95 7.70 7.99 1/182 7044
/proc/meminfo: memFree=26192828/32770624 swapFree=67108860/67108860
[pid=6735] ppid=6732 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 3572 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151566640 9740288 346 33554432000 4194304 5098028 140723875861472 140723875859576 140101973127804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33894400 140723875865706 140723875865916 140723875865916 140723875868651 0
/proc/6735/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 3.31786
CPU time (s): 20.0814
CPU user time (s): 19.8036
CPU system time (s): 0.277799
CPU usage (%): 605.251
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 382800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.8036
system time used= 0.277799
maximum resident set size= 382852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23964
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5645
involuntary context switches= 412
# summary of solver processes directly reported to runsolver:
# pid: 6735
# total CPU time (s): 20.0814
# total CPU user time (s): 19.8036
# total CPU system time (s): 0.277799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058055 second user time and 0.074182 second system time
The end
Begin job on node112 at 2017-08-20 01:05:30
IDJOB=4281439
IDBENCH=122994
IDSOLVER=2676
FILE ID=node112/4281439-1503184790
RUNJOBID= node112-1503180405-3599
PBS_JOBID= 20630850
Free space on /tmp= 61856 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-038-010.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-4281439-1503184790/watcher-4281439-1503184790 -o /tmp/evaluation-result-4281439-1503184790/solver-4281439-1503184790 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503180405-3599 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1901936035 HOME/instance-4281439-1503184790.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8e449228b7b3cf049a5fccac2aa13fe6
RANDOM SEED=1901936035
node112.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.24
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.24
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.24
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.24
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: 26198364 kB
MemAvailable: 31973020 kB
Buffers: 252656 kB
Cached: 5812152 kB
SwapCached: 0 kB
Active: 1103180 kB
Inactive: 5014916 kB
Active(anon): 4980 kB
Inactive(anon): 84388 kB
Active(file): 1098200 kB
Inactive(file): 4930528 kB
Unevictable: 7840 kB
Mlocked: 7840 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8036 kB
Writeback: 0 kB
AnonPages: 219936 kB
Mapped: 51528 kB
Shmem: 33416 kB
Slab: 150204 kB
SReclaimable: 123524 kB
SUnreclaim: 26680 kB
KernelStack: 3536 kB
PageTables: 5156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 163840 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= 61848 MiB
End job on node112 at 2017-08-20 01:05:33