Trace number 4436952

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-LSMabSP+CASHWMaxSATDisjCom 2024-07-11SAT-81 3587.48 3596.03

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb
MD5SUM28e415f3c4d8dab53aac16682d7f066d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark7.64941
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables223
Total number of constraints386
Number of constraints which are clauses193
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints193
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 223
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3587.42/3596.02	c Filename:instance-4436952-1722984623.opb, Cutoff_time:1798, memory_limit_gb:29976
3587.42/3596.02	c Use Presolve
3587.42/3596.02	c Parse finsih
3587.42/3596.02	c Start Presolve
3587.42/3596.02	c After Reduce Vars: 223 Clauses: 609 Top clause weight: 2377 Hard Clauses: 386
3587.42/3596.02	c Use LS-small
3587.42/3596.02	c Use postsolve
3587.42/3596.02	o -81
3587.42/3596.02	s SATISFIABLE
3587.42/3596.02	c Use postsolve
3587.42/3596.02	v -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 -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 
3587.42/3596.03	c Done 15.77s

Verifier Data 

OK	-81

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436952-1722984623/watcher-4436952-1722984623 -o /tmp/evaluation-result-4436952-1722984623/solver-4436952-1722984623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345100 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436952-1722984623.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

Current StackSize limit: 8192 KiB

solver pid=345828, runsolver pid=345825

[startup+0.100709 s]*
/proc/loadavg: 4.15 3.58 3.11 5/248 345832
/proc/meminfo: memFree=126214116/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=18996 memory=4968 CPUtime=0.09 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 596 0 0 0 9 0 0 0 20 0 1 0 65059186 19451904 1242 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 4749 1242 782 2417 0 1851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37588 KiB
Current children cumulated memory: 8684 KiB

[startup+0.213566 s]*
/proc/loadavg: 4.15 3.58 3.11 5/248 345832
/proc/meminfo: memFree=126213108/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=20396 memory=6348 CPUtime=0.2 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 893 0 0 0 20 0 0 0 20 0 1 0 65059186 20885504 1587 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 5099 1587 798 2417 0 2201 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38988 KiB
Current children cumulated memory: 10064 KiB

[startup+0.312955 s]*
/proc/loadavg: 4.15 3.58 3.11 5/248 345832
/proc/meminfo: memFree=126212296/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=21020 memory=6612 CPUtime=0.3 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 944 0 0 0 30 0 0 0 20 0 1 0 65059186 21524480 1653 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 5255 1653 798 2417 0 2357 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39612 KiB
Current children cumulated memory: 10328 KiB

[startup+0.700478 s]
/proc/loadavg: 4.15 3.58 3.11 5/248 345832
/proc/meminfo: memFree=126211784/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=22916 memory=8460 CPUtime=0.67 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 1417 0 0 0 67 0 0 0 20 0 1 0 65059186 23465984 2115 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 5729 2115 798 2417 0 2831 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41508 KiB
Current children cumulated memory: 12176 KiB

[startup+1.50053 s]
/proc/loadavg: 4.15 3.58 3.11 5/248 345832
/proc/meminfo: memFree=126207832/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=25596 memory=11296 CPUtime=1.48 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 1601 0 0 0 147 1 0 0 20 0 1 0 65059186 26210304 2824 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 6399 2824 798 2417 0 3501 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44188 KiB
Current children cumulated memory: 15012 KiB

[startup+3.11287 s]
/proc/loadavg: 4.15 3.58 3.11 5/248 345834
/proc/meminfo: memFree=126194572/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=35628 memory=20132 CPUtime=3.08 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 2821 0 0 0 307 1 0 0 20 0 1 0 65059186 36483072 5033 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 8907 5033 798 2417 0 6009 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54220 KiB
Current children cumulated memory: 23848 KiB

[startup+6.30049 s]
/proc/loadavg: 4.14 3.58 3.12 5/248 345834
/proc/meminfo: memFree=126188780/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=44352 memory=25540 CPUtime=6.26 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 4567 0 0 0 624 2 0 0 20 0 1 0 65059186 45416448 6385 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 11088 6385 798 2417 0 8190 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 62944 KiB
Current children cumulated memory: 29256 KiB

[startup+12.7005 s]
/proc/loadavg: 4.13 3.59 3.12 5/248 345834
/proc/meminfo: memFree=126177448/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=69312 memory=48580 CPUtime=12.64 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 5208 0 0 0 1262 2 0 0 20 0 1 0 65059186 70975488 12145 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 17328 12145 798 2417 0 14430 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 87904 KiB
Current children cumulated memory: 52296 KiB

[startup+25.5005 s]
/proc/loadavg: 4.18 3.63 3.14 5/248 345837
/proc/meminfo: memFree=126158684/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=70072 memory=54364 CPUtime=25.41 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 5753 0 0 0 2538 3 0 0 20 0 1 0 65059186 71753728 13591 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 17518 13591 798 2417 0 14620 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 88664 KiB
Current children cumulated memory: 58080 KiB

[startup+51.113 s]
/proc/loadavg: 4.12 3.66 3.17 5/248 345840
/proc/meminfo: memFree=126156404/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 675 597 264 0 134 0
[pid=345831] ppid=345828 vsize=8660 memory=1016 CPUtime=0 cores=1,3
/proc/345831/stat : 345831 (timeout) S 345828 345831 345088 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65059186 8867840 254 134679101440 94770950135808 94770950170824 140731495782560 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94770952268240 94770952270372 94770980597760 140731495789597 140731495789729 140731495789729 140731495796711 0
/proc/345831/statm: 2165 254 230 9 0 87 0
[pid=345832] ppid=345831 vsize=77256 memory=62560 CPUtime=50.96 cores=1,3
/proc/345832/stat : 345832 (CASHWMaxSAT-Dis) R 345831 345831 345088 0 -1 4194304 5817 0 0 0 5093 3 0 0 20 0 1 0 65059186 79110144 15640 134679101440 4194304 14093885 140730239634064 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46182400 140730239636515 140730239636634 140730239636634 140730239643616 0
/proc/345832/statm: 19314 15640 798 2417 0 16416 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 95848 KiB
Current children cumulated memory: 66276 KiB

[startup+102.301 s]
/proc/loadavg: 4.10 3.73 3.22 5/248 345848
/proc/meminfo: memFree=126114548/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 237 99 0 0 0 0 0 0 20 0 1 0 65059185 10170368 675 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0

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

/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/247 347839
/proc/meminfo: memFree=126197856/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1660.74 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 138356 27718 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3454.01 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/246 347849
/proc/meminfo: memFree=126168408/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1720.61 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 143329 28732 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3513.88 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.50 4.21 4.13 5/246 347860
/proc/meminfo: memFree=126210244/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1780.48 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 148301 29747 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

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

# cumulated CPU time of all completed processes:  user=3285.92 s, system=301.554 s

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

[startup+3584 s]*
/proc/loadavg: 4.54 4.23 4.13 5/246 347862
/proc/meminfo: memFree=126161456/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1782.18 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 148444 29774 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3575.45 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3590.4 s]
/proc/loadavg: 4.58 4.24 4.14 5/246 347862
/proc/meminfo: memFree=126203124/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1788.56 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 148982 29874 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3581.83 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3593.6 s]
/proc/loadavg: 4.58 4.24 4.14 5/248 347867
/proc/meminfo: memFree=126175428/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1791.75 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 149246 29929 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3595.2 s]
/proc/loadavg: 4.61 4.25 4.14 5/248 347867
/proc/meminfo: memFree=126158628/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1793.35 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 149382 29953 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3595.6 s]
/proc/loadavg: 4.61 4.25 4.14 5/248 347867
/proc/meminfo: memFree=126158628/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1793.74 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 149414 29960 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3587.01 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

[startup+3596 s]*
/proc/loadavg: 4.61 4.25 4.14 5/248 347867
/proc/meminfo: memFree=126169256/131655788 swapFree=131071996/131071996
[pid=345828] ppid=345825 vsize=9932 memory=2744 CPUtime=1793.27 cores=1,3
/proc/345828/stat : 345828 (Hybrid-LSMabSP+) S 345825 345828 345088 0 -1 4194304 266 86627 0 0 0 0 179142 185 20 0 1 0 65059185 10170368 686 134679101440 94537788379136 94537789458456 140720713169040 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94537791556912 94537791604100 94537824436224 140720713176018 140720713176177 140720713176177 140720713183188 0
/proc/345828/statm: 2483 686 597 264 0 134 0
[pid=346731] ppid=345828 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346731/stat : 346731 (timeout) S 345828 346731 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65238986 8867840 257 134679101440 94177231081472 94177231116488 140720677472256 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177233213904 94177233216036 94177262829568 140720677479469 140720677479585 140720677479585 140720677486567 0
/proc/346731/statm: 2165 257 233 9 0 87 0
[pid=346732] ppid=346731 vsize=69416 memory=64224 CPUtime=1794.15 cores=1,3
/proc/346732/stat : 346732 (LS-MabSP) R 346731 346731 345088 0 -1 4194304 15709 0 0 0 149448 29967 0 0 20 0 1 0 65238986 71081984 16056 134679101440 4194304 15467897 140720351581984 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 26034176 140720351585344 140720351585447 140720351585447 140720351592429 0
/proc/346732/statm: 17354 16056 2849 2753 0 14007 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 67996 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.48
CPU user time (s): 3285.92
CPU system time (s): 301.554
CPU usage (%): 99.7621
Max. virtual memory (cumulated for all children) (KiB): 249824
Max. memory (cumulated for all children) (KiB): 187140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3285.92
system time used= 301.554
maximum resident set size= 183424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105616
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 2225


# summary of solver processes directly reported to runsolver:
#   pid: 345828
#   total CPU time (s): 3587.48
#   total CPU user time (s): 3285.92
#   total CPU system time (s): 301.554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6737 second user time and 37.055 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-08-07 00:50:23
IDJOB=4436952
IDBENCH=158535
IDSOLVER=3069
FILE ID=nodeC010/4436952-1722984623
RUNJOBID= nodeC010-1722984204-345100
SLURM_JOB_ID= 8259101
Free space on /tmp= 723696 MiB

SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436952-1722984623/watcher-4436952-1722984623 -o /tmp/evaluation-result-4436952-1722984623/solver-4436952-1722984623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345100 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436952-1722984623.opb 3600 HOME 31000

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

MD5SUM BENCH= 28e415f3c4d8dab53aac16682d7f066d
RANDOM SEED=50356276

nodeC010.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	: 0xb00001f
cpu MHz		: 3657.857
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 1736.327
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.151
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 1197.128
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 3657.879
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 3632.503
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.160
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 1197.152
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126217484 kB
MemAvailable:   129636668 kB
Buffers:          356460 kB
Cached:          3913640 kB
SwapCached:            0 kB
Active:           648124 kB
Inactive:        4305448 kB
Active(anon):       2012 kB
Inactive(anon):   727340 kB
Active(file):     646112 kB
Inactive(file):  3578108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29232 kB
Writeback:             0 kB
AnonPages:        682236 kB
Mapped:           112496 kB
Shmem:             45888 kB
KReclaimable:      69992 kB
Slab:             156420 kB
SReclaimable:      69992 kB
SUnreclaim:        86428 kB
KernelStack:        3952 kB
PageTables:        10836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1173824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24544 kB
HardwareCorrupted:     0 kB
AnonHugePages:    544768 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC010 at 2024-08-07 01:50:19