0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281697-1503189073.xml" -tl '2016s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4281697-1503189073.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.19 c 8 solvers in parallel
0.33/0.26 c parse instance...
19.86/5.80 c solve instance...
27.53/6.92 o 14
32.38/9.92 o 13
276.94/252.01 s SATISFIABLE
276.94/252.01 v <instantiation>
276.94/252.01 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[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] 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[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[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[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[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[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[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[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[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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] </list>
276.94/252.01 v <values>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 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 0 1 2 3 4 5 6 6 6 6 6 6 6 6 6 6 6 0 1 2 3 4 5 6 7 7 7 7 7 7 7 7 7 7 0 1 2 3 4 5 6 7 8 8 8 8 8 8 8 8 8 0 1 2 3 4 5 6 7 8 9 9 9 9 9 9 9 9 0 1 2 3 4 5 6 7 8 9 10 10 10 10 10 10 10 0 1 2 3 4 5 6 7 8 9 10 11 11 11 11 11 11 0 1 2 3 4 5 6 7 8 9 10 11 12 12 12 12 12 0 1 2 3 4 5 6 7 8 9 10 11 12 13 13 13 13 0 1 2 3 4 5 6 7 8 9 11 12 13 10 11 12 13 </values>
276.94/252.01 v </instantiation>
276.94/252.01 c Unexpected resolution interruption!
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 (12772 MiB free)
memory of node 1: 16384 MiB (12129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281697-1503189073/watcher-4281697-1503189073 -o /tmp/evaluation-result-4281697-1503189073/solver-4281697-1503189073 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503186455-14895 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1228662951 HOME/instance-4281697-1503189073.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
Current StackSize limit: 8192 KiB
solver pid=16156, runsolver pid=16153
[startup+0.100139 s]*
/proc/loadavg: 8.06 7.45 6.92 2/199 16177
/proc/meminfo: memFree=25484052/32770624 swapFree=67108860/67108860
[pid=16156] ppid=16153 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16156/stat : 16156 (xcsp3-exec) S 16153 16156 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151988225 9740288 345 33554432000 4194304 5098028 140726379151200 140726379149304 140119729267324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35450880 140726379152490 140726379152700 140726379152700 140726379155435 0
/proc/16156/statm: 2378 345 289 221 0 87 0
[pid=16158] ppid=16156 vsize=25999808 memory=26228 CPUtime=0.12 cores=0-7
/proc/16158/stat : 16158 (java) S 16156 16156 14868 0 -1 1077944320 5507 0 0 0 11 1 0 0 20 0 20 0 151988225 26623803392 6557 33554432000 4194304 4196468 140736814384608 140736814367152 140325392432887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
/proc/16158/statm: 6499952 6557 2844 1 0 6488269 0
[pid=16158/tid=16159] ppid=16156 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16158/task/16159/stat : 16159 (java) R 16156 16156 14868 0 -1 4202560 3502 0 0 0 8 0 0 0 20 0 20 0 151988225 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325396653696 140325378500769 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16160] ppid=16156 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16158/task/16160/stat : 16160 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325315013008 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16161] ppid=16156 vsize=25999808 memory=139667160512128 CPUtime=0 cores=0-7
/proc/16158/task/16161/stat : 16161 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325313960208 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16162] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16162/stat : 16162 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325312907920 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16163] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16163/stat : 16163 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325311855120 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16164] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16164/stat : 16164 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325310802832 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16165] ppid=16156 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16158/task/16165/stat : 16165 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325309750032 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16166] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16166/stat : 16166 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325308697744 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16167] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16167/stat : 16167 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26623803392 6557 33554432000 4194304 4196468 140736814384608 140325307644944 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16168] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16168/stat : 16168 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988227 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323933034608 140325392444034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16169] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16169/stat : 16169 (java) S 16156 16156 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151988228 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323931980576 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16170] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16170/stat : 16170 (java) S 16156 16156 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151988228 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323930928240 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16171] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16171/stat : 16171 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988231 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323929876560 140325392451483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16172] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16172/stat : 16172 (java) S 16156 16156 14868 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 151988231 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323928824432 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16173] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16173/stat : 16173 (java) S 16156 16156 14868 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151988231 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323927771632 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16174] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16174/stat : 16174 (java) R 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151988231 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323926719344 140325392444034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16175] ppid=16156 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16158/task/16175/stat : 16175 (java) R 16156 16156 14868 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 151988231 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323925666544 140325392454234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16176] ppid=16156 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16176/stat : 16176 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151988231 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323924613472 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16177] ppid=16156 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16158/task/16177/stat : 16177 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988231 26623803392 6557 33554432000 4194304 4196468 140736814384608 140323923560752 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27608 KiB
[startup+0.210357 s]*
/proc/loadavg: 8.06 7.45 6.92 2/199 16177
/proc/meminfo: memFree=25473384/32770624 swapFree=67108860/67108860
[pid=16156] ppid=16153 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16156/stat : 16156 (xcsp3-exec) S 16153 16156 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151988225 9740288 345 33554432000 4194304 5098028 140726379151200 140726379149304 140119729267324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35450880 140726379152490 140726379152700 140726379152700 140726379155435 0
/proc/16156/statm: 2378 345 289 221 0 87 0
[pid=16158] ppid=16156 vsize=26004064 memory=38972 CPUtime=0.33 cores=0-7
/proc/16158/stat : 16158 (java) S 16156 16156 14868 0 -1 1077944320 8307 0 0 0 31 2 0 0 20 0 20 0 151988225 26628161536 9743 33554432000 4194304 4196468 140736814384608 140736814367152 140325392432887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
/proc/16158/statm: 6501024 9743 3075 1 0 6488277 0
[pid=16158/tid=16159] ppid=16156 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16158/task/16159/stat : 16159 (java) R 16156 16156 14868 0 -1 4202560 5454 0 0 0 18 1 0 0 20 0 20 0 151988225 26628194304 9743 33554432000 4194304 4196468 140736814384608 140325396643680 140325385112480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16160] ppid=16156 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/16158/task/16160/stat : 16160 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 9743 33554432000 4194304 4196468 140736814384608 140325315013008 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16161] ppid=16156 vsize=26004064 memory=288370043312223872 CPUtime=0 cores=0-7
/proc/16158/task/16161/stat : 16161 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 9743 33554432000 4194304 4196468 140736814384608 140325313960208 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16162] ppid=16156 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16158/task/16162/stat : 16162 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 9743 33554432000 4194304 4196468 140736814384608 140325312907920 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16163] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16163/stat : 16163 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 9743 33554432000 4194304 4196468 140736814384608 140325311855120 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16164] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16164/stat : 16164 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 9743 33554432000 4194304 4196468 140736814384608 140325310802832 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16165] ppid=16156 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/16158/task/16165/stat : 16165 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26628194304 9743 33554432000 4194304 4196468 140736814384608 140325309750032 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16166] ppid=16156 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16166/stat : 16166 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628194304 9743 33554432000 4194304 4196468 140736814384608 140325308697744 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16167] ppid=16156 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16167/stat : 16167 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628194304 9743 33554432000 4194304 4196468 140736814384608 140325307644944 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16168] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16168/stat : 16168 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988227 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323933034608 140325392444034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16169] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16169/stat : 16169 (java) S 16156 16156 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151988228 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323931980576 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16170] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16170/stat : 16170 (java) S 16156 16156 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151988228 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323930928240 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16171] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16171/stat : 16171 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988231 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323929876560 140325392451483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16172] ppid=16156 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/16158/task/16172/stat : 16172 (java) S 16156 16156 14868 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 151988231 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323928824432 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16173] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16173/stat : 16173 (java) S 16156 16156 14868 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 151988231 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323927771632 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16174] ppid=16156 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/16158/task/16174/stat : 16174 (java) S 16156 16156 14868 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 151988231 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323926719344 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16175] ppid=16156 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16158/task/16175/stat : 16175 (java) S 16156 16156 14868 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 20 0 151988231 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323925666544 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16176] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16176/stat : 16176 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151988231 26628161536 9743 33554432000 4194304 4196468 140736814384608 140323924613472 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16177] ppid=16156 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/16158/task/16177/stat : 16177 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988231 26628194304 9743 33554432000 4194304 4196468 140736814384608 140323923560752 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40352 KiB
[startup+0.310364 s]*
/proc/loadavg: 8.06 7.45 6.92 4/199 16177
/proc/meminfo: memFree=25468608/32770624 swapFree=67108860/67108860
[pid=16156] ppid=16153 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16156/stat : 16156 (xcsp3-exec) S 16153 16156 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151988225 9740288 345 33554432000 4194304 5098028 140726379151200 140726379149304 140119729267324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35450880 140726379152490 140726379152700 140726379152700 140726379155435 0
/proc/16156/statm: 2378 345 289 221 0 87 0
[pid=16158] ppid=16156 vsize=26004064 memory=45828 CPUtime=0.5 cores=0-7
/proc/16158/stat : 16158 (java) S 16156 16156 14868 0 -1 1077944320 9193 0 0 0 48 2 0 0 20 0 20 0 151988225 26628161536 11457 33554432000 4194304 4196468 140736814384608 140736814367152 140325392432887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
/proc/16158/statm: 6501016 11457 3100 1 0 6488269 0
[pid=16158/tid=16159] ppid=16156 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16158/task/16159/stat : 16159 (java) R 16156 16156 14868 0 -1 4202560 6084 0 0 0 28 1 0 0 20 0 20 0 151988225 26628161536 11457 33554432000 4194304 4196468 140736814384608 140325396670544 140324987072869 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16160] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16160/stat : 16160 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325315013008 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16161] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16161/stat : 16161 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325313960208 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16162] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16162/stat : 16162 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325312907920 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16163] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16163/stat : 16163 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325311855120 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16164] ppid=16156 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16158/task/16164/stat : 16164 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325310802832 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16165] ppid=16156 vsize=26004064 memory=139667034960815 CPUtime=0 cores=0-7
/proc/16158/task/16165/stat : 16165 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325309750032 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16166] ppid=16156 vsize=26004064 memory=139667034963120 CPUtime=0 cores=0-7
/proc/16158/task/16166/stat : 16166 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325308697744 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16167] ppid=16156 vsize=26004064 memory=139667034965424 CPUtime=0 cores=0-7
/proc/16158/task/16167/stat : 16167 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988226 26628161536 11523 33554432000 4194304 4196468 140736814384608 140325307644944 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16168] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16168/stat : 16168 (java) S 16156 16156 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151988227 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323933034608 140325392444034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16169] ppid=16156 vsize=26004064 memory=279334069937808 CPUtime=0 cores=0-7
/proc/16158/task/16169/stat : 16169 (java) S 16156 16156 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151988228 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323931980576 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16170] ppid=16156 vsize=26004064 memory=279334069944720 CPUtime=0 cores=0-7
/proc/16158/task/16170/stat : 16170 (java) S 16156 16156 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151988228 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323930928240 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16171] ppid=16156 vsize=26004064 memory=279334069886000 CPUtime=0 cores=0-7
/proc/16158/task/16171/stat : 16171 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988231 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323929876560 140325392451483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16172] ppid=16156 vsize=26004064 memory=279334069958544 CPUtime=0.02 cores=0-7
/proc/16158/task/16172/stat : 16172 (java) S 16156 16156 14868 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 151988231 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323928824432 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16173] ppid=16156 vsize=26004064 memory=279334069965456 CPUtime=0.01 cores=0-7
/proc/16158/task/16173/stat : 16173 (java) R 16156 16156 14868 0 -1 4202560 201 0 0 0 1 0 0 0 20 0 20 0 151988231 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323927763584 140325373133184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16174] ppid=16156 vsize=26004064 memory=279334069963152 CPUtime=0.02 cores=0-7
/proc/16158/task/16174/stat : 16174 (java) S 16156 16156 14868 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 151988231 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323926719344 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16175] ppid=16156 vsize=26004064 memory=279334069979312 CPUtime=0.13 cores=0-7
/proc/16158/task/16175/stat : 16175 (java) R 16156 16156 14868 0 -1 4202560 879 0 0 0 13 0 0 0 20 0 20 0 151988231 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323925664336 140325371348183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16176] ppid=16156 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16176/stat : 16176 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151988231 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323924613472 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16177] ppid=16156 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16158/task/16177/stat : 16177 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151988231 26628161536 11523 33554432000 4194304 4196468 140736814384608 140323923560752 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47208 KiB
[startup+0.708311 s]
/proc/loadavg: 8.06 7.45 6.92 6/199 16177
/proc/meminfo: memFree=25441004/32770624 swapFree=67108860/67108860
[pid=16156] ppid=16153 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16156/stat : 16156 (xcsp3-exec) S 16153 16156 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151988225 9740288 345 33554432000 4194304 5098028 140726379151200 140726379149304 140119729267324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35450880 140726379152490 140726379152700 140726379152700 140726379155435 0
/proc/16156/statm: 2378 345 289 221 0 87 0
[pid=16158] ppid=16156 vsize=26004140 memory=193336 CPUtime=2.09 cores=0-7
/proc/16158/stat : 16158 (java) S 16156 16156 14868 0 -1 1077944320 13879 0 0 0 201 8 0 0 20 0 20 0 151988225 26628239360 48334 33554432000 4194304 4196468 140736814384608 140736814367152 140325392432887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
/proc/16158/statm: 6501035 48334 3200 1 0 6488269 0
[pid=16158/tid=16159] ppid=16156 vsize=26004140 memory=279334070337200 CPUtime=0.66 cores=0-7
/proc/16158/task/16159/stat : 16159 (java) S 16156 16156 14868 0 -1 1077944384 6432 0 0 0 62 4 0 0 20 0 20 0 151988225 26628239360 48334 33554432000 4194304 4196468 140736814384608 140325396670448 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16160] ppid=16156 vsize=26004140 memory=139667035169648 CPUtime=0 cores=0-7
/proc/16158/task/16160/stat : 16160 (java) S 16156 16156 14868 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 151988226 26628239360 48334 33554432000 4194304 4196468 140736814384608 140325315013008 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16161] ppid=16156 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16161/stat : 16161 (java) S 16156 16156 14868 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151988226 26628239360 48334 33554432000 4194304 4196468 140736814384608 140325313960208 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16162] ppid=16156 vsize=26004140 memory=1204 CPUtime=0 cores=0-7
/proc/16158/task/16162/stat : 16162 (java) S 16156 16156 14868 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 151988226 26628239360 48334 33554432000 4194304 4196468 140736814384608 140325312907920 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
################
# More data... #
################
[pid=16158/tid=16201] ppid=16156 vsize=26538700 memory=4096 CPUtime=152.23 cores=0-7
/proc/16158/task/16201/stat : 16201 (java) R 16156 16156 14868 0 -1 4202560 3410 0 0 0 15221 2 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323909234232 140324992611534 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
Current children cumulated CPU time: 187.19 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1818240 KiB
[startup+222.301 s]
/proc/loadavg: 1.24 4.14 5.70 2/208 16209
/proc/meminfo: memFree=23691616/32770624 swapFree=67108860/67108860
[pid=16156] ppid=16153 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16156/stat : 16156 (xcsp3-exec) S 16153 16156 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151988225 9740288 345 33554432000 4194304 5098028 140726379151200 140726379149304 140119729267324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35450880 140726379152490 140726379152700 140726379152700 140726379155435 0
/proc/16156/statm: 2378 345 289 221 0 87 0
[pid=16158] ppid=16156 vsize=26538700 memory=1816860 CPUtime=247.22 cores=0-7
/proc/16158/stat : 16158 (java) S 16156 16156 14868 0 -1 1077944320 47910 0 0 0 24515 207 0 0 20 0 28 0 151988225 27175628800 454215 33554432000 4194304 4196468 140736814384608 140736814367152 140325392432887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
/proc/16158/statm: 6634675 454215 3293 1 0 6621909 0
[pid=16158/tid=16159] ppid=16156 vsize=26538700 memory=1816860 CPUtime=4.52 cores=0-7
/proc/16158/task/16159/stat : 16159 (java) S 16156 16156 14868 0 -1 1077944384 8101 0 0 0 434 18 0 0 20 0 28 0 151988225 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325396673664 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16160] ppid=16156 vsize=26538700 memory=1380 CPUtime=1.12 cores=0-7
/proc/16158/task/16160/stat : 16160 (java) S 16156 16156 14868 0 -1 1077944384 430 0 0 0 90 22 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325315013008 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16161] ppid=16156 vsize=26538700 memory=1380 CPUtime=1.13 cores=0-7
/proc/16158/task/16161/stat : 16161 (java) S 16156 16156 14868 0 -1 1077944384 408 0 0 0 91 22 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325313960208 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16162] ppid=16156 vsize=26538700 memory=0 CPUtime=1.11 cores=0-7
/proc/16158/task/16162/stat : 16162 (java) S 16156 16156 14868 0 -1 1077944384 415 0 0 0 91 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325312907920 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16163] ppid=16156 vsize=26538700 memory=0 CPUtime=1.11 cores=0-7
/proc/16158/task/16163/stat : 16163 (java) S 16156 16156 14868 0 -1 1077944384 454 0 0 0 91 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325311855120 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16164] ppid=16156 vsize=26538700 memory=8377424916951425120 CPUtime=1.11 cores=0-7
/proc/16158/task/16164/stat : 16164 (java) S 16156 16156 14868 0 -1 1077944384 405 0 0 0 91 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325310802832 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16165] ppid=16156 vsize=26538700 memory=6791534058613427641 CPUtime=1.11 cores=0-7
/proc/16158/task/16165/stat : 16165 (java) S 16156 16156 14868 0 -1 1077944384 411 0 0 0 90 21 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325309750032 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16166] ppid=16156 vsize=26538700 memory=8052 CPUtime=1.09 cores=0-7
/proc/16158/task/16166/stat : 16166 (java) S 16156 16156 14868 0 -1 1077944384 448 0 0 0 89 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325308697744 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16167] ppid=16156 vsize=26538700 memory=6791534058613427641 CPUtime=1.11 cores=0-7
/proc/16158/task/16167/stat : 16167 (java) S 16156 16156 14868 0 -1 1077944384 369 0 0 0 90 21 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325307644944 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16168] ppid=16156 vsize=26538700 memory=1816860 CPUtime=0.23 cores=0-7
/proc/16158/task/16168/stat : 16168 (java) S 16156 16156 14868 0 -1 1077944384 1840 0 0 0 22 1 0 0 20 0 28 0 151988227 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323933034608 140325392444034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16169] ppid=16156 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/16158/task/16169/stat : 16169 (java) S 16156 16156 14868 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 151988228 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323931980640 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16170] ppid=16156 vsize=26538700 memory=1816860 CPUtime=0 cores=0-7
/proc/16158/task/16170/stat : 16170 (java) S 16156 16156 14868 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 151988228 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323930928256 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16171] ppid=16156 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16171/stat : 16171 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323929876560 140325392451483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16172] ppid=16156 vsize=26538700 memory=279334070221664 CPUtime=2.83 cores=0-7
/proc/16158/task/16172/stat : 16172 (java) S 16156 16156 14868 0 -1 1077944384 6712 0 0 0 281 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323928824432 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16173] ppid=16156 vsize=26538700 memory=279334070110368 CPUtime=2.64 cores=0-7
/proc/16158/task/16173/stat : 16173 (java) S 16156 16156 14868 0 -1 1077944384 7313 0 0 0 262 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323927771632 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16174] ppid=16156 vsize=26538700 memory=-9001733975035308135 CPUtime=2.76 cores=0-7
/proc/16158/task/16174/stat : 16174 (java) S 16156 16156 14868 0 -1 1077944384 6926 0 0 0 274 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323926719344 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16175] ppid=16156 vsize=26538700 memory=4096 CPUtime=0.91 cores=0-7
/proc/16158/task/16175/stat : 16175 (java) S 16156 16156 14868 0 -1 1077944384 6136 0 0 0 89 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323925666544 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16176] ppid=16156 vsize=26538700 memory=42712 CPUtime=0 cores=0-7
/proc/16158/task/16176/stat : 16176 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323924613472 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16177] ppid=16156 vsize=26538700 memory=2428 CPUtime=0.07 cores=0-7
/proc/16158/task/16177/stat : 16177 (java) S 16156 16156 14868 0 -1 1077944384 974 0 0 0 3 4 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323923560752 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16194] ppid=16156 vsize=26538700 memory=1380 CPUtime=0.28 cores=0-7
/proc/16158/task/16194/stat : 16194 (java) S 16156 16156 14868 0 -1 1077944384 98 0 0 0 28 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323912396592 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16195] ppid=16156 vsize=26538700 memory=4096 CPUtime=0.21 cores=0-7
/proc/16158/task/16195/stat : 16195 (java) S 16156 16156 14868 0 -1 1077944384 63 0 0 0 21 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323915555792 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16196] ppid=16156 vsize=26538700 memory=1380 CPUtime=0.28 cores=0-7
/proc/16158/task/16196/stat : 16196 (java) S 16156 16156 14868 0 -1 1077944384 30 0 0 0 28 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323913450832 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16197] ppid=16156 vsize=26538700 memory=1380 CPUtime=0.26 cores=0-7
/proc/16158/task/16197/stat : 16197 (java) S 16156 16156 14868 0 -1 1077944384 40 0 0 0 26 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323908187344 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16198] ppid=16156 vsize=26538700 memory=1816860 CPUtime=0.19 cores=0-7
/proc/16158/task/16198/stat : 16198 (java) S 16156 16156 14868 0 -1 1077944384 35 0 0 0 19 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323914503760 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16199] ppid=16156 vsize=26538700 memory=4096 CPUtime=0.19 cores=0-7
/proc/16158/task/16199/stat : 16199 (java) S 16156 16156 14868 0 -1 1077944384 23 0 0 0 19 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323910292944 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16200] ppid=16156 vsize=26538700 memory=1380 CPUtime=0.27 cores=0-7
/proc/16158/task/16200/stat : 16200 (java) S 16156 16156 14868 0 -1 1077944384 35 0 0 0 27 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323911344976 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16201] ppid=16156 vsize=26538700 memory=1816860 CPUtime=212.24 cores=0-7
/proc/16158/task/16201/stat : 16201 (java) R 16156 16156 14868 0 -1 4202560 3607 0 0 0 21222 2 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323909234232 140324994718156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
Current children cumulated CPU time: 247.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1818240 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 1.14 3.84 5.55 2/208 16209
/proc/meminfo: memFree=23691864/32770624 swapFree=67108860/67108860
[pid=16156] ppid=16153 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16156/stat : 16156 (xcsp3-exec) S 16153 16156 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151988225 9740288 345 33554432000 4194304 5098028 140726379151200 140726379149304 140119729267324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35450880 140726379152490 140726379152700 140726379152700 140726379155435 0
/proc/16156/statm: 2378 345 289 221 0 87 0
[pid=16158] ppid=16156 vsize=26538700 memory=1816860 CPUtime=276.94 cores=0-7
/proc/16158/stat : 16158 (java) S 16156 16156 14868 0 -1 1077944320 48153 0 0 0 27486 208 0 0 20 0 28 0 151988225 27175628800 454215 33554432000 4194304 4196468 140736814384608 140736814367152 140325392432887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
/proc/16158/statm: 6634675 454215 3293 1 0 6621909 0
[pid=16158/tid=16159] ppid=16156 vsize=26538700 memory=6791534058613427641 CPUtime=4.52 cores=0-7
/proc/16158/task/16159/stat : 16159 (java) S 16156 16156 14868 0 -1 1077944384 8101 0 0 0 434 18 0 0 20 0 28 0 151988225 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325396673664 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16160] ppid=16156 vsize=26538700 memory=4126316290023845779 CPUtime=1.12 cores=0-7
/proc/16158/task/16160/stat : 16160 (java) S 16156 16156 14868 0 -1 1077944384 430 0 0 0 90 22 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325315013008 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16161] ppid=16156 vsize=26538700 memory=1728 CPUtime=1.13 cores=0-7
/proc/16158/task/16161/stat : 16161 (java) S 16156 16156 14868 0 -1 1077944384 408 0 0 0 91 22 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325313960208 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16162] ppid=16156 vsize=26538700 memory=12136 CPUtime=1.11 cores=0-7
/proc/16158/task/16162/stat : 16162 (java) S 16156 16156 14868 0 -1 1077944384 415 0 0 0 91 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325312907920 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16163] ppid=16156 vsize=26538700 memory=1004 CPUtime=1.11 cores=0-7
/proc/16158/task/16163/stat : 16163 (java) S 16156 16156 14868 0 -1 1077944384 454 0 0 0 91 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325311855120 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16164] ppid=16156 vsize=26538700 memory=1228 CPUtime=1.11 cores=0-7
/proc/16158/task/16164/stat : 16164 (java) S 16156 16156 14868 0 -1 1077944384 405 0 0 0 91 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325310802832 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16165] ppid=16156 vsize=26538700 memory=1952 CPUtime=1.11 cores=0-7
/proc/16158/task/16165/stat : 16165 (java) S 16156 16156 14868 0 -1 1077944384 411 0 0 0 90 21 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325309750032 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16166] ppid=16156 vsize=26538700 memory=5796 CPUtime=1.09 cores=0-7
/proc/16158/task/16166/stat : 16166 (java) S 16156 16156 14868 0 -1 1077944384 448 0 0 0 89 20 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325308697744 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16167] ppid=16156 vsize=26538700 memory=4616 CPUtime=1.11 cores=0-7
/proc/16158/task/16167/stat : 16167 (java) S 16156 16156 14868 0 -1 1077944384 369 0 0 0 90 21 0 0 20 0 28 0 151988226 27175628800 454215 33554432000 4194304 4196468 140736814384608 140325307644944 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16168] ppid=16156 vsize=26538700 memory=8624 CPUtime=0.23 cores=0-7
/proc/16158/task/16168/stat : 16168 (java) S 16156 16156 14868 0 -1 1077944384 1849 0 0 0 22 1 0 0 20 0 28 0 151988227 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323933034608 140325392444034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16169] ppid=16156 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/16158/task/16169/stat : 16169 (java) S 16156 16156 14868 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 151988228 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323931980640 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16170] ppid=16156 vsize=26538700 memory=24452 CPUtime=0 cores=0-7
/proc/16158/task/16170/stat : 16170 (java) S 16156 16156 14868 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 151988228 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323930928256 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16171] ppid=16156 vsize=26538700 memory=139667035552744 CPUtime=0 cores=0-7
/proc/16158/task/16171/stat : 16171 (java) S 16156 16156 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323929876560 140325392451483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16172] ppid=16156 vsize=26538700 memory=1440 CPUtime=2.83 cores=0-7
/proc/16158/task/16172/stat : 16172 (java) S 16156 16156 14868 0 -1 1077944384 6718 0 0 0 281 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323928824432 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16173] ppid=16156 vsize=26538700 memory=15880 CPUtime=2.64 cores=0-7
/proc/16158/task/16173/stat : 16173 (java) S 16156 16156 14868 0 -1 1077944384 7317 0 0 0 262 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323927771632 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16174] ppid=16156 vsize=26538700 memory=16432 CPUtime=2.76 cores=0-7
/proc/16158/task/16174/stat : 16174 (java) S 16156 16156 14868 0 -1 1077944384 6929 0 0 0 274 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323926719344 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16175] ppid=16156 vsize=26538700 memory=24304 CPUtime=0.91 cores=0-7
/proc/16158/task/16175/stat : 16175 (java) S 16156 16156 14868 0 -1 1077944384 6147 0 0 0 89 2 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323925666544 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16176] ppid=16156 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/16158/task/16176/stat : 16176 (java) S 16156 16156 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323924613472 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16177] ppid=16156 vsize=26538700 memory=1792 CPUtime=0.08 cores=0-7
/proc/16158/task/16177/stat : 16177 (java) S 16156 16156 14868 0 -1 1077944384 1013 0 0 0 3 5 0 0 20 0 28 0 151988231 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323923560752 140325392444034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16194] ppid=16156 vsize=26538700 memory=636 CPUtime=0.28 cores=0-7
/proc/16158/task/16194/stat : 16194 (java) S 16156 16156 14868 0 -1 1077944384 98 0 0 0 28 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323912396592 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16195] ppid=16156 vsize=26538700 memory=1236 CPUtime=0.21 cores=0-7
/proc/16158/task/16195/stat : 16195 (java) S 16156 16156 14868 0 -1 1077944384 63 0 0 0 21 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323915555792 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16196] ppid=16156 vsize=26538700 memory=960 CPUtime=0.28 cores=0-7
/proc/16158/task/16196/stat : 16196 (java) S 16156 16156 14868 0 -1 1077944384 30 0 0 0 28 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323913450832 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16197] ppid=16156 vsize=26538700 memory=2240 CPUtime=0.26 cores=0-7
/proc/16158/task/16197/stat : 16197 (java) S 16156 16156 14868 0 -1 1077944384 40 0 0 0 26 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323908187344 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16198] ppid=16156 vsize=26538700 memory=2241 CPUtime=0.19 cores=0-7
/proc/16158/task/16198/stat : 16198 (java) S 16156 16156 14868 0 -1 1077944384 35 0 0 0 19 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323914503760 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16199] ppid=16156 vsize=26538700 memory=2244 CPUtime=0.19 cores=0-7
/proc/16158/task/16199/stat : 16199 (java) S 16156 16156 14868 0 -1 1077944384 23 0 0 0 19 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323910292944 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16200] ppid=16156 vsize=26538700 memory=920 CPUtime=0.27 cores=0-7
/proc/16158/task/16200/stat : 16200 (java) S 16156 16156 14868 0 -1 1077944384 35 0 0 0 27 0 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323911344976 140325392443093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
[pid=16158/tid=16201] ppid=16156 vsize=26538700 memory=6656426216303648864 CPUtime=241.95 cores=0-7
/proc/16158/task/16201/stat : 16201 (java) R 16156 16156 14868 0 -1 4202560 3778 0 0 0 24193 2 0 0 20 0 28 0 151989217 27175628800 454215 33554432000 4194304 4196468 140736814384608 140323909234232 140324992614069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30617600 140736814392472 140736814392648 140736814392648 140736814395343 0
Current children cumulated CPU time: 276.94 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1818240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.02 s]
# the end of solver process 16156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000906 s, system=0.0013 s
[startup+252.033 s]
# the end of solver process 16158 was just reported to runsolver
# cumulated CPU time of all completed processes: user=274.875 s, system=2.104 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 252.033
CPU time (s): 276.979
CPU user time (s): 274.875
CPU system time (s): 2.104
CPU usage (%): 109.898
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1818240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 274.875
system time used= 2.104
maximum resident set size= 1817848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49465
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= 10603
involuntary context switches= 575
# summary of solver processes directly reported to runsolver:
# pid: 16156,16158
# total CPU time (s): 276.979
# total CPU user time (s): 274.875
# total CPU system time (s): 2.104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89929 second user time and 2.65365 second system time
The end
Begin job on node148 at 2017-08-20 02:16:53
IDJOB=4281697
IDBENCH=139752
IDSOLVER=2676
FILE ID=node148/4281697-1503189073
RUNJOBID= node148-1503186455-14895
PBS_JOBID= 20630855
Free space on /tmp= 61944 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-15-17.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-4281697-1503189073/watcher-4281697-1503189073 -o /tmp/evaluation-result-4281697-1503189073/solver-4281697-1503189073 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503186455-14895 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1228662951 HOME/instance-4281697-1503189073.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 5342dff7930c7d1c2bbf0c6436545580
RANDOM SEED=1228662951
node148.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.19
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.19
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.19
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.19
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: 25499876 kB
MemAvailable: 31975468 kB
Buffers: 296520 kB
Cached: 6472488 kB
SwapCached: 0 kB
Active: 1171000 kB
Inactive: 5650608 kB
Active(anon): 3844 kB
Inactive(anon): 84704 kB
Active(file): 1167156 kB
Inactive(file): 5565904 kB
Unevictable: 7784 kB
Mlocked: 7784 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8784 kB
Writeback: 24 kB
AnonPages: 59684 kB
Mapped: 51680 kB
Shmem: 33416 kB
Slab: 143480 kB
SReclaimable: 116732 kB
SUnreclaim: 26748 kB
KernelStack: 3184 kB
PageTables: 4852 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333000 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: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61936 MiB
End job on node148 at 2017-08-20 02:21:05