Trace number 4431020

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-SYM 2024-07-09? (TO) 3600.07 3606.12

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM8940813d27fb075f4739eb458e093f9a
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 benchmark176
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables467
Total number of constraints466
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 467
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 467
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c initialize IPBHS solver
0.00/0.09	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.00/0.09	c optimizer = "gurobi"
0.00/0.09	c pbsolver = "roundingsat"
0.00/0.09	c load symmetries from file ""
0.00/0.09	c set time limit for symmetry computation to 100 seconds.
0.00/0.09	c set interchangeable summation variable limit to 3
0.00/0.09	c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.09	c set abs symmetric core budget per WCE-iteration to 100
0.00/0.09	c set rel symmetric core budget per WCE-iteration to 0
0.00/0.09	c set lit symmetric core budget per WCE-iteration to 0
0.00/0.09	c set sym generation to 's'
0.00/0.09	c set abstraction set creation to 10 iterations without LB change
0.00/0.09	c set abstraction set inputs to 0
0.00/0.09	c set abstraction set cluster min size to 2
0.00/0.09	c set abstraction set cluster max size to 100000000
0.00/0.09	c set abstraction set cluster activation limit to 2
0.00/0.09	c enable abstraction set require equal cost
0.00/0.09	c set abstraction set assumptions to 0
0.00/0.09	c set abstraction set constraint type to 0
0.00/0.09	c set abstract core extraction strategy to b
0.00/0.09	c set core extraction strategy to 2
0.00/0.09	c set core extraction shuffles 10
0.00/0.09	c set cores per iteration to 5
0.00/0.09	c set optimizer bound usage strategy to 2
0.00/0.09	c set optimizer max non-optimal iterations to 1000
0.00/0.09	c set small core cardinality limit to 2
0.00/0.09	c set max coef in cores to 1000000000
0.00/0.09	c set SIS iterations to 5
0.00/0.09	c set SIS budget abs to 1000
0.00/0.09	c set SIS budget rel to 0.05
0.00/0.09	c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.09	c will solve HOME/instance-4431020-1721082925.opb

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431020-1721082925/watcher-4431020-1721082925 -o /tmp/evaluation-result-4431020-1721082925/solver-4431020-1721082925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721082937-814114 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431020-1721082925.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
Starting watchdog thread
solver pid=814179, runsolver pid=814165
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 2.91 3.83 4.06 9/258 814191
/proc/meminfo: memFree=128290284/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=136524 memory=22524 CPUtime=0.06 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 1701 0 42 0 4 2 0 0 20 0 2 0 160452169 139800576 5631 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 34131 5631 2686 46 0 6726 0
[pid=814184/tid=814188] ppid=814179 vsize=136524 memory=4026561614 CPUtime=0 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) R 814179 814179 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 139800576 5631 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 146452 KiB
Current children cumulated memory: 25216 KiB

[startup+0.215625 s]*
/proc/loadavg: 2.91 3.83 4.06 8/258 814191
/proc/meminfo: memFree=128284640/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=139008 memory=24864 CPUtime=0.16 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 1987 0 53 0 14 2 0 0 20 0 2 0 160452169 142344192 6216 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 4 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 34752 6216 3155 46 0 7347 0
[pid=814184/tid=814188] ppid=814179 vsize=139008 memory=3472328300251083854 CPUtime=0 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 142344192 6216 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 148936 KiB
Current children cumulated memory: 27556 KiB

[startup+0.314322 s]*
/proc/loadavg: 2.91 3.83 4.06 7/258 814191
/proc/meminfo: memFree=128282044/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=139476 memory=26048 CPUtime=0.26 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 2169 0 53 0 24 2 0 0 20 0 2 0 160452169 142823424 6512 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 4 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 34869 6512 3262 46 0 7464 0
[pid=814184/tid=814188] ppid=814179 vsize=139476 memory=7872691926792165700 CPUtime=0 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 142823424 6512 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 149404 KiB
Current children cumulated memory: 28740 KiB

[startup+0.70039 s]
/proc/loadavg: 2.91 3.83 4.06 7/258 814191
/proc/meminfo: memFree=128271428/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=147620 memory=33720 CPUtime=0.62 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 3566 0 61 0 59 3 0 0 20 0 2 0 160452169 151162880 8430 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 36905 8430 3866 46 0 9500 0
[pid=814184/tid=814188] ppid=814179 vsize=147620 memory=32144 CPUtime=0 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 151162880 8430 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 157548 KiB
Current children cumulated memory: 36412 KiB

[startup+1.50036 s]
/proc/loadavg: 2.91 3.83 4.06 9/258 814191
/proc/meminfo: memFree=128257084/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=147620 memory=34668 CPUtime=1.43 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 3754 0 62 0 139 4 0 0 20 0 2 0 160452169 151162880 8667 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 36905 8667 3913 46 0 9500 0
[pid=814184/tid=814188] ppid=814179 vsize=147620 memory=11464 CPUtime=0 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 151162880 8667 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 157548 KiB
Current children cumulated memory: 37360 KiB

[startup+3.11342 s]
/proc/loadavg: 2.91 3.83 4.06 10/255 814191
/proc/meminfo: memFree=128253820/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=147620 memory=35356 CPUtime=3.04 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 5029 0 62 0 300 4 0 0 20 0 2 0 160452169 151162880 8839 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 36905 8839 3914 46 0 9500 0
[pid=814184/tid=814188] ppid=814179 vsize=147620 memory=2692 CPUtime=0 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 160452176 151162880 8839 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 157548 KiB
Current children cumulated memory: 38048 KiB

[startup+6.30035 s]
/proc/loadavg: 3.08 3.85 4.07 9/255 814191
/proc/meminfo: memFree=128243276/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=151280 memory=38724 CPUtime=6.22 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 7318 0 62 0 618 4 0 0 20 0 2 0 160452169 154910720 9681 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 37820 9681 3930 46 0 10415 0
[pid=814184/tid=814188] ppid=814179 vsize=151280 memory=2692 CPUtime=0 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 160452176 154910720 9681 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 161208 KiB
Current children cumulated memory: 41416 KiB

[startup+12.7004 s]
/proc/loadavg: 3.15 3.85 4.07 10/255 814193
/proc/meminfo: memFree=128239976/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=151280 memory=39024 CPUtime=12.61 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 11177 0 62 0 1256 5 0 0 20 0 2 0 160452169 154910720 9756 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 37820 9756 3931 46 0 10415 0
[pid=814184/tid=814188] ppid=814179 vsize=151280 memory=11464 CPUtime=0.01 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 12 0 0 0 0 1 0 0 20 0 2 0 160452176 154910720 9756 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 161208 KiB
Current children cumulated memory: 41716 KiB

[startup+25.5004 s]
/proc/loadavg: 3.42 3.88 4.07 10/255 814194
/proc/meminfo: memFree=128233556/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=152564 memory=40412 CPUtime=25.39 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 16666 0 62 0 2532 7 0 0 20 0 2 0 160452169 156225536 10103 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 38141 10103 3961 46 0 10736 0
[pid=814184/tid=814188] ppid=814179 vsize=152564 memory=40128 CPUtime=0.02 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 16 0 0 0 0 2 0 0 20 0 2 0 160452176 156225536 10103 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 162492 KiB
Current children cumulated memory: 43104 KiB

[startup+51.114 s]
/proc/loadavg: 3.62 3.89 4.07 10/255 814199
/proc/meminfo: memFree=128178016/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=165372 memory=52548 CPUtime=50.96 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 54575 0 62 0 5082 14 0 0 20 0 2 0 160452169 169340928 13137 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 41343 13137 3984 46 0 13938 0
[pid=814184/tid=814188] ppid=814179 vsize=165372 memory=2692 CPUtime=0.04 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 23 0 0 0 1 3 0 0 20 0 2 0 160452176 169340928 13137 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 175300 KiB
Current children cumulated memory: 55240 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.92 4.07 10/255 814207
/proc/meminfo: memFree=128169488/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=167224 memory=58356 CPUtime=102.05 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 56577 0 62 0 10188 17 0 0 20 0 2 0 160452169 171237376 14589 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 41806 14589 3984 46 0 14401 0
[pid=814184/tid=814188] ppid=814179 vsize=167224 memory=2692 CPUtime=0.09 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 27 0 0 0 2 7 0 0 20 0 2 0 160452176 171237376 14589 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 177152 KiB
Current children cumulated memory: 61048 KiB

[startup+162.3 s]

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

[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.14 10/255 815904
/proc/meminfo: memFree=126699324/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=501468 memory=389552 CPUtime=3217 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 391822 0 62 0 321392 308 0 0 20 0 2 0 160452169 513503232 97388 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 125367 97388 3984 46 0 97962 0
[pid=814184/tid=814188] ppid=814179 vsize=501468 memory=2692 CPUtime=3.14 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 107 0 0 0 75 239 0 0 20 0 2 0 160452176 513503232 97388 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3217 s
Current children cumulated vsize: 511396 KiB
Current children cumulated memory: 392244 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.14 10/255 815914
/proc/meminfo: memFree=126671676/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=509236 memory=395968 CPUtime=3276.88 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 401625 0 62 0 327374 314 0 0 20 0 2 0 160452169 521457664 98992 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 127309 98992 3984 46 0 99904 0
[pid=814184/tid=814188] ppid=814179 vsize=509236 memory=394376 CPUtime=3.2 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 109 0 0 0 76 244 0 0 20 0 2 0 160452176 521457664 98992 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3276.88 s
Current children cumulated vsize: 519164 KiB
Current children cumulated memory: 398660 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.14 9/252 815980
/proc/meminfo: memFree=126642136/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=516164 memory=402916 CPUtime=3336.76 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 410890 0 62 0 333357 319 0 0 20 0 2 0 160452169 528551936 100729 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 129041 100729 3984 46 0 101636 0
[pid=814184/tid=814188] ppid=814179 vsize=516164 memory=2692 CPUtime=3.26 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 111 0 0 0 78 248 0 0 20 0 2 0 160452176 528551936 100729 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3336.76 s
Current children cumulated vsize: 526092 KiB
Current children cumulated memory: 405608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.13 10/252 815990
/proc/meminfo: memFree=126609896/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=522132 memory=409556 CPUtime=3396.65 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 422101 0 62 0 339339 326 0 0 20 0 2 0 160452169 534663168 102389 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 130533 102389 3984 46 0 103128 0
[pid=814184/tid=814188] ppid=814179 vsize=522132 memory=2692 CPUtime=3.31 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 113 0 0 0 79 252 0 0 20 0 2 0 160452176 534663168 102389 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3396.65 s
Current children cumulated vsize: 532060 KiB
Current children cumulated memory: 412248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.12 10/252 816002
/proc/meminfo: memFree=126582380/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=528688 memory=417492 CPUtime=3456.52 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 437101 0 62 0 345320 332 0 0 20 0 2 0 160452169 541376512 104373 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 132172 104373 3984 46 0 104767 0
[pid=814184/tid=814188] ppid=814179 vsize=528688 memory=2692 CPUtime=3.38 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 115 0 0 0 81 257 0 0 20 0 2 0 160452176 541376512 104373 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3456.52 s
Current children cumulated vsize: 538616 KiB
Current children cumulated memory: 420184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.12 11/250 816014
/proc/meminfo: memFree=126550728/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=534692 memory=424656 CPUtime=3516.4 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 453446 0 62 0 351303 337 0 0 20 0 2 0 160452169 547524608 106164 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 133673 106164 3984 46 0 106268 0
[pid=814184/tid=814188] ppid=814179 vsize=534692 memory=2692 CPUtime=3.43 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 116 0 0 0 82 261 0 0 20 0 2 0 160452176 547524608 106164 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3516.4 s
Current children cumulated vsize: 544620 KiB
Current children cumulated memory: 427348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.12 11/250 816024
/proc/meminfo: memFree=126524972/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=540292 memory=430392 CPUtime=3576.28 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 481589 0 62 0 357285 343 0 0 20 0 2 0 160452169 553259008 107598 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 135073 107598 3984 46 0 107668 0
[pid=814184/tid=814188] ppid=814179 vsize=540292 memory=11464 CPUtime=3.49 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 118 0 0 0 83 266 0 0 20 0 2 0 160452176 553259008 107598 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3576.28 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 433084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.11 s]
/proc/loadavg: 4.06 4.10 4.11 9/250 816029
/proc/meminfo: memFree=126516432/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=541152 memory=431124 CPUtime=3600.05 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 484257 0 62 0 359659 346 0 0 20 0 2 0 160452169 554139648 107781 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 135288 107781 3984 46 0 107883 0
[pid=814184/tid=814188] ppid=814179 vsize=541152 memory=2692 CPUtime=3.52 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 119 0 0 0 84 268 0 0 20 0 2 0 160452176 554139648 107781 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 551080 KiB
Current children cumulated memory: 433816 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001666 s, system=0.002493 s

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

# cumulated CPU time of all completed processes:  user=3596.6 s, system=3.47235 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

[startup+3606.11 s]
/proc/loadavg: 4.06 4.10 4.11 9/250 816029
/proc/meminfo: memFree=126516432/131655788 swapFree=131071996/131071996
[pid=814179] ppid=814165 vsize=9928 memory=2692 CPUtime=0 cores=4,6
/proc/814179/stat : 814179 (run-glibc-2.34.) S 814165 814179 814103 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 673 134679101440 94657022246912 94657023326232 140726584612688 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94657025424688 94657025471876 94657038954496 140726584619967 140726584620124 140726584620124 140726584627139 0
/proc/814179/statm: 2482 673 593 264 0 133 0
[pid=814184] ppid=814179 vsize=541152 memory=431124 CPUtime=3600.05 cores=4,6
/proc/814184/stat : 814184 (ld-linux-x86-64) R 814179 814179 814103 0 -1 4194304 484257 0 62 0 359659 346 0 0 20 0 2 0 160452169 554139648 107781 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 0 0 0 17 4 0 0 5 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
/proc/814184/statm: 135288 107781 3984 46 0 107883 0
[pid=814184/tid=814188] ppid=814179 vsize=541152 memory=2692 CPUtime=3.52 cores=4,6
/proc/814184/task/814188/stat : 814188 (ld-linux-x86-64) S 814179 814179 814103 0 -1 1077936192 119 0 0 0 84 268 0 0 20 0 2 0 160452176 554139648 107781 134679101440 140305194205184 140305194392796 140732230259680 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140305196493696 140305196503144 93825012895744 140732230267735 140732230267899 140732230267899 140732230274994 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 551080 KiB
Current children cumulated memory: 433816 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3606.12
CPU time (s): 3600.07
CPU user time (s): 3596.6
CPU system time (s): 3.47235
CPU usage (%): 99.8322
Max. virtual memory (cumulated for all children) (KiB): 551080
Max. memory (cumulated for all children) (KiB): 433816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.6
system time used= 3.47234
maximum resident set size= 431124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484458
page faults= 62
swaps= 0
block input operations= 5920
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355424
involuntary context switches= 4328


# summary of solver processes directly reported to runsolver:
#   pid: 814179,814184
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.6
#   total CPU system time (s): 3.47235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5256 second user time and 37.4735 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 00:35:37
IDJOB=4431020
IDBENCH=147542
IDSOLVER=3055
FILE ID=nodeC009/4431020-1721082925
RUNJOBID= nodeC009-1721082937-814114
SLURM_JOB_ID= 7505567
Free space on /tmp= 723764 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431020-1721082925/watcher-4431020-1721082925 -o /tmp/evaluation-result-4431020-1721082925/solver-4431020-1721082925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721082937-814114 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431020-1721082925.opb

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

MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=1538917445

nodeC009.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		: 1197.324
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.34
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		: 3491.459
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.27
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.317
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.34
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.314
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.27
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.317
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128344124 kB
MemAvailable:   129922428 kB
Buffers:          381048 kB
Cached:          2025404 kB
SwapCached:            0 kB
Active:           665868 kB
Inactive:        2090480 kB
Active(anon):       1400 kB
Inactive(anon):   386852 kB
Active(file):     664468 kB
Inactive(file):  1703628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            166416 kB
Writeback:             8 kB
AnonPages:        350620 kB
Mapped:           103612 kB
Shmem:             37700 kB
KReclaimable:     100480 kB
Slab:             197896 kB
SReclaimable:     100480 kB
SUnreclaim:        97416 kB
KernelStack:        3808 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     721928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723604 MiB
End job on nodeC009 at 2024-07-16 01:35:44