Trace number 4451114

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.25 3596.03

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
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 benchmark53.2646
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3587.20/3596.02	c Filename:instance-4451114-1721422329.opb, Cutoff_time:1798, memory_limit_gb:29976
3587.20/3596.02	c Use Presolve
3587.20/3596.02	c Parse finsih
3587.20/3596.02	c Start Presolve
3587.20/3596.02	c After Reduce Vars: 1400 Clauses: 1400 Top clause weight: 1 Hard Clauses: 1400
3587.20/3596.02	c Use LS-small
3587.20/3596.02	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: 64096 MiB (58963 MiB free)
  memory of node 1: 64473 MiB (60111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451114-1721422329/watcher-4451114-1721422329 -o /tmp/evaluation-result-4451114-1721422329/solver-4451114-1721422329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721413928-1045286 --watchdog 3760 ./Hybrid-LSMabSP+Exact HOME/instance-4451114-1721422329.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=1049980, runsolver pid=1049977

[startup+0.100846 s]*
/proc/loadavg: 4.15 4.14 4.09 6/254 1049984
/proc/meminfo: memFree=121928688/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=20008 memory=7748 CPUtime=0.1 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 417 0 0 0 10 0 0 0 20 0 1 0 194388729 20488192 1937 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 5002 1937 1105 2753 0 1655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38600 KiB
Current children cumulated memory: 11364 KiB

[startup+0.212451 s]*
/proc/loadavg: 4.15 4.14 4.09 5/254 1049984
/proc/meminfo: memFree=121915808/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=34224 memory=27068 CPUtime=0.21 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 3732 0 0 0 20 1 0 0 20 0 1 0 194388729 35045376 6767 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 8556 6767 2833 2753 0 5209 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52816 KiB
Current children cumulated memory: 30684 KiB

[startup+0.313248 s]*
/proc/loadavg: 4.15 4.14 4.09 5/254 1049984
/proc/meminfo: memFree=121911180/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=38440 memory=31464 CPUtime=0.31 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 5696 0 0 0 29 2 0 0 20 0 1 0 194388729 39362560 7866 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 9610 7866 2833 2753 0 6263 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57032 KiB
Current children cumulated memory: 35080 KiB

[startup+0.700407 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 1049984
/proc/meminfo: memFree=121905488/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=47644 memory=39624 CPUtime=0.68 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 7789 0 0 0 66 2 0 0 20 0 1 0 194388729 48787456 9906 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 11911 9906 2833 2753 0 8564 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66236 KiB
Current children cumulated memory: 43240 KiB

[startup+1.50044 s]
/proc/loadavg: 4.15 4.14 4.09 6/254 1049984
/proc/meminfo: memFree=121902456/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=48584 memory=41472 CPUtime=1.47 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 8249 0 0 0 145 2 0 0 20 0 1 0 194388729 49750016 10368 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 12146 10368 2833 2753 0 8799 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 45088 KiB

[startup+3.11318 s]
/proc/loadavg: 4.14 4.13 4.09 6/254 1049984
/proc/meminfo: memFree=121898740/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=50696 memory=43640 CPUtime=3.08 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 8774 0 0 0 306 2 0 0 20 0 1 0 194388729 51912704 10910 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 12674 10910 2849 2753 0 9327 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 47256 KiB

[startup+6.30047 s]
/proc/loadavg: 4.14 4.13 4.09 6/254 1049984
/proc/meminfo: memFree=121892476/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=56496 memory=49748 CPUtime=6.26 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 12449 0 0 0 623 3 0 0 20 0 1 0 194388729 57851904 12437 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 14124 12437 2849 2753 0 10777 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75088 KiB
Current children cumulated memory: 53364 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.13 4.09 6/254 1049987
/proc/meminfo: memFree=121880676/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=70168 memory=63200 CPUtime=12.63 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 15857 0 0 0 1260 3 0 0 20 0 1 0 194388729 71852032 15800 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 17542 15800 2849 2753 0 14195 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 88760 KiB
Current children cumulated memory: 66816 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.12 4.09 6/254 1049988
/proc/meminfo: memFree=121874640/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=73976 memory=67560 CPUtime=25.4 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 18677 0 0 0 2536 4 0 0 20 0 1 0 194388729 75751424 16890 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 18494 16890 2849 2753 0 15147 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 92568 KiB
Current children cumulated memory: 71176 KiB

[startup+51.1131 s]
/proc/loadavg: 4.12 4.13 4.09 6/254 1049993
/proc/meminfo: memFree=121844500/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0
[pid=1049983] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1049983/stat : 1049983 (timeout) S 1049980 1049983 1045274 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194388728 8867840 228 134679101440 94113693372416 94113693407432 140720385644208 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94113695504848 94113695506980 94113702920192 140720385651751 140720385651867 140720385651867 140720385658855 0
/proc/1049983/statm: 2165 228 204 9 0 87 0
[pid=1049984] ppid=1049983 vsize=103400 memory=97412 CPUtime=50.92 cores=1,3
/proc/1049984/stat : 1049984 (LS-MabSP) R 1049983 1049983 1045274 0 -1 4194304 26498 0 0 0 5088 4 0 0 20 0 1 0 194388729 105881600 24353 134679101440 4194304 15467897 140731228097568 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33804288 140731228099642 140731228099745 140731228099745 140731228106733 0
/proc/1049984/statm: 25850 24353 2849 2753 0 22503 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 121992 KiB
Current children cumulated memory: 101028 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.19 4.11 6/251 1050001
/proc/meminfo: memFree=121791428/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 235 100 0 0 0 0 0 0 20 0 1 0 194388728 10170368 676 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 676 598 264 0 134 0

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

/proc/1051057/statm: 14779 10100 748 737 0 13867 0
Current children cumulated CPU time: 3393.93 s
Current children cumulated vsize: 77708 KiB
Current children cumulated memory: 44060 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.89 3.04 2/222 1052092
/proc/meminfo: memFree=123404300/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=60216 memory=41460 CPUtime=1660.53 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 350967 0 0 0 166013 40 0 0 20 0 1 0 194568529 61661184 10365 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15054 10365 748 737 0 14142 0
Current children cumulated CPU time: 3453.79 s
Current children cumulated vsize: 78808 KiB
Current children cumulated memory: 45120 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.76 2.92 2/225 1052107
/proc/meminfo: memFree=123402612/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=60952 memory=42308 CPUtime=1720.4 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 365905 0 0 0 171998 42 0 0 20 0 1 0 194568529 62414848 10577 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15238 10577 748 737 0 14326 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 79544 KiB
Current children cumulated memory: 45968 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.63 2.80 2/225 1052117
/proc/meminfo: memFree=123401892/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=61328 memory=42684 CPUtime=1780.27 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 384411 0 0 0 177982 45 0 0 20 0 1 0 194568529 62799872 10671 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15332 10671 748 737 0 14420 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 46344 KiB

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

# cumulated CPU time of all completed processes:  user=3339.57 s, system=247.679 s

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

[startup+3584 s]*
/proc/loadavg: 1.10 1.62 2.79 2/225 1052117
/proc/meminfo: memFree=123402096/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=61360 memory=42716 CPUtime=1781.98 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 384964 0 0 0 178153 45 0 0 20 0 1 0 194568529 62832640 10679 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15340 10679 748 737 0 14428 0
Current children cumulated CPU time: 3575.24 s
Current children cumulated vsize: 79952 KiB
Current children cumulated memory: 46376 KiB

[startup+3590.4 s]
/proc/loadavg: 1.09 1.61 2.78 2/225 1052119
/proc/meminfo: memFree=123402016/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=61424 memory=42780 CPUtime=1788.35 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 386621 0 0 0 178790 45 0 0 20 0 1 0 194568529 62898176 10695 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15356 10695 748 737 0 14444 0
Current children cumulated CPU time: 3581.61 s
Current children cumulated vsize: 80016 KiB
Current children cumulated memory: 46440 KiB

[startup+3593.6 s]
/proc/loadavg: 1.09 1.60 2.77 2/225 1052119
/proc/meminfo: memFree=123402052/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=61456 memory=42812 CPUtime=1791.54 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 387610 0 0 0 179109 45 0 0 20 0 1 0 194568529 62930944 10703 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15364 10703 748 737 0 14452 0
Current children cumulated CPU time: 3584.8 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 46472 KiB

[startup+3595.2 s]
/proc/loadavg: 1.09 1.60 2.77 2/225 1052119
/proc/meminfo: memFree=123402060/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=61456 memory=42812 CPUtime=1793.14 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 388152 0 0 0 179269 45 0 0 20 0 1 0 194568529 62930944 10703 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15364 10703 748 737 0 14452 0
Current children cumulated CPU time: 3586.4 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 46472 KiB

[startup+3595.6 s]
/proc/loadavg: 1.09 1.60 2.77 2/225 1052119
/proc/meminfo: memFree=123402060/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=61456 memory=42812 CPUtime=1793.54 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 388260 0 0 0 179309 45 0 0 20 0 1 0 194568529 62930944 10703 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15364 10703 748 737 0 14452 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 46472 KiB

[startup+3596 s]*
/proc/loadavg: 1.09 1.60 2.77 2/225 1052119
/proc/meminfo: memFree=123402012/131655788 swapFree=131071996/131071996
[pid=1049980] ppid=1049977 vsize=9932 memory=2748 CPUtime=1793.26 cores=1,3
/proc/1049980/stat : 1049980 (Hybrid-LSMabSP+) S 1049977 1049980 1045274 0 -1 4194304 268 218934 0 0 0 0 154605 24721 20 0 1 0 194388728 10170368 687 134679101440 94913086398464 94913087477784 140724412406224 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94913089576240 94913089623428 94913100029952 140724412412902 140724412413048 140724412413048 140724412420065 0
/proc/1049980/statm: 2483 687 598 264 0 134 0
[pid=1051056] ppid=1049980 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/1051056/stat : 1051056 (timeout) S 1049980 1051056 1045274 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 194568529 8867840 228 134679101440 94284245450752 94284245485768 140730667597552 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94284247583184 94284247585316 94284260159488 140730667598834 140730667599003 140730667599003 140730667605991 0
/proc/1051056/statm: 2165 228 204 9 0 87 0
[pid=1051057] ppid=1051056 vsize=61456 memory=42812 CPUtime=1793.94 cores=1,3
/proc/1051057/stat : 1051057 (Exact) R 1051056 1051056 1045274 0 -1 4194304 388368 0 0 0 179349 45 0 0 20 0 1 0 194568529 62930944 10703 134679101440 4194304 7210733 140735553179456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 16637952 140735553180686 140735553180836 140735553180836 140735553187824 0
/proc/1051057/statm: 15364 10703 748 737 0 14452 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 46472 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.25
CPU user time (s): 3339.57
CPU system time (s): 247.679
CPU usage (%): 99.7558
Max. virtual memory (cumulated for all children) (KiB): 862892
Max. memory (cumulated for all children) (KiB): 832400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3339.57
system time used= 247.679
maximum resident set size= 831760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 609153
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= 157
involuntary context switches= 3610


# summary of solver processes directly reported to runsolver:
#   pid: 1049980
#   total CPU time (s): 3587.25
#   total CPU user time (s): 3339.57
#   total CPU system time (s): 247.679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8367 second user time and 33.8756 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-19 22:52:21
IDJOB=4451114
IDBENCH=162352
IDSOLVER=3070
FILE ID=nodeC004/4451114-1721422329
RUNJOBID= nodeC004-1721413928-1045286
SLURM_JOB_ID= 7545490
Free space on /tmp= 723720 MiB

SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451114-1721422329/watcher-4451114-1721422329 -o /tmp/evaluation-result-4451114-1721422329/solver-4451114-1721422329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721413928-1045286 --watchdog 3760  ./Hybrid-LSMabSP+Exact HOME/instance-4451114-1721422329.opb 3600 HOME 31000

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=1646729929

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121933160 kB
MemAvailable:   128352552 kB
Buffers:          548888 kB
Cached:          6639472 kB
SwapCached:            0 kB
Active:          1240756 kB
Inactive:        7752520 kB
Active(anon):       3392 kB
Inactive(anon):  1847412 kB
Active(file):    1237364 kB
Inactive(file):  5905108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             20868 kB
Writeback:             4 kB
AnonPages:       1802672 kB
Mapped:           141404 kB
Shmem:             45892 kB
KReclaimable:     234236 kB
Slab:             353732 kB
SReclaimable:     234236 kB
SUnreclaim:       119496 kB
KernelStack:        4032 kB
PageTables:        13036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2377352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60928 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1269760 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:      248648 kB
DirectMap2M:    29016064 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC004 at 2024-07-19 23:52:17