0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270747-1502659110.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4270747-1502659110.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
2.14/0.86 c solve instance...
3294.68/415.42 o 1476
19877.05/2520.09 s SATISFIABLE
19877.05/2520.09 v <instantiation>
19877.05/2520.09 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] s[15][0] s[15][1] s[15][2] s[15][3] s[15][4] s[15][5] s[15][6] s[15][7] s[15][8] s[15][9] s[15][10] s[15][11] s[15][12] s[15][13] s[15][14] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[16][5] s[16][6] s[16][7] s[16][8] s[16][9] s[16][10] s[16][11] s[16][12] s[16][13] s[16][14] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[17][5] s[17][6] s[17][7] s[17][8] s[17][9] s[17][10] s[17][11] s[17][12] s[17][13] s[17][14] s[18][0] s[18][1] s[18][2] s[18][3] s[18][4] s[18][5] s[18][6] s[18][7] s[18][8] s[18][9] s[18][10] s[18][11] s[18][12] s[18][13] s[18][14] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] s[19][5] s[19][6] s[19][7] s[19][8] s[19][9] s[19][10] s[19][11] s[19][12] s[19][13] s[19][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] e[15] e[16] e[17] e[18] e[19] </list>
19877.05/2520.09 v <values>403 534 608 659 835 843 864 928 938 1025 1030 1089 1097 1250 1279 277 364 537 627 733 748 781 920 988 1085 1137 1206 1257 1272 1292 231 315 413 440 538 679 727 747 787 829 862 1009 1217 1243 1341 0 60 142 160 207 243 317 329 369 476 578 630 720 998 1314 142 232 266 283 320 438 766 864 1051 1121 1227 1238 1251 1277 1369 118 174 370 460 574 669 710 717 784 861 932 1006 1138 1241 1389 6 42 114 171 287 461 534 623 658 664 835 908 957 1048 1091 97 343 403 441 552 819 928 1026 1118 1202 1270 1271 1357 1390 1456 155 173 185 206 336 399 507 646 702 769 845 906 944 1015 1449 1 83 173 264 435 571 717 798 857 929 1018 1060 1274 1344 1438 95 214 294 316 463 559 638 744 1020 1120 1191 1256 1272 1360 1423 20 41 129 285 351 455 477 547 818 938 1147 1257 1340 1409 1446 13 112 156 205 259 317 325 366 512 547 557 632 650 723 1423 84 153 479 628 676 721 774 805 902 960 1062 1188 1303 1360 1387 52 150 195 298 348 380 785 819 900 971 1025 1046 1093 1115 1158 0 70 412 568 771 832 886 902 928 945 989 1087 1176 1243 1322 2 22 98 206 337 497 630 903 924 1060 1107 1170 1246 1289 1398 63 171 279 416 521 562 700 834 965 1032 1088 1194 1204 1288 1389 41 81 157 204 225 308 405 440 485 576 726 904 996 1281 1363 4 41 165 225 287 408 539 789 865 934 1013 1091 1176 1265 1431 1360 1374 1396 1403 1456 1444 1183 1476 1474 1476 1476 1472 1468 1473 1251 1363 1421 1463 1409 1473 </values>
19877.05/2520.09 v </instantiation>
19877.05/2520.09 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 (15254 MiB free)
memory of node 1: 16384 MiB (15575 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270747-1502659110/watcher-4270747-1502659110 -o /tmp/evaluation-result-4270747-1502659110/solver-4270747-1502659110 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502658252-2136 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 855933386 HOME/instance-4270747-1502659110.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2153, runsolver pid=2150
[startup+0.100112 s]*
/proc/loadavg: 8.74 8.36 8.29 2/202 2174
/proc/meminfo: memFree=31553868/32770624 swapFree=67108860/67108860
[pid=2153] ppid=2150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2153/stat : 2153 (xcsp3-exec) S 2150 2153 2109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 98998696 9740288 346 33554432000 4194304 5098028 140736919584000 140736919582104 140712074416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14000128 140736919589989 140736919590199 140736919590199 140736919592939 0
/proc/2153/statm: 2378 346 289 221 0 87 0
[pid=2155] ppid=2153 vsize=25999808 memory=26516 CPUtime=0.11 cores=0-7
/proc/2155/stat : 2155 (java) S 2153 2153 2109 0 -1 1077944320 5533 0 0 0 10 1 0 0 20 0 20 0 98998696 26623803392 6629 33554432000 4194304 4196468 140720476248336 140720476230880 140016914063095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
/proc/2155/statm: 6499952 6629 2839 1 0 6488269 0
[pid=2155/tid=2156] ppid=2153 vsize=25999808 memory=1400242874264906928 CPUtime=0.08 cores=0-7
/proc/2155/task/2156/stat : 2156 (java) R 2153 2153 2109 0 -1 4202560 3558 0 0 0 8 0 0 0 20 0 20 0 98998696 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016918289344 140016914075030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2157] ppid=2153 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/2155/task/2157/stat : 2157 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016875023120 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2158] ppid=2153 vsize=25999808 memory=140340214646400 CPUtime=0 cores=0-7
/proc/2155/task/2158/stat : 2158 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016471161744 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2159] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2159/stat : 2159 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016470109200 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2160] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2160/stat : 2160 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016469056656 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2161] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2161/stat : 2161 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016468003088 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2162] ppid=2153 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2155/task/2162/stat : 2162 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016466950544 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2163] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2163/stat : 2163 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016465898000 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2164] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2164/stat : 2164 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016464845456 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2165] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2165/stat : 2165 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998699 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016175557104 140016914074242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2166] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2166/stat : 2166 (java) S 2153 2153 2109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98998699 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016174503328 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2167] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2167/stat : 2167 (java) S 2153 2153 2109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98998699 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016173450736 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2168] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2168/stat : 2168 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998702 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016172399312 140016914081691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2169] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2169/stat : 2169 (java) R 2153 2153 2109 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 20 0 98998702 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016171345904 140016914084442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2170] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2170/stat : 2170 (java) R 2153 2153 2109 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 98998702 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016170293360 140016914074242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2171] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2171/stat : 2171 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98998702 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016169240816 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2172] ppid=2153 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2155/task/2172/stat : 2172 (java) R 2153 2153 2109 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 20 0 98998702 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016168188272 140016914075030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2173] ppid=2153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2173/stat : 2173 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98998702 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016167135968 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2174] ppid=2153 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2155/task/2174/stat : 2174 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998703 26623803392 6629 33554432000 4194304 4196468 140720476248336 140016166083504 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27900 KiB
[startup+0.210543 s]*
/proc/loadavg: 8.74 8.36 8.29 2/202 2174
/proc/meminfo: memFree=31545124/32770624 swapFree=67108860/67108860
[pid=2153] ppid=2150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2153/stat : 2153 (xcsp3-exec) S 2150 2153 2109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 98998696 9740288 346 33554432000 4194304 5098028 140736919584000 140736919582104 140712074416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14000128 140736919589989 140736919590199 140736919590199 140736919592939 0
/proc/2153/statm: 2378 346 289 221 0 87 0
[pid=2155] ppid=2153 vsize=26004064 memory=39028 CPUtime=0.33 cores=0-7
/proc/2155/stat : 2155 (java) S 2153 2153 2109 0 -1 1077944320 8327 0 0 0 30 3 0 0 20 0 20 0 98998696 26628161536 9757 33554432000 4194304 4196468 140720476248336 140720476230880 140016914063095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
/proc/2155/statm: 6501016 9757 3044 1 0 6488269 0
[pid=2155/tid=2156] ppid=2153 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2155/task/2156/stat : 2156 (java) R 2153 2153 2109 0 -1 4202560 5433 0 0 0 18 1 0 0 20 0 20 0 98998696 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016918267840 140016898143582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2157] ppid=2153 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/2155/task/2157/stat : 2157 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016875023120 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2158] ppid=2153 vsize=26004064 memory=140340214655338 CPUtime=0 cores=0-7
/proc/2155/task/2158/stat : 2158 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016471161744 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2159] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2159/stat : 2159 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016470109200 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2160] ppid=2153 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2155/task/2160/stat : 2160 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016469056656 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2161] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2161/stat : 2161 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016468003088 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2162] ppid=2153 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2155/task/2162/stat : 2162 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016466950544 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2163] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2163/stat : 2163 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016465898000 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2164] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2164/stat : 2164 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016464845456 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2165] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2165/stat : 2165 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998699 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016175557104 140016914074242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2166] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2166/stat : 2166 (java) S 2153 2153 2109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98998699 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016174503328 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2167] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2167/stat : 2167 (java) S 2153 2153 2109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98998699 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016173450736 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2168] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2168/stat : 2168 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998702 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016172399312 140016914081691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2169] ppid=2153 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2155/task/2169/stat : 2169 (java) S 2153 2153 2109 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 20 0 98998702 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016171345904 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2170] ppid=2153 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2155/task/2170/stat : 2170 (java) S 2153 2153 2109 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 20 0 98998702 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016170293360 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2171] ppid=2153 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/2155/task/2171/stat : 2171 (java) S 2153 2153 2109 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 98998702 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016169240816 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2172] ppid=2153 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/2155/task/2172/stat : 2172 (java) S 2153 2153 2109 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 20 0 98998702 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016168188272 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2173] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2173/stat : 2173 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98998702 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016167135968 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2174] ppid=2153 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2155/task/2174/stat : 2174 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998703 26628161536 9760 33554432000 4194304 4196468 140720476248336 140016166083504 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40412 KiB
[startup+0.310461 s]*
/proc/loadavg: 8.74 8.36 8.29 3/202 2174
/proc/meminfo: memFree=31538300/32770624 swapFree=67108860/67108860
[pid=2153] ppid=2150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2153/stat : 2153 (xcsp3-exec) S 2150 2153 2109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 98998696 9740288 346 33554432000 4194304 5098028 140736919584000 140736919582104 140712074416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14000128 140736919589989 140736919590199 140736919590199 140736919592939 0
/proc/2153/statm: 2378 346 289 221 0 87 0
[pid=2155] ppid=2153 vsize=26004064 memory=43684 CPUtime=0.49 cores=0-7
/proc/2155/stat : 2155 (java) S 2153 2153 2109 0 -1 1077944320 9147 0 0 0 45 4 0 0 20 0 20 0 98998696 26628161536 10921 33554432000 4194304 4196468 140720476248336 140720476230880 140016914063095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
/proc/2155/statm: 6501016 10921 3095 1 0 6488269 0
[pid=2155/tid=2156] ppid=2153 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/2155/task/2156/stat : 2156 (java) R 2153 2153 2109 0 -1 4202560 6113 0 0 0 27 2 0 0 20 0 20 0 98998696 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016918302432 140016914085021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2157] ppid=2153 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2155/task/2157/stat : 2157 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016875023120 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2158] ppid=2153 vsize=26004064 memory=16004 CPUtime=0 cores=0-7
/proc/2155/task/2158/stat : 2158 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016471161744 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2159] ppid=2153 vsize=26004064 memory=4052 CPUtime=0 cores=0-7
/proc/2155/task/2159/stat : 2159 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016470109200 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2160] ppid=2153 vsize=26004064 memory=16236 CPUtime=0 cores=0-7
/proc/2155/task/2160/stat : 2160 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016469056656 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2161] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2161/stat : 2161 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016468003088 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2162] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2162/stat : 2162 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016466950544 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2163] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2163/stat : 2163 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016465898000 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2164] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2164/stat : 2164 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016464845456 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2165] ppid=2153 vsize=26004064 memory=140340069753408 CPUtime=0 cores=0-7
/proc/2155/task/2165/stat : 2165 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998699 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016175557104 140016914074242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2166] ppid=2153 vsize=26004064 memory=140340069757903 CPUtime=0 cores=0-7
/proc/2155/task/2166/stat : 2166 (java) S 2153 2153 2109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98998699 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016174503328 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2167] ppid=2153 vsize=26004064 memory=1970350607106051 CPUtime=0 cores=0-7
/proc/2155/task/2167/stat : 2167 (java) S 2153 2153 2109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98998699 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016173450736 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2168] ppid=2153 vsize=26004064 memory=2110690676863908 CPUtime=0 cores=0-7
/proc/2155/task/2168/stat : 2168 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998702 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016172399312 140016914081691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2169] ppid=2153 vsize=26004064 memory=2110690676866212 CPUtime=0.01 cores=0-7
/proc/2155/task/2169/stat : 2169 (java) S 2153 2153 2109 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 98998702 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016171345904 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2170] ppid=2153 vsize=26004064 memory=2110690676868516 CPUtime=0.03 cores=0-7
/proc/2155/task/2170/stat : 2170 (java) S 2153 2153 2109 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 20 0 98998702 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016170293360 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2171] ppid=2153 vsize=26004064 memory=2110690676896580 CPUtime=0.01 cores=0-7
/proc/2155/task/2171/stat : 2171 (java) S 2153 2153 2109 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 98998702 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016169240816 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2172] ppid=2153 vsize=26004064 memory=2110690676896612 CPUtime=0.12 cores=0-7
/proc/2155/task/2172/stat : 2172 (java) R 2153 2153 2109 0 -1 4202560 825 0 0 0 12 0 0 0 20 0 20 0 98998702 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016168188272 140016892690281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2173] ppid=2153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2173/stat : 2173 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98998702 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016167135968 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2174] ppid=2153 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2155/task/2174/stat : 2174 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998703 26628161536 10921 33554432000 4194304 4196468 140720476248336 140016166083504 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45068 KiB
[startup+0.700957 s]
/proc/loadavg: 8.74 8.36 8.29 3/202 2174
/proc/meminfo: memFree=31524340/32770624 swapFree=67108860/67108860
[pid=2153] ppid=2150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2153/stat : 2153 (xcsp3-exec) S 2150 2153 2109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 98998696 9740288 346 33554432000 4194304 5098028 140736919584000 140736919582104 140712074416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14000128 140736919589989 140736919590199 140736919590199 140736919592939 0
/proc/2153/statm: 2378 346 289 221 0 87 0
[pid=2155] ppid=2153 vsize=26006188 memory=91212 CPUtime=1.69 cores=0-7
/proc/2155/stat : 2155 (java) S 2153 2153 2109 0 -1 1077944320 13919 0 0 0 163 6 0 0 20 0 20 0 98998696 26630336512 22803 33554432000 4194304 4196468 140720476248336 140720476230880 140016914063095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
/proc/2155/statm: 6501547 22803 3206 1 0 6488781 0
[pid=2155/tid=2156] ppid=2153 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/2155/task/2156/stat : 2156 (java) R 2153 2153 2109 0 -1 4202560 6912 0 0 0 64 3 0 0 20 0 20 0 98998696 26630336512 22803 33554432000 4194304 4196468 140720476248336 140016918301312 140016553840694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2157] ppid=2153 vsize=26006188 memory=140340069966704 CPUtime=0 cores=0-7
/proc/2155/task/2157/stat : 2157 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26630336512 22803 33554432000 4194304 4196468 140720476248336 140016875023120 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2158] ppid=2153 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/2155/task/2158/stat : 2158 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98998697 26630336512 22803 33554432000 4194304 4196468 140720476248336 140016471161744 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2159] ppid=2153 vsize=26006188 memory=53 CPUtime=0 cores=0-7
/proc/2155/task/2159/stat : 2159 (java) S 2153 2153 2109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98998697 26630336512 22803 33554432000 4194304 4196468 140720476248336 140016470109200 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
################
# More data... #
################
[pid=2155/tid=2199] ppid=2153 vsize=26538700 memory=1384 CPUtime=1988.8 cores=0-7
/proc/2155/task/2199/stat : 2199 (java) R 2153 2153 2109 0 -1 4202560 12902 0 0 0 198863 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016154914576 140016558973628 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
Current children cumulated CPU time: 19267.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 369176 KiB
[startup+2502.3 s]
/proc/loadavg: 8.08 8.07 8.16 9/207 2227
/proc/meminfo: memFree=31215100/32770624 swapFree=67108860/67108860
[pid=2153] ppid=2150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2153/stat : 2153 (xcsp3-exec) S 2150 2153 2109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 98998696 9740288 346 33554432000 4194304 5098028 140736919584000 140736919582104 140712074416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14000128 140736919589989 140736919590199 140736919590199 140736919592939 0
/proc/2153/statm: 2378 346 289 221 0 87 0
[pid=2155] ppid=2153 vsize=26538700 memory=367792 CPUtime=19738 cores=0-7
/proc/2155/stat : 2155 (java) S 2153 2153 2109 0 -1 1077944320 435122 0 0 0 1971699 2101 0 0 20 0 28 0 98998696 27175628800 91948 33554432000 4194304 4196468 140720476248336 140720476230880 140016914063095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
/proc/2155/statm: 6634675 91948 3307 1 0 6621909 0
[pid=2155/tid=2156] ppid=2153 vsize=26538700 memory=367792 CPUtime=0.84 cores=0-7
/proc/2155/task/2156/stat : 2156 (java) S 2153 2153 2109 0 -1 1077944384 7160 0 0 0 81 3 0 0 20 0 28 0 98998696 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016918303872 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2157] ppid=2153 vsize=26538700 memory=367792 CPUtime=3.47 cores=0-7
/proc/2155/task/2157/stat : 2157 (java) S 2153 2153 2109 0 -1 1077944384 20012 0 0 0 324 23 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016875023120 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2158] ppid=2153 vsize=26538700 memory=1384 CPUtime=3.51 cores=0-7
/proc/2155/task/2158/stat : 2158 (java) S 2153 2153 2109 0 -1 1077944384 15241 0 0 0 330 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016471161744 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2159] ppid=2153 vsize=26538700 memory=8112282956445269571 CPUtime=3.49 cores=0-7
/proc/2155/task/2159/stat : 2159 (java) S 2153 2153 2109 0 -1 1077944384 19069 0 0 0 327 22 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016470109200 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2160] ppid=2153 vsize=26538700 memory=367792 CPUtime=3.48 cores=0-7
/proc/2155/task/2160/stat : 2160 (java) S 2153 2153 2109 0 -1 1077944384 17592 0 0 0 327 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016469056656 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2161] ppid=2153 vsize=26538700 memory=1384 CPUtime=3.48 cores=0-7
/proc/2155/task/2161/stat : 2161 (java) S 2153 2153 2109 0 -1 1077944384 14895 0 0 0 327 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016468003088 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2162] ppid=2153 vsize=26538700 memory=1384 CPUtime=3.47 cores=0-7
/proc/2155/task/2162/stat : 2162 (java) S 2153 2153 2109 0 -1 1077944384 17965 0 0 0 326 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016466950544 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2163] ppid=2153 vsize=26538700 memory=280680142659616 CPUtime=3.51 cores=0-7
/proc/2155/task/2163/stat : 2163 (java) S 2153 2153 2109 0 -1 1077944384 17953 0 0 0 329 22 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016465898000 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2164] ppid=2153 vsize=26538700 memory=6003650422961619034 CPUtime=3.51 cores=0-7
/proc/2155/task/2164/stat : 2164 (java) S 2153 2153 2109 0 -1 1077944384 15893 0 0 0 327 24 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016464845456 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2165] ppid=2153 vsize=26538700 memory=1384 CPUtime=28.62 cores=0-7
/proc/2155/task/2165/stat : 2165 (java) S 2153 2153 2109 0 -1 1077944384 49396 0 0 0 1091 1771 0 0 20 0 28 0 98998699 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016175557104 140016914074242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2166] ppid=2153 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/2155/task/2166/stat : 2166 (java) S 2153 2153 2109 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 98998699 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016174503392 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2167] ppid=2153 vsize=26538700 memory=367792 CPUtime=0 cores=0-7
/proc/2155/task/2167/stat : 2167 (java) S 2153 2153 2109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 98998699 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016173450752 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2168] ppid=2153 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/2155/task/2168/stat : 2168 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016172399312 140016914081691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2169] ppid=2153 vsize=26538700 memory=367792 CPUtime=2.64 cores=0-7
/proc/2155/task/2169/stat : 2169 (java) S 2153 2153 2109 0 -1 1077944384 20236 0 0 0 259 5 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016171345904 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2170] ppid=2153 vsize=26538700 memory=4104 CPUtime=3.04 cores=0-7
/proc/2155/task/2170/stat : 2170 (java) S 2153 2153 2109 0 -1 1077944384 22050 0 0 0 300 4 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016170293360 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2171] ppid=2153 vsize=26538700 memory=367792 CPUtime=3.08 cores=0-7
/proc/2155/task/2171/stat : 2171 (java) S 2153 2153 2109 0 -1 1077944384 20377 0 0 0 304 4 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016169240816 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2172] ppid=2153 vsize=26538700 memory=1384 CPUtime=0.92 cores=0-7
/proc/2155/task/2172/stat : 2172 (java) S 2153 2153 2109 0 -1 1077944384 17971 0 0 0 89 3 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016168188272 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2173] ppid=2153 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/2155/task/2173/stat : 2173 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016167135968 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2174] ppid=2153 vsize=26538700 memory=1292 CPUtime=0.68 cores=0-7
/proc/2155/task/2174/stat : 2174 (java) S 2153 2153 2109 0 -1 1077944384 3833 0 0 0 43 25 0 0 20 0 28 0 98998703 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016166083504 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2191] ppid=2153 vsize=26538700 memory=2448 CPUtime=2043.03 cores=0-7
/proc/2155/task/2191/stat : 2191 (java) R 2153 2153 2109 0 -1 4202560 13365 0 0 0 204286 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016150703160 140016551334972 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2192] ppid=2153 vsize=26538700 memory=1732 CPUtime=2043.68 cores=0-7
/proc/2155/task/2192/stat : 2192 (java) R 2153 2153 2109 0 -1 4202560 15565 0 0 0 204351 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016157020088 140016558514879 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2193] ppid=2153 vsize=26538700 memory=1948 CPUtime=2048.81 cores=0-7
/proc/2155/task/2193/stat : 2193 (java) R 2153 2153 2109 0 -1 4202560 13357 0 0 0 204867 14 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016158072152 140016559169364 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2194] ppid=2153 vsize=26538700 memory=800 CPUtime=2049.22 cores=0-7
/proc/2155/task/2194/stat : 2194 (java) R 2153 2153 2109 0 -1 4202560 16913 0 0 0 204905 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016152809000 140016559169425 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2195] ppid=2153 vsize=26538700 memory=1292 CPUtime=2066.1 cores=0-7
/proc/2155/task/2195/stat : 2195 (java) R 2153 2153 2109 0 -1 4202560 15114 0 0 0 206581 29 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016155966960 140016560676443 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2196] ppid=2153 vsize=26538700 memory=2448 CPUtime=2047.86 cores=0-7
/proc/2155/task/2196/stat : 2196 (java) R 2153 2153 2109 0 -1 4202560 8746 0 0 0 204772 14 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016153861840 140016559168872 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2197] ppid=2153 vsize=26538700 memory=1732 CPUtime=2044.72 cores=0-7
/proc/2155/task/2197/stat : 2197 (java) R 2153 2153 2109 0 -1 4202560 15054 0 0 0 204455 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016151759488 140016559169186 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2199] ppid=2153 vsize=26538700 memory=1948 CPUtime=2047.1 cores=0-7
/proc/2155/task/2199/stat : 2199 (java) R 2153 2153 2109 0 -1 4202560 13143 0 0 0 204692 18 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016154914712 140016558141014 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
Current children cumulated CPU time: 19738 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 369176 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.06 8.07 8.16 9/207 2227
/proc/meminfo: memFree=31214740/32770624 swapFree=67108860/67108860
[pid=2153] ppid=2150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2153/stat : 2153 (xcsp3-exec) S 2150 2153 2109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 98998696 9740288 346 33554432000 4194304 5098028 140736919584000 140736919582104 140712074416764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14000128 140736919589989 140736919590199 140736919590199 140736919592939 0
/proc/2153/statm: 2378 346 289 221 0 87 0
[pid=2155] ppid=2153 vsize=26538700 memory=367792 CPUtime=19877.1 cores=0-7
/proc/2155/stat : 2155 (java) S 2153 2153 2109 0 -1 1077944320 436689 0 0 0 1985580 2125 0 0 20 0 28 0 98998696 27175628800 91948 33554432000 4194304 4196468 140720476248336 140720476230880 140016914063095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
/proc/2155/statm: 6634675 91948 3307 1 0 6621909 0
[pid=2155/tid=2156] ppid=2153 vsize=26538700 memory=1399051139730258233 CPUtime=0.84 cores=0-7
/proc/2155/task/2156/stat : 2156 (java) S 2153 2153 2109 0 -1 1077944384 7160 0 0 0 81 3 0 0 20 0 28 0 98998696 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016918303872 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2157] ppid=2153 vsize=26538700 memory=4126316290023845779 CPUtime=3.49 cores=0-7
/proc/2155/task/2157/stat : 2157 (java) S 2153 2153 2109 0 -1 1077944384 20394 0 0 0 326 23 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016875023120 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2158] ppid=2153 vsize=26538700 memory=8112282956445269571 CPUtime=3.53 cores=0-7
/proc/2155/task/2158/stat : 2158 (java) S 2153 2153 2109 0 -1 1077944384 15314 0 0 0 332 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016471161744 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2159] ppid=2153 vsize=26538700 memory=367792 CPUtime=3.52 cores=0-7
/proc/2155/task/2159/stat : 2159 (java) S 2153 2153 2109 0 -1 1077944384 19158 0 0 0 330 22 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016470109200 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2160] ppid=2153 vsize=26538700 memory=280680139451136 CPUtime=3.5 cores=0-7
/proc/2155/task/2160/stat : 2160 (java) S 2153 2153 2109 0 -1 1077944384 17601 0 0 0 329 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016469056656 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2161] ppid=2153 vsize=26538700 memory=6944656591801718942 CPUtime=3.5 cores=0-7
/proc/2155/task/2161/stat : 2161 (java) S 2153 2153 2109 0 -1 1077944384 14905 0 0 0 329 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016468003088 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2162] ppid=2153 vsize=26538700 memory=367792 CPUtime=3.49 cores=0-7
/proc/2155/task/2162/stat : 2162 (java) S 2153 2153 2109 0 -1 1077944384 18012 0 0 0 328 21 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016466950544 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2163] ppid=2153 vsize=26538700 memory=16028 CPUtime=3.53 cores=0-7
/proc/2155/task/2163/stat : 2163 (java) S 2153 2153 2109 0 -1 1077944384 17972 0 0 0 331 22 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016465898000 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2164] ppid=2153 vsize=26538700 memory=1384 CPUtime=3.53 cores=0-7
/proc/2155/task/2164/stat : 2164 (java) S 2153 2153 2109 0 -1 1077944384 15941 0 0 0 329 24 0 0 20 0 28 0 98998697 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016464845456 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2165] ppid=2153 vsize=26538700 memory=367792 CPUtime=28.95 cores=0-7
/proc/2155/task/2165/stat : 2165 (java) S 2153 2153 2109 0 -1 1077944384 49608 0 0 0 1101 1794 0 0 20 0 28 0 98998699 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016175557104 140016914074242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2166] ppid=2153 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/2155/task/2166/stat : 2166 (java) S 2153 2153 2109 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 98998699 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016174503392 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2167] ppid=2153 vsize=26538700 memory=644 CPUtime=0 cores=0-7
/proc/2155/task/2167/stat : 2167 (java) S 2153 2153 2109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 98998699 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016173450752 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2168] ppid=2153 vsize=26538700 memory=4486604260213485459 CPUtime=0 cores=0-7
/proc/2155/task/2168/stat : 2168 (java) S 2153 2153 2109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016172399312 140016914081691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2169] ppid=2153 vsize=26538700 memory=8560 CPUtime=2.64 cores=0-7
/proc/2155/task/2169/stat : 2169 (java) S 2153 2153 2109 0 -1 1077944384 20238 0 0 0 259 5 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016171345904 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2170] ppid=2153 vsize=26538700 memory=1712 CPUtime=3.04 cores=0-7
/proc/2155/task/2170/stat : 2170 (java) S 2153 2153 2109 0 -1 1077944384 22052 0 0 0 300 4 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016170293360 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2171] ppid=2153 vsize=26538700 memory=4612 CPUtime=3.08 cores=0-7
/proc/2155/task/2171/stat : 2171 (java) S 2153 2153 2109 0 -1 1077944384 20379 0 0 0 304 4 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016169240816 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2172] ppid=2153 vsize=26538700 memory=1004 CPUtime=0.92 cores=0-7
/proc/2155/task/2172/stat : 2172 (java) S 2153 2153 2109 0 -1 1077944384 17974 0 0 0 89 3 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016168188272 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2173] ppid=2153 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/2155/task/2173/stat : 2173 (java) S 2153 2153 2109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98998702 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016167135968 140016914073301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2174] ppid=2153 vsize=26538700 memory=288230617509003574 CPUtime=0.68 cores=0-7
/proc/2155/task/2174/stat : 2174 (java) S 2153 2153 2109 0 -1 1077944384 3846 0 0 0 43 25 0 0 20 0 28 0 98998703 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016166083504 140016914074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2191] ppid=2153 vsize=26538700 memory=14698512780626150 CPUtime=2060.35 cores=0-7
/proc/2155/task/2191/stat : 2191 (java) R 2153 2153 2109 0 -1 4202560 13452 0 0 0 206018 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016150706160 140016559169280 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2192] ppid=2153 vsize=26538700 memory=15872 CPUtime=2061 cores=0-7
/proc/2155/task/2192/stat : 2192 (java) R 2153 2153 2109 0 -1 4202560 15650 0 0 0 206082 18 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016157020232 140016559169282 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2193] ppid=2153 vsize=26538700 memory=16028 CPUtime=2066.14 cores=0-7
/proc/2155/task/2193/stat : 2193 (java) R 2153 2153 2109 0 -1 4202560 13453 0 0 0 206600 14 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016158072304 140016556825858 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2194] ppid=2153 vsize=26538700 memory=4052 CPUtime=2066.43 cores=0-7
/proc/2155/task/2194/stat : 2194 (java) R 2153 2153 2109 0 -1 4202560 17001 0 0 0 206626 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016152809048 140016559169162 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2195] ppid=2153 vsize=26538700 memory=16236 CPUtime=2083.72 cores=0-7
/proc/2155/task/2195/stat : 2195 (java) R 2153 2153 2109 0 -1 4202560 15180 0 0 0 208343 29 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016155966960 140016560676403 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2196] ppid=2153 vsize=26538700 memory=1796 CPUtime=2065.16 cores=0-7
/proc/2155/task/2196/stat : 2196 (java) R 2153 2153 2109 0 -1 4202560 8808 0 0 0 206502 14 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016153861976 140016559169277 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2197] ppid=2153 vsize=26538700 memory=644 CPUtime=2061.98 cores=0-7
/proc/2155/task/2197/stat : 2197 (java) R 2153 2153 2109 0 -1 4202560 15153 0 0 0 206181 17 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016151756760 140016550642721 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
[pid=2155/tid=2199] ppid=2153 vsize=26538700 memory=8112282956445269571 CPUtime=2064.33 cores=0-7
/proc/2155/task/2199/stat : 2199 (java) R 2153 2153 2109 0 -1 4202560 13216 0 0 0 206414 19 0 0 20 0 28 0 99040239 27175628800 91948 33554432000 4194304 4196468 140720476248336 140016154914568 140016559169108 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 15708160 140720476251282 140720476251459 140720476251459 140720476254159 0
Current children cumulated CPU time: 19877.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 369176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 2153 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001009 s, system=0.001009 s
[startup+2520.13 s]
# the end of solver process 2155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19856.5 s, system=21.2839 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): 2520.13
CPU time (s): 19877.8
CPU user time (s): 19856.5
CPU system time (s): 21.2839
CPU usage (%): 788.762
Max. virtual memory (cumulated for all children) (KiB): 26553380
Max. memory (cumulated for all children) (KiB): 535988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19856.5
system time used= 21.2839
maximum resident set size= 556772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251396
involuntary context switches= 208976
# summary of solver processes directly reported to runsolver:
# pid: 2153,2155
# total CPU time (s): 19877.8
# total CPU user time (s): 19856.5
# total CPU system time (s): 21.2839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.7556 second user time and 23.9268 second system time
The end
Begin job on node113 at 2017-08-13 23:04:12
IDJOB=4270747
IDBENCH=115776
IDSOLVER=2662
FILE ID=node113/4270747-1502659110
RUNJOBID= node113-1502658252-2136
PBS_JOBID= 20628954
Free space on /tmp= 61788 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-1.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-4270747-1502659110/watcher-4270747-1502659110 -o /tmp/evaluation-result-4270747-1502659110/solver-4270747-1502659110 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502658252-2136 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 855933386 HOME/instance-4270747-1502659110.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= aac981b64b3d0bc7b0997201d0c57f9b
RANDOM SEED=855933386
node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31570632 kB
MemAvailable: 31986356 kB
Buffers: 131464 kB
Cached: 571120 kB
SwapCached: 0 kB
Active: 572388 kB
Inactive: 183984 kB
Active(anon): 3832 kB
Inactive(anon): 77732 kB
Active(file): 568556 kB
Inactive(file): 106252 kB
Unevictable: 6588 kB
Mlocked: 6588 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7492 kB
Writeback: 0 kB
AnonPages: 60528 kB
Mapped: 43836 kB
Shmem: 25224 kB
Slab: 139544 kB
SReclaimable: 113500 kB
SUnreclaim: 26044 kB
KernelStack: 3168 kB
PageTables: 5276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-13 23:46:12