Trace number 4437519

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT21 3587 3596.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUMb4b357048b7fd6a2befaa81502734110
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark3600.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
Number of bits of the biggest sum of numbers13
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 

3586.96/3596.01	o 980
3586.96/3596.01	o 831
3586.96/3596.01	o 829
3586.96/3596.01	o 826
3586.96/3596.01	o 818
3586.96/3596.01	o 794
3586.96/3596.01	o 762
3586.96/3596.01	o 754
3586.96/3596.01	o 750
3586.96/3596.01	o 748
3586.96/3596.01	o 746
3586.96/3596.01	o 684
3586.96/3596.01	o 682
3586.96/3596.01	o 674
3586.96/3596.01	o 670
3586.96/3596.01	o 668
3586.96/3596.01	o 666
3586.96/3596.01	o 660
3586.96/3596.01	o 658
3586.96/3596.01	o 656
3586.96/3596.01	o 654
3586.96/3596.01	o 652
3586.96/3596.01	o 648
3586.96/3596.01	o 646
3586.96/3596.01	o 582
3586.96/3596.01	o 520
3586.96/3596.01	o 518
3586.96/3596.01	o 486
3586.96/3596.01	o 484
3586.96/3596.01	o 482
3586.96/3596.01	o 480
3586.96/3596.01	o 478
3586.96/3596.01	o 470
3586.96/3596.01	o 462
3586.96/3596.01	o 458
3586.96/3596.01	o 456
3586.96/3596.01	o 422
3586.96/3596.01	o 420
3586.96/3596.01	o 418
3586.96/3596.01	o 416
3586.96/3596.01	o 414
3586.96/3596.01	o 412
3586.96/3596.01	o 410
3586.96/3596.01	o 408
3586.96/3596.01	o 406
3586.96/3596.01	o 402
3586.96/3596.01	o 398
3586.96/3596.01	o 396
3586.96/3596.01	o 393
3586.96/3596.01	o 391
3586.96/3596.01	o 389
3586.96/3596.01	o 387
3586.96/3596.01	o 385
3586.96/3596.01	o 377
3586.96/3596.01	o 369
3586.96/3596.01	o 353
3586.96/3596.01	o 351
3586.96/3596.01	o 349
3586.96/3596.01	o 347
3586.96/3596.01	o 346
3586.96/3596.01	o 342
3586.96/3596.01	o 341
3586.96/3596.01	o 337
3586.96/3596.01	o 241
3586.96/3596.01	o 225
3586.96/3596.01	o 217
3586.96/3596.01	o 213
3586.96/3596.01	o 212
3586.96/3596.01	o 210
3586.96/3596.01	o 209
3586.96/3596.01	o 207
3586.96/3596.01	o 205
3586.96/3596.01	o 201
3586.96/3596.01	o 197
3586.96/3596.01	o 183
3586.96/3596.01	o 181
3586.96/3596.01	o 179
3586.96/3596.01	o 177
3586.96/3596.01	o 175
3586.96/3596.01	o 173
3586.96/3596.01	o 171
3586.96/3596.01	o 167
3586.96/3596.01	o 165
3586.96/3596.01	o 163
3586.96/3596.01	o 159
3586.96/3596.01	o 157
3586.96/3596.01	o 155
3586.96/3596.01	o 147
3586.96/3596.01	o 143
3586.96/3596.01	o 141
3586.96/3596.01	o 139
3586.96/3596.01	o 137
3586.96/3596.01	o 129
3586.96/3596.01	o 127
3586.96/3596.01	o 126
3586.96/3596.01	o 124
3586.96/3596.01	o 118
3586.96/3596.01	o 116
3586.96/3596.01	o 115
3586.96/3596.01	o 107
3586.96/3596.01	o 103
3586.96/3596.01	o 83
3586.96/3596.01	o 79
3586.96/3596.01	o 75
3586.96/3596.01	o 74
3586.96/3596.01	o 70
3586.96/3596.01	o 66
3586.96/3596.01	o 64
3586.96/3596.01	o 62
3586.96/3596.01	o 60
3586.96/3596.01	o 58
3586.96/3596.01	o 56
3586.96/3596.01	o 53
3586.96/3596.01	o 49
3586.96/3596.01	o 45
3586.96/3596.01	o 44
3586.96/3596.01	o 42
3586.96/3596.01	o 38
3586.96/3596.01	o 36
3586.96/3596.01	o 34
3586.96/3596.01	o 33
3586.96/3596.01	o 31
3586.96/3596.01	o 27
3586.96/3596.01	o 23
3586.96/3596.01	o 21
3586.96/3596.01	c Program interrupted by user.
3586.96/3596.01	s SATISFIABLE
3586.96/3596.01	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

Verifier Data 

OK	21

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437519-1722957289/watcher-4437519-1722957289 -o /tmp/evaluation-result-4437519-1722957289/solver-4437519-1722957289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722948202-335476 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437519-1722957289.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=340913, runsolver pid=340910
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 340917
/proc/meminfo: memFree=120669592/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=0.09 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 301 0 0 0 9 0 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+0.205733 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 340917
/proc/meminfo: memFree=120669592/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=0.2 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 301 0 0 0 20 0 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+0.305229 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 340917
/proc/meminfo: memFree=120666684/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=0.29 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 301 0 0 0 29 0 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+0.700202 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 340917
/proc/meminfo: memFree=120666216/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=0.69 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 301 0 0 0 67 2 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 340917
/proc/meminfo: memFree=120665516/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=1.48 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 301 0 0 0 142 6 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+3.10566 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 340919
/proc/meminfo: memFree=120661564/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=3.09 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 301 0 0 0 294 15 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 340919
/proc/meminfo: memFree=120649904/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=6.27 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 301 0 0 0 597 30 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 340921
/proc/meminfo: memFree=120626316/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=12.67 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 302 0 0 0 1209 58 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 340922
/proc/meminfo: memFree=120585404/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=25.44 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 304 0 0 0 2427 117 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+51.1051 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 340925
/proc/meminfo: memFree=120459896/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 707 631 264 0 134 0
[pid=340916] ppid=340913 vsize=8660 memory=988 CPUtime=0 cores=5,7
/proc/340916/stat : 340916 (timeout) S 340913 340916 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62326848 8867840 247 134679101440 94923137064960 94923137099976 140721544243024 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94923139197392 94923139199524 94923153674240 140721544246307 140721544246429 140721544246429 140721544253415 0
/proc/340916/statm: 2165 247 223 9 0 87 0
[pid=340917] ppid=340916 vsize=19536 memory=7492 CPUtime=51 cores=5,7
/proc/340917/stat : 340917 (LS-MabP) R 340916 340916 335463 0 -1 4194304 306 0 0 0 4860 240 0 0 20 0 1 0 62326848 20004864 1873 134679101440 4194304 15467897 140733544243808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 53215232 140733544252471 140733544252580 140733544252580 140733544259566 0
/proc/340917/statm: 4884 1873 1153 2753 0 1537 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 38128 KiB
Current children cumulated memory: 11308 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 340938
/proc/meminfo: memFree=120418484/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 62326848 10170368 707 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0

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

/proc/342043/statm: 10284 7726 804 745 0 9349 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 59728 KiB
Current children cumulated memory: 34804 KiB

[startup+3462.3 s]
/proc/loadavg: 2.37 2.16 2.42 3/247 342918
/proc/meminfo: memFree=121525204/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41264 memory=31032 CPUtime=1659.36 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 24888 0 0 0 165932 4 0 0 20 0 1 0 62506649 42254336 7758 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10316 7758 804 745 0 9381 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 59856 KiB
Current children cumulated memory: 34932 KiB

[startup+3522.3 s]
/proc/loadavg: 2.23 2.16 2.40 3/247 342928
/proc/meminfo: memFree=121524440/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41228 memory=30996 CPUtime=1719.18 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 25611 0 0 0 171914 4 0 0 20 0 1 0 62506649 42217472 7749 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10307 7749 804 745 0 9372 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 59820 KiB
Current children cumulated memory: 34896 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.14 2.38 3/248 342940
/proc/meminfo: memFree=121523316/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41392 memory=31164 CPUtime=1779 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 26368 0 0 0 177896 4 0 0 20 0 1 0 62506649 42385408 7791 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10348 7791 804 745 0 9413 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 59984 KiB
Current children cumulated memory: 35064 KiB

[startup+3596.02 s]
# the end of solver process 340913 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3498.26 s, system=88.7387 s

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

[startup+3584 s]*
/proc/loadavg: 2.12 2.14 2.38 3/248 342940
/proc/meminfo: memFree=121523308/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41400 memory=31172 CPUtime=1780.7 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 26457 0 0 0 178066 4 0 0 20 0 1 0 62506649 42393600 7793 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10350 7793 804 745 0 9415 0
Current children cumulated CPU time: 3574.99 s
Current children cumulated vsize: 59992 KiB
Current children cumulated memory: 35072 KiB

[startup+3590.4 s]
/proc/loadavg: 2.19 2.16 2.38 3/248 342940
/proc/meminfo: memFree=121523308/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41400 memory=31172 CPUtime=1787.08 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 26457 0 0 0 178704 4 0 0 20 0 1 0 62506649 42393600 7793 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10350 7793 804 745 0 9415 0
Current children cumulated CPU time: 3581.37 s
Current children cumulated vsize: 59992 KiB
Current children cumulated memory: 35072 KiB

[startup+3593.6 s]
/proc/loadavg: 2.18 2.15 2.38 3/248 342941
/proc/meminfo: memFree=121523028/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41388 memory=31160 CPUtime=1790.27 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 26541 0 0 0 179023 4 0 0 20 0 1 0 62506649 42381312 7790 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10347 7790 804 745 0 9412 0
Current children cumulated CPU time: 3584.56 s
Current children cumulated vsize: 59980 KiB
Current children cumulated memory: 35060 KiB

[startup+3595.2 s]
/proc/loadavg: 2.18 2.15 2.38 3/248 342941
/proc/meminfo: memFree=121523028/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41388 memory=31160 CPUtime=1791.86 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 26541 0 0 0 179182 4 0 0 20 0 1 0 62506649 42381312 7790 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10347 7790 804 745 0 9412 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 59980 KiB
Current children cumulated memory: 35060 KiB

[startup+3595.6 s]
/proc/loadavg: 2.18 2.15 2.38 3/248 342941
/proc/meminfo: memFree=121523028/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41388 memory=31160 CPUtime=1792.26 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 26541 0 0 0 179222 4 0 0 20 0 1 0 62506649 42381312 7790 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10347 7790 804 745 0 9412 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 59980 KiB
Current children cumulated memory: 35060 KiB

[startup+3596 s]*
/proc/loadavg: 2.18 2.15 2.38 3/248 342941
/proc/meminfo: memFree=121523028/131524600 swapFree=131071472/131071996
[pid=340913] ppid=340910 vsize=9932 memory=2880 CPUtime=1794.29 cores=5,7
/proc/340913/stat : 340913 (Hybrid-LSMabP+E) S 340910 340913 335463 0 -1 4194304 270 535 0 0 0 0 170561 8868 20 0 1 0 62326848 10170368 720 134679101440 94670177202176 94670178281496 140728410236816 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94670180379952 94670180427140 94670195576832 140728410239978 140728410240123 140728410240123 140728410247138 0
/proc/340913/statm: 2483 720 631 264 0 134 0
[pid=342042] ppid=340913 vsize=8660 memory=1020 CPUtime=0 cores=5,7
/proc/342042/stat : 342042 (timeout) S 340913 342042 335463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62506649 8867840 255 134679101440 94587361263616 94587361298632 140732866700064 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94587363396048 94587363398180 94587392528384 140732866708468 140732866708637 140732866708637 140732866715623 0
/proc/342042/statm: 2165 255 231 9 0 87 0
[pid=342043] ppid=342042 vsize=41388 memory=31160 CPUtime=1792.67 cores=5,7
/proc/342043/stat : 342043 (Exact) R 342042 342042 335463 0 -1 4194304 26541 0 0 0 179263 4 0 0 20 0 1 0 62506649 42381312 7790 134679101440 4194304 7243121 140732728876512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 29167616 140732728882192 140732728882342 140732728882342 140732728889328 0
/proc/342043/statm: 10347 7790 804 745 0 9412 0
Current children cumulated CPU time: 3586.96 s
Current children cumulated vsize: 59980 KiB
Current children cumulated memory: 35060 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3587
CPU user time (s): 3498.26
CPU system time (s): 88.7387
CPU usage (%): 99.7491
Max. virtual memory (cumulated for all children) (KiB): 60396
Max. memory (cumulated for all children) (KiB): 35260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3498.26
system time used= 88.7387
maximum resident set size= 31432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 1727


# summary of solver processes directly reported to runsolver:
#   pid: 340913
#   total CPU time (s): 3587
#   total CPU user time (s): 3498.26
#   total CPU system time (s): 88.7387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24149 second user time and 13.6571 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-08-06 17:14:49
IDJOB=4437519
IDBENCH=147578
IDSOLVER=3071
FILE ID=nodeC020/4437519-1722957289
RUNJOBID= nodeC020-1722948202-335476
SLURM_JOB_ID= 8259001
Free space on /tmp= 890004 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437519-1722957289/watcher-4437519-1722957289 -o /tmp/evaluation-result-4437519-1722957289/solver-4437519-1722957289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722948202-335476 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437519-1722957289.opb 3600 HOME 31000

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

MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=919941039

nodeC020.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.286
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	: 7000.38
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		: 3670.824
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	: 7007.00
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.314
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	: 7000.38
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		: 3600.650
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	: 7007.00
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		: 3666.304
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	: 7000.38
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		: 3667.384
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	: 7007.00
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		: 3600.219
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	: 7000.38
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		: 3668.043
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	: 7007.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120673688 kB
MemAvailable:   128882848 kB
Buffers:          341076 kB
Cached:          8692804 kB
SwapCached:           28 kB
Active:           626252 kB
Inactive:        9661728 kB
Active(anon):       1920 kB
Inactive(anon):  1289844 kB
Active(file):     624332 kB
Inactive(file):  8371884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             21076 kB
Writeback:             0 kB
AnonPages:       1252096 kB
Mapped:           109060 kB
Shmem:             37668 kB
KReclaimable:     105184 kB
Slab:             198536 kB
SReclaimable:     105184 kB
SUnreclaim:        93352 kB
KernelStack:        4272 kB
PageTables:        12164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1973664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            26912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    733184 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:      287444 kB
DirectMap2M:    27797504 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC020 at 2024-08-06 18:14:46