Trace number 4451744

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 NameAnswerCPU timeWall clock time
Hybrid-LSMabSP+Exact 2024-07-11? 3587.85 3596.02

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_11.opb
MD5SUM66b8e371687d4e403b47b4700770389d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark105.174
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1892
Total number of constraints9034
Number of constraints which are clauses9030
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint43
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 54
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3587.81/3596.01	c Filename:instance-4451744-1721435935.opb, Cutoff_time:1798, memory_limit_gb:29976
3587.81/3596.01	c Use Presolve
3587.81/3596.01	c Parse finsih
3587.81/3596.01	c Start Presolve
3587.81/3596.01	c After Reduce Vars: 1886 Clauses: 8632 Top clause weight: 1 Hard Clauses: 8632
3587.81/3596.01	c Use LS-small
3587.81/3596.01	s UNKNOWN

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451744-1721435935/watcher-4451744-1721435935 -o /tmp/evaluation-result-4451744-1721435935/solver-4451744-1721435935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721432244-1028636 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4451744-1721435935.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1030957, runsolver pid=1030954

[startup+0.100453 s]*
/proc/loadavg: 4.15 4.10 4.09 5/263 1030961
/proc/meminfo: memFree=128757596/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=25864 memory=11568 CPUtime=0.09 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 1390 0 0 0 9 0 0 0 20 0 1 0 195758453 26484736 2892 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 6466 2892 1073 2753 0 3119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44456 KiB
Current children cumulated memory: 15280 KiB

[startup+0.205832 s]*
/proc/loadavg: 4.15 4.10 4.09 5/263 1030961
/proc/meminfo: memFree=128747140/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=33432 memory=19944 CPUtime=0.19 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 3949 0 0 0 19 0 0 0 20 0 1 0 195758453 34234368 4986 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 8358 4986 1105 2753 0 5011 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52024 KiB
Current children cumulated memory: 23656 KiB

[startup+0.305944 s]*
/proc/loadavg: 4.15 4.10 4.09 5/263 1030961
/proc/meminfo: memFree=128746992/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=34092 memory=20652 CPUtime=0.29 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 4136 0 0 0 29 0 0 0 20 0 1 0 195758453 34910208 5163 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 8523 5163 1153 2753 0 5176 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52684 KiB
Current children cumulated memory: 24364 KiB

[startup+0.700251 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 1030961
/proc/meminfo: memFree=128702164/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=107708 memory=96788 CPUtime=0.68 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 21240 0 0 0 65 3 0 0 20 0 1 0 195758453 110292992 24197 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 26927 24197 2833 2753 0 23580 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126300 KiB
Current children cumulated memory: 100500 KiB

[startup+1.50022 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 1030961
/proc/meminfo: memFree=128672388/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=115260 memory=102772 CPUtime=1.48 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 22750 0 0 0 145 3 0 0 20 0 1 0 195758453 118026240 25693 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 28815 25693 2833 2753 0 25468 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133852 KiB
Current children cumulated memory: 106484 KiB

[startup+3.10558 s]
/proc/loadavg: 4.21 4.12 4.10 5/263 1030961
/proc/meminfo: memFree=128669604/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=115260 memory=103560 CPUtime=3.08 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 22942 0 0 0 305 3 0 0 20 0 1 0 195758453 118026240 25890 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 28815 25890 2833 2753 0 25468 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 133852 KiB
Current children cumulated memory: 107272 KiB

[startup+6.30021 s]
/proc/loadavg: 4.21 4.12 4.10 5/263 1030963
/proc/meminfo: memFree=128668376/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=115260 memory=104608 CPUtime=6.26 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 24459 0 0 0 623 3 0 0 20 0 1 0 195758453 118026240 26152 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 28815 26152 2833 2753 0 25468 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 133852 KiB
Current children cumulated memory: 108320 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 4.10 5/263 1030963
/proc/meminfo: memFree=128591428/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=203480 memory=187812 CPUtime=12.65 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 45301 0 0 0 1259 6 0 0 20 0 1 0 195758453 208363520 46953 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 50870 46953 2849 2753 0 47523 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 222072 KiB
Current children cumulated memory: 191524 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 1030964
/proc/meminfo: memFree=128501308/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=293040 memory=271464 CPUtime=25.42 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 66201 0 0 0 2533 9 0 0 20 0 1 0 195758453 300072960 67866 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 73260 67866 2849 2753 0 69913 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 311632 KiB
Current children cumulated memory: 275176 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 1030969
/proc/meminfo: memFree=128496052/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0
[pid=1030960] ppid=1030957 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/1030960/stat : 1030960 (timeout) S 1030957 1030960 1028621 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 195758453 8867840 258 134679101440 93983136948224 93983136983240 140725938339600 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 93983139080656 93983139082788 93983147515904 140725938340903 140725938341019 140725938341019 140725938348007 0
/proc/1030960/statm: 2165 258 234 9 0 87 0
[pid=1030961] ppid=1030960 vsize=295328 memory=275156 CPUtime=50.96 cores=5,7
/proc/1030961/stat : 1030961 (LS-MabSP) R 1030960 1030960 1028621 0 -1 4194304 67137 0 0 0 5087 9 0 0 20 0 1 0 195758453 302415872 68789 134679101440 4194304 15467897 140733430668672 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 40656896 140733430670394 140733430670497 140733430670497 140733430677485 0
/proc/1030961/statm: 73832 68789 2849 2753 0 70485 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 313920 KiB
Current children cumulated memory: 278868 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 1030982
/proc/meminfo: memFree=128480248/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 231 107 0 0 0 0 0 0 20 0 1 0 195758453 10170368 670 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 670 592 264 0 134 0

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

/proc/1032042/statm: 12194 10833 748 737 0 11282 0
Current children cumulated CPU time: 3394.56 s
Current children cumulated vsize: 67368 KiB
Current children cumulated memory: 47072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 1032977
/proc/meminfo: memFree=128451000/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49288 memory=43788 CPUtime=1660.27 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 79430 0 0 0 166014 13 0 0 20 0 1 0 195938254 50470912 10947 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12322 10947 748 737 0 11410 0
Current children cumulated CPU time: 3454.41 s
Current children cumulated vsize: 67880 KiB
Current children cumulated memory: 47528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 1033175
/proc/meminfo: memFree=128554700/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49544 memory=44044 CPUtime=1720.12 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 81874 0 0 0 171999 13 0 0 20 0 1 0 195938254 50733056 11011 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12386 11011 748 737 0 11474 0
Current children cumulated CPU time: 3514.26 s
Current children cumulated vsize: 68136 KiB
Current children cumulated memory: 47784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 1033185
/proc/meminfo: memFree=128545308/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49880 memory=44500 CPUtime=1779.99 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 84150 0 0 0 177985 14 0 0 20 0 1 0 195938254 51077120 11125 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12470 11125 748 737 0 11558 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 68472 KiB
Current children cumulated memory: 48240 KiB

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

# cumulated CPU time of all completed processes:  user=3574.75 s, system=13.092 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 1033185
/proc/meminfo: memFree=128545488/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49912 memory=44532 CPUtime=1781.7 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 84278 0 0 0 178156 14 0 0 20 0 1 0 195938254 51109888 11133 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12478 11133 748 737 0 11566 0
Current children cumulated CPU time: 3575.84 s
Current children cumulated vsize: 68504 KiB
Current children cumulated memory: 48272 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 1033187
/proc/meminfo: memFree=128545188/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49928 memory=44548 CPUtime=1788.08 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 84521 0 0 0 178794 14 0 0 20 0 1 0 195938254 51126272 11137 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12482 11137 748 737 0 11570 0
Current children cumulated CPU time: 3582.22 s
Current children cumulated vsize: 68520 KiB
Current children cumulated memory: 48288 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 1033187
/proc/meminfo: memFree=128544776/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49928 memory=44548 CPUtime=1791.27 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 84521 0 0 0 179113 14 0 0 20 0 1 0 195938254 51126272 11137 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12482 11137 748 737 0 11570 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 68520 KiB
Current children cumulated memory: 48288 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 1033187
/proc/meminfo: memFree=128544820/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49928 memory=44548 CPUtime=1792.87 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 84641 0 0 0 179273 14 0 0 20 0 1 0 195938254 51126272 11137 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12482 11137 748 737 0 11570 0
Current children cumulated CPU time: 3587.01 s
Current children cumulated vsize: 68520 KiB
Current children cumulated memory: 48288 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 1033187
/proc/meminfo: memFree=128544820/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49928 memory=44548 CPUtime=1793.26 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 84641 0 0 0 179312 14 0 0 20 0 1 0 195938254 51126272 11137 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12482 11137 748 737 0 11570 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 68520 KiB
Current children cumulated memory: 48288 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.09 5/263 1033188
/proc/meminfo: memFree=128544820/131524600 swapFree=131071996/131071996
[pid=1030957] ppid=1030954 vsize=9932 memory=2724 CPUtime=1794.14 cores=5,7
/proc/1030957/stat : 1030957 (Hybrid-LSMabSP+) S 1030954 1030957 1028621 0 -1 4194304 263 104311 0 0 0 0 178120 1294 20 0 1 0 195758453 10170368 681 134679101440 94111234179072 94111235258392 140731529185072 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94111237356848 94111237404036 94111251693568 140731529188326 140731529188472 140731529188472 140731529195489 0
/proc/1030957/statm: 2483 681 592 264 0 134 0
[pid=1032041] ppid=1030957 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/1032041/stat : 1032041 (timeout) S 1030957 1032041 1028621 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195938254 8867840 254 134679101440 94496063369216 94496063404232 140721700303408 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94496065501648 94496065503780 94496081051648 140721700312050 140721700312219 140721700312219 140721700319207 0
/proc/1032041/statm: 2165 254 229 9 0 87 0
[pid=1032042] ppid=1032041 vsize=49928 memory=44548 CPUtime=1793.67 cores=5,7
/proc/1032042/stat : 1032042 (Exact) R 1032041 1032041 1028621 0 -1 4194304 84641 0 0 0 179353 14 0 0 20 0 1 0 195938254 51126272 11137 134679101440 4194304 7210733 140735495698544 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7850304 7914896 26574848 140735495705614 140735495705764 140735495705764 140735495712752 0
/proc/1032042/statm: 12482 11137 748 737 0 11570 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 68520 KiB
Current children cumulated memory: 48288 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3587.85
CPU user time (s): 3574.75
CPU system time (s): 13.092
CPU usage (%): 99.7728
Max. virtual memory (cumulated for all children) (KiB): 382640
Max. memory (cumulated for all children) (KiB): 355604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.75
system time used= 13.092
maximum resident set size= 351892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76
involuntary context switches= 2321


# summary of solver processes directly reported to runsolver:
#   pid: 1030957
#   total CPU time (s): 3587.85
#   total CPU user time (s): 3574.75
#   total CPU system time (s): 13.092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69899 second user time and 15.9421 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-20 02:39:08
IDJOB=4451744
IDBENCH=162627
IDSOLVER=3070
FILE ID=nodeC024/4451744-1721435935
RUNJOBID= nodeC024-1721432244-1028636
SLURM_JOB_ID= 7545622
Free space on /tmp= 890020 MiB

SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451744-1721435935/watcher-4451744-1721435935 -o /tmp/evaluation-result-4451744-1721435935/solver-4451744-1721435935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721432244-1028636 --watchdog 3760  ./Hybrid-LSMabSP+Exact HOME/instance-4451744-1721435935.opb 3600 HOME 31000

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

MD5SUM BENCH= 66b8e371687d4e403b47b4700770389d
RANDOM SEED=1800096132

nodeC024.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		: 3662.776
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.60
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		: 3671.658
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	: 7007.08
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		: 3599.958
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.60
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		: 3626.101
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	: 7007.08
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		: 3662.825
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.60
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		: 3669.742
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	: 7007.08
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		: 3599.978
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.60
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		: 3664.765
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128763868 kB
MemAvailable:   129645440 kB
Buffers:          539048 kB
Cached:          1187116 kB
SwapCached:            0 kB
Active:          1053124 kB
Inactive:        1094776 kB
Active(anon):       1628 kB
Inactive(anon):   466012 kB
Active(file):    1051496 kB
Inactive(file):   628764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21116 kB
Writeback:            24 kB
AnonPages:        421732 kB
Mapped:           124940 kB
Shmem:             45912 kB
KReclaimable:      81920 kB
Slab:             193804 kB
SReclaimable:      81920 kB
SUnreclaim:       111884 kB
KernelStack:        4220 kB
PageTables:        10308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     901760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71136 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC024 at 2024-07-20 03:39:05