Trace number 4459745

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 NameAnswerobjective functionCPU timeWall clock time
Exact 2024-07-05SAT (TO)-145 3600.04 3610.41

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
MD5SUMfc228e1220654f2d8d37c5d03b9b5ad1
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-151
Best CPU time to get the best result obtained on this benchmark71326.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31622
Sum of products size (including duplicates)63244
Number of different products15811
Sum of products size31622

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.20/0.24	o 0
0.20/0.24	o -1
0.20/0.24	o -2
0.20/0.24	o -3
1.39/1.43	o -4
1.39/1.44	o -5
1.39/1.45	o -6
1.39/1.46	o -7
1.39/1.47	o -8
1.39/1.49	o -9
1.49/1.50	o -10
1.49/1.52	o -11
1.49/1.53	o -12
1.49/1.54	o -13
1.49/1.56	o -14
1.49/1.57	o -15
1.49/1.58	o -16
1.59/1.60	o -17
1.59/1.61	o -18
1.59/1.62	o -19
1.59/1.64	o -20
1.59/1.65	o -21
1.59/1.67	o -22
1.59/1.68	o -23
1.59/1.69	o -24
1.69/1.71	o -25
1.69/1.72	o -26
1.69/1.74	o -27
1.69/1.75	o -28
1.69/1.77	o -29
1.69/1.79	o -30
1.79/1.80	o -31
1.79/1.82	o -32
1.79/1.84	o -33
1.79/1.85	o -34
1.79/1.87	o -35
1.79/1.89	o -36
1.89/1.90	o -37
1.89/1.92	o -38
1.89/1.94	o -39
1.89/1.96	o -40
1.89/1.97	o -41
1.89/1.99	o -42
1.99/2.00	o -43
1.99/2.02	o -44
1.99/2.05	o -45
1.99/2.07	o -46
1.99/2.08	o -47
1.99/2.10	o -48
2.09/2.12	o -49
2.09/2.14	o -50
2.09/2.16	o -51
2.09/2.17	o -52
2.09/2.19	o -53
2.19/2.20	o -54
2.19/2.22	o -55
2.19/2.23	o -56
2.19/2.25	o -57
2.19/2.27	o -58
2.19/2.29	o -59
2.29/2.31	o -60
2.29/2.32	o -61
2.29/2.34	o -62
2.29/2.39	o -63
2.39/2.42	o -64
2.39/2.45	o -65
2.39/2.49	o -66
2.58/2.61	o -67
2.68/2.74	o -68
2.78/2.89	o -69
2.88/2.91	o -70
2.88/2.94	o -71
2.99/3.03	o -72
2.99/3.06	o -73
3.08/3.13	o -74
3.18/3.22	o -75
3.28/3.32	o -76
3.28/3.36	o -77
3.28/3.39	o -78
3.47/3.50	o -79
3.57/3.69	o -80
8.76/8.84	o -81
8.76/8.85	o -82
8.76/8.86	o -83
8.76/8.88	o -84
8.76/8.89	o -85
8.86/8.90	o -86
8.86/8.91	o -87
8.86/8.94	o -88
8.96/9.02	o -89
11.85/11.90	o -90
15.64/15.75	o -91
29.90/30.03	o -92
29.90/30.04	o -93
29.90/30.09	o -94
30.60/30.70	o -95
31.39/31.56	o -96
39.48/39.61	o -97
52.14/52.36	o -98
55.14/55.33	o -99
55.14/55.35	o -100
55.94/56.14	o -101
58.52/58.75	o -102
60.72/60.94	o -103
60.72/60.96	o -104
78.98/79.20	o -105
78.98/79.22	o -106
79.08/79.31	o -107
79.08/79.39	o -108
79.28/79.59	o -109
81.78/82.06	o -110
85.36/85.61	o -111
87.66/87.96	o -112
113.49/113.82	o -113
132.94/133.33	o -114
142.00/142.46	o -115
142.00/142.49	o -116
160.35/160.81	o -117
160.35/160.86	o -118
182.98/183.50	o -119
182.98/183.51	o -120
182.98/183.53	o -121
222.75/223.42	o -122
242.69/243.41	o -123
265.72/266.59	o -124
305.49/306.47	o -125
305.49/306.48	o -126
305.59/306.50	o -127
350.45/351.51	o -128
391.42/392.64	o -129
463.30/464.71	o -130
494.72/496.29	o -131
542.10/543.73	o -132
570.23/571.98	o -133
681.69/683.74	o -134
686.07/688.17	o -135
697.94/700.10	o -136
730.63/732.86	o -137
775.39/777.75	o -138
806.70/809.15	o -139
868.00/870.68	o -140
1000.19/1003.29	o -141
1114.91/1118.21	o -142
1138.06/1141.46	o -143
1240.01/1243.65	o -144
1539.40/1543.96	o -145
3600.02/3610.40	c Program interrupted by user.
3600.02/3610.40	s SATISFIABLE
3600.02/3610.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 x602 x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 x618 -x619 x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 x680 x681 x682 -x683 -x684 -x685 x686 x687 -x688 -x689 -x690 -x691 -x692 x693 x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 x708 -x709 -x710 x711 -x712 -x713 -x714 x715 -x716 -x717 x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 x804 -x805 x806 -x807 x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 x836 x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 x847 -x848 x849 x850 x851 -x852 -x853 x854 -x855 -x856 x857 x858 -x859 x860 x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 x870 -x871 -x872 x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 x893 -x894 -x895 x896 x897 -x898 -x899 -x900 -x901 -x902 x903 x904 -x905 x906 -x907 -x908 -x909 x910 -x911 -x912 x913 x914 -x915 -x916 x917 -x918 -x919 x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 x932 x933 x934 -x935 -x936 x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 x945 x946 x947 x948 -x949 x950 -x951 -x952 -x953 x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 x972 x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 x988 x989 -x990 x991 x992 -x993 x994 -x995 -x996 -x997 -x998 x999 -x1000

Verifier Data 

OK	-145

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 63968 MiB (61367 MiB free)
  memory of node 1: 64473 MiB (62388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459745-1721943061/watcher-4459745-1721943061 -o /tmp/evaluation-result-4459745-1721943061/solver-4459745-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721943060-310778 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=328473900 HOME/instance-4459745-1721943061.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=311010, runsolver pid=311007
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 1.10 1.09 1.10 3/253 311015
/proc/meminfo: memFree=126689848/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=55336 memory=34540 CPUtime=0.09 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 9684 0 0 0 8 1 0 0 20 0 1 0 30830034 56664064 8635 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 13834 8635 884 1005 0 12597 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55336 KiB
Current children cumulated memory: 34540 KiB

[startup+0.204631 s]*
/proc/loadavg: 1.10 1.09 1.10 3/252 311038
/proc/meminfo: memFree=126660172/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=78048 memory=56488 CPUtime=0.2 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 15086 0 0 0 18 2 0 0 20 0 1 0 30830034 79921152 14122 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 19512 14122 1060 1005 0 18275 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78048 KiB
Current children cumulated memory: 56488 KiB

[startup+0.305707 s]*
/proc/loadavg: 1.10 1.09 1.10 3/252 311038
/proc/meminfo: memFree=126651980/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=83560 memory=62480 CPUtime=0.3 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 16521 0 0 0 28 2 0 0 20 0 1 0 30830034 85565440 15620 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 20890 15620 1140 1005 0 19653 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83560 KiB
Current children cumulated memory: 62480 KiB

[startup+0.700172 s]
/proc/loadavg: 1.10 1.09 1.10 3/256 311050
/proc/meminfo: memFree=126643840/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=84916 memory=67892 CPUtime=0.68 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 16847 0 0 0 66 2 0 0 20 0 1 0 30830034 86953984 16973 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 21229 16973 1140 1005 0 19992 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84916 KiB
Current children cumulated memory: 67892 KiB

[startup+1.50016 s]
/proc/loadavg: 1.10 1.09 1.10 5/262 311114
/proc/meminfo: memFree=126628504/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=88384 memory=72048 CPUtime=1.49 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 17414 0 0 0 146 3 0 0 20 0 1 0 30830034 90505216 18012 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 22096 18012 1140 1005 0 20859 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88384 KiB
Current children cumulated memory: 72048 KiB

[startup+3.10557 s]
/proc/loadavg: 1.33 1.14 1.12 5/262 311114
/proc/meminfo: memFree=126606568/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=89032 memory=78944 CPUtime=3.08 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 17608 0 0 0 305 3 0 0 20 0 1 0 30830034 91168768 19736 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 22258 19736 1140 1005 0 21021 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89032 KiB
Current children cumulated memory: 78944 KiB

[startup+6.30019 s]
/proc/loadavg: 1.33 1.14 1.12 5/262 311114
/proc/meminfo: memFree=126581068/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=108816 memory=92588 CPUtime=6.27 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 19751 0 0 0 622 5 0 0 20 0 1 0 30830034 111427584 23147 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 27204 23147 1140 1005 0 25967 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 108816 KiB
Current children cumulated memory: 92588 KiB

[startup+12.7002 s]
/proc/loadavg: 1.74 1.23 1.15 5/262 311116
/proc/meminfo: memFree=126565444/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=132916 memory=104040 CPUtime=12.65 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 20542 0 0 0 1258 7 0 0 20 0 1 0 30830034 136105984 26010 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 33229 26010 1140 1005 0 31992 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 132916 KiB
Current children cumulated memory: 104040 KiB

[startup+25.5002 s]
/proc/loadavg: 2.17 1.34 1.18 5/262 311118
/proc/meminfo: memFree=126531276/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=177804 memory=134176 CPUtime=25.41 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 22620 0 0 0 2530 11 0 0 20 0 1 0 30830034 182071296 33544 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 44451 33544 1140 1005 0 43214 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 177804 KiB
Current children cumulated memory: 134176 KiB

[startup+51.1057 s]
/proc/loadavg: 2.86 1.57 1.27 5/262 311122
/proc/meminfo: memFree=126508844/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=178792 memory=145956 CPUtime=50.95 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 22920 0 0 0 5078 17 0 0 20 0 1 0 30830034 183083008 36489 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 44698 36489 1140 1005 0 43461 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 178792 KiB
Current children cumulated memory: 145956 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.00 1.43 5/262 311132
/proc/meminfo: memFree=126479528/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=183912 memory=165912 CPUtime=102.02 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 24454 0 0 0 10174 28 0 0 20 0 1 0 30830034 188325888 41478 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 45978 41478 1140 1005 0 44741 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 183912 KiB
Current children cumulated memory: 165912 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.38 1.60 5/260 311143
/proc/meminfo: memFree=126468776/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=189200 memory=170604 CPUtime=161.85 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 25803 0 0 0 16142 43 0 0 20 0 1 0 30830034 193740800 42651 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 47300 42651 1140 1005 0 46063 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 189200 KiB
Current children cumulated memory: 170604 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.69 1.76 5/260 311245
/proc/meminfo: memFree=126418280/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=193560 memory=175092 CPUtime=221.65 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 26980 0 0 0 22109 56 0 0 20 0 1 0 30830034 198205440 43773 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 48390 43773 1140 1005 0 47153 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 193560 KiB
Current children cumulated memory: 175092 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.96 1.91 5/256 311255
/proc/meminfo: memFree=126380360/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=196852 memory=184384 CPUtime=281.47 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 27859 0 0 0 28079 68 0 0 20 0 1 0 30830034 201576448 46096 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 49213 46096 1140 1005 0 47976 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 196852 KiB
Current children cumulated memory: 184384 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 3.19 2.06 5/254 311266
/proc/meminfo: memFree=126357324/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=201824 memory=192376 CPUtime=341.28 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 28902 0 0 0 34048 80 0 0 20 0 1 0 30830034 206667776 48094 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 50456 48094 1140 1005 0 49219 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 201824 KiB
Current children cumulated memory: 192376 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 3.38 2.20 5/254 311277
/proc/meminfo: memFree=126349832/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=203372 memory=193976 CPUtime=401.09 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 29361 0 0 0 40017 92 0 0 20 0 1 0 30830034 208252928 48494 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 50843 48494 1140 1005 0 49606 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 203372 KiB
Current children cumulated memory: 193976 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.53 2.32 5/254 311287
/proc/meminfo: memFree=126342500/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=205060 memory=195488 CPUtime=460.91 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 29861 0 0 0 45986 105 0 0 20 0 1 0 30830034 209981440 48872 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 51265 48872 1140 1005 0 50028 0

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

Current children cumulated memory: 242712 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.01 5/254 312871
/proc/meminfo: memFree=126123156/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318208 memory=242712 CPUtime=2854.04 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43195 0 0 0 284817 587 0 0 20 0 1 0 30830034 325844992 60678 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79552 60678 1140 1005 0 78315 0
Current children cumulated CPU time: 2854.04 s
Current children cumulated vsize: 318208 KiB
Current children cumulated memory: 242712 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/254 312881
/proc/meminfo: memFree=126121564/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318208 memory=242712 CPUtime=2913.86 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43203 0 0 0 290780 606 0 0 20 0 1 0 30830034 325844992 60678 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79552 60678 1140 1005 0 78315 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 318208 KiB
Current children cumulated memory: 242712 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/256 312897
/proc/meminfo: memFree=126118568/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318208 memory=242752 CPUtime=2973.69 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43298 0 0 0 296748 621 0 0 20 0 1 0 30830034 325844992 60688 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79552 60688 1140 1005 0 78315 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 318208 KiB
Current children cumulated memory: 242752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.02 5/256 312907
/proc/meminfo: memFree=126116556/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318208 memory=242752 CPUtime=3033.55 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43309 0 0 0 302723 632 0 0 20 0 1 0 30830034 325844992 60688 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79552 60688 1140 1005 0 78315 0
Current children cumulated CPU time: 3033.55 s
Current children cumulated vsize: 318208 KiB
Current children cumulated memory: 242752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/256 312918
/proc/meminfo: memFree=126115404/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318208 memory=242752 CPUtime=3093.41 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43406 0 0 0 308697 644 0 0 20 0 1 0 30830034 325844992 60688 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79552 60688 1140 1005 0 78315 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 318208 KiB
Current children cumulated memory: 242752 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/256 312930
/proc/meminfo: memFree=126113664/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318352 memory=242760 CPUtime=3153.26 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43448 0 0 0 314666 660 0 0 20 0 1 0 30830034 325992448 60690 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79588 60690 1140 1005 0 78351 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 318352 KiB
Current children cumulated memory: 242760 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/257 312943
/proc/meminfo: memFree=126112608/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318492 memory=243052 CPUtime=3213.12 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43570 0 0 0 320637 675 0 0 20 0 1 0 30830034 326135808 60763 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79623 60763 1140 1005 0 78386 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 318492 KiB
Current children cumulated memory: 243052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/257 313337
/proc/meminfo: memFree=126103396/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=318928 memory=243404 CPUtime=3272.94 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43686 0 0 0 326610 684 0 0 20 0 1 0 30830034 326582272 60851 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79732 60851 1140 1005 0 78495 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 318928 KiB
Current children cumulated memory: 243404 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/257 313347
/proc/meminfo: memFree=126099596/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=319120 memory=243772 CPUtime=3332.75 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43865 0 0 0 332581 694 0 0 20 0 1 0 30830034 326778880 60943 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79780 60943 1140 1005 0 78543 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 319120 KiB
Current children cumulated memory: 243772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/257 313359
/proc/meminfo: memFree=126098076/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=319568 memory=244052 CPUtime=3392.56 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 43948 0 0 0 338553 703 0 0 20 0 1 0 30830034 327237632 61013 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79892 61013 1140 1005 0 78655 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 319568 KiB
Current children cumulated memory: 244052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/257 313537
/proc/meminfo: memFree=126095724/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=319568 memory=244128 CPUtime=3452.37 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 44039 0 0 0 344519 718 0 0 20 0 1 0 30830034 327237632 61032 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 79892 61032 1140 1005 0 78655 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 319568 KiB
Current children cumulated memory: 244128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.40 4.18 4.06 5/256 313547
/proc/meminfo: memFree=126092204/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=320576 memory=245016 CPUtime=3512.2 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 44281 0 0 0 350485 735 0 0 20 0 1 0 30830034 328269824 61254 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 80144 61254 1140 1005 0 78907 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 320576 KiB
Current children cumulated memory: 245016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.18 4.07 5/259 313617
/proc/meminfo: memFree=126090144/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=321268 memory=245780 CPUtime=3572.02 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 44555 0 0 0 356454 748 0 0 20 0 1 0 30830034 328978432 61445 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 80317 61445 1140 1005 0 79080 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 321268 KiB
Current children cumulated memory: 245780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.16 4.16 4.06 4/252 313653
/proc/meminfo: memFree=126156408/131524600 swapFree=131056796/131071996
[pid=311010] ppid=311007 vsize=321268 memory=245780 CPUtime=3600.02 cores=5,7
/proc/311010/stat : 311010 (Exact) R 311007 311010 308641 0 -1 4194304 44561 0 0 0 359249 753 0 0 20 0 1 0 30830034 328978432 61445 134679101440 4194304 8309489 140724774818640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 34058240 140724774826942 140724774827111 140724774827111 140724774834127 0
/proc/311010/statm: 80317 61445 1140 1005 0 79080 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 321268 KiB
Current children cumulated memory: 245780 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.41 s]
# the end of solver process 311010 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3592.5 s, system=7.54101 s

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

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.04
CPU user time (s): 3592.5
CPU system time (s): 7.54101
CPU usage (%): 99.7129
Max. virtual memory (cumulated for all children) (KiB): 321268
Max. memory (cumulated for all children) (KiB): 245780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.5
system time used= 7.54101
maximum resident set size= 292700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44563
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= 44
involuntary context switches= 2261


# summary of solver processes directly reported to runsolver:
#   pid: 311010
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3592.5
#   total CPU system time (s): 7.54101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61152 second user time and 15.9191 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 23:31:01
IDJOB=4459745
IDBENCH=148532
IDSOLVER=3060
FILE ID=nodeC030/4459745-1721943061
RUNJOBID= nodeC030-1721943060-310778
SLURM_JOB_ID= 8247250
Free space on /tmp= 890068 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459745-1721943061/watcher-4459745-1721943061 -o /tmp/evaluation-result-4459745-1721943061/solver-4459745-1721943061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721943060-310778 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=328473900 HOME/instance-4459745-1721943061.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= fc228e1220654f2d8d37c5d03b9b5ad1
RANDOM SEED=328473900

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3607.953
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.081
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.501
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.178
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3583.772
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.298
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3460.776
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3609.764
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126728464 kB
MemAvailable:   129678400 kB
Buffers:          328940 kB
Cached:          3408764 kB
SwapCached:          212 kB
Active:          2641060 kB
Inactive:        1469932 kB
Active(anon):       2252 kB
Inactive(anon):   423300 kB
Active(file):    2638808 kB
Inactive(file):  1046632 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:             18140 kB
Writeback:             0 kB
AnonPages:        370364 kB
Mapped:           108580 kB
Shmem:             52912 kB
KReclaimable:     208636 kB
Slab:             330392 kB
SReclaimable:     208636 kB
SUnreclaim:       121756 kB
KernelStack:        4156 kB
PageTables:         9648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     690544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC030 at 2024-07-26 00:31:11