0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270749-1502654141.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270749-1502654141.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
2.16/0.86 c solve instance...
2533.37/319.34 o 1461
19904.75/2520.10 s SATISFIABLE
19904.75/2520.10 v <instantiation>
19904.75/2520.10 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>
19904.75/2520.10 v <values>0 225 448 662 696 794 830 877 937 1028 1123 1194 1231 1343 1416 77 139 231 307 569 924 983 988 1070 1158 1203 1291 1325 1382 1405 37 113 183 232 258 460 595 625 706 796 837 871 1064 1160 1267 9 23 79 110 278 371 422 509 643 812 870 933 1012 1058 1228 50 75 93 112 158 233 327 361 507 695 711 744 965 1284 1366 2 56 136 228 283 340 412 429 473 512 613 1086 1189 1237 1329 64 73 140 174 267 353 383 422 735 833 866 949 1197 1276 1344 154 236 295 489 515 570 688 744 811 923 977 1057 1170 1354 1393 337 391 497 830 901 918 999 1098 1168 1220 1234 1305 1333 1368 1426 0 451 519 603 765 832 964 996 1127 1186 1280 1371 1405 1431 1435 236 575 685 796 846 916 998 1007 1026 1128 1188 1368 1430 1444 1460 1 139 192 416 426 494 569 593 641 801 899 935 1035 1095 1133 3 51 61 221 284 416 543 616 635 792 809 946 1020 1291 1390 280 354 400 498 499 552 611 697 842 918 992 1084 1182 1318 1352 0 84 174 193 236 283 355 413 639 856 960 992 1077 1165 1185 198 607 695 714 795 809 893 940 989 1048 1091 1158 1214 1282 1301 102 249 349 414 437 493 561 679 789 910 919 1016 1065 1111 1355 178 354 493 521 611 627 715 934 961 1072 1102 1195 1228 1304 1375 1 97 127 135 224 288 474 510 654 680 806 920 1033 1257 1414 3 203 280 354 413 431 499 561 598 652 721 911 974 1193 1315 1461 1461 1358 1235 1405 1419 1375 1406 1461 1461 1461 1214 1460 1379 1276 1368 1382 1404 1461 1413 </values>
19904.75/2520.10 v </instantiation>
19904.75/2520.10 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 (15074 MiB free)
memory of node 1: 16384 MiB (15680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270749-1502654141/watcher-4270749-1502654141 -o /tmp/evaluation-result-4270749-1502654141/solver-4270749-1502654141 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502648240-18082 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1105658790 HOME/instance-4270749-1502654141.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=18392, runsolver pid=18389
[startup+0.100143 s]*
/proc/loadavg: 7.96 8.00 8.12 2/200 18413
/proc/meminfo: memFree=31477604/32770624 swapFree=67108860/67108860
[pid=18392] ppid=18389 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18392/stat : 18392 (xcsp3-exec) S 18389 18392 18055 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98501940 9740288 346 33554432000 4194304 5098028 140721587000624 140721586998728 139704142676604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19881984 140721587008612 140721587008823 140721587008823 140721587011563 0
/proc/18392/statm: 2378 346 289 221 0 87 0
[pid=18394] ppid=18392 vsize=25999808 memory=27076 CPUtime=0.12 cores=0-7
/proc/18394/stat : 18394 (java) S 18392 18392 18055 0 -1 1077944320 5712 0 0 0 11 1 0 0 20 0 20 0 98501940 26623803392 6769 33554432000 4194304 4196468 140728276616080 140728276598624 140497615073015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
/proc/18394/statm: 6499952 6769 2844 1 0 6488269 0
[pid=18394/tid=18395] ppid=18392 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18394/task/18395/stat : 18395 (java) R 18392 18392 18055 0 -1 4202560 3714 0 0 0 8 1 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497619306288 140497615094941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18396] ppid=18392 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18394/task/18396/stat : 18396 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497576033168 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18397] ppid=18392 vsize=25999808 memory=139666748335744 CPUtime=0 cores=0-7
/proc/18394/task/18397/stat : 18397 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497171954448 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18398] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18398/stat : 18398 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497170902160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18399] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18399/stat : 18399 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497169849360 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18400] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18400/stat : 18400 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497168796048 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18401] ppid=18392 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18394/task/18401/stat : 18401 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497167743248 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18402] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18402/stat : 18402 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497166690960 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18403] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18403/stat : 18403 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98501941 26623803392 6769 33554432000 4194304 4196468 140728276616080 140497165638160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18404] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18404/stat : 18404 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501943 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495886965360 140497615084162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18405] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18405/stat : 18405 (java) S 18392 18392 18055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98501943 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495885911328 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18406] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18406/stat : 18406 (java) S 18392 18392 18055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98501943 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495884858992 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18407] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18407/stat : 18407 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501946 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495883807312 140497615091611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18408] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18408/stat : 18408 (java) S 18392 18392 18055 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 98501946 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495882754160 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18409] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18409/stat : 18409 (java) S 18392 18392 18055 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 98501946 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495881701360 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18410] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18410/stat : 18410 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501946 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495880649072 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18411] ppid=18392 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/18394/task/18411/stat : 18411 (java) R 18392 18392 18055 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 98501946 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495879596272 140497615094362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18412] ppid=18392 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18412/stat : 18412 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98501946 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495878544224 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18413] ppid=18392 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18394/task/18413/stat : 18413 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501946 26623803392 6769 33554432000 4194304 4196468 140728276616080 140495877491504 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28460 KiB
[startup+0.210109 s]*
/proc/loadavg: 7.96 8.00 8.12 3/200 18413
/proc/meminfo: memFree=31468052/32770624 swapFree=67108860/67108860
[pid=18392] ppid=18389 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18392/stat : 18392 (xcsp3-exec) S 18389 18392 18055 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98501940 9740288 346 33554432000 4194304 5098028 140721587000624 140721586998728 139704142676604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19881984 140721587008612 140721587008823 140721587008823 140721587011563 0
/proc/18392/statm: 2378 346 289 221 0 87 0
[pid=18394] ppid=18392 vsize=26004064 memory=39088 CPUtime=0.33 cores=0-7
/proc/18394/stat : 18394 (java) S 18392 18392 18055 0 -1 1077944320 8252 0 0 0 31 2 0 0 20 0 20 0 98501940 26628161536 9772 33554432000 4194304 4196468 140728276616080 140728276598624 140497615073015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
/proc/18394/statm: 6501016 9772 3078 1 0 6488269 0
[pid=18394/tid=18395] ppid=18392 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18394/task/18395/stat : 18395 (java) R 18392 18392 18055 0 -1 4202560 5450 0 0 0 18 1 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497619294960 140497599153502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18396] ppid=18392 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/18394/task/18396/stat : 18396 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497576033168 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18397] ppid=18392 vsize=26004064 memory=288370042900047488 CPUtime=0 cores=0-7
/proc/18394/task/18397/stat : 18397 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497171954448 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18398] ppid=18392 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18394/task/18398/stat : 18398 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497170902160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18399] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18399/stat : 18399 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497169849360 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18400] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18400/stat : 18400 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497168796048 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18401] ppid=18392 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18394/task/18401/stat : 18401 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497167743248 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18402] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18402/stat : 18402 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497166690960 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18403] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18403/stat : 18403 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 9772 33554432000 4194304 4196468 140728276616080 140497165638160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18404] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18404/stat : 18404 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501943 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495886965360 140497615084162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18405] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18405/stat : 18405 (java) S 18392 18392 18055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98501943 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495885911328 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18406] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18406/stat : 18406 (java) S 18392 18392 18055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98501943 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495884858992 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18407] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18407/stat : 18407 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501946 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495883807312 140497615091611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18408] ppid=18392 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18394/task/18408/stat : 18408 (java) S 18392 18392 18055 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 20 0 98501946 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495882754160 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18409] ppid=18392 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/18394/task/18409/stat : 18409 (java) S 18392 18392 18055 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 98501946 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495881701360 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18410] ppid=18392 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/18394/task/18410/stat : 18410 (java) S 18392 18392 18055 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 98501946 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495880649072 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18411] ppid=18392 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/18394/task/18411/stat : 18411 (java) S 18392 18392 18055 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 20 0 98501946 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495879596272 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18412] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18412/stat : 18412 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98501946 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495878544224 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18413] ppid=18392 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18394/task/18413/stat : 18413 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501946 26628161536 9772 33554432000 4194304 4196468 140728276616080 140495877491504 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40472 KiB
[startup+0.309445 s]*
/proc/loadavg: 7.96 8.00 8.12 5/200 18413
/proc/meminfo: memFree=31462804/32770624 swapFree=67108860/67108860
[pid=18392] ppid=18389 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18392/stat : 18392 (xcsp3-exec) S 18389 18392 18055 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98501940 9740288 346 33554432000 4194304 5098028 140721587000624 140721586998728 139704142676604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19881984 140721587008612 140721587008823 140721587008823 140721587011563 0
/proc/18392/statm: 2378 346 289 221 0 87 0
[pid=18394] ppid=18392 vsize=26004064 memory=43976 CPUtime=0.5 cores=0-7
/proc/18394/stat : 18394 (java) S 18392 18392 18055 0 -1 1077944320 9158 0 0 0 47 3 0 0 20 0 20 0 98501940 26628161536 10994 33554432000 4194304 4196468 140728276616080 140728276598624 140497615073015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
/proc/18394/statm: 6501016 10994 3102 1 0 6488269 0
[pid=18394/tid=18395] ppid=18392 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18394/task/18395/stat : 18395 (java) R 18392 18392 18055 0 -1 4202560 6124 0 0 0 27 2 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497619311888 140497615084950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18396] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18396/stat : 18396 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497576033168 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18397] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18397/stat : 18397 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497171954448 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18398] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18398/stat : 18398 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497170902160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18399] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18399/stat : 18399 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497169849360 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18400] ppid=18392 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/18394/task/18400/stat : 18400 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497168796048 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18401] ppid=18392 vsize=26004064 memory=139666632307631 CPUtime=0 cores=0-7
/proc/18394/task/18401/stat : 18401 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497167743248 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18402] ppid=18392 vsize=26004064 memory=139666632309936 CPUtime=0 cores=0-7
/proc/18394/task/18402/stat : 18402 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497166690960 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18403] ppid=18392 vsize=26004064 memory=139666632312240 CPUtime=0 cores=0-7
/proc/18394/task/18403/stat : 18403 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98501941 26628161536 10994 33554432000 4194304 4196468 140728276616080 140497165638160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18404] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18404/stat : 18404 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501943 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495886965360 140497615084162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18405] ppid=18392 vsize=26004064 memory=279333264631440 CPUtime=0 cores=0-7
/proc/18394/task/18405/stat : 18405 (java) S 18392 18392 18055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98501943 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495885911328 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18406] ppid=18392 vsize=26004064 memory=279333264638352 CPUtime=0 cores=0-7
/proc/18394/task/18406/stat : 18406 (java) S 18392 18392 18055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98501943 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495884858992 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18407] ppid=18392 vsize=26004064 memory=279333264579632 CPUtime=0 cores=0-7
/proc/18394/task/18407/stat : 18407 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501946 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495883807312 140497615091611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18408] ppid=18392 vsize=26004064 memory=279333264652176 CPUtime=0.02 cores=0-7
/proc/18394/task/18408/stat : 18408 (java) S 18392 18392 18055 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 98501946 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495882754160 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18409] ppid=18392 vsize=26004064 memory=279333264659088 CPUtime=0.03 cores=0-7
/proc/18394/task/18409/stat : 18409 (java) S 18392 18392 18055 0 -1 1077944384 348 0 0 0 3 0 0 0 20 0 20 0 98501946 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495881701360 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18410] ppid=18392 vsize=26004064 memory=279333264656784 CPUtime=0.01 cores=0-7
/proc/18394/task/18410/stat : 18410 (java) S 18392 18392 18055 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 98501946 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495880649072 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18411] ppid=18392 vsize=26004064 memory=279333264672944 CPUtime=0.12 cores=0-7
/proc/18394/task/18411/stat : 18411 (java) R 18392 18392 18055 0 -1 4202560 886 0 0 0 12 0 0 0 20 0 20 0 98501946 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495879593448 140497608257157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18412] ppid=18392 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18412/stat : 18412 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98501946 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495878544224 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18413] ppid=18392 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18394/task/18413/stat : 18413 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98501946 26628161536 10994 33554432000 4194304 4196468 140728276616080 140495877491504 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45360 KiB
[startup+0.700899 s]
/proc/loadavg: 7.96 8.00 8.12 3/200 18413
/proc/meminfo: memFree=31447288/32770624 swapFree=67108860/67108860
[pid=18392] ppid=18389 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18392/stat : 18392 (xcsp3-exec) S 18389 18392 18055 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98501940 9740288 346 33554432000 4194304 5098028 140721587000624 140721586998728 139704142676604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19881984 140721587008612 140721587008823 140721587008823 140721587011563 0
/proc/18392/statm: 2378 346 289 221 0 87 0
[pid=18394] ppid=18392 vsize=26006188 memory=93528 CPUtime=1.72 cores=0-7
/proc/18394/stat : 18394 (java) S 18392 18392 18055 0 -1 1077944320 13946 0 0 0 167 5 0 0 20 0 20 0 98501940 26630336512 23382 33554432000 4194304 4196468 140728276616080 140728276598624 140497615073015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
/proc/18394/statm: 6501547 23382 3205 1 0 6488781 0
[pid=18394/tid=18395] ppid=18392 vsize=26006188 memory=279333265030832 CPUtime=0.67 cores=0-7
/proc/18394/task/18395/stat : 18395 (java) R 18392 18392 18055 0 -1 4202560 6877 0 0 0 65 2 0 0 20 0 20 0 98501941 26630336512 23382 33554432000 4194304 4196468 140728276616080 140497619309216 140497255426631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18396] ppid=18392 vsize=26006188 memory=139666632516464 CPUtime=0 cores=0-7
/proc/18394/task/18396/stat : 18396 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26630336512 23382 33554432000 4194304 4196468 140728276616080 140497576033168 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18397] ppid=18392 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/18394/task/18397/stat : 18397 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26630336512 23382 33554432000 4194304 4196468 140728276616080 140497171954448 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18398] ppid=18392 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/18394/task/18398/stat : 18398 (java) S 18392 18392 18055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98501941 26630336512 23382 33554432000 4194304 4196468 140728276616080 140497170902160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
################
# More data... #
################
[pid=18394/tid=18429] ppid=18392 vsize=26538700 memory=18488 CPUtime=2089.8 cores=0-7
/proc/18394/task/18429/stat : 18429 (java) R 18392 18392 18055 0 -1 4202560 19586 0 0 0 208961 19 0 0 20 0 28 0 98533875 27175628800 94771 33554432000 4194304 4196468 140728276616080 140495862112504 140497260665235 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
Current children cumulated CPU time: 19295.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 380468 KiB
[startup+2502.31 s]
/proc/loadavg: 8.24 8.31 8.27 9/208 18484
/proc/meminfo: memFree=31125700/32770624 swapFree=67108860/67108860
[pid=18392] ppid=18389 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18392/stat : 18392 (xcsp3-exec) S 18389 18392 18055 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98501940 9740288 346 33554432000 4194304 5098028 140721587000624 140721586998728 139704142676604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19881984 140721587008612 140721587008823 140721587008823 140721587011563 0
/proc/18392/statm: 2378 346 289 221 0 87 0
[pid=18394] ppid=18392 vsize=26538700 memory=379092 CPUtime=19765.5 cores=0-7
/proc/18394/stat : 18394 (java) S 18392 18392 18055 0 -1 1077944320 430198 0 0 0 1974683 1869 0 0 20 0 28 0 98501940 27175628800 94773 33554432000 4194304 4196468 140728276616080 140728276598624 140497615073015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
/proc/18394/statm: 6634675 94773 3302 1 0 6621909 0
[pid=18394/tid=18395] ppid=18392 vsize=26538700 memory=379092 CPUtime=0.84 cores=0-7
/proc/18394/task/18395/stat : 18395 (java) S 18392 18392 18055 0 -1 1077944384 7248 0 0 0 81 3 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497619313792 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18396] ppid=18392 vsize=26538700 memory=379092 CPUtime=3.05 cores=0-7
/proc/18394/task/18396/stat : 18396 (java) S 18392 18392 18055 0 -1 1077944384 14572 0 0 0 287 18 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497576033168 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18397] ppid=18392 vsize=26538700 memory=379092 CPUtime=3.07 cores=0-7
/proc/18394/task/18397/stat : 18397 (java) S 18392 18392 18055 0 -1 1077944384 16735 0 0 0 287 20 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497171954448 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18398] ppid=18392 vsize=26538700 memory=1384 CPUtime=3.07 cores=0-7
/proc/18394/task/18398/stat : 18398 (java) S 18392 18392 18055 0 -1 1077944384 18413 0 0 0 287 20 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497170902160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18399] ppid=18392 vsize=26538700 memory=1384 CPUtime=3.08 cores=0-7
/proc/18394/task/18399/stat : 18399 (java) S 18392 18392 18055 0 -1 1077944384 15469 0 0 0 287 21 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497169849360 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18400] ppid=18392 vsize=26538700 memory=379092 CPUtime=3.05 cores=0-7
/proc/18394/task/18400/stat : 18400 (java) S 18392 18392 18055 0 -1 1077944384 18959 0 0 0 286 19 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497168796048 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18401] ppid=18392 vsize=26538700 memory=379092 CPUtime=3.06 cores=0-7
/proc/18394/task/18401/stat : 18401 (java) S 18392 18392 18055 0 -1 1077944384 17819 0 0 0 288 18 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497167743248 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18402] ppid=18392 vsize=26538700 memory=1384 CPUtime=3.09 cores=0-7
/proc/18394/task/18402/stat : 18402 (java) S 18392 18392 18055 0 -1 1077944384 16937 0 0 0 290 19 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497166690960 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18403] ppid=18392 vsize=26538700 memory=1384 CPUtime=3.12 cores=0-7
/proc/18394/task/18403/stat : 18403 (java) S 18392 18392 18055 0 -1 1077944384 17087 0 0 0 292 20 0 0 20 0 28 0 98501941 27175628800 94773 33554432000 4194304 4196468 140728276616080 140497165638160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18404] ppid=18392 vsize=26538700 memory=33 CPUtime=25.7 cores=0-7
/proc/18394/task/18404/stat : 18404 (java) S 18392 18392 18055 0 -1 1077944384 45597 0 0 0 997 1573 0 0 20 0 28 0 98501943 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495886965360 140497615084162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18405] ppid=18392 vsize=26538700 memory=288291064929059629 CPUtime=0 cores=0-7
/proc/18394/task/18405/stat : 18405 (java) S 18392 18392 18055 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 98501943 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495885911392 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18406] ppid=18392 vsize=26538700 memory=28204 CPUtime=0 cores=0-7
/proc/18394/task/18406/stat : 18406 (java) S 18392 18392 18055 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 98501943 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495884859008 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18407] ppid=18392 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/18394/task/18407/stat : 18407 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98501946 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495883807312 140497615091611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18408] ppid=18392 vsize=26538700 memory=1728 CPUtime=2.68 cores=0-7
/proc/18394/task/18408/stat : 18408 (java) S 18392 18392 18055 0 -1 1077944384 16504 0 0 0 263 5 0 0 20 0 28 0 98501946 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495882754160 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18409] ppid=18392 vsize=26538700 memory=796 CPUtime=2.7 cores=0-7
/proc/18394/task/18409/stat : 18409 (java) S 18392 18392 18055 0 -1 1077944384 17172 0 0 0 267 3 0 0 20 0 28 0 98501946 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495881701360 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18410] ppid=18392 vsize=26538700 memory=2196 CPUtime=2.67 cores=0-7
/proc/18394/task/18410/stat : 18410 (java) S 18392 18392 18055 0 -1 1077944384 18391 0 0 0 263 4 0 0 20 0 28 0 98501946 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495880649072 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18411] ppid=18392 vsize=26538700 memory=6764 CPUtime=0.87 cores=0-7
/proc/18394/task/18411/stat : 18411 (java) S 18392 18392 18055 0 -1 1077944384 15941 0 0 0 84 3 0 0 20 0 28 0 98501946 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495879596272 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18412] ppid=18392 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/18394/task/18412/stat : 18412 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98501946 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495878544224 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18413] ppid=18392 vsize=26538700 memory=2196 CPUtime=0.52 cores=0-7
/proc/18394/task/18413/stat : 18413 (java) S 18392 18392 18055 0 -1 1077944384 3470 0 0 0 30 22 0 0 20 0 28 0 98501946 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495877491504 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18422] ppid=18392 vsize=26538700 memory=279333266146832 CPUtime=2147.55 cores=0-7
/proc/18394/task/18422/stat : 18422 (java) R 18392 18392 18055 0 -1 4202560 20619 0 0 0 214743 12 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495865272352 140497258110695 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18423] ppid=18392 vsize=26538700 memory=7306335401922160229 CPUtime=2145.88 cores=0-7
/proc/18394/task/18423/stat : 18423 (java) R 18392 18392 18055 0 -1 4202560 16953 0 0 0 214573 15 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495866322992 140497260665125 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18424] ppid=18392 vsize=26538700 memory=1384 CPUtime=2147.48 cores=0-7
/proc/18394/task/18424/stat : 18424 (java) R 18392 18392 18055 0 -1 4202560 22330 0 0 0 214730 18 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495867375160 140497260664976 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18425] ppid=18392 vsize=26538700 memory=379092 CPUtime=2145.76 cores=0-7
/proc/18394/task/18425/stat : 18425 (java) R 18392 18392 18055 0 -1 4202560 16445 0 0 0 214558 18 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495869480376 140497260665107 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18426] ppid=18392 vsize=26538700 memory=1384 CPUtime=2163.33 cores=0-7
/proc/18394/task/18426/stat : 18426 (java) R 18392 18392 18055 0 -1 4202560 20209 0 0 0 216311 22 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495864217200 140497261199674 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18427] ppid=18392 vsize=26538700 memory=6791534058613427641 CPUtime=2142.22 cores=0-7
/proc/18394/task/18427/stat : 18427 (java) R 18392 18392 18055 0 -1 4202560 9605 0 0 0 214207 15 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495868427816 140497260664980 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18428] ppid=18392 vsize=26538700 memory=28204 CPUtime=2143.38 cores=0-7
/proc/18394/task/18428/stat : 18428 (java) R 18392 18392 18055 0 -1 4202560 16967 0 0 0 214324 14 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495863164984 140497259547503 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18429] ppid=18392 vsize=26538700 memory=4140 CPUtime=2148.28 cores=0-7
/proc/18394/task/18429/stat : 18429 (java) R 18392 18392 18055 0 -1 4202560 20503 0 0 0 214809 19 0 0 20 0 28 0 98533875 27175628800 94773 33554432000 4194304 4196468 140728276616080 140495862111712 140497260665186 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
Current children cumulated CPU time: 19765.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 380476 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520.01 s]*
/proc/loadavg: 8.23 8.30 8.27 9/208 18484
/proc/meminfo: memFree=31125560/32770624 swapFree=67108860/67108860
[pid=18392] ppid=18389 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18392/stat : 18392 (xcsp3-exec) S 18389 18392 18055 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98501940 9740288 346 33554432000 4194304 5098028 140721587000624 140721586998728 139704142676604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19881984 140721587008612 140721587008823 140721587008823 140721587011563 0
/proc/18392/statm: 2378 346 289 221 0 87 0
[pid=18394] ppid=18392 vsize=26538700 memory=379104 CPUtime=19904.8 cores=0-7
/proc/18394/stat : 18394 (java) S 18392 18392 18055 0 -1 1077944320 433232 0 0 0 1988588 1887 0 0 20 0 28 0 98501940 27175628800 94776 33554432000 4194304 4196468 140728276616080 140728276598624 140497615073015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
/proc/18394/statm: 6634675 94776 3302 1 0 6621909 0
[pid=18394/tid=18395] ppid=18392 vsize=26538700 memory=1796 CPUtime=0.84 cores=0-7
/proc/18394/task/18395/stat : 18395 (java) S 18392 18392 18055 0 -1 1077944384 7248 0 0 0 81 3 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497619313792 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18396] ppid=18392 vsize=26538700 memory=1236 CPUtime=3.07 cores=0-7
/proc/18394/task/18396/stat : 18396 (java) S 18392 18392 18055 0 -1 1077944384 14608 0 0 0 289 18 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497576033168 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18397] ppid=18392 vsize=26538700 memory=379104 CPUtime=3.1 cores=0-7
/proc/18394/task/18397/stat : 18397 (java) S 18392 18392 18055 0 -1 1077944384 17106 0 0 0 290 20 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497171954448 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18398] ppid=18392 vsize=26538700 memory=4872558044660077418 CPUtime=3.09 cores=0-7
/proc/18394/task/18398/stat : 18398 (java) S 18392 18392 18055 0 -1 1077944384 18443 0 0 0 289 20 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497170902160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18399] ppid=18392 vsize=26538700 memory=928 CPUtime=3.1 cores=0-7
/proc/18394/task/18399/stat : 18399 (java) S 18392 18392 18055 0 -1 1077944384 15552 0 0 0 289 21 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497169849360 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18400] ppid=18392 vsize=26538700 memory=1576 CPUtime=3.07 cores=0-7
/proc/18394/task/18400/stat : 18400 (java) S 18392 18392 18055 0 -1 1077944384 19007 0 0 0 288 19 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497168796048 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18401] ppid=18392 vsize=26538700 memory=2196 CPUtime=3.08 cores=0-7
/proc/18394/task/18401/stat : 18401 (java) S 18392 18392 18055 0 -1 1077944384 18321 0 0 0 290 18 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497167743248 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18402] ppid=18392 vsize=26538700 memory=6764 CPUtime=3.11 cores=0-7
/proc/18394/task/18402/stat : 18402 (java) S 18392 18392 18055 0 -1 1077944384 17000 0 0 0 292 19 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497166690960 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18403] ppid=18392 vsize=26538700 memory=840 CPUtime=3.14 cores=0-7
/proc/18394/task/18403/stat : 18403 (java) S 18392 18392 18055 0 -1 1077944384 17102 0 0 0 294 20 0 0 20 0 28 0 98501941 27175628800 94776 33554432000 4194304 4196468 140728276616080 140497165638160 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18404] ppid=18392 vsize=26538700 memory=1696 CPUtime=25.96 cores=0-7
/proc/18394/task/18404/stat : 18404 (java) S 18392 18392 18055 0 -1 1077944384 46006 0 0 0 1008 1588 0 0 20 0 28 0 98501943 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495886965360 140497615084162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18405] ppid=18392 vsize=26538700 memory=8560 CPUtime=0 cores=0-7
/proc/18394/task/18405/stat : 18405 (java) S 18392 18392 18055 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 98501943 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495885911392 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18406] ppid=18392 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/18394/task/18406/stat : 18406 (java) S 18392 18392 18055 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 98501943 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495884859008 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18407] ppid=18392 vsize=26538700 memory=12028 CPUtime=0 cores=0-7
/proc/18394/task/18407/stat : 18407 (java) S 18392 18392 18055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98501946 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495883807312 140497615091611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18408] ppid=18392 vsize=26538700 memory=5668 CPUtime=2.68 cores=0-7
/proc/18394/task/18408/stat : 18408 (java) S 18392 18392 18055 0 -1 1077944384 16506 0 0 0 263 5 0 0 20 0 28 0 98501946 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495882754160 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18409] ppid=18392 vsize=26538700 memory=1008 CPUtime=2.7 cores=0-7
/proc/18394/task/18409/stat : 18409 (java) S 18392 18392 18055 0 -1 1077944384 17174 0 0 0 267 3 0 0 20 0 28 0 98501946 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495881701360 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18410] ppid=18392 vsize=26538700 memory=1384 CPUtime=2.67 cores=0-7
/proc/18394/task/18410/stat : 18410 (java) S 18392 18392 18055 0 -1 1077944384 18393 0 0 0 263 4 0 0 20 0 28 0 98501946 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495880649072 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18411] ppid=18392 vsize=26538700 memory=379104 CPUtime=0.87 cores=0-7
/proc/18394/task/18411/stat : 18411 (java) S 18392 18392 18055 0 -1 1077944384 15943 0 0 0 84 3 0 0 20 0 28 0 98501946 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495879596272 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18412] ppid=18392 vsize=26538700 memory=14415942587255002 CPUtime=0 cores=0-7
/proc/18394/task/18412/stat : 18412 (java) S 18392 18392 18055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98501946 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495878544224 140497615083221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18413] ppid=18392 vsize=26538700 memory=1156 CPUtime=0.53 cores=0-7
/proc/18394/task/18413/stat : 18413 (java) S 18392 18392 18055 0 -1 1077944384 3492 0 0 0 30 23 0 0 20 0 28 0 98501946 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495877491504 140497615084162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18422] ppid=18392 vsize=26538700 memory=3788 CPUtime=2164.86 cores=0-7
/proc/18394/task/18422/stat : 18422 (java) R 18392 18392 18055 0 -1 4202560 20834 0 0 0 216474 12 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495865269560 140497260664599 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18423] ppid=18392 vsize=26538700 memory=1384 CPUtime=2163.17 cores=0-7
/proc/18394/task/18423/stat : 18423 (java) R 18392 18392 18055 0 -1 4202560 17135 0 0 0 216302 15 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495866323128 140497258824386 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18424] ppid=18392 vsize=26538700 memory=379104 CPUtime=2164.81 cores=0-7
/proc/18394/task/18424/stat : 18424 (java) R 18392 18392 18055 0 -1 4202560 22555 0 0 0 216463 18 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495867375160 140497259952893 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18425] ppid=18392 vsize=26538700 memory=6791534058613427641 CPUtime=2163.08 cores=0-7
/proc/18394/task/18425/stat : 18425 (java) R 18392 18392 18055 0 -1 4202560 16584 0 0 0 216290 18 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495869480240 140497260664941 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18426] ppid=18392 vsize=26538700 memory=4872558044660077418 CPUtime=2180.9 cores=0-7
/proc/18394/task/18426/stat : 18426 (java) R 18392 18392 18055 0 -1 4202560 20414 0 0 0 218068 22 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495864217200 140497261199674 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18427] ppid=18392 vsize=26538700 memory=6791534058613427641 CPUtime=2159.6 cores=0-7
/proc/18394/task/18427/stat : 18427 (java) R 18392 18392 18055 0 -1 4202560 9752 0 0 0 215944 16 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495868430800 140497258824836 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18428] ppid=18392 vsize=26538700 memory=4140 CPUtime=2160.69 cores=0-7
/proc/18394/task/18428/stat : 18428 (java) R 18392 18392 18055 0 -1 4202560 17099 0 0 0 216054 15 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495863164848 140497258754489 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
[pid=18394/tid=18429] ppid=18392 vsize=26538700 memory=28204 CPUtime=2165.57 cores=0-7
/proc/18394/task/18429/stat : 18429 (java) R 18392 18392 18055 0 -1 4202560 20705 0 0 0 216538 19 0 0 20 0 28 0 98533875 27175628800 94776 33554432000 4194304 4196468 140728276616080 140495862111344 140497259095596 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 14114816 140728276620434 140728276620611 140728276620611 140728276623311 0
Current children cumulated CPU time: 19904.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 380488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 18392 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001939 s
[startup+2520.12 s]
# the end of solver process 18394 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19886.7 s, system=18.8869 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.12
CPU time (s): 19905.5
CPU user time (s): 19886.7
CPU system time (s): 18.8869
CPU usage (%): 789.864
Max. virtual memory (cumulated for all children) (KiB): 26550260
Max. memory (cumulated for all children) (KiB): 539692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19886.7
system time used= 18.8869
maximum resident set size= 540660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 223106
involuntary context switches= 207443
# summary of solver processes directly reported to runsolver:
# pid: 18392,18394
# total CPU time (s): 19905.5
# total CPU user time (s): 19886.7
# total CPU system time (s): 18.8869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6032 second user time and 23.9759 second system time
The end
Begin job on node106 at 2017-08-13 21:41:23
IDJOB=4270749
IDBENCH=115733
IDSOLVER=2662
FILE ID=node106/4270749-1502654141
RUNJOBID= node106-1502648240-18082
PBS_JOBID= 20628943
Free space on /tmp= 61772 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-9.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-4270749-1502654141/watcher-4270749-1502654141 -o /tmp/evaluation-result-4270749-1502654141/solver-4270749-1502654141 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502648240-18082 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1105658790 HOME/instance-4270749-1502654141.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 15bcd759626357ed73f755380ffdcafb
RANDOM SEED=1105658790
node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.86
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31494444 kB
MemAvailable: 31987512 kB
Buffers: 122884 kB
Cached: 657300 kB
SwapCached: 0 kB
Active: 436668 kB
Inactive: 400012 kB
Active(anon): 11848 kB
Inactive(anon): 72092 kB
Active(file): 424820 kB
Inactive(file): 327920 kB
Unevictable: 6504 kB
Mlocked: 6504 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7824 kB
Writeback: 28 kB
AnonPages: 61936 kB
Mapped: 43724 kB
Shmem: 25228 kB
Slab: 137440 kB
SReclaimable: 112324 kB
SUnreclaim: 25116 kB
KernelStack: 3200 kB
PageTables: 4652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61764 MiB
End job on node106 at 2017-08-13 22:23:23