Trace number 4436889

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11? 1979.24 1985.48

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
MD5SUMa5274e1c72a2d92e948354f429ab410b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-12494
Best CPU time to get the best result obtained on this benchmark1514.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 340553
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 185655820
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 185655820
Number of bits of the biggest sum of numbers28
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1978.24/1984.52	c Memory allocation failed: std::bad_alloc
1792.59/1985.47	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1792.59/1985.47	c Setting memory limit to 29976MB.
1792.59/1985.47	c Do: 140732075613128 140732075613136
1792.59/1985.47	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1792.59/1985.47	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 (55567 MiB free)
  memory of node 1: 64510 MiB (60728 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436889-1721248108/watcher-4436889-1721248108 -o /tmp/evaluation-result-4436889-1721248108/solver-4436889-1721248108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721242615-919597 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436889-1721248108.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
solver pid=923070, runsolver pid=923067
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.20 4.17 4.12 5/269 923074
/proc/meminfo: memFree=119041548/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=76164 memory=52388 CPUtime=0.09 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 13128 0 0 0 7 2 0 0 20 0 1 0 176971003 77991936 13097 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 19041 13097 750 2417 0 16143 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 94756 KiB
Current children cumulated memory: 56104 KiB

[startup+0.206075 s]*
/proc/loadavg: 4.20 4.17 4.12 5/269 923074
/proc/meminfo: memFree=118991612/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=125936 memory=100168 CPUtime=0.2 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 24261 0 0 0 16 4 0 0 20 0 1 0 176971003 128958464 25042 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 31484 25042 750 2417 0 28586 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 144528 KiB
Current children cumulated memory: 103884 KiB

[startup+0.30608 s]*
/proc/loadavg: 4.20 4.17 4.12 5/269 923074
/proc/meminfo: memFree=118930244/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=194760 memory=156404 CPUtime=0.29 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 36794 0 0 0 23 6 0 0 20 0 1 0 176971003 199434240 39101 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 48690 39101 750 2417 0 45792 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 213352 KiB
Current children cumulated memory: 160120 KiB

[startup+0.700299 s]
/proc/loadavg: 4.20 4.17 4.12 5/269 923074
/proc/meminfo: memFree=118911876/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=227488 memory=200088 CPUtime=0.69 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 46738 0 0 0 60 9 0 0 20 0 1 0 176971003 232947712 50022 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 56872 50022 750 2417 0 53974 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 246080 KiB
Current children cumulated memory: 203804 KiB

[startup+1.5003 s]
/proc/loadavg: 4.20 4.17 4.12 5/269 923074
/proc/meminfo: memFree=118865228/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=294936 memory=268728 CPUtime=1.48 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 63856 0 0 0 136 12 0 0 20 0 1 0 176971003 302014464 67182 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 73734 67182 750 2417 0 70836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 313528 KiB
Current children cumulated memory: 272444 KiB

[startup+3.10575 s]
/proc/loadavg: 4.20 4.17 4.12 5/269 923074
/proc/meminfo: memFree=118572900/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=531620 memory=504932 CPUtime=3.09 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 122455 0 0 0 288 21 0 0 20 0 1 0 176971003 544378880 126233 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 132905 126233 750 2417 0 130007 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 550212 KiB
Current children cumulated memory: 508648 KiB

[startup+6.3003 s]
/proc/loadavg: 4.19 4.16 4.12 5/269 923075
/proc/meminfo: memFree=117796080/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=912476 memory=883424 CPUtime=6.28 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 196656 0 0 0 593 35 0 0 20 0 1 0 176971003 934375424 220856 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 228119 220856 782 2417 0 225221 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 931068 KiB
Current children cumulated memory: 887140 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.16 4.12 5/269 923075
/proc/meminfo: memFree=116929980/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=1360844 memory=1303676 CPUtime=12.66 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 237268 0 0 0 1219 47 0 0 20 0 1 0 176971003 1393504256 325919 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 340211 325919 798 2417 0 337313 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1379436 KiB
Current children cumulated memory: 1307392 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.17 4.12 5/269 923078
/proc/meminfo: memFree=114963876/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=3174592 memory=2867752 CPUtime=25.42 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 380068 0 0 0 2452 90 0 0 20 0 1 0 176971003 3250782208 716938 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 793648 716938 798 2417 0 790750 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3193184 KiB
Current children cumulated memory: 2871468 KiB

[startup+51.1062 s]
/proc/loadavg: 4.14 4.16 4.12 5/269 923081
/proc/meminfo: memFree=107855536/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0
[pid=923073] ppid=923070 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/923073/stat : 923073 (timeout) S 923070 923073 919584 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 176971003 8867840 258 134679101440 93933643821056 93933643856072 140723056112400 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93933645953488 93933645955620 93933663473664 140723056120856 140723056120988 140723056120988 140723056127975 0
/proc/923073/statm: 2165 258 234 9 0 87 0
[pid=923074] ppid=923073 vsize=4342528 memory=3987044 CPUtime=50.96 cores=5,7
/proc/923074/stat : 923074 (CASHWMaxSAT-Dis) R 923073 923073 919584 0 -1 4194304 660031 0 0 0 4956 140 0 0 20 0 1 0 176971003 4446748672 996761 134679101440 4194304 14093885 140732075615488 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 50999296 140732075619358 140732075619477 140732075619477 140732075626464 0
/proc/923074/statm: 1085632 996761 798 2417 0 1082734 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4361120 KiB
Current children cumulated memory: 3990760 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/268 923148
/proc/meminfo: memFree=103190288/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2684 CPUtime=0 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 233 99 0 0 0 0 0 0 20 0 1 0 176971003 10170368 671 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 671 593 264 0 134 0

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

/proc/meminfo: memFree=119432496/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
[pid=924413] ppid=924412 vsize=548004 memory=467136 CPUtime=43.92 cores=5,7
/proc/924413/stat : 924413 (LS-MabSP) R 924412 924412 919584 0 -1 4194304 35293 0 0 0 4371 21 0 0 20 0 1 0 177150827 561156096 116784 134679101440 4194304 15467897 140722166403408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36769792 140722166408251 140722166408354 140722166408354 140722166415341 0
/proc/924413/statm: 137001 116784 1153 2753 0 133654 0
Current children cumulated CPU time: 1836.51 s
Current children cumulated vsize: 566596 KiB
Current children cumulated memory: 470784 KiB

[startup+1902.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/267 924816
/proc/meminfo: memFree=119310848/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
[pid=924413] ppid=924412 vsize=560316 memory=476272 CPUtime=103.72 cores=5,7
/proc/924413/stat : 924413 (LS-MabSP) R 924412 924412 919584 0 -1 4194304 36259 0 0 0 10351 21 0 0 20 0 1 0 177150827 573763584 119068 134679101440 4194304 15467897 140722166403408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36769792 140722166408251 140722166408354 140722166408354 140722166415341 0
/proc/924413/statm: 140079 119068 1153 2753 0 136732 0
Current children cumulated CPU time: 1896.31 s
Current children cumulated vsize: 578908 KiB
Current children cumulated memory: 479920 KiB

[startup+1962.3 s]
/proc/loadavg: 4.11 4.14 4.13 6/267 924838
/proc/meminfo: memFree=98239284/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
[pid=924413] ppid=924412 vsize=21792320 memory=21591032 CPUtime=163.53 cores=5,7
/proc/924413/stat : 924413 (LS-MabSP) R 924412 924412 919584 0 -1 4194304 5342000 0 0 0 15650 703 0 0 20 0 1 0 177150827 22315335680 5397758 134679101440 4194304 15467897 140722166403408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36769792 140722166408251 140722166408354 140722166408354 140722166415341 0
/proc/924413/statm: 5448080 5397758 1153 2753 0 5444733 0
Current children cumulated CPU time: 1956.12 s
Current children cumulated vsize: 21810912 KiB
Current children cumulated memory: 21594680 KiB

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

# cumulated CPU time of all completed processes:  user=1963.04 s, system=16.2045 s

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

[startup+1971.2 s]
/proc/loadavg: 4.09 4.13 4.13 5/267 924839
/proc/meminfo: memFree=94632664/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
[pid=924413] ppid=924412 vsize=25361428 memory=25161104 CPUtime=172.4 cores=5,7
/proc/924413/stat : 924413 (LS-MabSP) R 924412 924412 919584 0 -1 4194304 6234539 0 0 0 16420 820 0 0 20 0 1 0 177150827 25970102272 6290276 134679101440 4194304 15467897 140722166403408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36769792 140722166408251 140722166408354 140722166408354 140722166415341 0
/proc/924413/statm: 6340357 6290276 1153 2753 0 6337010 0
Current children cumulated CPU time: 1964.99 s
Current children cumulated vsize: 25380020 KiB
Current children cumulated memory: 25164752 KiB

[startup+1977.6 s]
/proc/loadavg: 4.08 4.13 4.13 5/267 924841
/proc/meminfo: memFree=92177632/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
[pid=924413] ppid=924412 vsize=27932052 memory=27731144 CPUtime=178.77 cores=5,7
/proc/924413/stat : 924413 (LS-MabSP) R 924412 924412 919584 0 -1 4194304 6877007 0 0 0 16977 900 0 0 20 0 1 0 177150827 28602421248 6932786 134679101440 4194304 15467897 140722166403408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36769792 140722166408251 140722166408354 140722166408354 140722166415341 0
/proc/924413/statm: 6983013 6932786 1153 2753 0 6979666 0
Current children cumulated CPU time: 1971.36 s
Current children cumulated vsize: 27950644 KiB
Current children cumulated memory: 27734792 KiB

[startup+1980.8 s]
/proc/loadavg: 4.16 4.14 4.13 6/267 924841
/proc/meminfo: memFree=91036344/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
[pid=924413] ppid=924412 vsize=29214264 memory=29014144 CPUtime=181.96 cores=5,7
/proc/924413/stat : 924413 (LS-MabSP) R 924412 924412 919584 0 -1 4194304 7197760 0 0 0 17252 944 0 0 20 0 1 0 177150827 29915406336 7253536 134679101440 4194304 15467897 140722166403408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36769792 140722166408251 140722166408354 140722166408354 140722166415341 0
/proc/924413/statm: 7303566 7253536 1153 2753 0 7300219 0
Current children cumulated CPU time: 1974.55 s
Current children cumulated vsize: 29232856 KiB
Current children cumulated memory: 29017792 KiB

[startup+1984 s]*
/proc/loadavg: 4.16 4.14 4.13 5/267 924842
/proc/meminfo: memFree=89440408/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
[pid=924413] ppid=924412 vsize=30491824 memory=30291640 CPUtime=185.16 cores=5,7
/proc/924413/stat : 924413 (LS-MabSP) R 924412 924412 919584 0 -1 4194304 7517151 0 0 0 17528 988 0 0 20 0 1 0 177150827 31223627776 7572910 134679101440 4194304 15467897 140722166403408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 36769792 140722166408251 140722166408354 140722166408354 140722166415341 0
/proc/924413/statm: 7622956 7572910 1153 2753 0 7619609 0
Current children cumulated CPU time: 1977.75 s
Current children cumulated vsize: 30510416 KiB
Current children cumulated memory: 30295288 KiB

[startup+1984.8 s]
/proc/loadavg: 4.16 4.14 4.13 5/267 924842
/proc/meminfo: memFree=89440408/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
Current children cumulated CPU time: 1792.59 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3648 KiB

[startup+1985.2 s]
/proc/loadavg: 4.14 4.14 4.13 5/267 924842
/proc/meminfo: memFree=102951316/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
Current children cumulated CPU time: 1792.59 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3648 KiB

[startup+1985.4 s]
/proc/loadavg: 4.14 4.14 4.13 5/267 924842
/proc/meminfo: memFree=102951316/131524600 swapFree=131071996/131071996
[pid=923070] ppid=923067 vsize=9932 memory=2732 CPUtime=1792.59 cores=5,7
/proc/923070/stat : 923070 (Hybrid-LSMabSP+) S 923067 923070 919584 0 -1 4194304 262 1461332 0 0 0 0 178728 531 20 0 1 0 176971003 10170368 683 134679101440 93987482144768 93987483224088 140731543706512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93987485322544 93987485369732 93987489452032 140731543712717 140731543712876 140731543712876 140731543719892 0
/proc/923070/statm: 2483 683 593 264 0 134 0
[pid=924412] ppid=923070 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/924412/stat : 924412 (timeout) S 923070 924412 919584 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 177150827 8867840 229 134679101440 94342099230720 94342099265736 140732098892928 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94342101363152 94342101365284 94342126166016 140732098896936 140732098897052 140732098897052 140732098904039 0
/proc/924412/statm: 2165 229 205 9 0 87 0
Current children cumulated CPU time: 1792.59 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3648 KiB

Child status: 0

Real time (s): 1985.48
CPU time (s): 1979.24
CPU user time (s): 1963.04
CPU system time (s): 16.2045
CPU usage (%): 99.6859
Max. virtual memory (cumulated for all children) (KiB): 30708872
Max. memory (cumulated for all children) (KiB): 30492232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1963.04
system time used= 16.2045
maximum resident set size= 30496444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9031236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79
involuntary context switches= 1782


# summary of solver processes directly reported to runsolver:
#   pid: 923070
#   total CPU time (s): 1979.24
#   total CPU user time (s): 1963.04
#   total CPU system time (s): 16.2045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.02859 second user time and 11.8723 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-17 22:28:40
IDJOB=4436889
IDBENCH=157490
IDSOLVER=3069
FILE ID=nodeC015/4436889-1721248108
RUNJOBID= nodeC015-1721242615-919597
SLURM_JOB_ID= 7509001
Free space on /tmp= 889732 MiB

SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436889-1721248108/watcher-4436889-1721248108 -o /tmp/evaluation-result-4436889-1721248108/solver-4436889-1721248108 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721242615-919597 --watchdog 3760  ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436889-1721248108.opb 3600 HOME 31000

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

MD5SUM BENCH= a5274e1c72a2d92e948354f429ab410b
RANDOM SEED=553936781

nodeC015.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		: 3680.944
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.61
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		: 3684.039
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	: 7006.25
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		: 3600.012
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.61
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		: 3600.099
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	: 7006.25
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		: 3680.952
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.61
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		: 3677.174
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	: 7006.25
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.890
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.61
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		: 3684.766
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119088388 kB
MemAvailable:   125698752 kB
Buffers:          458836 kB
Cached:          6965460 kB
SwapCached:            0 kB
Active:          1740368 kB
Inactive:       10034444 kB
Active(anon):       1596 kB
Inactive(anon):  4386652 kB
Active(file):    1738772 kB
Inactive(file):  5647792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            121924 kB
Writeback:             4 kB
AnonPages:       4348832 kB
Mapped:           117220 kB
Shmem:             37720 kB
KReclaimable:     126892 kB
Slab:             240032 kB
SReclaimable:     126892 kB
SUnreclaim:       113140 kB
KernelStack:        4288 kB
PageTables:        18080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4874016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67136 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1140736 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:      258772 kB
DirectMap2M:    37263360 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 889908 MiB
End job on nodeC015 at 2024-07-17 23:01:46