Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2017-07-28 | SAT (TO) | 1377 | 252.015 | 252.011 |
| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml |
| MD5SUM | 15bcd759626357ed73f755380ffdcafb |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1377 |
| Best CPU time to get the best result obtained on this benchmark | 252.015 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 320 |
| Number of constraints | 335 |
| Number of domains | 1 |
| Minimum domain size | 1462 |
| Maximum domain size | 1462 |
| Distribution of domain sizes | [{"size":1462,"count":320}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":20},{"degree":3,"count":300}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 20 |
| Distribution of constraint arities | [{"arity":1,"count":20},{"arity":2,"count":300},{"arity":20,"count":15}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 320 |
| Distribution of constraint types | [{"type":"intension","count":320},{"type":"noOverlap","count":15}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c 280717 79.19/79.20 o 1461 79.29/79.37 o 1458 83.59/83.60 o 1457 83.59/83.60 o 1456 83.69/83.71 o 1455 88.10/88.19 o 1454 88.89/88.97 o 1452 88.89/88.97 o 1451 88.89/88.97 o 1449 88.89/88.97 o 1448 88.89/88.99 o 1447 88.89/88.99 o 1445 88.89/88.99 o 1444 88.89/89.00 o 1443 89.00/89.05 o 1442 89.00/89.06 o 1441 90.19/90.20 o 1440 90.19/90.21 o 1439 90.19/90.21 o 1438 110.10/110.15 o 1437 110.10/110.15 o 1435 112.19/112.20 o 1434 123.29/123.32 o 1433 127.79/127.82 o 1432 127.79/127.83 o 1430 127.79/127.83 o 1429 129.19/129.22 o 1428 129.19/129.22 o 1427 129.19/129.23 o 1426 129.19/129.24 o 1425 129.19/129.24 o 1424 129.19/129.24 o 1422 129.19/129.24 o 1420 129.19/129.24 o 1419 129.29/129.38 o 1417 129.79/129.85 o 1413 129.79/129.88 o 1412 129.89/129.90 o 1411 129.89/129.91 o 1410 129.89/129.93 o 1409 132.79/132.87 o 1408 132.79/132.87 o 1407 133.69/133.74 o 1406 133.69/133.75 o 1405 133.69/133.75 o 1403 133.89/133.90 o 1400 146.49/146.54 o 1399 146.49/146.54 o 1398 146.49/146.54 o 1397 146.59/146.65 o 1395 146.59/146.68 o 1394 146.59/146.68 o 1393 146.59/146.68 o 1392 146.59/146.68 o 1389 146.89/146.90 o 1388 146.89/146.92 o 1387 146.89/146.92 o 1386 146.89/146.92 o 1384 146.89/146.93 o 1383 159.59/159.60 o 1382 159.59/159.60 o 1381 170.39/170.48 o 1379 170.89/170.93 o 1377 252.00/252.01 s SATISFIABLE 252.00/252.01 v <instantiation type="solution"> 252.00/252.01 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> 252.00/252.01 v <values> 29 294 353 424 455 645 739 751 866 953 1048 1104 1135 1208 1287 151 508 541 588 780 900 919 923 1005 1034 1108 1196 1234 1297 1320 0 180 221 290 316 374 434 449 774 864 903 911 1046 1160 1254 0 1 71 186 299 405 455 506 588 651 729 786 858 1089 1263 138 151 169 213 227 294 388 406 466 525 643 676 758 1216 1330 0 118 228 434 471 525 597 614 658 860 959 1051 1135 1152 1234 0 4 66 99 161 269 299 338 466 639 681 776 865 932 1230 0 29 166 299 365 420 466 519 756 923 961 1082 1281 1298 1337 66 78 184 220 520 571 657 807 877 928 942 1013 1047 1164 1335 0 99 456 567 716 778 874 877 948 1007 1108 1206 1304 1347 1351 49 138 279 424 471 489 562 628 676 855 924 985 1069 1320 1341 0 71 118 220 338 401 482 726 772 1019 1095 1120 1222 1281 1296 4 78 87 237 316 393 471 541 562 1105 1141 1187 1233 1296 1303 279 353 422 520 521 584 643 757 855 931 960 1096 1199 1324 1344 78 151 221 247 279 409 519 566 670 726 799 853 953 1032 1042 0 541 628 658 750 773 877 915 947 1044 1093 1181 1269 1289 1308 202 318 407 471 530 553 619 815 1012 1093 1133 1179 1226 1266 1350 147 541 614 647 730 746 830 913 928 999 1007 1100 1133 1210 1285 0 92 117 151 237 259 338 361 458 551 645 742 759 850 1042 0 92 169 259 325 352 489 551 662 716 785 955 1036 1124 1171 1332 1376 1345 1270 1369 1324 1261 1350 1370 1377 1342 1377 1373 1371 1133 1375 1377 1314 1089 1269 </values> 252.00/252.01 v </instantiation>
OK 1377
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 (13953 MiB free)
memory of node 1: 16384 MiB (14254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259245-1502640186/watcher-4259245-1502640186 -o /tmp/evaluation-result-4259245-1502640186/solver-4259245-1502640186 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502639327-18840 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 902827576 HOME/instance-4259245-1502640186.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18858, runsolver pid=18855
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 2.37 3.59 4.09 3/188 18872
/proc/meminfo: memFree=28877004/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=29192 memory=4000 CPUtime=0.1 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 1166 0 0 0 10 0 0 0 20 0 1 0 97099653 29892608 1000 33554432000 4194304 7396336 140731883394080 140731883391080 5922937 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 7298 1000 715 782 0 314 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 4000 KiB
[startup+0.209445 s]*
/proc/loadavg: 2.37 3.59 4.09 3/188 18872
/proc/meminfo: memFree=28876464/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=29320 memory=4088 CPUtime=0.21 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 1198 0 0 0 21 0 0 0 20 0 1 0 97099653 30023680 1022 33554432000 4194304 7396336 140731883394080 140731883384776 139909325459808 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 7330 1022 716 782 0 346 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29320 KiB
Current children cumulated memory: 4088 KiB
[startup+0.309101 s]*
/proc/loadavg: 2.37 3.59 4.09 3/188 18872
/proc/meminfo: memFree=28876372/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=29444 memory=4220 CPUtime=0.31 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 1223 0 0 0 31 0 0 0 20 0 1 0 97099653 30150656 1055 33554432000 4194304 7396336 140731883394080 140731883384776 6036730 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 7361 1055 717 782 0 377 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29444 KiB
Current children cumulated memory: 4220 KiB
[startup+0.700338 s]
/proc/loadavg: 2.37 3.59 4.09 3/188 18872
/proc/meminfo: memFree=28873024/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=35768 memory=10704 CPUtime=0.69 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 2939 0 0 0 69 0 0 0 20 0 1 0 97099653 36626432 2676 33554432000 4194304 7396336 140731883394080 140731883384776 4581738 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 8942 2676 768 782 0 1958 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 10704 KiB
[startup+1.50028 s]
/proc/loadavg: 2.37 3.59 4.09 3/188 18872
/proc/meminfo: memFree=28865956/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=35768 memory=10704 CPUtime=1.49 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 2953 0 0 0 149 0 0 0 20 0 1 0 97099653 36626432 2676 33554432000 4194304 7396336 140731883394080 140731883388664 4582093 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 8942 2676 768 782 0 1958 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 10704 KiB
[startup+3.10922 s]
/proc/loadavg: 2.34 3.57 4.08 3/188 18872
/proc/meminfo: memFree=28864344/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=35768 memory=10844 CPUtime=3.1 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 4371 0 0 0 310 0 0 0 20 0 1 0 97099653 36626432 2711 33554432000 4194304 7396336 140731883394080 140731883388664 5609275 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 8942 2711 768 782 0 1958 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 10844 KiB
[startup+6.30027 s]
/proc/loadavg: 2.34 3.57 4.08 3/188 18872
/proc/meminfo: memFree=28862300/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=35768 memory=10848 CPUtime=6.29 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 5807 0 0 0 629 0 0 0 20 0 1 0 97099653 36626432 2712 33554432000 4194304 7396336 140731883394080 140731883388664 4581669 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 8942 2712 768 782 0 1958 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 10848 KiB
[startup+12.7003 s]
/proc/loadavg: 2.31 3.54 4.07 3/188 18872
/proc/meminfo: memFree=28862576/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=35768 memory=10860 CPUtime=12.69 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 6273 0 0 0 1269 0 0 0 20 0 1 0 97099653 36626432 2715 33554432000 4194304 7396336 140731883394080 140731883388664 4581702 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 8942 2715 768 782 0 1958 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 10860 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 3.47 4.03 3/188 18872
/proc/meminfo: memFree=28862328/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=35768 memory=10860 CPUtime=25.49 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 7193 0 0 0 2549 0 0 0 20 0 1 0 97099653 36626432 2715 33554432000 4194304 7396336 140731883394080 140731883388664 5575964 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 8942 2715 768 782 0 1958 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 10860 KiB
[startup+51.1092 s]
/proc/loadavg: 2.16 3.35 3.98 3/188 18872
/proc/meminfo: memFree=28861708/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=35768 memory=10860 CPUtime=51.1 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 7651 0 0 0 5110 0 0 0 20 0 1 0 97099653 36626432 2715 33554432000 4194304 7396336 140731883394080 140731883388664 5575952 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 8942 2715 768 782 0 1958 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 35768 KiB
Current children cumulated memory: 10860 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 3.14 3.88 3/188 18880
/proc/meminfo: memFree=28858540/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=39464 memory=14452 CPUtime=102.29 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 9149 0 0 0 10229 0 0 0 20 0 1 0 97099653 40411136 3613 33554432000 4194304 7396336 140731883394080 140731883388424 4257837 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 9866 3613 771 782 0 2882 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 14452 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.93 3.76 3/188 18881
/proc/meminfo: memFree=28857748/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=40256 memory=15192 CPUtime=162.29 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 9945 0 0 0 16229 0 0 0 20 0 1 0 97099653 41222144 3798 33554432000 4194304 7396336 140731883394080 140731883389096 5575964 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 10064 3798 771 782 0 3080 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 15192 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.76 3.65 3/188 18882
/proc/meminfo: memFree=28857268/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=40388 memory=15352 CPUtime=222.29 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 10703 0 0 0 22229 0 0 0 20 0 1 0 97099653 41357312 3838 33554432000 4194304 7396336 140731883394080 140731883388424 5575952 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 10097 3838 771 782 0 3113 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 40388 KiB
Current children cumulated memory: 15352 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.01 2.69 3.60 3/188 18883
/proc/meminfo: memFree=28857272/32770624 swapFree=67108860/67108860
[pid=18858] ppid=18855 vsize=40388 memory=15428 CPUtime=252 cores=0,2,4,6
/proc/18858/stat : 18858 (MistralXCSP) R 18855 18858 6338 0 -1 4202496 11443 0 0 0 25200 0 0 0 20 0 1 0 97099653 41357312 3857 33554432000 4194304 7396336 140731883394080 140731883388424 5575964 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9496464 9501696 23846912 140731883398281 140731883398430 140731883398430 140731883401161 0
/proc/18858/statm: 10097 3857 771 782 0 3113 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 40388 KiB
Current children cumulated memory: 15428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.011 s]
# the end of solver process 18858 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.007 s, system=0.008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.011
CPU time (s): 252.015
CPU user time (s): 252.007
CPU system time (s): 0.008
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 40388
Max. memory (cumulated for all children) (KiB): 15428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.007
system time used= 0.008
maximum resident set size= 15448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 18858
# total CPU time (s): 252.015
# total CPU user time (s): 252.007
# total CPU system time (s): 0.008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.978234 second user time and 1.75186 second system time
The end
Begin job on node148 at 2017-08-13 17:48:47 IDJOB=4259245 IDBENCH=115733 IDSOLVER=2645 FILE ID=node148/4259245-1502640186 RUNJOBID= node148-1502639327-18840 PBS_JOBID= 20628305 Free space on /tmp= 61616 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-9.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259245-1502640186/watcher-4259245-1502640186 -o /tmp/evaluation-result-4259245-1502640186/solver-4259245-1502640186 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502639327-18840 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 902827576 HOME/instance-4259245-1502640186.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 15bcd759626357ed73f755380ffdcafb RANDOM SEED=902827576 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28884000 kB MemAvailable: 31992280 kB Buffers: 205812 kB Cached: 3192104 kB SwapCached: 0 kB Active: 744456 kB Inactive: 2705020 kB Active(anon): 3160 kB Inactive(anon): 76916 kB Active(file): 741296 kB Inactive(file): 2628104 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5720 kB Writeback: 0 kB AnonPages: 61444 kB Mapped: 43552 kB Shmem: 25224 kB Slab: 136548 kB SReclaimable: 109428 kB SUnreclaim: 27120 kB KernelStack: 3440 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325168 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: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61604 MiB End job on node148 at 2017-08-13 17:53:00