Trace number 4425557

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
Exact_no_SoPlex 2024-07-05MSAT (TO) 3600.09 3609.16

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-30_wcsp.wbo
MD5SUM78328f487213678b2b5d4b2f93871f54
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2080
Best CPU time to get the best result obtained on this benchmark1252
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1018
Total number of constraints50646
Number of soft constraints50547
Number of constraints which are clauses50547
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 245952
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 7842900
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.29/0.38	o 50677
0.40/0.43	o 7892
0.40/0.50	o 7891
0.50/0.57	o 7881
0.78/0.80	o 7816
4.87/4.97	o 7806
10.26/10.38	o 7648
10.36/10.50	o 7640
18.23/18.33	o 7548
19.34/19.45	o 7457
19.54/19.61	o 7456
19.64/19.77	o 7448
32.70/32.83	o 7361
36.48/36.68	o 7350
37.08/37.28	o 7349
56.12/56.31	o 7346
56.22/56.44	o 7345
56.32/56.58	o 7344
57.92/58.13	o 7333
67.80/68.09	o 7326
67.90/68.16	o 7325
67.99/68.26	o 7324
73.67/73.92	o 7134
80.76/81.01	o 6965
89.63/89.93	o 6964
89.93/90.25	o 6963
90.53/90.88	o 6875
93.72/94.08	o 6863
130.11/130.58	o 6743
154.73/155.26	o 6728
154.93/155.47	o 6727
155.13/155.65	o 6726
155.23/155.75	o 6627
159.12/159.60	o 6605
159.32/159.83	o 6599
159.42/159.96	o 6598
169.19/169.74	o 6573
169.29/169.82	o 6562
169.39/169.90	o 6561
169.60/170.15	o 6528
169.69/170.29	o 6521
170.19/170.70	o 6500
173.87/174.48	o 6407
390.75/391.99	o 6339
478.29/479.70	o 6336
501.63/503.11	o 5916
501.72/503.21	o 5906
510.00/511.55	o 5841
781.31/783.61	o 5820
781.31/783.66	o 5819
781.41/783.78	o 5818
781.51/783.84	o 5817
785.20/787.54	o 5708
785.30/787.63	o 5707
787.09/789.49	o 5705
787.59/789.92	o 5704
848.91/851.40	o 5694
889.59/892.20	o 5613
889.59/892.29	o 5612
889.69/892.39	o 5611
924.58/927.32	o 5600
924.78/927.54	o 5590
924.88/927.61	o 5588
924.88/927.69	o 5587
925.18/927.98	o 5585
925.88/928.62	o 5501
925.88/928.69	o 5500
925.98/928.78	o 5490
926.08/928.85	o 5488
926.18/928.93	o 5486
926.48/929.27	o 5485
927.67/930.44	o 5484
927.77/930.52	o 5482
927.87/930.62	o 5481
933.46/936.27	o 5432
933.56/936.35	o 5431
933.66/936.46	o 5421
933.76/936.54	o 5419
933.86/936.66	o 5417
934.86/937.62	o 5413
982.22/985.15	o 5412
982.32/985.25	o 5410
982.61/985.52	o 5394
983.41/986.31	o 5352
988.50/991.41	o 5343
988.60/991.53	o 5232
1269.47/1273.15	o 5228
1269.47/1273.19	o 5227
1269.67/1273.32	o 5226
1269.67/1273.37	o 5215
1269.77/1273.42	o 5214
1269.87/1273.56	o 5206
1269.96/1273.67	o 5205
1270.06/1273.79	o 5195
1270.26/1273.99	o 5185
1273.46/1277.16	o 5172
1273.56/1277.21	o 5163
1273.96/1277.60	o 5102
1274.06/1277.77	o 5094
1274.15/1277.87	o 5093
1274.36/1278.01	o 5083
1274.46/1278.13	o 4805
1325.73/1329.53	o 4796
1325.83/1329.68	o 4795
1326.03/1329.86	o 4794
1326.13/1329.92	o 4785
1350.77/1354.62	o 4776
1350.87/1354.74	o 4775
1350.97/1354.86	o 4765
1354.27/1358.15	o 4684
1590.11/1594.58	o 4674
1735.96/1740.73	o 4673
1736.26/1741.10	o 4665
1736.36/1741.14	o 4664
1736.46/1741.20	o 4662
1737.26/1742.09	o 4656
1737.36/1742.13	o 4655
1737.45/1742.26	o 4653
1738.95/1743.70	o 4645
1738.95/1743.75	o 4644
1739.05/1743.81	o 4642
1782.54/1787.40	o 4622
1782.54/1787.48	o 4620
1782.94/1787.88	o 4588
1811.87/1816.83	o 4577
1811.97/1816.90	o 4576
1811.97/1816.98	o 4574
1812.08/1817.08	o 4573
1812.27/1817.26	o 4563
1812.37/1817.39	o 4283
1817.26/1822.21	o 4273
1863.46/1868.52	o 4160
1898.38/1903.51	o 4158
1898.48/1903.67	o 4150
2228.31/2234.24	o 4121
2228.41/2234.30	o 4111
2228.41/2234.36	o 4091
2283.58/2289.63	o 3881
2510.25/2516.81	o 3872
2510.25/2516.85	o 3871
2510.35/2516.92	o 3862
2510.46/2517.04	o 3861
2510.56/2517.13	o 3860
2510.65/2517.26	o 3848
2510.95/2517.53	o 3844
2517.63/2524.29	o 3842
2518.73/2525.35	o 3642
3119.33/3127.31	o 3627
3119.33/3127.39	o 3625
3364.96/3373.52	o 3624
3365.06/3373.62	o 3623
3365.66/3374.21	o 3600
3365.76/3374.35	o 3589
3365.96/3374.54	o 3588
3369.05/3377.60	o 3576
3432.91/3441.69	o 3556
3441.29/3450.09	o 3546
3451.56/3460.39	o 3536
3600.03/3609.11	c Program interrupted by user.
3600.03/3609.11	s SATISFIABLE
3600.03/3609.11	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

Verifier Data 

OK	3536

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: 63931 MiB (62340 MiB free)
  memory of node 1: 64510 MiB (42524 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425557-1720881961/watcher-4425557-1720881961 -o /tmp/evaluation-result-4425557-1720881961/solver-4425557-1720881961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1720878365-714469 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=288776709 HOME/instance-4425557-1720881961.wbo 

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 4.18.0-301.1.el8.x86_64

Current StackSize limit: 8192 KiB

solver pid=716525, runsolver pid=716522

[startup+0.100568 s]*
/proc/loadavg: 4.09 4.09 4.09 5/255 716526
/proc/meminfo: memFree=115060616/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=79304 memory=53744 CPUtime=0.09 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 15682 0 0 0 7 2 0 0 20 0 1 0 140364402 81207296 13857 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 19826 13857 755 746 0 18890 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79304 KiB
Current children cumulated memory: 53744 KiB

[startup+0.205631 s]*
/proc/loadavg: 4.09 4.09 4.09 5/255 716526
/proc/meminfo: memFree=115046976/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=106384 memory=86848 CPUtime=0.2 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 24706 0 0 0 16 4 0 0 20 0 1 0 140364402 108937216 21712 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 26596 21712 771 746 0 25660 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106384 KiB
Current children cumulated memory: 86848 KiB

[startup+0.305601 s]*
/proc/loadavg: 4.09 4.09 4.09 5/255 716526
/proc/meminfo: memFree=115030620/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=122016 memory=106304 CPUtime=0.29 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 28536 0 0 0 25 4 0 0 20 0 1 0 140364402 124944384 26576 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 30504 26576 787 746 0 29568 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 122016 KiB
Current children cumulated memory: 106304 KiB

[startup+0.700245 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 716526
/proc/meminfo: memFree=119642048/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=136252 memory=124096 CPUtime=0.69 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 31877 0 0 0 64 5 0 0 20 0 1 0 140364402 139522048 31024 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 34063 31024 851 746 0 33127 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136252 KiB
Current children cumulated memory: 124096 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.09 4.09 5/253 716540
/proc/meminfo: memFree=125925188/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=155528 memory=136968 CPUtime=1.48 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 33759 0 0 0 142 6 0 0 20 0 1 0 140364402 159260672 34242 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 38882 34242 851 746 0 37946 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155528 KiB
Current children cumulated memory: 136968 KiB

[startup+3.10533 s]
/proc/loadavg: 4.00 4.07 4.08 5/255 716572
/proc/meminfo: memFree=125685776/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=166220 memory=155652 CPUtime=3.09 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 36432 0 0 0 302 7 0 0 20 0 1 0 140364402 170209280 38913 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 41555 38913 851 746 0 40619 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 166220 KiB
Current children cumulated memory: 155652 KiB

[startup+6.3002 s]
/proc/loadavg: 4.00 4.07 4.08 5/255 716620
/proc/meminfo: memFree=125916636/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=209988 memory=188672 CPUtime=6.27 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 42055 0 0 0 618 9 0 0 20 0 1 0 140364402 215027712 47168 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 52497 47168 851 746 0 51561 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 209988 KiB
Current children cumulated memory: 188672 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 716621
/proc/meminfo: memFree=125639700/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=293316 memory=257332 CPUtime=12.65 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 53552 0 0 0 1254 11 0 0 20 0 1 0 140364402 300355584 64333 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 73329 64333 851 746 0 72393 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 293316 KiB
Current children cumulated memory: 257332 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 716624
/proc/meminfo: memFree=125343172/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=320556 memory=311816 CPUtime=25.42 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 60665 0 0 0 2529 13 0 0 20 0 1 0 140364402 328249344 77954 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 80139 77954 851 746 0 79203 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 320556 KiB
Current children cumulated memory: 311816 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.08 4.08 5/256 716627
/proc/meminfo: memFree=124874212/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=447464 memory=419848 CPUtime=50.95 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 75622 0 0 0 5076 19 0 0 20 0 1 0 140364402 458203136 104962 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 111866 104962 851 746 0 110930 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 447464 KiB
Current children cumulated memory: 419848 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/256 716636
/proc/meminfo: memFree=123640708/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=753536 memory=734488 CPUtime=101.99 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 120786 0 0 0 10168 31 0 0 20 0 1 0 140364402 771620864 183622 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 188384 183622 851 746 0 187448 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 753536 KiB
Current children cumulated memory: 734488 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/256 716647
/proc/meminfo: memFree=122878020/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=1193608 memory=999960 CPUtime=161.81 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 163677 0 0 0 16136 45 0 0 20 0 1 0 140364402 1222254592 249990 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 298402 249990 851 746 0 297466 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1193608 KiB
Current children cumulated memory: 999960 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 716657
/proc/meminfo: memFree=122375876/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=1578252 memory=1188120 CPUtime=221.64 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 179003 0 0 0 22105 59 0 0 20 0 1 0 140364402 1616130048 297030 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 394563 297030 851 746 0 393627 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1578252 KiB
Current children cumulated memory: 1188120 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/258 716672
/proc/meminfo: memFree=122117156/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=1579056 memory=1201368 CPUtime=281.46 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 182649 0 0 0 28086 60 0 0 20 0 1 0 140364402 1616953344 300342 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 394764 300342 851 746 0 393828 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 1579056 KiB
Current children cumulated memory: 1201368 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 716682
/proc/meminfo: memFree=120918268/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=1994060 memory=1483676 CPUtime=341.29 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 243394 0 0 0 34060 69 0 0 20 0 1 0 140364402 2041917440 370919 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 498515 370919 851 746 0 497579 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 1994060 KiB
Current children cumulated memory: 1483676 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 716693
/proc/meminfo: memFree=119258636/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2095848 memory=1978768 CPUtime=401.12 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 294315 0 0 0 40028 84 0 0 20 0 1 0 140364402 2146148352 494692 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 523962 494692 851 746 0 523026 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 2095848 KiB
Current children cumulated memory: 1978768 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 716703
/proc/meminfo: memFree=119071564/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2095848 memory=1978780 CPUtime=460.94 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 294723 0 0 0 46010 84 0 0 20 0 1 0 140364402 2146148352 494695 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 523962 494695 851 746 0 523026 0
Current children cumulated CPU time: 460.94 s

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

Current children cumulated memory: 2344444 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/259 718385
/proc/meminfo: memFree=113032544/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2376740 memory=2344644 CPUtime=2914.8 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 390384 0 0 0 291364 116 0 0 20 0 1 0 140364402 2433781760 586161 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 594185 586161 851 746 0 593249 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 2376740 KiB
Current children cumulated memory: 2344644 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 718395
/proc/meminfo: memFree=112994760/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2382948 memory=2350716 CPUtime=2974.66 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 392662 0 0 0 297350 116 0 0 20 0 1 0 140364402 2440138752 587679 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 595737 587679 851 746 0 594801 0
Current children cumulated CPU time: 2974.66 s
Current children cumulated vsize: 2382948 KiB
Current children cumulated memory: 2350716 KiB

[startup+3042.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/255 718405
/proc/meminfo: memFree=112993860/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2382948 memory=2350868 CPUtime=3034.52 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 393594 0 0 0 303336 116 0 0 20 0 1 0 140364402 2440138752 587717 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 595737 587717 851 746 0 594801 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 2382948 KiB
Current children cumulated memory: 2350868 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/255 718417
/proc/meminfo: memFree=112992440/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2383252 memory=2351072 CPUtime=3094.39 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 394583 0 0 0 309323 116 0 0 20 0 1 0 140364402 2440450048 587768 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 595813 587768 851 746 0 594877 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 2383252 KiB
Current children cumulated memory: 2351072 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 718427
/proc/meminfo: memFree=112970444/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2387652 memory=2355412 CPUtime=3154.25 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 396547 0 0 0 315308 117 0 0 20 0 1 0 140364402 2444955648 588853 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 596913 588853 851 746 0 595977 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 2387652 KiB
Current children cumulated memory: 2355412 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/255 718437
/proc/meminfo: memFree=112962700/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2387652 memory=2355420 CPUtime=3214.11 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 397452 0 0 0 321294 117 0 0 20 0 1 0 140364402 2444955648 588855 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 596913 588855 851 746 0 595977 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 2387652 KiB
Current children cumulated memory: 2355420 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/258 718453
/proc/meminfo: memFree=112943068/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2392992 memory=2360904 CPUtime=3273.97 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 399171 0 0 0 327280 117 0 0 20 0 1 0 140364402 2450423808 590226 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 598248 590226 851 746 0 597312 0
Current children cumulated CPU time: 3273.97 s
Current children cumulated vsize: 2392992 KiB
Current children cumulated memory: 2360904 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/258 718463
/proc/meminfo: memFree=112907188/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2393152 memory=2361016 CPUtime=3333.83 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 400069 0 0 0 333266 117 0 0 20 0 1 0 140364402 2450587648 590254 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 598288 590254 851 746 0 597352 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 2393152 KiB
Current children cumulated memory: 2361016 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/258 718474
/proc/meminfo: memFree=112873380/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2398464 memory=2365944 CPUtime=3393.7 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 402283 0 0 0 339252 118 0 0 20 0 1 0 140364402 2456027136 591486 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 599616 591486 851 746 0 598680 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 2398464 KiB
Current children cumulated memory: 2365944 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 718485
/proc/meminfo: memFree=112838904/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2398600 memory=2366224 CPUtime=3453.56 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 403078 0 0 0 345238 118 0 0 20 0 1 0 140364402 2456166400 591556 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 599650 591556 851 746 0 598714 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 2398600 KiB
Current children cumulated memory: 2366224 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/258 718497
/proc/meminfo: memFree=112801496/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2398744 memory=2366308 CPUtime=3513.42 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 404146 0 0 0 351224 118 0 0 20 0 1 0 140364402 2456313856 591577 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 599686 591577 851 746 0 598750 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 2398744 KiB
Current children cumulated memory: 2366308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 718507
/proc/meminfo: memFree=112743276/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2406572 memory=2374084 CPUtime=3573.28 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 407178 0 0 0 357209 119 0 0 20 0 1 0 140364402 2464329728 593521 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 601643 593521 851 746 0 600707 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 2406572 KiB
Current children cumulated memory: 2374084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.08 4.12 4.10 5/255 718512
/proc/meminfo: memFree=112730316/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2406572 memory=2374084 CPUtime=3600.03 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 407382 0 0 0 359884 119 0 0 20 0 1 0 140364402 2464329728 593521 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 601643 593521 851 746 0 600707 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2406572 KiB
Current children cumulated memory: 2374084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.89 s, system=1.20237 s

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

[startup+3609.11 s]
/proc/loadavg: 4.08 4.12 4.10 5/255 718512
/proc/meminfo: memFree=112730316/131524600 swapFree=131071996/131071996
[pid=716525] ppid=716522 vsize=2406572 memory=2374084 CPUtime=3600.03 cores=4,6
/proc/716525/stat : 716525 (Exact_nosoplex) R 716522 716525 711737 0 -1 4194304 407382 0 0 0 359884 119 0 0 20 0 1 0 140364402 2464329728 593521 134679101440 4194304 7248369 140728360216752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 25915392 140728360223635 140728360223813 140728360223813 140728360230854 0
/proc/716525/statm: 601643 593521 851 746 0 600707 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2406572 KiB
Current children cumulated memory: 2374084 KiB

Child status: 10

Real time (s): 3609.16
CPU time (s): 3600.09
CPU user time (s): 3598.89
CPU system time (s): 1.20237
CPU usage (%): 99.7487
Max. virtual memory (cumulated for all children) (KiB): 2406572
Max. memory (cumulated for all children) (KiB): 2374084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.20237
maximum resident set size= 2374152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407477
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= 63
involuntary context switches= 3836


# summary of solver processes directly reported to runsolver:
#   pid: 716525
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.89
#   total CPU system time (s): 1.20237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8466 second user time and 17.014 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-13 16:46:14
IDJOB=4425557
IDBENCH=143867
IDSOLVER=3039
FILE ID=nodeC031/4425557-1720881961
RUNJOBID= nodeC031-1720878365-714469
SLURM_JOB_ID= 7483772
Free space on /tmp= 890056 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-30_wcsp.wbo
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425557-1720881961/watcher-4425557-1720881961 -o /tmp/evaluation-result-4425557-1720881961/solver-4425557-1720881961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1720878365-714469 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=288776709 HOME/instance-4425557-1720881961.wbo

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

MD5SUM BENCH= 78328f487213678b2b5d4b2f93871f54
RANDOM SEED=288776709

nodeC031.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		: 3666.789
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.55
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		: 3683.406
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	: 7006.11
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		: 3607.660
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.55
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		: 3599.872
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	: 7006.11
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		: 3655.205
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.55
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		: 3683.462
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	: 7006.11
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		: 3656.061
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.55
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		: 3600.040
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107382436 kB
MemAvailable:   107582572 kB
Buffers:          321672 kB
Cached:           722056 kB
SwapCached:            0 kB
Active:           492544 kB
Inactive:       23039452 kB
Active(anon):       1536 kB
Inactive(anon): 22524456 kB
Active(file):     491008 kB
Inactive(file):   514996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6100 kB
Writeback:             0 kB
AnonPages:      22486532 kB
Mapped:           111684 kB
Shmem:             37720 kB
KReclaimable:      67560 kB
Slab:             165904 kB
SReclaimable:      67560 kB
SUnreclaim:        98344 kB
KernelStack:        4112 kB
PageTables:        55912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   25662216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55744 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13058048 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:      160468 kB
DirectMap2M:    11147264 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC031 at 2024-07-13 17:46:23