Trace number 4437144

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+Exact 2024-07-11SAT1 3586.47 3596.09

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUMb7b6c18a5ccb5e8755a0006a4c4ad211
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 benchmark1
Best CPU time to get the best result obtained on this benchmark0.02114
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables411
Total number of constraints477
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3586.38/3596.08	c Filename:instance-4437144-1722948202.opb, Cutoff_time:1798, memory_limit_gb:29976
3586.38/3596.08	c Use Presolve
3586.38/3596.08	c Parse finsih
3586.38/3596.08	c Start Presolve
3586.38/3596.08	c After Reduce Vars: 410 Clauses: 886 Top clause weight: 862 Hard Clauses: 476
3586.38/3596.08	c Use LS-small
3586.38/3596.08	c Use postsolve
3586.38/3596.08	o 1
3586.38/3596.08	s SATISFIABLE
3586.38/3596.08	c Use postsolve
3586.38/3596.08	v x295 x231 -x206 x191 -x139 x294 -x211 x192 -x143 -x359 x302 -x279 x235 -x210 x196 x296 x233 x195 -x358 -x297 x213 x193 -x119 x362 -x298 x234 x214 -x194 -x180 -x83 x238 x217 -x179 -x164 -x118 -x82 x363 x215 x122 -x84 -x216 -x181 -x163 x85 x184 x168 -x123 x86 x305 -x275 x230 x190 -x138 x306 -x205 x189 -x142 -x385 x301 -x278 x236 -x207 x200 -x212 -x360 -x313 -x299 x239 x209 -x37 x364 -x317 x237 x218 -x175 -x174 -x120 x124 -x366 -x182 -x165 -x89 -x367 x183 x167 -x90 -x381 -x303 -x274 x228 x203 x140 -x354 x232 x204 -x144 -x384 -x353 x280 x229 x199 -x33 x240 x208 -x114 x361 -x312 -x300 -x226 x197 -x146 -x113 -x36 x365 -x316 x222 -x159 -x147 -x369 -x283 x221 -x158 x121 -x88 -x368 x176 x125 -x87 -x342 x177 x166 -x126 x71 x178 x169 -x127 x75 -x380 -x304 -x276 x201 x141 x227 x145 -x397 -x386 x281 x248 -x223 -x149 -x32 -x401 x355 -x244 -x225 -x148 x356 x314 -x284 -x243 -x198 x38 -x8 x357 -x318 -x282 -x115 -x12 -x389 -x373 -x338 -x219 x116 -x101 -x160 x117 -x341 -x320 -x220 x187 -x161 x131 x70 -x41 -x321 x188 x162 x74 -x382 -x272 x245 x202 x137 -x28 -x308 -x277 x247 -x224 x136 -x396 -x387 -x307 x273 -x153 x34 -x400 -x285 -x390 -x376 x315 -x241 -x97 x39 x7 -x388 -x377 x319 -x11 -x372 -x337 -x323 -x242 x186 x134 -x100 -x42 -x322 x185 x135 -x40 -x370 -x343 -x255 -x172 x130 x72 -x259 -x173 x76 x379 x265 x246 -x156 x383 -x271 -x157 -x27 -x398 -x375 -x293 -x152 -x29 -x402 x391 -x374 -x309 -x289 x35 -x333 x310 -x288 -x150 -x133 -x96 x31 x9 x311 x132 -x66 -x43 x13 -x404 -x339 x327 -x171 -x102 -x65 -x405 -x170 -x371 -x344 -x254 x128 x73 -x61 -x15 -x258 x77 -x16 -x290 x264 -x154 x378 -x292 -x3 -x399 -x92 -x2 x403 x395 -x30 -x407 x394 -x330 -x286 -x151 x98 -x51 x10 -x406 -x332 x331 -x47 x14 -x334 -x326 -x287 -x103 -x57 -x46 -x18 x340 x67 -x17 x336 -x324 -x256 -x129 x104 x68 -x60 -x345 -x260 x105 x69 -x291 x266 -x155 -x329 -x48 -x328 -x91 -x50 -x4 -x411 x392 -x268 x93 x5 -x250 x99 x6 -x393 -x249 x95 x56 -x44 x22 -x335 x106 x352 -x325 -x257 -x80 x62 -x45 -x348 x261 x81 -x49 x269 x267 -x410 x54 x25 x94 x26 -x408 -x349 x112 -x79 x58 x21 -x351 -x251 x109 -x78 -x252 x107 x63 x19 -x346 x253 x270 -x24 x23 x111 -x350 x110 x53 -x409 x52 x59 -x263 x108 x55 x20 -x347 -x262 x64 x1 
3586.38/3596.08	c Done 1.51s

Verifier Data 

OK	1

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=332538, runsolver pid=332524

[startup+0.100612 s]*
/proc/loadavg: 0.16 0.10 0.09 8/253 332553
/proc/meminfo: memFree=126550248/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=25292 memory=18300 CPUtime=0.05 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 1571 0 0 0 5 0 0 0 20 0 1 0 61416060 25899008 4575 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 6323 4575 2721 2753 0 2976 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 43884 KiB
Current children cumulated memory: 22096 KiB

[startup+0.215224 s]*
/proc/loadavg: 0.16 0.10 0.09 8/253 332553
/proc/meminfo: memFree=126527568/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=27452 memory=20504 CPUtime=0.17 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 2046 0 0 0 17 0 0 0 20 0 1 0 61416060 28110848 5126 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 6863 5126 2817 2753 0 3516 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46044 KiB
Current children cumulated memory: 24300 KiB

[startup+0.314878 s]*
/proc/loadavg: 0.16 0.10 0.09 6/253 332553
/proc/meminfo: memFree=126526108/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=28176 memory=21356 CPUtime=0.26 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 2247 0 0 0 26 0 0 0 20 0 1 0 61416060 28852224 5339 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 7044 5339 2833 2753 0 3697 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 46768 KiB
Current children cumulated memory: 25152 KiB

[startup+0.700547 s]
/proc/loadavg: 0.16 0.10 0.09 9/253 332553
/proc/meminfo: memFree=126500756/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=37348 memory=30576 CPUtime=0.64 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 4788 0 0 0 63 1 0 0 20 0 1 0 61416060 38244352 7644 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 9337 7644 2833 2753 0 5990 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 55940 KiB
Current children cumulated memory: 34372 KiB

[startup+1.50047 s]
/proc/loadavg: 0.16 0.10 0.09 8/253 332553
/proc/meminfo: memFree=126466092/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=64296 memory=56408 CPUtime=1.43 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 11292 0 0 0 140 3 0 0 20 0 1 0 61416060 65839104 14102 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 16074 14102 2833 2753 0 12727 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 82888 KiB
Current children cumulated memory: 60204 KiB

[startup+3.11364 s]
/proc/loadavg: 0.47 0.16 0.11 8/253 332553
/proc/meminfo: memFree=126452588/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=39284 memory=33696 CPUtime=3.04 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 11480 0 0 0 274 30 0 0 20 0 1 0 61416060 40226816 8424 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 9821 8424 2833 2753 0 6474 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 57876 KiB
Current children cumulated memory: 37492 KiB

[startup+6.30043 s]
/proc/loadavg: 0.47 0.16 0.11 8/253 332553
/proc/meminfo: memFree=126401648/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=39284 memory=33696 CPUtime=6.22 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 11480 0 0 0 533 89 0 0 20 0 1 0 61416060 40226816 8424 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 9821 8424 2833 2753 0 6474 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 57876 KiB
Current children cumulated memory: 37492 KiB

[startup+12.7004 s]
/proc/loadavg: 0.75 0.23 0.14 8/253 332555
/proc/meminfo: memFree=126392248/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=39284 memory=33696 CPUtime=12.61 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 11480 0 0 0 1044 217 0 0 20 0 1 0 61416060 40226816 8424 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 9821 8424 2833 2753 0 6474 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 57876 KiB
Current children cumulated memory: 37492 KiB

[startup+25.5004 s]
/proc/loadavg: 1.55 0.43 0.20 8/253 332556
/proc/meminfo: memFree=126427996/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=39284 memory=33696 CPUtime=25.38 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 11480 0 0 0 2060 478 0 0 20 0 1 0 61416060 40226816 8424 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 9821 8424 2833 2753 0 6474 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 57876 KiB
Current children cumulated memory: 37492 KiB

[startup+51.1131 s]
/proc/loadavg: 2.39 0.72 0.31 8/253 332561
/proc/meminfo: memFree=126426952/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0
[pid=332547] ppid=332538 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/332547/stat : 332547 (timeout) S 332538 332547 332464 0 -1 4194304 107 0 1 0 0 0 0 0 20 0 1 0 61416059 8867840 254 134679101440 94740009259008 94740009294024 140724275210400 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94740011391440 94740011393572 94740030214144 140724275217449 140724275217565 140724275217565 140724275224551 0
/proc/332547/statm: 2165 254 230 9 0 87 0
[pid=332550] ppid=332547 vsize=39284 memory=33696 CPUtime=50.93 cores=0,2
/proc/332550/stat : 332550 (LS-MabSP) R 332547 332547 332464 0 -1 4194304 11480 0 0 0 4089 1004 0 0 20 0 1 0 61416060 40226816 8424 134679101440 4194304 15467897 140722468060608 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 56156160 140722468066364 140722468066467 140722468066467 140722468073453 0
/proc/332550/statm: 9821 8424 2833 2753 0 6474 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 57876 KiB
Current children cumulated memory: 37492 KiB

[startup+102.3 s]
/proc/loadavg: 3.35 1.24 0.51 8/253 332570
/proc/meminfo: memFree=126425488/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2780 CPUtime=0 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 237 98 0 1 0 0 0 0 20 0 1 0 61416056 10170368 695 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 695 618 264 0 134 0

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

/proc/333458/statm: 31652 25719 748 737 0 30740 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 145200 KiB
Current children cumulated memory: 106736 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.02 8/251 334380
/proc/meminfo: memFree=125419808/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=127424 memory=103640 CPUtime=1659.05 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17400 0 0 0 165900 5 0 0 20 0 1 0 61595860 130482176 25910 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 31856 25910 748 737 0 30944 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 146016 KiB
Current children cumulated memory: 107500 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.03 8/251 334391
/proc/meminfo: memFree=125417076/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=127632 memory=103696 CPUtime=1718.86 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17494 0 0 0 171881 5 0 0 20 0 1 0 61595860 130695168 25924 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 31908 25924 748 737 0 30996 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 146224 KiB
Current children cumulated memory: 107556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.03 8/251 334402
/proc/meminfo: memFree=125415812/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=128104 memory=104316 CPUtime=1778.68 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17653 0 0 0 177863 5 0 0 20 0 1 0 61595860 131178496 26079 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 32026 26079 748 737 0 31114 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 146696 KiB
Current children cumulated memory: 108176 KiB

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

# cumulated CPU time of all completed processes:  user=3220.38 s, system=366.085 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.03 8/251 334402
/proc/meminfo: memFree=125415832/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=128104 memory=104316 CPUtime=1780.39 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17653 0 0 0 178034 5 0 0 20 0 1 0 61595860 131178496 26079 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 32026 26079 748 737 0 31114 0
Current children cumulated CPU time: 3574.42 s
Current children cumulated vsize: 146696 KiB
Current children cumulated memory: 108176 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.03 8/251 334404
/proc/meminfo: memFree=125415588/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=128248 memory=104316 CPUtime=1786.75 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17693 0 0 0 178670 5 0 0 20 0 1 0 61595860 131325952 26079 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 32062 26079 748 737 0 31150 0
Current children cumulated CPU time: 3580.78 s
Current children cumulated vsize: 146840 KiB
Current children cumulated memory: 108176 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.03 8/251 334404
/proc/meminfo: memFree=125415580/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=128248 memory=104316 CPUtime=1789.94 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17693 0 0 0 178989 5 0 0 20 0 1 0 61595860 131325952 26079 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 32062 26079 748 737 0 31150 0
Current children cumulated CPU time: 3583.97 s
Current children cumulated vsize: 146840 KiB
Current children cumulated memory: 108176 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.03 8/251 334404
/proc/meminfo: memFree=125415580/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=128248 memory=104316 CPUtime=1791.54 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17693 0 0 0 179149 5 0 0 20 0 1 0 61595860 131325952 26079 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 32062 26079 748 737 0 31150 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 146840 KiB
Current children cumulated memory: 108176 KiB

[startup+3595.6 s]
/proc/loadavg: 4.07 4.10 4.03 8/251 334404
/proc/meminfo: memFree=125415580/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=128248 memory=104316 CPUtime=1791.94 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17693 0 0 0 179189 5 0 0 20 0 1 0 61595860 131325952 26079 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 32062 26079 748 737 0 31150 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 146840 KiB
Current children cumulated memory: 108176 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.03 8/251 334404
/proc/meminfo: memFree=125415604/131655788 swapFree=131071996/131071996
[pid=332538] ppid=332524 vsize=9932 memory=2828 CPUtime=1794.03 cores=0,2
/proc/332538/stat : 332538 (Hybrid-LSMabSP+) S 332524 332538 332464 0 -1 4194304 269 11877 0 2 0 0 142802 36601 20 0 1 0 61416056 10170368 707 134679101440 94022757593088 94022758672408 140724695321936 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94022760770864 94022760818052 94022793469952 140724695323624 140724695323770 140724695323770 140724695330785 0
/proc/332538/statm: 2483 707 618 264 0 134 0
[pid=333455] ppid=332538 vsize=8660 memory=1032 CPUtime=0 cores=0,2
/proc/333455/stat : 333455 (timeout) S 332538 333455 332464 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595860 8867840 258 134679101440 94088788566016 94088788601032 140729874138624 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94088790698448 94088790700580 94088822312960 140729874146292 140729874146461 140729874146461 140729874153447 0
/proc/333455/statm: 2165 258 234 9 0 87 0
[pid=333458] ppid=333455 vsize=128248 memory=104316 CPUtime=1792.35 cores=0,2
/proc/333458/stat : 333458 (Exact) R 333455 333455 332464 0 -1 4194304 17693 0 0 0 179230 5 0 0 20 0 1 0 61595860 131325952 26079 134679101440 4194304 7210733 140733271638160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 28286976 140733271643152 140733271643302 140733271643302 140733271650288 0
/proc/333458/statm: 32062 26079 748 737 0 31150 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 146840 KiB
Current children cumulated memory: 108176 KiB

Child status: 0

Real time (s): 3596.09
CPU time (s): 3586.47
CPU user time (s): 3220.38
CPU system time (s): 366.085
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 146840
Max. memory (cumulated for all children) (KiB): 108176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3220.38
system time used= 366.085
maximum resident set size= 104316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32871
page faults= 3
swaps= 0
block input operations= 192
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122
involuntary context switches= 24540


# summary of solver processes directly reported to runsolver:
#   pid: 332538
#   total CPU time (s): 3586.47
#   total CPU user time (s): 3220.38
#   total CPU system time (s): 366.085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6219 second user time and 40.5712 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-08-06 14:43:23
IDJOB=4437144
IDBENCH=146661
IDSOLVER=3070
FILE ID=nodeC002/4437144-1722948202
RUNJOBID= nodeC002-1722948202-332474
SLURM_JOB_ID= 8258990
Free space on /tmp= 723784 MiB

SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437144-1722948202/watcher-4437144-1722948202 -o /tmp/evaluation-result-4437144-1722948202/solver-4437144-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722948202-332474 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437144-1722948202.opb 3600 HOME 31000

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

MD5SUM BENCH= b7b6c18a5ccb5e8755a0006a4c4ad211
RANDOM SEED=1395330820

nodeC002.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		: 1267.601
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.65
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		: 1222.592
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.23
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		: 1209.056
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.65
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		: 1241.990
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.23
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		: 1200.699
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.65
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		: 1203.215
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.23
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		: 1260.598
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.65
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		: 1257.546
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126573780 kB
MemAvailable:   129933164 kB
Buffers:          338724 kB
Cached:          3847004 kB
SwapCached:            0 kB
Active:           581944 kB
Inactive:        3967240 kB
Active(anon):       1816 kB
Inactive(anon):   407540 kB
Active(file):     580128 kB
Inactive(file):  3559700 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             83116 kB
Writeback:             4 kB
AnonPages:        362872 kB
Mapped:           101784 kB
Shmem:             45896 kB
KReclaimable:     119176 kB
Slab:             206944 kB
SReclaimable:     119176 kB
SUnreclaim:        87768 kB
KernelStack:        3632 kB
PageTables:         9492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     788548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24384 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      318280 kB
DirectMap2M:    26849280 kB
DirectMap1G:    109051904 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC002 at 2024-08-06 15:43:21