Trace number 4490547

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-NuPBODeepOptS-ExactPRnols 2025-06-02SAT15 3586.27 3596.17

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUMc109c801c35aa8e8336c6dae8cef540e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark3600.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint84
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

3586.23/3596.15	c 16 constraints
3586.23/3596.15	c after presolve  16
3586.23/3596.15	o 1103
3586.23/3596.15	o 841
3586.23/3596.15	o 839
3586.23/3596.15	o 837
3586.23/3596.15	o 821
3586.23/3596.15	o 819
3586.23/3596.15	o 815
3586.23/3596.15	o 813
3586.23/3596.15	o 811
3586.23/3596.15	o 805
3586.23/3596.15	o 803
3586.23/3596.15	o 771
3586.23/3596.15	o 755
3586.23/3596.15	o 691
3586.23/3596.15	o 687
3586.23/3596.15	o 685
3586.23/3596.15	o 669
3586.23/3596.15	o 667
3586.23/3596.15	o 665
3586.23/3596.15	o 661
3586.23/3596.15	o 659
3586.23/3596.15	o 657
3586.23/3596.15	o 653
3586.23/3596.15	o 651
3586.23/3596.15	o 637
3586.23/3596.15	o 633
3586.23/3596.15	o 631
3586.23/3596.15	o 522
3586.23/3596.15	o 514
3586.23/3596.15	o 510
3586.23/3596.15	o 506
3586.23/3596.15	o 504
3586.23/3596.15	o 502
3586.23/3596.15	o 494
3586.23/3596.15	o 492
3586.23/3596.15	o 488
3586.23/3596.15	o 486
3586.23/3596.15	o 470
3586.23/3596.15	o 469
3586.23/3596.15	o 467
3586.23/3596.15	o 459
3586.23/3596.15	o 457
3586.23/3596.15	o 456
3586.23/3596.15	o 454
3586.23/3596.15	o 452
3586.23/3596.15	o 444
3586.23/3596.15	o 442
3586.23/3596.15	o 435
3586.23/3596.15	o 433
3586.23/3596.15	o 431
3586.23/3596.15	o 423
3586.23/3596.15	o 421
3586.23/3596.15	o 415
3586.23/3596.15	o 413
3586.23/3596.15	o 412
3586.23/3596.15	o 373
3586.23/3596.15	o 371
3586.23/3596.15	o 369
3586.23/3596.15	o 367
3586.23/3596.15	o 365
3586.23/3596.15	o 364
3586.23/3596.15	o 360
3586.23/3596.15	o 353
3586.23/3596.15	o 351
3586.23/3596.15	o 349
3586.23/3596.15	o 339
3586.23/3596.15	o 337
3586.23/3596.15	o 335
3586.23/3596.15	o 320
3586.23/3596.15	o 318
3586.23/3596.15	o 314
3586.23/3596.15	o 312
3586.23/3596.15	o 310
3586.23/3596.15	o 306
3586.23/3596.15	o 298
3586.23/3596.15	o 297
3586.23/3596.15	o 295
3586.23/3596.15	o 293
3586.23/3596.15	o 291
3586.23/3596.15	o 289
3586.23/3596.15	o 287
3586.23/3596.15	o 285
3586.23/3596.15	o 283
3586.23/3596.15	o 279
3586.23/3596.15	o 277
3586.23/3596.15	o 275
3586.23/3596.15	o 271
3586.23/3596.15	o 255
3586.23/3596.15	o 253
3586.23/3596.15	o 252
3586.23/3596.15	o 250
3586.23/3596.15	o 233
3586.23/3596.15	o 231
3586.23/3596.15	o 227
3586.23/3596.15	o 225
3586.23/3596.15	o 217
3586.23/3596.15	o 213
3586.23/3596.15	o 211
3586.23/3596.15	o 205
3586.23/3596.15	o 203
3586.23/3596.15	o 202
3586.23/3596.15	o 200
3586.23/3596.15	o 189
3586.23/3596.15	o 187
3586.23/3596.15	o 186
3586.23/3596.15	o 175
3586.23/3596.15	o 173
3586.23/3596.15	o 171
3586.23/3596.15	o 169
3586.23/3596.15	o 165
3586.23/3596.15	o 161
3586.23/3596.15	o 157
3586.23/3596.15	o 137
3586.23/3596.15	o 133
3586.23/3596.15	o 131
3586.23/3596.15	o 129
3586.23/3596.15	o 113
3586.23/3596.15	o 111
3586.23/3596.15	o 109
3586.23/3596.15	o 107
3586.23/3596.15	o 105
3586.23/3596.15	o 104
3586.23/3596.15	o 88
3586.23/3596.15	o 84
3586.23/3596.15	o 82
3586.23/3596.15	o 53
3586.23/3596.15	o 51
3586.23/3596.15	o 47
3586.23/3596.15	o 46
3586.23/3596.15	o 44
3586.23/3596.15	o 41
3586.23/3596.15	o 37
3586.23/3596.15	o 35
3586.23/3596.15	o 33
3586.23/3596.15	o 30
3586.23/3596.15	o 28
3586.23/3596.15	o 26
3586.23/3596.15	o 24
3586.23/3596.15	o 22
3586.23/3596.15	o 20
3586.23/3596.15	o 18
3586.23/3596.15	o 15
3586.23/3596.15	c Program interrupted by user.
3586.23/3596.15	s SATISFIABLE
3586.23/3596.15	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 x162 -x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 x173 x174 x175 x176 x177 x178 x179 x180 -x181 x182 x183 x184 -x185 x186 x187 -x188 -x189 -x190 x191 x192 x193 -x194 x195 x196 x197 x198

Verifier Data 

OK	15

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: 63794 MiB (62901 MiB free)
  memory of node 1: 64507 MiB (63592 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490547-1751379013/watcher-4490547-1751379013 -o /tmp/evaluation-result-4490547-1751379013/solver-4490547-1751379013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751373005-54823 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4490547-1751379013.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=55663, runsolver pid=55660

[startup+0.100069 s]*
/proc/loadavg: 4.10 4.11 4.09 5/252 55667
/proc/meminfo: memFree=129524464/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=29184 memory=18688 CPUtime=0.07 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 2118 0 0 0 7 0 0 0 20 0 1 0 53581006 29884416 4672 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 7296 4672 2816 2752 0 3949 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36168 KiB
Current children cumulated memory: 23168 KiB

[startup+0.213642 s]*
/proc/loadavg: 4.10 4.11 4.09 5/252 55667
/proc/meminfo: memFree=129520684/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=31716 memory=22272 CPUtime=0.18 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 3002 0 0 0 18 0 0 0 20 0 1 0 53581006 32477184 5568 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 7929 5568 2816 2752 0 4582 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38700 KiB
Current children cumulated memory: 26752 KiB

[startup+0.313178 s]*
/proc/loadavg: 4.10 4.11 4.09 5/252 55667
/proc/meminfo: memFree=129516652/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=34348 memory=24064 CPUtime=0.28 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 3449 0 0 0 28 0 0 0 20 0 1 0 53581006 35172352 6016 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 8587 6016 2816 2752 0 5240 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41332 KiB
Current children cumulated memory: 28544 KiB

[startup+0.700378 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 55667
/proc/meminfo: memFree=129508588/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=41592 memory=31372 CPUtime=0.65 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 5946 0 0 0 63 2 0 0 20 0 1 0 53581006 42590208 7843 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 10398 7843 2816 2752 0 7051 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 48576 KiB
Current children cumulated memory: 35852 KiB

[startup+1.50039 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 55667
/proc/meminfo: memFree=129532788/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=49356 memory=38412 CPUtime=1.44 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 7737 0 0 0 142 2 0 0 20 0 1 0 53581006 50540544 9603 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 12339 9603 2816 2752 0 8992 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 56340 KiB
Current children cumulated memory: 42892 KiB

[startup+3.11322 s]
/proc/loadavg: 4.09 4.11 4.09 5/248 55689
/proc/meminfo: memFree=129623156/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=56024 memory=45432 CPUtime=3.05 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 9606 0 0 0 302 3 0 0 20 0 1 0 53581006 57368576 11358 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 14006 11358 2816 2752 0 10659 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 63008 KiB
Current children cumulated memory: 49912 KiB

[startup+6.30042 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 55735
/proc/meminfo: memFree=129667548/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=72996 memory=60408 CPUtime=6.22 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 13042 0 0 0 619 3 0 0 20 0 1 0 53581006 74747904 15102 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 18249 15102 3168 2752 0 14902 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 79980 KiB
Current children cumulated memory: 64888 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 55735
/proc/meminfo: memFree=129646788/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=87460 memory=76280 CPUtime=12.58 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 16994 0 0 0 1254 4 0 0 20 0 1 0 53581006 89559040 19070 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 21865 19070 3168 2752 0 18518 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 94444 KiB
Current children cumulated memory: 80760 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 55735
/proc/meminfo: memFree=129571956/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=124592 memory=111068 CPUtime=25.31 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 25814 0 0 0 2526 5 0 0 20 0 1 0 53581006 127582208 27767 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 31148 27767 3168 2752 0 27801 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 131576 KiB
Current children cumulated memory: 115548 KiB

[startup+51.1137 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 55738
/proc/meminfo: memFree=129440916/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55666] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55666/stat : 55666 (timeout) S 55663 55666 54813 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53581005 2723840 352 18446744073709551615 94304891916288 94304891932801 140724074988512 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94304891947568 94304891949656 94304907874304 140724074990000 140724074990114 140724074990114 140724074995687 0
/proc/55666/statm: 665 352 352 5 0 90 0
[pid=55667] ppid=55666 vsize=175428 memory=159592 CPUtime=50.8 cores=0,2
/proc/55667/stat : 55667 (NuPBO-DeepOptS+) R 55666 55666 54813 0 -1 4194304 41175 0 0 0 5071 9 0 0 20 0 1 0 53581006 179638272 39898 18446744073709551615 4198400 15468185 140732760442560 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 45944832 140732760447420 140732760447521 140732760447521 140732760453094 0
/proc/55667/statm: 43857 39898 3168 2752 0 40510 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 182412 KiB
Current children cumulated memory: 164072 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 55739
/proc/meminfo: memFree=129277760/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 245 104 0 0 0 0 0 0 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0

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

/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=64208 memory=40948 CPUtime=1061.36 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 6485 0 0 0 105213 923 0 0 20 0 1 0 53820808 65748992 10237 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 16052 10237 1888 2271 0 10690 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 45428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/258 55926
/proc/meminfo: memFree=129792296/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=63888 memory=40884 CPUtime=1121.19 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 6549 0 0 0 111152 967 0 0 20 0 1 0 53820808 65421312 10221 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 15972 10221 1888 2271 0 10610 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 70872 KiB
Current children cumulated memory: 45364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/258 55928
/proc/meminfo: memFree=129792824/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=63952 memory=40948 CPUtime=1181.03 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 7002 0 0 0 117091 1012 0 0 20 0 1 0 53820808 65486848 10237 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 15988 10237 1888 2271 0 10626 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 70936 KiB
Current children cumulated memory: 45428 KiB

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

# cumulated CPU time of all completed processes:  user=3575.32 s, system=10.9502 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.18 4.17 5/258 55928
/proc/meminfo: memFree=129793076/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=63952 memory=40948 CPUtime=1182.74 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 7002 0 0 0 117261 1013 0 0 20 0 1 0 53820808 65486848 10237 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 15988 10237 1888 2271 0 10626 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 70936 KiB
Current children cumulated memory: 45428 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.19 4.18 5/258 55928
/proc/meminfo: memFree=129793076/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=64208 memory=41076 CPUtime=1189.11 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 7062 0 0 0 117893 1018 0 0 20 0 1 0 53820808 65748992 10269 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 16052 10269 1888 2271 0 10690 0
Current children cumulated CPU time: 3580.56 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 45556 KiB

[startup+3593.6 s]
/proc/loadavg: 4.19 4.19 4.18 5/258 55928
/proc/meminfo: memFree=129793076/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=64208 memory=41076 CPUtime=1192.31 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 7062 0 0 0 118211 1020 0 0 20 0 1 0 53820808 65748992 10269 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 16052 10269 1888 2271 0 10690 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 45556 KiB

[startup+3595.2 s]
/proc/loadavg: 4.19 4.19 4.18 5/258 55928
/proc/meminfo: memFree=129793076/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=64208 memory=41076 CPUtime=1193.9 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 7069 0 0 0 118369 1021 0 0 20 0 1 0 53820808 65748992 10269 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 16052 10269 1888 2271 0 10690 0
Current children cumulated CPU time: 3585.35 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 45556 KiB

[startup+3595.6 s]
/proc/loadavg: 4.19 4.19 4.18 5/258 55928
/proc/meminfo: memFree=129793076/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=64208 memory=41076 CPUtime=1194.3 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 7069 0 0 0 118409 1021 0 0 20 0 1 0 53820808 65748992 10269 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 16052 10269 1888 2271 0 10690 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 45556 KiB

[startup+3596 s]*
/proc/loadavg: 4.19 4.19 4.18 4/252 55951
/proc/meminfo: memFree=129821320/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=2391.45 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 280 307109 0 0 0 0 239077 68 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
[pid=55855] ppid=55663 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/55855/stat : 55855 (timeout) S 55663 55855 54813 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 53820807 2723840 352 18446744073709551615 94100888961024 94100888977537 140731355496640 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94100888992304 94100888994392 94100903002112 140731355498883 140731355499042 140731355499042 140731355504615 0
/proc/55855/statm: 665 352 352 5 0 90 0
[pid=55856] ppid=55855 vsize=64208 memory=41076 CPUtime=1194.71 cores=0,2
/proc/55856/stat : 55856 (ExactPR-nols) R 55855 55855 54813 0 -1 4194304 7069 0 0 0 118450 1021 0 0 20 0 1 0 53820808 65748992 10269 18446744073709551615 94597414236160 94597423535813 140726364801952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94597425322304 94597425361384 94597438119936 140726364809624 140726364809764 140726364809764 140726364815337 0
/proc/55856/statm: 16052 10269 1888 2271 0 10690 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 45556 KiB

[startup+3596.11 s]
/proc/loadavg: 4.19 4.19 4.18 4/252 55951
/proc/meminfo: memFree=129821320/131382116 swapFree=33010684/33010684
[pid=55663] ppid=55660 vsize=4324 memory=3072 CPUtime=3586.23 cores=0,2
/proc/55663/stat : 55663 (Hybrid-NuPBODee) S 55660 55663 54813 0 -1 4194304 366 315446 0 0 0 0 357531 1092 20 0 1 0 53581003 4427776 768 18446744073709551615 94431080599552 94431081494085 140720975503216 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94431081733136 94431081780880 94431095074816 140720975505755 140720975505907 140720975505907 140720975511509 0
/proc/55663/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3586.27
CPU user time (s): 3575.32
CPU system time (s): 10.9502
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 1256812
Max. memory (cumulated for all children) (KiB): 1220236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.32
system time used= 10.9502
maximum resident set size= 1215756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2027
involuntary context switches= 7968


# summary of solver processes directly reported to runsolver:
#   pid: 55663
#   total CPU time (s): 3586.27
#   total CPU user time (s): 3575.32
#   total CPU system time (s): 10.9502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1253 second user time and 35.7361 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-01 16:10:13
IDJOB=4490547
IDBENCH=147593
IDSOLVER=3332
FILE ID=nodeC011/4490547-1751379013
RUNJOBID= nodeC011-1751373005-54823
SLURM_JOB_ID= 9598205
Free space on /tmp= 432864 MiB

SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490547-1751379013/watcher-4490547-1751379013 -o /tmp/evaluation-result-4490547-1751379013/solver-4490547-1751379013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751373005-54823 --watchdog 3760  ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4490547-1751379013.opb 3600 HOME

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

MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e
RANDOM SEED=1155162278

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2891.625
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3691.644
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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.298
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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.373
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3662.106
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 1197.293
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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.509
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 1198.052
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129531960 kB
MemAvailable:   129710380 kB
Buffers:            3280 kB
Cached:           985628 kB
SwapCached:            0 kB
Active:           386708 kB
Inactive:         686552 kB
Active(anon):     102312 kB
Inactive(anon):        0 kB
Active(file):     284396 kB
Inactive(file):   686552 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             57096 kB
Writeback:             0 kB
AnonPages:         87420 kB
Mapped:           114140 kB
Shmem:             17960 kB
KReclaimable:      93812 kB
Slab:             174852 kB
SReclaimable:      93812 kB
SUnreclaim:        81040 kB
KernelStack:        3984 kB
PageTables:         3172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     393668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC011 at 2025-07-01 17:10:09