Trace number 4545637

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
SynLSCD 2025-07-23SAT 1361.61 1365.69

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUMf8e7200d7e9c4a7cfb6b4e6c5b6d430a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark104.888
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.01/0.28	c #vars 1020 #constraints 43180 42.3333 1
0.01/0.28	c intsize: 3
0.11/0.39	c 43180 constraints
0.11/0.39	c Finish cloning data from SAT to LS
0.11/0.39	c restart_num_ls  -100000 0
74.47/74.97	c Use LS-small
74.47/74.97	c restart_num_ls  0 501
74.47/74.97	c LS 90 73
153.48/154.10	c Use LS-small
153.48/154.10	c restart_num_ls  501 1002
153.48/154.10	c LS 80 77
233.04/233.92	c Use LS-small
233.04/233.92	restart_num  1002 1310
233.04/233.92	c LS-restart 70 30
309.62/310.71	c Use LS-small
309.62/310.71	restart_num  1310 1731
309.62/310.71	c LS-restart 60 66
406.34/407.72	c Use LS-small
406.34/407.72	c restart_num_ls  1731 2232
406.34/407.72	c LS 50 89
487.52/489.13	c Use LS-small
487.52/489.13	c restart_num_ls  2232 2733
487.52/489.13	c LS 40 77
573.87/575.72	c Use LS-small
573.87/575.72	restart_num  2733 3202
573.87/575.72	c LS-restart 30 76
644.57/646.62	c Use LS-small
644.57/646.62	restart_num  3202 3511
644.57/646.62	c LS-restart 20 22
726.74/729.00	c Use LS-small
726.74/729.00	c restart_num_ls  3511 4012
726.74/729.00	c LS 10 81
841.20/843.81	c Use LS-small
841.20/843.81	restart_num  4012 4354
915.20/918.02	c Use LS-small
915.20/918.02	restart_num  4354 4655
991.47/994.52	c Use LS-small
991.47/994.52	restart_num  4655 5075
1075.14/1078.46	c Use LS-small
1075.14/1078.46	restart_num  5075 5438
1152.81/1156.34	c Use LS-small
1152.81/1156.34	restart_num  5438 5830
1250.23/1254.08	c Use LS-small
1250.23/1254.08	restart_num  5830 6226
1333.69/1337.76	c Use LS-small
1333.69/1337.76	c restart_num_ls  6226 6727
1361.51/1365.68	c Use LS-small
1361.51/1365.68	c SAT by LS-small
1361.51/1365.68	s SATISFIABLE
1361.51/1365.68	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 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020

Verifier Data

OK	0

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: 63708 MiB (55314 MiB free)
  memory of node 1: 64465 MiB (63647 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545637-1753259729/watcher-4545637-1753259729 -o /tmp/evaluation-result-4545637-1753259729/solver-4545637-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753259701-164088 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545637-1753259729.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=164320, runsolver pid=164311
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 2.39 0.63 0.27 1/257 164321
/proc/meminfo: memFree=121816936/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=17104 memory=640 CPUtime=0 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) D 164311 164320 164070 0 -1 4456448 84 0 0 0 0 0 0 0 20 0 1 0 241595706 17514496 160 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB

[startup+0.205039 s]*
/proc/loadavg: 2.39 0.63 0.27 3/265 164329
/proc/meminfo: memFree=121805300/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=84508 memory=11136 CPUtime=0.01 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 798 0 0 0 1 0 0 0 20 0 1 0 241595706 86536192 2784 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 21127 2784 2240 595 0 5794 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 84508 KiB
Current children cumulated memory: 11136 KiB

[startup+0.304954 s]*
/proc/loadavg: 2.39 0.63 0.27 6/265 164329
/proc/meminfo: memFree=121780840/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=96580 memory=25948 CPUtime=0.11 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 4366 0 0 0 10 1 0 0 20 0 1 0 241595706 98897920 6487 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 24145 6487 2400 595 0 8812 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 96580 KiB
Current children cumulated memory: 25948 KiB

[startup+0.700178 s]
/proc/loadavg: 2.39 0.63 0.27 6/265 164329
/proc/meminfo: memFree=121706752/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=135916 memory=62168 CPUtime=0.5 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 13180 0 0 0 47 3 0 0 20 0 1 0 241595706 139177984 15542 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 33979 15542 2464 595 0 18646 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 62168 KiB

[startup+1.50013 s]
/proc/loadavg: 2.39 0.63 0.27 5/265 164329
/proc/meminfo: memFree=121553440/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=135916 memory=62168 CPUtime=1.29 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 13180 0 0 0 125 4 0 0 20 0 1 0 241595706 139177984 15542 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 33979 15542 2464 595 0 18646 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 62168 KiB

[startup+3.10565 s]
/proc/loadavg: 2.52 0.68 0.29 6/265 164329
/proc/meminfo: memFree=120991864/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=135916 memory=62168 CPUtime=2.9 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 13180 0 0 0 282 8 0 0 20 0 1 0 241595706 139177984 15542 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 33979 15542 2464 595 0 18646 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 62168 KiB

[startup+6.30014 s]
/proc/loadavg: 2.52 0.68 0.29 5/265 164329
/proc/meminfo: memFree=120975780/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=135916 memory=62168 CPUtime=6.08 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 13180 0 0 0 592 16 0 0 20 0 1 0 241595706 139177984 15542 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 33979 15542 2464 595 0 18646 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 62168 KiB

[startup+12.7001 s]
/proc/loadavg: 2.75 0.79 0.33 5/261 164337
/proc/meminfo: memFree=121044728/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=135916 memory=62168 CPUtime=12.45 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 13180 0 0 0 1214 31 0 0 20 0 1 0 241595706 139177984 15542 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 33979 15542 2464 595 0 18646 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 62168 KiB

[startup+25.5001 s]
/proc/loadavg: 2.94 0.90 0.37 5/265 164374
/proc/meminfo: memFree=121166544/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=135916 memory=62168 CPUtime=25.21 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 13180 0 0 0 2459 62 0 0 20 0 1 0 241595706 139177984 15542 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 33979 15542 2464 595 0 18646 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 62168 KiB

[startup+51.1055 s]
/proc/loadavg: 3.30 1.15 0.47 5/265 164420
/proc/meminfo: memFree=121163296/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=135916 memory=62168 CPUtime=50.74 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 13180 0 0 0 4945 129 0 0 20 0 1 0 241595706 139177984 15542 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 33979 15542 2464 595 0 18646 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 62168 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 1.65 0.68 5/265 164466
/proc/meminfo: memFree=121680552/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=141012 memory=73612 CPUtime=101.8 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 14466 0 0 0 9941 239 0 0 20 0 1 0 241595706 144396288 18403 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 35253 18403 2496 595 0 19920 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 141012 KiB
Current children cumulated memory: 73612 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.09 0.89 5/265 164468
/proc/meminfo: memFree=121612772/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=142168 memory=74764 CPUtime=161.64 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 14764 0 0 0 15795 369 0 0 20 0 1 0 241595706 145580032 18691 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 35542 18691 2496 595 0 20209 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 142168 KiB
Current children cumulated memory: 74764 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.47 1.10 5/265 164470
/proc/meminfo: memFree=121567368/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=142676 memory=75276 CPUtime=221.47 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 14895 0 0 0 21610 537 0 0 20 0 1 0 241595706 146100224 18819 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 35669 18819 2496 595 0 20336 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 142676 KiB
Current children cumulated memory: 75276 KiB

[startup+282.3 s]
/proc/loadavg: 4.00 2.74 1.28 5/264 164515
/proc/meminfo: memFree=121716300/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=143524 memory=76172 CPUtime=281.3 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 15107 0 0 0 27435 695 0 0 20 0 1 0 241595706 146968576 19043 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 35881 19043 2496 595 0 20548 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 143524 KiB
Current children cumulated memory: 76172 KiB

[startup+342.3 s]
/proc/loadavg: 4.25 3.06 1.48 5/262 164517
/proc/meminfo: memFree=121723416/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=144328 memory=76940 CPUtime=341.12 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 15309 0 0 0 33281 831 0 0 20 0 1 0 241595706 147791872 19235 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 36082 19235 2496 595 0 20749 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 144328 KiB
Current children cumulated memory: 76940 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.25 1.65 5/263 164520
/proc/meminfo: memFree=121713848/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=145380 memory=80096 CPUtime=400.96 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 15577 0 0 0 39166 930 0 0 20 0 1 0 241595706 148869120 20024 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 36345 20024 2496 595 0 21012 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 145380 KiB
Current children cumulated memory: 80096 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.40 1.81 5/264 164523
/proc/meminfo: memFree=121709128/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=145380 memory=80224 CPUtime=460.81 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 15609 0 0 0 44975 1106 0 0 20 0 1 0 241595706 148869120 20056 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 36345 20056 2496 595 0 21012 0
Current children cumulated CPU time: 460.81 s

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

/proc/loadavg: 4.06 3.84 2.45 5/264 164541
/proc/meminfo: memFree=121691072/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=148288 memory=83040 CPUtime=759.95 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16315 0 0 0 74181 1814 0 0 20 0 1 0 241595706 151846912 20760 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37072 20760 2496 595 0 21739 0
Current children cumulated CPU time: 759.95 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 83040 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 3.90 2.56 5/264 164543
/proc/meminfo: memFree=121690688/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=149196 memory=83936 CPUtime=819.77 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16541 0 0 0 80073 1904 0 0 20 0 1 0 241595706 152776704 20984 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37299 20984 2496 595 0 21966 0
Current children cumulated CPU time: 819.77 s
Current children cumulated vsize: 149196 KiB
Current children cumulated memory: 83936 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 3.94 2.66 5/264 164545
/proc/meminfo: memFree=121686260/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=149512 memory=84192 CPUtime=879.59 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16620 0 0 0 85932 2027 0 0 20 0 1 0 241595706 153100288 21048 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37378 21048 2496 595 0 22045 0
Current children cumulated CPU time: 879.59 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 84192 KiB

[startup+942.3 s]
/proc/loadavg: 4.37 4.06 2.78 5/263 164547
/proc/meminfo: memFree=121685148/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=149512 memory=84192 CPUtime=939.43 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16628 0 0 0 91759 2184 0 0 20 0 1 0 241595706 153100288 21048 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37378 21048 2496 595 0 22045 0
Current children cumulated CPU time: 939.43 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 84192 KiB

[startup+1002.3 s]
/proc/loadavg: 4.19 4.06 2.86 5/262 164549
/proc/meminfo: memFree=121685056/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=149992 memory=84704 CPUtime=999.25 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16744 0 0 0 97598 2327 0 0 20 0 1 0 241595706 153591808 21176 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37498 21176 2496 595 0 22165 0
Current children cumulated CPU time: 999.25 s
Current children cumulated vsize: 149992 KiB
Current children cumulated memory: 84704 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.06 2.94 5/262 164551
/proc/meminfo: memFree=121684684/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=149992 memory=84704 CPUtime=1059.08 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16745 0 0 0 103420 2488 0 0 20 0 1 0 241595706 153591808 21176 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37498 21176 2496 595 0 22165 0
Current children cumulated CPU time: 1059.08 s
Current children cumulated vsize: 149992 KiB
Current children cumulated memory: 84704 KiB

[startup+1122.3 s]
/proc/loadavg: 4.21 4.09 3.03 5/262 164598
/proc/meminfo: memFree=121664304/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=150456 memory=85216 CPUtime=1118.91 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16860 0 0 0 109262 2629 0 0 20 0 1 0 241595706 154066944 21304 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37614 21304 2496 595 0 22281 0
Current children cumulated CPU time: 1118.91 s
Current children cumulated vsize: 150456 KiB
Current children cumulated memory: 85216 KiB

[startup+1182.3 s]
/proc/loadavg: 4.12 4.09 3.10 5/262 164600
/proc/meminfo: memFree=121665940/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=150456 memory=85216 CPUtime=1178.74 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16863 0 0 0 115111 2763 0 0 20 0 1 0 241595706 154066944 21304 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37614 21304 2496 595 0 22281 0
Current children cumulated CPU time: 1178.74 s
Current children cumulated vsize: 150456 KiB
Current children cumulated memory: 85216 KiB

[startup+1242.3 s]
/proc/loadavg: 4.16 4.10 3.17 5/264 164610
/proc/meminfo: memFree=121662068/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=150864 memory=85600 CPUtime=1238.56 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 16966 0 0 0 120985 2871 0 0 20 0 1 0 241595706 154484736 21400 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37716 21400 2496 595 0 22383 0
Current children cumulated CPU time: 1238.56 s
Current children cumulated vsize: 150864 KiB
Current children cumulated memory: 85600 KiB

[startup+1302.3 s]
/proc/loadavg: 4.12 4.10 3.23 5/265 164613
/proc/meminfo: memFree=121663700/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=151656 memory=86368 CPUtime=1298.39 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 17180 0 0 0 126809 3030 0 0 20 0 1 0 241595706 155295744 21592 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 37914 21592 2496 595 0 22581 0
Current children cumulated CPU time: 1298.39 s
Current children cumulated vsize: 151656 KiB
Current children cumulated memory: 86368 KiB

[startup+1362.3 s]
/proc/loadavg: 4.09 4.09 3.28 5/266 164616
/proc/meminfo: memFree=121661276/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=152440 memory=87204 CPUtime=1358.22 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 17458 0 0 0 132678 3144 0 0 20 0 1 0 241595706 156098560 21801 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 38110 21801 2496 595 0 22777 0
Current children cumulated CPU time: 1358.22 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 87204 KiB

[startup+1365.69 s]
# the end of solver process 164320 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1330.05 s, system=31.561 s

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

[startup+1363.2 s]
/proc/loadavg: 4.09 4.09 3.28 5/266 164616
/proc/meminfo: memFree=121661292/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=152440 memory=87204 CPUtime=1359.12 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 17458 0 0 0 132765 3147 0 0 20 0 1 0 241595706 156098560 21801 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 38110 21801 2496 595 0 22777 0
Current children cumulated CPU time: 1359.12 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 87204 KiB

[startup+1364.8 s]
/proc/loadavg: 4.09 4.09 3.28 5/266 164616
/proc/meminfo: memFree=121661292/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=152440 memory=87204 CPUtime=1360.72 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 17458 0 0 0 132920 3152 0 0 20 0 1 0 241595706 156098560 21801 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 38110 21801 2496 595 0 22777 0
Current children cumulated CPU time: 1360.72 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 87204 KiB

[startup+1365.2 s]
/proc/loadavg: 4.09 4.09 3.28 5/266 164616
/proc/meminfo: memFree=121661292/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=152440 memory=87204 CPUtime=1361.12 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 17458 0 0 0 132958 3154 0 0 20 0 1 0 241595706 156098560 21801 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 38110 21801 2496 595 0 22777 0
Current children cumulated CPU time: 1361.12 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 87204 KiB

[startup+1365.6 s]
/proc/loadavg: 4.09 4.09 3.28 5/266 164616
/proc/meminfo: memFree=121661292/131250000 swapFree=33010416/33010684
[pid=164320] ppid=164311 vsize=152440 memory=87204 CPUtime=1361.51 cores=4,6
/proc/164320/stat : 164320 (SynLSCD) R 164311 164320 164070 0 -1 4194304 17458 0 0 0 132996 3155 0 0 20 0 1 0 241595706 156098560 21801 18446744073709551615 94348025262080 94348027696681 140726589521216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94348028177656 94348028210688 94348056096768 140726589528451 140726589528586 140726589528586 140726589534190 0
/proc/164320/statm: 38110 21801 2496 595 0 22777 0
Current children cumulated CPU time: 1361.51 s
Current children cumulated vsize: 152440 KiB
Current children cumulated memory: 87204 KiB

Child status: 30

Real time (s): 1365.69
CPU time (s): 1361.61
CPU user time (s): 1330.05
CPU system time (s): 31.561
CPU usage (%): 99.7014
Max. virtual memory (cumulated for all children) (KiB): 152440
Max. memory (cumulated for all children) (KiB): 87204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1330.05
system time used= 31.561
maximum resident set size= 87204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17483
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= 157
involuntary context switches= 1216


# summary of solver processes directly reported to runsolver:
#   pid: 164320
#   total CPU time (s): 1361.61
#   total CPU user time (s): 1330.05
#   total CPU system time (s): 31.561

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.92882 second user time and 5.16836 second system time

The end

Launcher Data

Begin job on nodeC028 at 2025-07-23 10:35:30
IDJOB=4545637
IDBENCH=147891
IDSOLVER=3421
FILE ID=nodeC028/4545637-1753259729
RUNJOBID= nodeC028-1753259701-164088
SLURM_JOB_ID= 9689183
Free space on /tmp= 433016 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545637-1753259729/watcher-4545637-1753259729 -o /tmp/evaluation-result-4545637-1753259729/solver-4545637-1753259729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753259701-164088 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545637-1753259729.opb

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

MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=554905260

nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3601.301
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 1199.944
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.290
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3599.893
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 1199.882
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3593.557
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 1388.322
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121818988 kB
MemAvailable:   129725644 kB
Buffers:            2132 kB
Cached:          8673484 kB
SwapCached:            4 kB
Active:          1024248 kB
Inactive:        7716288 kB
Active(anon):      82868 kB
Inactive(anon):     8308 kB
Active(file):     941380 kB
Inactive(file):  7707980 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             39448 kB
Writeback:             0 kB
AnonPages:         68056 kB
Mapped:           109084 kB
Shmem:             26256 kB
KReclaimable:     193068 kB
Slab:             289020 kB
SReclaimable:     193068 kB
SUnreclaim:        95952 kB
KernelStack:        4112 kB
PageTables:         2940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     341784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC028 at 2025-07-23 10:58:18