Trace number 4395139

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicatSAT 2019-09-12SAT 1466.07 1466.17

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js20/
SuperTaillard-js-20-20.xml
MD5SUMbd4660d9f641dd45473fddd00af9a0d0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1437.98
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Number of domains96
Minimum domain size1599
Maximum domain size1697
Distribution of domain sizes[{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"count":8}]
Minimum variable degree21
Maximum variable degree43
Distribution of variable degrees[{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12940}]
Number of extensional constraints0
Number of intensional constraints12940
Distribution of constraint types[{"type":"intension","count":12940}]
Optimization problemNO
Type of objective

Solver Data 

35.10/35.12	c xcsp_picat version 2.7b12 (9/12/2019)
1465.99/1466.15	s SATISFIABLE
1465.99/1466.15	v <instantiation>
1465.99/1466.15	v     <list> x564 x669 x147 x774 x252 x356 x45 x461 x565 x670 x148 x775 x253 x357 x46 x462 x566 x671 x149 x776 x254 x358 x47 x463 x567 x672 x150 x777 x255 x359 x48 x464 x568 x673 x151 x778 x256 x360 x465 x49 x569 x674 x152 x779 x257 x361 x466 x50 x570 x675 x153 x780 x258 x362 x467 x51 x571 x676 x154 x781 x363 x52 x468 x572 x677 x155 x782 x259 x364 x53 x469 x573 x678 x156 x783 x260 x365 x54 x470 x574 x679 x157 x784 x261 x366 x55 x471 x575 x680 x158 x785 x262 x367 x56 x472 x576 x681 x159 x786 x263 x368 x57 x473 x577 x682 x160 x787 x264 x369 x58 x474 x578 x683 x161 x788 x265 x370 x59 x475 x579 x684 x162 x789 x266 x371 x60 x476 x580 x685 x163 x790 x267 x372 x61 x477 x581 x686 x164 x791 x268 x373 x62 x478 x582 x687 x165 x792 x269 x374 x479 x583 x688 x166 x793 x270 x375 x480 x63 x584 x689 x167 x794 x271 x376 x481 x64 x585 x690 x168 x795 x272 x377 x482 x65 x586 x691 x169 x796 x273 x378 x483 x66 x587 x692 x170 x797 x274 x379 x484 x67 x588 x693 x171 x798 x275 x380 x485 x68 x589 x694 x172 x799 x276 x381 x486 x69 x590 x695 x173 x277 x382 x487 x70 x591 x696 x174 x278 x383 x488 x71 x592 x697 x175 x279 x384 x489 x72 x593 x698 x176 x280 x385 x490 x73 x594 x699 x177 x281 x386 x491 x74 x595 x700 x178 x282 x387 x492 x75 x596 x701 x179 x283 x388 x493 x76 x597 x702 x180 x284 x389 x494 x77 x598 x703 x181 x285 x390 x495 x78 x599 x704 x182 x286 x391 x496 x79 x600 x705 x183 x287 x392 x497 x80 x601 x706 x184 x288 x393 x498 x81 x602 x707 x185 x289 x394 x499 x82 x603 x708 x186 x290 x395 x500 x83 x604 x709 x187 x291 x396 x501 x84 x605 x710 x188 x292 x397 x502 x85 x606 x711 x189 x293 x398 x503 x86 x607 x712 x190 x294 x399 x504 x87 x608 x713 x191 x295 x400 x505 x88 x609 x714 x192 x296 x401 x506 x89 x610 x715 x193 x297 x402 x507 x90 x611 x716 x194 x298 x403 x508 x91 x612 x717 x195 x299 x404 x509 x92 x613 x718 x196 x300 x405 x510 x93 x614 x719 x197 x301 x406 x511 x94 x615 x720 x198 x302 x407 x512 x95 x616 x721 x199 x303 x408 x513 x96 x617 x722 x200 x304 x409 x514 x97 x618 x723 x201 x305 x410 x515 x98 x619 x724 x202 x306 x411 x516 x99 x620 x725 x203 x307 x412 x517 x100 x621 x726 x204 x308 x413 x518 x101 x622 x727 x205 x0 x309 x414 x519 x102 x623 x728 x206 x1 x310 x415 x520 x103 x624 x729 x2 x207 x311 x416 x521 x104 x625 x730 x3 x208 x312 x417 x522 x105 x626 x731 x4 x209 x313 x418 x106 x627 x732 x5 x210 x314 x419 x107 x523 x628 x733 x6 x211 x315 x420 x108 x524 x629 x734 x7 x212 x316 x421 x109 x525 x630 x735 x8 x213 x317 x422 x110 x526 x631 x736 x9 x214 x318 x423 x111 x527 x632 x737 x10 x215 x319 x424 x112 x528 x633 x738 x11 x216 x320 x425 x113 x529 x634 x739 x12 x217 x321 x426 x114 x530 x635 x740 x218 x322 x427 x115 x531 x636 x741 x219 x13 x323 x428 x116 x532 x637 x742 x220 x14 x324 x429 x117 x533 x638 x743 x221 x15 x325 x430 x118 x534 x639 x744 x222 x16 x326 x431 x119 x535 x640 x745 x223 x17 x327 x432 x120 x536 x641 x746 x224 x18 x328 x433 x121 x537 x642 x747 x225 x19 x329 x434 x122 x538 x643 x748 x226 x20 x330 x435 x123 x539 x644 x749 x227 x21 x331 x436 x124 x540 x645 x750 x228 x22 x332 x437 x125 x541 x646 x751 x229 x23 x333 x438 x126 x542 x647 x752 x230 x24 x334 x439 x127 x543 x648 x753 x231 x25 x335 x440 x128 x544 x649 x754 x232 x26 x336 x441 x545 x650 x755 x233 x27 x337 x442 x546 x651 x129 x756 x234 x28 x338 x443 x547 x652 x130 x757 x235 x29 x339 x444 x548 x653 x131 x758 x236 x30 x340 x445 x549 x654 x132 x759 x237 x341 x446 x550 x655 x133 x760 x238 x342 x31 x447 x551 x656 x134 x761 x239 x343 x32 x448 x552 x657 x135 x762 x240 x344 x33 x449 x553 x658 x136 x763 x241 x345 x34 x450 x554 x659 x137 x764 x242 x346 x35 x451 x555 x660 x138 x765 x243 x347 x36 x452 x556 x661 x139 x766 x244 x348 x37 x453 x557 x662 x140 x767 x245 x349 x38 x454 x558 x663 x141 x768 x246 x350 x39 x455 x559 x664 x142 x769 x247 x351 x40 x456 x560 x665 x143 x770 x248 x352 x41 x457 x561 x666 x144 x771 x249 x353 x42 x458 x562 x667 x145 x772 x250 x354 x43 x459 x563 x668 x146 x773 x251 x355 x44 x460  </list> 
1465.99/1466.16	v     <values> 367  983  767  845  575  1532  359  727  432  1091  974  815  574  1533  427  773  441  1098  958  935  646  1665  431  772  442  1122  1188  934  648  1664  529  856  472  1120  1190  1002  688  0  857  530  471  1220  1280  1001  687  1  887  603  488  1212  1272  1203  835  62  900  608  489  1439  1374  1204  61  633  1053  554  1451  1376  1242  834  200  630  1031  553  1533  1475  1241  960  199  649  1090  616  1532  1451  1309  951  472  648  1099  617  0  1591  1310  1051  471  665  1183  715  1  1583  1320  1053  558  666  1191  717  64  10  1321  1141  559  678  1200  792  53  12  1431  1311  574  677  1201  790  144  62  1432  1325  573  784  1295  861  146  61  1523  1323  593  792  1303  863  257  143  1522  1345  594  824  1532  1158  256  142  1581  1344  656  1502  1078  371  238  1582  1396  659  167  825  1251  372  239  1634  1397  741  172  888  1252  424  406  1633  1424  742  226  887  1349  425  407  1660  1423  828  225  985  1354  766  460  1661  1524  827  325  986  1393  767  459  1694  1523  887  331  1051  1396  823  568  1693  1575  888  385  1047  1426  826  570  1576  980  383  1095  1424  917  624  1621  979  445  1096  1472  895  623  1620  1069  444  1101  1473  980  639  269  1070  539  1098  1555  979  640  272  1172  541  1212  1554  993  871  456  1159  637  1214  1590  994  872  298  1234  639  1284  1591  1027  883  571  1246  742  1277  1600  1026  882  570  1338  741  1388  1599  1099  907  713  1337  833  1387  3  1098  922  712  1379  832  0  2  1183  962  717  1388  869  1  10  1184  965  719  1420  870  87  8  1200  1088  801  1421  942  86  84  1199  1102  799  1537  941  140  83  1228  1119  911  1540  1026  141  138  1229  1118  913  1633  1027  237  151  1257  1153  1019  1635  1089  382  232  1256  1154  1020  0  1059  446  233  1311  1189  1050  1  1133  448  260  1312  1194  1057  8  1137  543  258  1391  1412  1060  7  1248  544  316  1389  1413  1059  152  1246  632  315  1647  1597  1094  153  1372  631  385  1644  1519  1095  232  1367  665  384  66  1654  1133  231  1451  667  457  67  1655  1132  299  1452  762  458  142  54  1226  300  1536  763  520  140  4  1227  385  1535  848  519  200  78  1258  384  1621  847  551  199  79  1259  462  1637  869  552  301  94  1276  494  1665  871  555  300  95  291  1277  639  1666  935  554  351  191  289  1496  638  16  944  578  354  375  222  1475  703  33  1064  579  434  376  299  1569  702  113  1084  643  422  385  300  1572  913  1183  642  483  384  367  1592  912  1184  128  679  484  420  366  1587  963  1261  185  678  513  419  467  1627  962  1260  184  769  512  482  460  1622  1014  1277  194  778  537  484  567  1644  1013  1286  195  933  538  495  539  1645  1087  1309  235  928  655  493  606  0  1085  1310  234  1372  660  620  607  1  1102  1342  338  1364  760  614  256  1104  1343  339  1437  862  613  615  257  1140  1519  452  1438  942  663  720  337  1139  1485  453  1600  951  664  714  338  1328  1601  495  1601  1109  679  774  535  1347  1656  494  1  1112  681  783  536  1408  29  499  6  1152  759  869  606  1407  15  498  10  1151  757  871  605  1471  53  612  4  1251  945  930  679  1467  52  611  141  1258  949  933  682  1593  111  621  140  1378  1042  949  762  1591  109  623  222  1376  1038  950  761  1647  178  678  223  1555  1076  993  844  1646  180  679  323  1556  1077  994  846  88  193  846  322  1584  1219  1014  848  89  899  405  1583  1220  1013  846  109  1044  406  191  1639  1319  1020  945  108  1034  423  268  1645  1318  1019  946  159  1095  422  269  1656  1385  1056  1022  223  1283  424  357  1693  1386  1021  337  1345  425  358  0  1466  1113  1057  231  1347  426  436  1  1465  1112  1139  487  1388  425  435  101  16  1220  1119  463  1375  458  497  91  15  1221  1398  519  1477  459  498  194  136  1295  1400  518  1478  495  525  195  137  1296  1524  560  1551  494  526  237  205  1392  1525  558  1553  526  616  238  224  1393  1611  611  1597  525  617  340  381  1434  1610  603  1596  588  624  319  377  1433  0  615  175  589  623  475  455  1443  1  620  176  803  747  525  452  1446  297  662  257  798  752  598  456  1503  296  667  256  991  768  606  457  1504  357  730   </values> 
1465.99/1466.16	v </instantiation>

Verifier Data 

OK

Watcher Data 

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 (11105 MiB free)
  memory of node 1: 16384 MiB (15326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395139-1568343418/watcher-4395139-1568343418 -o /tmp/evaluation-result-4395139-1568343418/solver-4395139-1568343418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25672 --watchdog 2580 xcsp_picat HOME/instance-4395139-1568343418.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB

solver pid=31917, runsolver pid=31914

[startup+0.100165 s]*
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=27041640/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2031716 memory=27860 CPUtime=0.1 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 2025 0 0 0 10 0 0 0 20 0 1 0 410596515 2080477184 6965 33554432000 4194304 5870510 140722471249360 140722471246504 4853867 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 507929 6965 850 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 27860 KiB

[startup+0.209736 s]*
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=27027180/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2031716 memory=44244 CPUtime=0.21 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 2033 0 0 0 21 0 0 0 20 0 1 0 410596515 2080477184 11061 33554432000 4194304 5870510 140722471249360 140722471246504 4853856 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 507929 11061 850 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 44244 KiB

[startup+0.309447 s]*
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=27014612/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2031716 memory=54484 CPUtime=0.31 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 2038 0 0 0 31 0 0 0 20 0 1 0 410596515 2080477184 13621 33554432000 4194304 5870510 140722471249360 140722471246504 4461466 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 507929 13621 850 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 54484 KiB

[startup+0.700384 s]
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=26995808/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2067116 memory=117060 CPUtime=0.69 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 9493 0 0 0 67 2 0 0 20 0 1 0 410596515 2116726784 29265 33554432000 4194304 5870510 140722471249360 140722471246504 140538925800421 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 516779 29265 896 410 0 512252 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2067116 KiB
Current children cumulated memory: 117060 KiB

[startup+1.50029 s]
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=26880520/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2213084 memory=253448 CPUtime=1.49 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 37720 0 0 0 143 6 0 0 20 0 1 0 410596515 2266198016 63362 33554432000 4194304 5870510 140722471249360 140722471246504 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 553271 63362 934 410 0 548744 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2213084 KiB
Current children cumulated memory: 253448 KiB

[startup+3.10903 s]
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=26815988/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2213216 memory=253648 CPUtime=3.1 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 38101 0 0 0 304 6 0 0 20 0 1 0 410596515 2266333184 63412 33554432000 4194304 5870510 140722471249360 140722471248616 5478381 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 553304 63412 951 410 0 548777 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2213216 KiB
Current children cumulated memory: 253648 KiB

[startup+6.30027 s]
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=26816024/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2213352 memory=253788 CPUtime=6.29 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 42378 0 0 0 622 7 0 0 20 0 1 0 410596515 2266472448 63447 33554432000 4194304 5870510 140722471249360 140722471248616 5562032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 553338 63447 951 410 0 548811 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2213352 KiB
Current children cumulated memory: 253788 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=26815776/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2213880 memory=254372 CPUtime=12.69 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 50309 0 0 0 1261 8 0 0 20 0 1 0 410596515 2267013120 63593 33554432000 4194304 5870510 140722471249360 140722471248472 5562064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 553470 63593 951 410 0 548943 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2213880 KiB
Current children cumulated memory: 254372 KiB

[startup+25.5004 s]
/proc/loadavg: 1.98 2.00 2.03 3/198 31918
/proc/meminfo: memFree=26746844/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2307216 memory=322856 CPUtime=25.49 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 134634 0 0 0 2530 19 0 0 20 0 1 0 410596515 2362589184 80714 33554432000 4194304 5870510 140722471249360 140722471248616 5259103 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 576804 80714 981 410 0 572277 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2307216 KiB
Current children cumulated memory: 322856 KiB

[startup+51.1095 s]
/proc/loadavg: 1.99 2.00 2.03 3/198 31920
/proc/meminfo: memFree=26742892/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2307216 memory=326396 CPUtime=51.1 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 174861 0 0 0 5087 23 0 0 20 0 1 0 410596515 2362589184 81599 33554432000 4194304 5870510 140722471249360 140722471248376 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 576804 81599 982 410 0 572277 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2307216 KiB
Current children cumulated memory: 326396 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/198 31924
/proc/meminfo: memFree=26728176/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2311832 memory=341212 CPUtime=102.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 248829 0 0 0 10199 29 0 0 20 0 1 0 410596515 2367315968 85303 33554432000 4194304 5870510 140722471249360 140722471247848 5272427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 577958 85303 982 410 0 573431 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2311832 KiB
Current children cumulated memory: 341212 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/198 31929
/proc/meminfo: memFree=26732612/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2311832 memory=337116 CPUtime=162.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 289194 0 0 0 16195 33 0 0 20 0 1 0 410596515 2367315968 84279 33554432000 4194304 5870510 140722471249360 140722471248376 5258670 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 577958 84279 982 410 0 573431 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2311832 KiB
Current children cumulated memory: 337116 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/198 31933
/proc/meminfo: memFree=26716604/32770624 swapFree=66996684/67108860
[pid=31917] ppid=31914 vsize=2317108 memory=352724 CPUtime=222.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 329464 0 0 0 22190 38 0 0 20 0 1 0 410596515 2372718592 88181 33554432000 4194304 5870510 140722471249360 140722471248376 5258368 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 579277 88181 982 410 0 574750 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2317108 KiB
Current children cumulated memory: 352724 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/198 31946
/proc/meminfo: memFree=26717724/32770624 swapFree=66996688/67108860
[pid=31917] ppid=31914 vsize=2317108 memory=350676 CPUtime=282.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 369063 0 0 0 28186 42 0 0 20 0 1 0 410596515 2372718592 87669 33554432000 4194304 5870510 140722471249360 140722471248376 5281745 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 579277 87669 982 410 0 574750 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2317108 KiB
Current children cumulated memory: 350676 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31973
/proc/meminfo: memFree=26667044/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2331148 memory=357328 CPUtime=342.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 411793 0 0 0 34181 47 0 0 20 0 1 0 410596515 2387095552 89332 33554432000 4194304 5870510 140722471249360 140722471248376 5283133 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 582787 89332 982 410 0 578260 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2331148 KiB
Current children cumulated memory: 357328 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31977
/proc/meminfo: memFree=26701312/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2331148 memory=365788 CPUtime=402.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 450263 0 0 0 40177 51 0 0 20 0 1 0 410596515 2387095552 91447 33554432000 4194304 5870510 140722471249360 140722471248376 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 582787 91447 982 410 0 578260 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2331148 KiB
Current children cumulated memory: 365788 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 31983
/proc/meminfo: memFree=26685960/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2337000 memory=381904 CPUtime=462.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 492045 0 0 0 46172 56 0 0 20 0 1 0 410596515 2393088000 95476 33554432000 4194304 5870510 140722471249360 140722471247848 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 584250 95476 982 410 0 579723 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2337000 KiB
Current children cumulated memory: 381904 KiB


################
# More data... #
################

Current children cumulated memory: 407440 KiB

[startup+1122.3 s]
/proc/loadavg: 1.87 2.01 2.05 3/198 32101
/proc/meminfo: memFree=30109032/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2408544 memory=411780 CPUtime=1122.25 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 963943 0 0 0 112104 121 0 0 20 0 1 0 410596515 2466349056 102945 33554432000 4194304 5870510 140722471249360 140722471248312 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 602136 102945 982 410 0 597609 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 2408544 KiB
Current children cumulated memory: 411780 KiB

[startup+1182.3 s]
/proc/loadavg: 1.95 2.01 2.05 3/198 32107
/proc/meminfo: memFree=30101536/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2358456 memory=397488 CPUtime=1182.22 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1005239 0 0 0 118097 125 0 0 20 0 1 0 410596515 2415058944 99372 33554432000 4194304 5870510 140722471249360 140722471248376 5282632 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 589614 99372 982 410 0 585087 0
Current children cumulated CPU time: 1182.22 s
Current children cumulated vsize: 2358456 KiB
Current children cumulated memory: 397488 KiB

[startup+1242.3 s]
/proc/loadavg: 1.98 2.01 2.05 3/198 32111
/proc/meminfo: memFree=30074008/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2358456 memory=403816 CPUtime=1242.2 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1013504 0 0 0 124091 129 0 0 20 0 1 0 410596515 2415058944 100954 33554432000 4194304 5870510 140722471249360 140722471248376 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 589614 100954 982 410 0 585087 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 2358456 KiB
Current children cumulated memory: 403816 KiB

[startup+1302.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/197 32115
/proc/meminfo: memFree=30077980/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=419272 CPUtime=1302.19 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1038667 0 0 0 130086 133 0 0 20 0 1 0 410596515 2473963520 104818 33554432000 4194304 5870510 140722471249360 140722471248312 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 104818 982 410 0 599468 0
Current children cumulated CPU time: 1302.19 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 419272 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32122
/proc/meminfo: memFree=30014548/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=429512 CPUtime=1362.19 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1058858 0 0 0 136082 137 0 0 20 0 1 0 410596515 2473963520 107378 33554432000 4194304 5870510 140722471249360 140722471248312 5262777 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 107378 982 410 0 599468 0
Current children cumulated CPU time: 1362.19 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 429512 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32126
/proc/meminfo: memFree=30021140/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=425416 CPUtime=1422.19 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1066347 0 0 0 142076 143 0 0 20 0 1 0 410596515 2473963520 106354 33554432000 4194304 5870510 140722471249360 140722471248312 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106354 982 410 0 599468 0
Current children cumulated CPU time: 1422.19 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 425416 KiB

[startup+1466.17 s]
# the end of solver process 31917 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1464.6 s, system=1.46895 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1433.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32126
/proc/meminfo: memFree=30021996/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2496120 memory=504836 CPUtime=1433.49 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1066827 0 0 0 143205 144 0 0 20 0 1 0 410596515 2556026880 126209 33554432000 4194304 5870510 140722471249360 140722471248312 5271723 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 624030 126209 982 410 0 619503 0
Current children cumulated CPU time: 1433.49 s
Current children cumulated vsize: 2496120 KiB
Current children cumulated memory: 504836 KiB

[startup+1446.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32129
/proc/meminfo: memFree=30038980/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=417000 CPUtime=1446.29 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068382 0 0 0 144484 145 0 0 20 0 1 0 410596515 2473963520 104250 33554432000 4194304 5870510 140722471249360 140722471248376 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 104250 982 410 0 599468 0
Current children cumulated CPU time: 1446.29 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 417000 KiB

[startup+1459.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32129
/proc/meminfo: memFree=29984460/32770624 swapFree=66996696/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=425192 CPUtime=1459.08 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068438 0 0 0 145763 145 0 0 20 0 1 0 410596515 2473963520 106298 33554432000 4194304 5870510 140722471249360 140722471248312 140538931569280 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106298 982 410 0 599468 0
Current children cumulated CPU time: 1459.08 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 425192 KiB

[startup+1462.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32136
/proc/meminfo: memFree=29978192/32770624 swapFree=66996704/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=427464 CPUtime=1462.28 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068443 0 0 0 146083 145 0 0 20 0 1 0 410596515 2473963520 106866 33554432000 4194304 5870510 140722471249360 140722471248312 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106866 982 410 0 599468 0
Current children cumulated CPU time: 1462.28 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 427464 KiB

[startup+1464 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 32136
/proc/meminfo: memFree=29975836/32770624 swapFree=66996704/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=427464 CPUtime=1463.89 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068443 0 0 0 146244 145 0 0 20 0 1 0 410596515 2473963520 106866 33554432000 4194304 5870510 140722471249360 140722471248312 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106866 982 410 0 599468 0
Current children cumulated CPU time: 1463.89 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 427464 KiB

[startup+1464.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32136
/proc/meminfo: memFree=29975836/32770624 swapFree=66996704/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=427464 CPUtime=1464.68 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068443 0 0 0 146323 145 0 0 20 0 1 0 410596515 2473963520 106866 33554432000 4194304 5870510 140722471249360 140722471248312 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106866 982 410 0 599468 0
Current children cumulated CPU time: 1464.68 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 427464 KiB

[startup+1465.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32136
/proc/meminfo: memFree=30032004/32770624 swapFree=66996704/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=427464 CPUtime=1465.48 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068443 0 0 0 146403 145 0 0 20 0 1 0 410596515 2473963520 106866 33554432000 4194304 5870510 140722471249360 140722471248312 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106866 982 410 0 599468 0
Current children cumulated CPU time: 1465.48 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 427464 KiB

[startup+1466 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 32136
/proc/meminfo: memFree=30030068/32770624 swapFree=66996704/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=427464 CPUtime=1465.89 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068443 0 0 0 146444 145 0 0 20 0 1 0 410596515 2473963520 106866 33554432000 4194304 5870510 140722471249360 140722471248312 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106866 982 410 0 599468 0
Current children cumulated CPU time: 1465.89 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 427464 KiB

[startup+1466.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 32136
/proc/meminfo: memFree=30030068/32770624 swapFree=66996704/67108860
[pid=31917] ppid=31914 vsize=2415980 memory=427464 CPUtime=1465.99 cores=1,3,5,7
/proc/31917/stat : 31917 (xcsp_picat) R 31914 31917 25640 0 -1 4202496 1068443 0 0 0 146454 145 0 0 20 0 1 0 410596515 2473963520 106866 33554432000 4194304 5870510 140722471249360 140722471248312 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17117184 140722471253023 140722471253101 140722471253101 140722471256010 0
/proc/31917/statm: 603995 106866 982 410 0 599468 0
Current children cumulated CPU time: 1465.99 s
Current children cumulated vsize: 2415980 KiB
Current children cumulated memory: 427464 KiB

Child status: 0
Real time (s): 1466.17
CPU time (s): 1466.07
CPU user time (s): 1464.6
CPU system time (s): 1.46895
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 2496120
Max. memory (cumulated for all children) (KiB): 504836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1464.6
system time used= 1.46895
maximum resident set size= 506884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1069007
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= 84
involuntary context switches= 731


# summary of solver processes directly reported to runsolver:
#   pid: 31917
#   total CPU time (s): 1466.07
#   total CPU user time (s): 1464.6
#   total CPU system time (s): 1.46895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20414 second user time and 10.5683 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 03:55:41
IDJOB=4395139
IDBENCH=138647
IDSOLVER=2844
FILE ID=node106/4395139-1568343418
RUNJOBID= node106-1568318666-25672
PBS_JOBID= 21701140
Free space on /tmp= 56732 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-20.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395139-1568343418/watcher-4395139-1568343418 -o /tmp/evaluation-result-4395139-1568343418/solver-4395139-1568343418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25672 --watchdog 2580  xcsp_picat HOME/instance-4395139-1568343418.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0
RANDOM SEED=1622753647

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.79
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.79
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.79
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.79
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:        27066164 kB
MemAvailable:   28136980 kB
Buffers:          141084 kB
Cached:          1226524 kB
SwapCached:         9984 kB
Active:          4131856 kB
Inactive:        1028544 kB
Active(anon):    3791572 kB
Inactive(anon):    34536 kB
Active(file):     340284 kB
Inactive(file):   994008 kB
Unevictable:      106816 kB
Mlocked:          106816 kB
SwapTotal:      67108860 kB
SwapFree:       66996684 kB
Dirty:              3504 kB
Writeback:             0 kB
AnonPages:       3828824 kB
Mapped:            38092 kB
Shmem:             24308 kB
Slab:             133316 kB
SReclaimable:     104720 kB
SUnreclaim:        28596 kB
KernelStack:        3552 kB
PageTables:        13168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5275696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3106816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 56728 MiB
End job on node106 at 2019-09-13 04:20:08