Trace number 4431657

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
IPBHS-GUROBI 2024-07-09? (TO) 3600.1 3603.83

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
MD5SUM4bce0178dd52d2d263abed98aae07653
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 benchmark5114519
Best CPU time to get the best result obtained on this benchmark353.176
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431657-1721131278/watcher-4431657-1721131278 -o /tmp/evaluation-result-4431657-1721131278/solver-4431657-1721131278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721127684-841754 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431657-1721131278.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=843839, runsolver pid=843836

[startup+0.100093 s]*
/proc/loadavg: 4.32 4.29 4.24 5/252 843848
/proc/meminfo: memFree=125907672/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=92120 memory=13820 CPUtime=0.1 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 1821 0 0 0 7 3 0 0 20 0 1 0 165284790 94330880 3455 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 23030 3455 1915 46 0 3645 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 102048 KiB
Current children cumulated memory: 16516 KiB

[startup+0.213534 s]*
/proc/loadavg: 4.32 4.29 4.24 5/253 843849
/proc/meminfo: memFree=125892840/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=142972 memory=26732 CPUtime=0.21 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3334 0 0 0 16 5 0 0 20 0 2 0 165284790 146403328 6683 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 35743 6683 2739 46 0 8338 0
[pid=843841/tid=843849] ppid=843839 vsize=142972 memory=3472328300251083854 CPUtime=0 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284802 146403328 6683 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 152900 KiB
Current children cumulated memory: 29428 KiB

[startup+0.313446 s]*
/proc/loadavg: 4.32 4.29 4.24 5/254 843850
/proc/meminfo: memFree=125878224/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=144984 memory=28580 CPUtime=0.31 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3777 0 0 0 23 8 0 0 20 0 2 0 165284790 148463616 7145 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 36246 7145 2739 46 0 8841 0
[pid=843841/tid=843849] ppid=843839 vsize=144984 memory=-8609969410814077027 CPUtime=0 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284802 148463616 7145 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 154912 KiB
Current children cumulated memory: 31276 KiB

[startup+0.700399 s]
/proc/loadavg: 4.32 4.29 4.24 5/254 843850
/proc/meminfo: memFree=125853408/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=166684 memory=50824 CPUtime=0.68 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 8386 0 0 0 58 10 0 0 20 0 2 0 165284790 170684416 12706 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 41671 12706 3895 46 0 14266 0
[pid=843841/tid=843849] ppid=843839 vsize=166684 memory=0 CPUtime=0 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284802 170684416 12706 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176612 KiB
Current children cumulated memory: 53520 KiB

[startup+1.50043 s]
/proc/loadavg: 4.32 4.29 4.24 5/247 843865
/proc/meminfo: memFree=126005484/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=172500 memory=55300 CPUtime=1.48 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 9615 0 0 0 129 19 0 0 20 0 2 0 165284790 176640000 13825 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 43125 13825 3926 46 0 15720 0
[pid=843841/tid=843849] ppid=843839 vsize=172500 memory=55300 CPUtime=0 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284802 176640000 13825 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182428 KiB
Current children cumulated memory: 57996 KiB

[startup+3.11305 s]
/proc/loadavg: 4.29 4.28 4.24 5/254 843898
/proc/meminfo: memFree=125890312/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=172500 memory=58332 CPUtime=3.09 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 11106 0 0 0 260 49 0 0 20 0 2 0 165284790 176640000 14583 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 43125 14583 3974 46 0 15720 0
[pid=843841/tid=843849] ppid=843839 vsize=172500 memory=56148 CPUtime=0 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 165284802 176640000 14583 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 182428 KiB
Current children cumulated memory: 61028 KiB

[startup+6.30035 s]
/proc/loadavg: 4.29 4.28 4.24 5/254 843898
/proc/meminfo: memFree=125869312/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=175220 memory=59568 CPUtime=6.27 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 14584 0 0 0 516 111 0 0 20 0 2 0 165284790 179425280 14892 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 43805 14892 3974 46 0 16400 0
[pid=843841/tid=843849] ppid=843839 vsize=175220 memory=2696 CPUtime=0 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 165284802 179425280 14892 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 185148 KiB
Current children cumulated memory: 62264 KiB

[startup+12.7004 s]
/proc/loadavg: 4.27 4.28 4.24 5/254 843900
/proc/meminfo: memFree=125851324/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=192680 memory=74160 CPUtime=12.67 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 26978 0 0 0 1043 224 0 0 20 0 2 0 165284790 197304320 18540 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 48170 18540 3974 46 0 20765 0
[pid=843841/tid=843849] ppid=843839 vsize=192680 memory=12556 CPUtime=0 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 165284802 197304320 18540 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 202608 KiB
Current children cumulated memory: 76856 KiB

[startup+25.5004 s]
/proc/loadavg: 4.28 4.28 4.24 5/254 843901
/proc/meminfo: memFree=125789544/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=234244 memory=122004 CPUtime=25.45 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 50913 0 0 0 2126 419 0 0 20 0 2 0 165284790 239865856 30501 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 58561 30501 3974 46 0 31156 0
[pid=843841/tid=843849] ppid=843839 vsize=234244 memory=119164 CPUtime=0.01 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 26 0 0 0 0 1 0 0 20 0 2 0 165284802 239865856 30501 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 244172 KiB
Current children cumulated memory: 124700 KiB

[startup+51.1132 s]
/proc/loadavg: 4.26 4.27 4.24 5/254 843906
/proc/meminfo: memFree=125632172/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=341104 memory=212004 CPUtime=51.04 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 90350 0 0 0 4368 736 0 0 20 0 2 0 165284790 349290496 53001 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 85276 53001 3974 46 0 57871 0
[pid=843841/tid=843849] ppid=843839 vsize=341104 memory=196696 CPUtime=0.04 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 36 0 0 0 1 3 0 0 20 0 2 0 165284802 349290496 53001 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 351032 KiB
Current children cumulated memory: 214700 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.26 4.23 5/254 843914
/proc/meminfo: memFree=125315008/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=482908 memory=333728 CPUtime=102.18 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 158081 0 0 0 8831 1387 0 0 20 0 2 0 165284790 494497792 83432 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 120727 83432 3974 46 0 93322 0
[pid=843841/tid=843849] ppid=843839 vsize=482908 memory=5524 CPUtime=0.1 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 46 0 0 0 3 7 0 0 20 0 2 0 165284802 494497792 83432 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 492836 KiB
Current children cumulated memory: 336424 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.23 4.22 5/254 843926

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

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/251 845086
/proc/meminfo: memFree=90848000/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6386584 memory=4479668 CPUtime=3159.19 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3132435 0 0 0 302864 13055 0 0 20 0 2 0 165284790 6539862016 1119917 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1596646 1119917 4175 46 0 1569241 0
[pid=843841/tid=843849] ppid=843839 vsize=6386584 memory=11404 CPUtime=4.14 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 390 0 0 0 140 274 0 0 20 0 2 0 165284802 6539862016 1119917 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3159.19 s
Current children cumulated vsize: 6396512 KiB
Current children cumulated memory: 4482364 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.18 5/252 845098
/proc/meminfo: memFree=91168328/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6388340 memory=4489616 CPUtime=3219.11 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3185522 0 0 0 308843 13068 0 0 20 0 2 0 165284790 6541660160 1122404 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1597085 1122404 4175 46 0 1569680 0
[pid=843841/tid=843849] ppid=843839 vsize=6388340 memory=2696 CPUtime=4.24 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 398 0 0 0 142 282 0 0 20 0 2 0 165284802 6541660160 1122404 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3219.11 s
Current children cumulated vsize: 6398268 KiB
Current children cumulated memory: 4492312 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.17 5/253 845491
/proc/meminfo: memFree=91637060/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6388340 memory=4491664 CPUtime=3279.02 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3231195 0 0 0 314825 13077 0 0 20 0 2 0 165284790 6541660160 1122916 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1597085 1122916 4175 46 0 1569680 0
[pid=843841/tid=843849] ppid=843839 vsize=6388340 memory=4489616 CPUtime=4.34 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 403 0 0 0 145 289 0 0 20 0 2 0 165284802 6541660160 1122916 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3279.02 s
Current children cumulated vsize: 6398268 KiB
Current children cumulated memory: 4494360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/252 845501
/proc/meminfo: memFree=93200728/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6388764 memory=4492088 CPUtime=3338.94 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3278762 0 0 0 320807 13087 0 0 20 0 2 0 165284790 6542094336 1123022 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1597191 1123022 4175 46 0 1569786 0
[pid=843841/tid=843849] ppid=843839 vsize=6388764 memory=11404 CPUtime=4.44 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 410 0 0 0 148 296 0 0 20 0 2 0 165284802 6542094336 1123022 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3338.94 s
Current children cumulated vsize: 6398692 KiB
Current children cumulated memory: 4494784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.16 5/252 845512
/proc/meminfo: memFree=93597516/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6388440 memory=4456068 CPUtime=3398.85 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3318536 0 0 0 326779 13106 0 0 20 0 2 0 165284790 6541762560 1114017 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1597110 1114017 4175 46 0 1569705 0
[pid=843841/tid=843849] ppid=843839 vsize=6388440 memory=2696 CPUtime=4.54 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 414 0 0 0 151 303 0 0 20 0 2 0 165284802 6541762560 1114017 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3398.85 s
Current children cumulated vsize: 6398368 KiB
Current children cumulated memory: 4458764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.13 4.16 5/253 845692
/proc/meminfo: memFree=92921124/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6388440 memory=4481524 CPUtime=3458.76 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3356186 0 0 0 332758 13118 0 0 20 0 2 0 165284790 6541762560 1120381 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1597110 1120381 4175 46 0 1569705 0
[pid=843841/tid=843849] ppid=843839 vsize=6388440 memory=2696 CPUtime=4.65 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 420 0 0 0 155 310 0 0 20 0 2 0 165284802 6541762560 1120381 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3458.76 s
Current children cumulated vsize: 6398368 KiB
Current children cumulated memory: 4484220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/253 845702
/proc/meminfo: memFree=92858916/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6394424 memory=4497748 CPUtime=3518.67 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3406852 0 0 0 338737 13130 0 0 20 0 2 0 165284790 6547890176 1124437 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1598606 1124437 4175 46 0 1571201 0
[pid=843841/tid=843849] ppid=843839 vsize=6394424 memory=4497748 CPUtime=4.74 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 424 0 0 0 158 316 0 0 20 0 2 0 165284802 6547890176 1124437 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3518.67 s
Current children cumulated vsize: 6404352 KiB
Current children cumulated memory: 4500444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.16 5/254 845728
/proc/meminfo: memFree=93087084/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6394424 memory=4497748 CPUtime=3578.58 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3459951 0 0 0 344717 13141 0 0 20 0 2 0 165284790 6547890176 1124437 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1598606 1124437 4175 46 0 1571201 0
[pid=843841/tid=843849] ppid=843839 vsize=6394424 memory=16140 CPUtime=4.84 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 431 0 0 0 161 323 0 0 20 0 2 0 165284802 6547890176 1124437 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3578.58 s
Current children cumulated vsize: 6404352 KiB
Current children cumulated memory: 4500444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.8 s]
/proc/loadavg: 4.17 4.13 4.16 5/253 845778
/proc/meminfo: memFree=95571064/131655788 swapFree=131071996/131071996
[pid=843839] ppid=843836 vsize=9928 memory=2696 CPUtime=0 cores=4,6
/proc/843839/stat : 843839 (run-glibc-2.34.) S 843836 843839 841743 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 165284790 10166272 674 134679101440 94101548556288 94101549635608 140729322344288 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94101551734064 94101551781252 94101560082432 140729322349515 140729322349660 140729322349660 140729322356675 0
/proc/843839/statm: 2482 674 593 264 0 133 0
[pid=843841] ppid=843839 vsize=6778540 memory=4810844 CPUtime=3600.05 cores=4,6
/proc/843841/stat : 843841 (ld-linux-x86-64) R 843839 843839 841743 0 -1 4194304 3479526 0 0 0 346828 13177 0 0 20 0 2 0 165284790 6941224960 1202711 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
/proc/843841/statm: 1694635 1202711 4175 46 0 1667230 0
[pid=843841/tid=843849] ppid=843839 vsize=6778540 memory=2696 CPUtime=4.87 cores=4,6
/proc/843841/task/843849/stat : 843849 (ld-linux-x86-64) S 843839 843839 841743 0 -1 1077936192 433 0 0 0 162 325 0 0 20 0 2 0 165284802 6941224960 1202711 134679101440 140052196552704 140052196740316 140737130219136 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140052198841216 140052198850664 93825010102272 140737130222435 140737130222587 140737130222587 140737130229682 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6788468 KiB
Current children cumulated memory: 4813540 KiB

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

[startup+3603.81 s]
# the end of solver process 843839 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001329 s, system=0.002676 s

[startup+3603.83 s]
# the end of solver process 843841 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3468.29 s, system=131.801 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3603.83
CPU time (s): 3600.1
CPU user time (s): 3468.29
CPU system time (s): 131.801
CPU usage (%): 99.8964
Max. virtual memory (cumulated for all children) (KiB): 7275520
Max. memory (cumulated for all children) (KiB): 5168964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3468.29
system time used= 131.801
maximum resident set size= 5237260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3479731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353311
involuntary context switches= 2292


# summary of solver processes directly reported to runsolver:
#   pid: 843839,843841
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3468.29
#   total CPU system time (s): 131.801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0666 second user time and 36.2476 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-16 14:01:31
IDJOB=4431657
IDBENCH=155620
IDSOLVER=3056
FILE ID=nodeC012/4431657-1721131278
RUNJOBID= nodeC012-1721127684-841754
SLURM_JOB_ID= 7505686
Free space on /tmp= 723688 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_5.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431657-1721131278/watcher-4431657-1721131278 -o /tmp/evaluation-result-4431657-1721131278/solver-4431657-1721131278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721127684-841754 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431657-1721131278.opb

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

MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653
RANDOM SEED=552213952

nodeC012.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		: 3671.449
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	: 6984.37
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		: 1197.585
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.32
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.338
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	: 6984.37
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.321
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.32
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		: 1197.321
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	: 6984.37
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		: 3093.079
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.32
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.524
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	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.429
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125928356 kB
MemAvailable:   129613284 kB
Buffers:          408316 kB
Cached:          4074664 kB
SwapCached:            0 kB
Active:           744212 kB
Inactive:        4360356 kB
Active(anon):       1432 kB
Inactive(anon):   657864 kB
Active(file):     742780 kB
Inactive(file):  3702492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            128192 kB
Writeback:             0 kB
AnonPages:        619724 kB
Mapped:           117972 kB
Shmem:             37704 kB
KReclaimable:     159376 kB
Slab:             263760 kB
SReclaimable:     159376 kB
SUnreclaim:       104384 kB
KernelStack:        3904 kB
PageTables:        10652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1096972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 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:      303944 kB
DirectMap2M:    33155072 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723584 MiB
End job on nodeC012 at 2024-07-16 15:01:35