Trace number 4431443

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.09 3611.23

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
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 benchmark241
Best CPU time to get the best result obtained on this benchmark3558.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494314
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494314
Number of bits of the biggest sum of numbers19
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: 63968 MiB (62078 MiB free)
  memory of node 1: 64473 MiB (61853 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431443-1721087607/watcher-4431443-1721087607 -o /tmp/evaluation-result-4431443-1721087607/solver-4431443-1721087607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721080350-825975 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431443-1721087607.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=831404, runsolver pid=831401

[startup+0.100085 s]*
/proc/loadavg: 4.21 4.21 4.15 5/264 831406
/proc/meminfo: memFree=126892976/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=103008 memory=19044 CPUtime=0.09 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 3811 0 0 0 9 0 0 0 20 0 1 0 160931525 105480192 4761 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 25752 4761 1633 46 0 6367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112936 KiB
Current children cumulated memory: 21784 KiB

[startup+0.205777 s]*
/proc/loadavg: 4.21 4.21 4.15 5/264 831406
/proc/meminfo: memFree=126879808/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=117932 memory=31856 CPUtime=0.2 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 6020 0 0 0 19 1 0 0 20 0 1 0 160931525 120762368 7964 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 29483 7964 1633 46 0 10098 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127860 KiB
Current children cumulated memory: 34596 KiB

[startup+0.305655 s]*
/proc/loadavg: 4.21 4.21 4.15 5/264 831406
/proc/meminfo: memFree=126868712/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=124532 memory=42808 CPUtime=0.29 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 7684 0 0 0 28 1 0 0 20 0 1 0 160931525 127520768 10702 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 31133 10702 1633 46 0 11748 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134460 KiB
Current children cumulated memory: 45548 KiB

[startup+0.700214 s]
/proc/loadavg: 4.21 4.21 4.15 5/264 831406
/proc/meminfo: memFree=126848400/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=162972 memory=74124 CPUtime=0.68 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 13920 0 0 0 56 12 0 0 20 0 1 0 160931525 166883328 18531 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 40743 18531 1729 46 0 21358 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 172900 KiB
Current children cumulated memory: 76864 KiB

[startup+1.50022 s]
/proc/loadavg: 4.21 4.21 4.15 5/264 831406
/proc/meminfo: memFree=126821784/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=287540 memory=155180 CPUtime=1.47 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 23586 0 0 0 101 46 0 0 20 0 2 0 160931525 294440960 38795 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 71885 38795 2685 46 0 44480 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 297468 KiB
Current children cumulated memory: 157920 KiB

[startup+3.1055 s]
/proc/loadavg: 4.19 4.21 4.15 5/265 831408
/proc/meminfo: memFree=126672884/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=392608 memory=248052 CPUtime=3.08 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 40574 0 0 0 209 99 0 0 20 0 2 0 160931525 402030592 62013 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 98152 62013 2701 46 0 70747 0
[pid=831406/tid=831407] ppid=831404 vsize=392608 memory=0 CPUtime=0 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 160931663 402030592 62013 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 402536 KiB
Current children cumulated memory: 250792 KiB

[startup+6.30026 s]
/proc/loadavg: 4.19 4.21 4.15 5/265 831408
/proc/meminfo: memFree=126404388/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=765888 memory=581472 CPUtime=6.25 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 99299 0 0 0 453 172 0 0 20 0 2 0 160931525 784269312 145368 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 191472 145368 3120 46 0 164067 0
[pid=831406/tid=831407] ppid=831404 vsize=765888 memory=559844 CPUtime=0 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 160931663 784269312 145368 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 775816 KiB
Current children cumulated memory: 584212 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.20 4.15 5/265 831408
/proc/meminfo: memFree=126205500/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=1788936 memory=712820 CPUtime=12.62 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 228277 0 0 0 1062 200 0 0 20 0 2 0 160931525 1831870464 178205 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 447234 178205 3957 46 0 419829 0
[pid=831406/tid=831407] ppid=831404 vsize=1788936 memory=11588 CPUtime=0 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 160931663 1831870464 178205 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1798864 KiB
Current children cumulated memory: 715560 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.19 4.15 5/265 831411
/proc/meminfo: memFree=126202252/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=1788936 memory=715656 CPUtime=25.37 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 233280 0 0 0 2337 200 0 0 20 0 2 0 160931525 1831870464 178914 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 447234 178914 3972 46 0 419829 0
[pid=831406/tid=831407] ppid=831404 vsize=1788936 memory=2740 CPUtime=0 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 2 0 160931663 1831870464 178914 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1798864 KiB
Current children cumulated memory: 718396 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.19 4.15 5/265 831415
/proc/meminfo: memFree=126193668/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=1788936 memory=715656 CPUtime=50.9 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 241964 0 0 0 4888 202 0 0 20 0 2 0 160931525 1831870464 178914 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 447234 178914 3972 46 0 419829 0
[pid=831406/tid=831407] ppid=831404 vsize=1788936 memory=715656 CPUtime=0.01 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 23 0 0 0 0 1 0 0 20 0 2 0 160931663 1831870464 178914 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1798864 KiB
Current children cumulated memory: 718396 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/266 831807
/proc/meminfo: memFree=126189832/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=1789208 memory=716696 CPUtime=101.95 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 254752 0 0 0 9989 206 0 0 20 0 2 0 160931525 1832148992 179174 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 447302 179174 3972 46 0 419897 0
[pid=831406/tid=831407] ppid=831404 vsize=1789208 memory=11588 CPUtime=0.04 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 32 0 0 0 1 3 0 0 20 0 2 0 160931663 1832148992 179174 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1799136 KiB
Current children cumulated memory: 719436 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/265 831817
/proc/meminfo: memFree=126139372/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=1791980 memory=718792 CPUtime=161.77 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 265254 0 0 0 15968 209 0 0 20 0 2 0 160931525 1834987520 179698 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 447995 179698 3972 46 0 420590 0
[pid=831406/tid=831407] ppid=831404 vsize=1791980 memory=2740 CPUtime=0.06 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 40 0 0 0 1 5 0 0 20 0 2 0 160931663 1834987520 179698 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0

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

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/262 833156
/proc/meminfo: memFree=124142184/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2331400 memory=1256728 CPUtime=3152.66 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2255884 0 0 0 314771 495 0 0 20 0 2 0 160931525 2387353600 314182 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 582850 314182 3972 46 0 555445 0
[pid=831406/tid=831407] ppid=831404 vsize=2331400 memory=2740 CPUtime=1.3 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 246 0 0 0 40 90 0 0 20 0 2 0 160931663 2387353600 314182 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3152.66 s
Current children cumulated vsize: 2341328 KiB
Current children cumulated memory: 1259468 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/262 833167
/proc/meminfo: memFree=124106080/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2341612 memory=1268020 CPUtime=3212.44 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2318443 0 0 0 320742 502 0 0 20 0 2 0 160931525 2397810688 317005 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 585403 317005 3972 46 0 557998 0
[pid=831406/tid=831407] ppid=831404 vsize=2341612 memory=2740 CPUtime=1.32 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 250 0 0 0 41 91 0 0 20 0 2 0 160931663 2397810688 317005 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3212.44 s
Current children cumulated vsize: 2351540 KiB
Current children cumulated memory: 1270760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/262 833178
/proc/meminfo: memFree=124072608/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2357508 memory=1284108 CPUtime=3272.24 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2384036 0 0 0 326713 511 0 0 20 0 2 0 160931525 2414088192 321027 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 589377 321027 3972 46 0 561972 0
[pid=831406/tid=831407] ppid=831404 vsize=2357508 memory=1284108 CPUtime=1.35 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 254 0 0 0 41 94 0 0 20 0 2 0 160931663 2414088192 321027 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 2367436 KiB
Current children cumulated memory: 1286848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/262 833188
/proc/meminfo: memFree=124040624/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2367200 memory=1293188 CPUtime=3332.03 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2449713 0 0 0 332682 521 0 0 20 0 2 0 160931525 2424012800 323297 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 591800 323297 3972 46 0 564395 0
[pid=831406/tid=831407] ppid=831404 vsize=2367200 memory=2740 CPUtime=1.37 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 258 0 0 0 42 95 0 0 20 0 2 0 160931663 2424012800 323297 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 2377128 KiB
Current children cumulated memory: 1295928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/264 833202
/proc/meminfo: memFree=124011748/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2378292 memory=1304164 CPUtime=3391.83 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2513396 0 0 0 338654 529 0 0 20 0 2 0 160931525 2435371008 326041 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 594573 326041 3972 46 0 567168 0
[pid=831406/tid=831407] ppid=831404 vsize=2378292 memory=2740 CPUtime=1.4 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 262 0 0 0 43 97 0 0 20 0 2 0 160931663 2435371008 326041 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 2388220 KiB
Current children cumulated memory: 1306904 KiB

[startup+3462.3 s]
/proc/loadavg: 4.75 4.31 4.20 5/264 833213
/proc/meminfo: memFree=123979060/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2387860 memory=1313744 CPUtime=3451.62 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2578825 0 0 0 344622 540 0 0 20 0 2 0 160931525 2445168640 328436 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 596965 328436 3972 46 0 569560 0
[pid=831406/tid=831407] ppid=831404 vsize=2387860 memory=2740 CPUtime=1.42 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 266 0 0 0 43 99 0 0 20 0 2 0 160931663 2445168640 328436 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 2397788 KiB
Current children cumulated memory: 1316484 KiB

[startup+3522.3 s]
/proc/loadavg: 4.77 4.40 4.24 5/265 833225
/proc/meminfo: memFree=123944208/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2399968 memory=1326496 CPUtime=3511.41 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2647833 0 0 0 350591 550 0 0 20 0 2 0 160931525 2457567232 331624 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 599992 331624 3972 46 0 572587 0
[pid=831406/tid=831407] ppid=831404 vsize=2399968 memory=1323864 CPUtime=1.44 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 270 0 0 0 43 101 0 0 20 0 2 0 160931663 2457567232 331624 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 2409896 KiB
Current children cumulated memory: 1329236 KiB

[startup+3582.3 s]
/proc/loadavg: 3.63 4.20 4.18 2/238 833328
/proc/meminfo: memFree=127841440/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2410404 memory=1336476 CPUtime=3571.22 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2714646 0 0 0 356564 558 0 0 20 0 2 0 160931525 2468253696 334119 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 602601 334119 3972 46 0 575196 0
[pid=831406/tid=831407] ppid=831404 vsize=2410404 memory=40804 CPUtime=1.47 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 276 0 0 0 44 103 0 0 20 0 2 0 160931663 2468253696 334119 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 2420332 KiB
Current children cumulated memory: 1339216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 2.66 3.90 4.08 2/238 833333
/proc/meminfo: memFree=127833592/131524600 swapFree=131071996/131071996
[pid=831404] ppid=831401 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/831404/stat : 831404 (run-glibc-2.34.) S 831401 831404 825965 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 160931524 10166272 685 134679101440 94251149803520 94251150882840 140732357127936 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94251152981296 94251153028484 94251175657472 140732357129163 140732357129308 140732357129308 140732357136323 0
/proc/831404/statm: 2482 685 605 264 0 133 0
[pid=831406] ppid=831404 vsize=2416596 memory=1344176 CPUtime=3600.05 cores=0,2
/proc/831406/stat : 831406 (ld-linux-x86-64) R 831404 831404 825965 0 -1 4194304 2747315 0 0 0 359443 562 0 0 20 0 2 0 160931525 2474594304 336044 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
/proc/831406/statm: 604149 336044 3972 46 0 576744 0
[pid=831406/tid=831407] ppid=831404 vsize=2416596 memory=40804 CPUtime=1.48 cores=0,2
/proc/831406/task/831407/stat : 831407 (ld-linux-x86-64) S 831404 831404 825965 0 -1 1077936192 276 0 0 0 45 103 0 0 20 0 2 0 160931663 2474594304 336044 134679101440 140144079384576 140144079572188 140730018867952 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140144081673088 140144081682536 93825002819584 140730018870115 140730018870267 140730018870267 140730018877362 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2426524 KiB
Current children cumulated memory: 1346916 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001467 s, system=0 s

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

# cumulated CPU time of all completed processes:  user=3594.44 s, system=5.65345 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): 3611.23
CPU time (s): 3600.09
CPU user time (s): 3594.44
CPU system time (s): 5.65345
CPU usage (%): 99.6915
Max. virtual memory (cumulated for all children) (KiB): 2989512
Max. memory (cumulated for all children) (KiB): 1346916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.44
system time used= 5.65345
maximum resident set size= 1344176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2747517
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= 357482
involuntary context switches= 24670


# summary of solver processes directly reported to runsolver:
#   pid: 831404,831406
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.44
#   total CPU system time (s): 5.65345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8358 second user time and 15.0596 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 01:53:39
IDJOB=4431443
IDBENCH=147563
IDSOLVER=3056
FILE ID=nodeC035/4431443-1721087607
RUNJOBID= nodeC035-1721080350-825975
SLURM_JOB_ID= 7505553
Free space on /tmp= 889880 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.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-4431443-1721087607/watcher-4431443-1721087607 -o /tmp/evaluation-result-4431443-1721087607/solver-4431443-1721087607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721080350-825975 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431443-1721087607.opb

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1291642987

nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.695
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.176
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.235
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.905
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.223
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.187
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.054
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.880
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126906152 kB
MemAvailable:   127615216 kB
Buffers:          372336 kB
Cached:          1174452 kB
SwapCached:            0 kB
Active:           715472 kB
Inactive:        3309544 kB
Active(anon):       1544 kB
Inactive(anon):  2514400 kB
Active(file):     713928 kB
Inactive(file):   795144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             58736 kB
Writeback:            40 kB
AnonPages:       2477932 kB
Mapped:           121040 kB
Shmem:             37724 kB
KReclaimable:      79628 kB
Slab:             182812 kB
SReclaimable:      79628 kB
SUnreclaim:       103184 kB
KernelStack:        4160 kB
PageTables:        14888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5850444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62400 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1431552 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC035 at 2024-07-16 02:53:51