Trace number 4451627

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-CASHWMaxSATDisjComS+Exact 2024-07-11UNSAT 1798.92 1803.54

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n3.opb
MD5SUMff2431c9aac399448d9270c6fef4de20
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 benchmark0.378551
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables303
Total number of constraints101
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
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 

1798.85/1803.53	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62906 MiB free)
  memory of node 1: 64510 MiB (62349 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451627-1721426822/watcher-4451627-1721426822 -o /tmp/evaluation-result-4451627-1721426822/solver-4451627-1721426822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721422917-1020862 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4451627-1721426822.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
solver pid=1023409, runsolver pid=1023406
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.10 4.11 4.09 5/250 1023413
/proc/meminfo: memFree=128258528/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=19860 memory=5672 CPUtime=0.1 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 767 0 0 0 10 0 0 0 20 0 1 0 194839205 20336640 1418 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 4965 1418 798 2417 0 2067 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38452 KiB
Current children cumulated memory: 9592 KiB

[startup+0.213426 s]*
/proc/loadavg: 4.10 4.11 4.09 5/250 1023413
/proc/meminfo: memFree=128257688/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=21508 memory=6728 CPUtime=0.21 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 982 0 0 0 21 0 0 0 20 0 1 0 194839205 22024192 1682 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 5377 1682 798 2417 0 2479 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 10648 KiB

[startup+0.313379 s]*
/proc/loadavg: 4.10 4.11 4.09 5/250 1023413
/proc/meminfo: memFree=128256848/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=21508 memory=7256 CPUtime=0.31 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 1150 0 0 0 31 0 0 0 20 0 1 0 194839205 22024192 1814 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 5377 1814 798 2417 0 2479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 11176 KiB

[startup+0.700421 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 1023413
/proc/meminfo: memFree=128253708/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=30232 memory=13456 CPUtime=0.68 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 1683 0 0 0 68 0 0 0 20 0 1 0 194839205 30957568 3364 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 7558 3364 798 2417 0 4660 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48824 KiB
Current children cumulated memory: 17376 KiB

[startup+1.50042 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 1023413
/proc/meminfo: memFree=128248840/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=31892 memory=17680 CPUtime=1.47 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 2745 0 0 0 147 0 0 0 20 0 1 0 194839205 32657408 4420 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 7973 4420 798 2417 0 5075 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50484 KiB
Current children cumulated memory: 21600 KiB

[startup+3.11308 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 1023413
/proc/meminfo: memFree=128244212/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=33568 memory=19528 CPUtime=3.08 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 3166 0 0 0 308 0 0 0 20 0 1 0 194839205 34373632 4882 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 8392 4882 798 2417 0 5494 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52160 KiB
Current children cumulated memory: 23448 KiB

[startup+6.30045 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 1023415
/proc/meminfo: memFree=128241028/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=36456 memory=22504 CPUtime=6.26 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 4042 0 0 0 625 1 0 0 20 0 1 0 194839205 37330944 5626 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 9114 5626 798 2417 0 6216 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55048 KiB
Current children cumulated memory: 26424 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.12 4.09 5/250 1023415
/proc/meminfo: memFree=128235540/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=40896 memory=26908 CPUtime=12.64 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 4633 0 0 0 1263 1 0 0 20 0 1 0 194839205 41877504 6727 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 10224 6727 798 2417 0 7326 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59488 KiB
Current children cumulated memory: 30828 KiB

[startup+25.5005 s]
/proc/loadavg: 4.19 4.13 4.10 5/250 1023417
/proc/meminfo: memFree=128223060/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=52676 memory=38688 CPUtime=25.41 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 6192 0 0 0 2539 2 0 0 20 0 1 0 194839205 53940224 9672 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 13169 9672 798 2417 0 10271 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 71268 KiB
Current children cumulated memory: 42608 KiB

[startup+51.1132 s]
/proc/loadavg: 4.13 4.12 4.09 5/253 1023437
/proc/meminfo: memFree=128209372/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=62472 memory=45836 CPUtime=50.97 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 6494 0 0 0 5095 2 0 0 20 0 1 0 194839205 63971328 11459 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 15618 11459 798 2417 0 12720 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 81064 KiB
Current children cumulated memory: 49756 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1023671
/proc/meminfo: memFree=128199960/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0

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

/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=88784 memory=74948 CPUtime=1658.11 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 10399 0 0 0 165807 4 0 0 20 0 1 0 194839205 90914816 18737 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 22196 18737 798 2417 0 19298 0
Current children cumulated CPU time: 1658.11 s
Current children cumulated vsize: 107376 KiB
Current children cumulated memory: 78868 KiB

[startup+1722.3 s]
/proc/loadavg: 4.05 4.18 4.17 5/249 1025701
/proc/meminfo: memFree=126581904/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=88784 memory=74948 CPUtime=1717.95 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 10430 0 0 0 171791 4 0 0 20 0 1 0 194839205 90914816 18737 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 22196 18737 798 2417 0 19298 0
Current children cumulated CPU time: 1717.95 s
Current children cumulated vsize: 107376 KiB
Current children cumulated memory: 78868 KiB

[startup+1782.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/249 1025711
/proc/meminfo: memFree=126568116/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=88784 memory=74948 CPUtime=1777.79 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 10467 0 0 0 177775 4 0 0 20 0 1 0 194839205 90914816 18737 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 22196 18737 798 2417 0 19298 0
Current children cumulated CPU time: 1777.79 s
Current children cumulated vsize: 107376 KiB
Current children cumulated memory: 78868 KiB

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

# cumulated CPU time of all completed processes:  user=1798.85 s, system=0.067146 s

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

[startup+1792 s]*
/proc/loadavg: 4.12 4.17 4.16 5/249 1025713
/proc/meminfo: memFree=126563848/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=0 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 242 99 0 0 0 0 0 0 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1023412] ppid=1023409 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/1023412/stat : 1023412 (timeout) S 1023409 1023412 1020850 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 194839205 8867840 259 134679101440 93998416789504 93998416824520 140736917822336 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93998418921936 93998418924068 93998450200576 140736917828618 140736917828763 140736917828763 140736917835751 0
/proc/1023412/statm: 2165 259 234 9 0 87 0
[pid=1023413] ppid=1023412 vsize=88784 memory=74948 CPUtime=1787.48 cores=1,3
/proc/1023413/stat : 1023413 (CASHWMaxSAT-Dis) R 1023412 1023412 1020850 0 -1 4194304 10467 0 0 0 178744 4 0 0 20 0 1 0 194839205 90914816 18737 134679101440 4194304 14093885 140725625557824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 33730560 140725625562128 140725625562260 140725625562260 140725625569248 0
/proc/1023413/statm: 22196 18737 798 2417 0 19298 0
Current children cumulated CPU time: 1787.48 s
Current children cumulated vsize: 107376 KiB
Current children cumulated memory: 78868 KiB

[startup+1798.4 s]
/proc/loadavg: 4.10 4.16 4.16 5/249 1025715
/proc/meminfo: memFree=126563512/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=1793.46 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 274 10680 0 0 0 0 179342 4 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
Current children cumulated CPU time: 1793.46 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2884 KiB

[startup+1801.6 s]
/proc/loadavg: 4.10 4.16 4.16 5/249 1025717
/proc/meminfo: memFree=126621536/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=1793.46 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 274 10680 0 0 0 0 179342 4 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1025716] ppid=1023409 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/1025716/stat : 1025716 (timeout) S 1023409 1025716 1020850 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195019005 8867840 250 134679101440 94682917433344 94682917468360 140736832818752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 4 0 0 94682919565776 94682919567908 94682945789952 140736832820210 140736832820379 140736832820379 140736832827367 0
/proc/1025716/statm: 2165 250 226 9 0 87 0
[pid=1025717] ppid=1025716 vsize=29756 memory=15160 CPUtime=3.49 cores=1,3
/proc/1025717/stat : 1025717 (Exact) R 1025716 1025716 1020850 0 -1 4194304 1625 0 0 0 349 0 0 0 20 0 1 0 195019010 30470144 3790 134679101440 4194304 7210733 140723031247680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 17403904 140723031249934 140723031250084 140723031250084 140723031257072 0
/proc/1025717/statm: 7439 3790 748 737 0 6527 0
Current children cumulated CPU time: 1796.95 s
Current children cumulated vsize: 48348 KiB
Current children cumulated memory: 19044 KiB

[startup+1802.4 s]
/proc/loadavg: 4.10 4.16 4.16 5/249 1025717
/proc/meminfo: memFree=126621060/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=1793.46 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 274 10680 0 0 0 0 179342 4 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1025716] ppid=1023409 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/1025716/stat : 1025716 (timeout) S 1023409 1025716 1020850 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195019005 8867840 250 134679101440 94682917433344 94682917468360 140736832818752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 4 0 0 94682919565776 94682919567908 94682945789952 140736832820210 140736832820379 140736832820379 140736832827367 0
/proc/1025716/statm: 2165 250 226 9 0 87 0
[pid=1025717] ppid=1025716 vsize=30308 memory=15676 CPUtime=4.29 cores=1,3
/proc/1025717/stat : 1025717 (Exact) R 1025716 1025716 1020850 0 -1 4194304 1748 0 0 0 429 0 0 0 20 0 1 0 195019010 31035392 3919 134679101440 4194304 7210733 140723031247680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 17403904 140723031249934 140723031250084 140723031250084 140723031257072 0
/proc/1025717/statm: 7577 3919 748 737 0 6665 0
Current children cumulated CPU time: 1797.75 s
Current children cumulated vsize: 48900 KiB
Current children cumulated memory: 19560 KiB

[startup+1803.2 s]
/proc/loadavg: 4.09 4.16 4.16 5/249 1025717
/proc/meminfo: memFree=126617920/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=1793.46 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 274 10680 0 0 0 0 179342 4 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1025716] ppid=1023409 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/1025716/stat : 1025716 (timeout) S 1023409 1025716 1020850 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195019005 8867840 250 134679101440 94682917433344 94682917468360 140736832818752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 4 0 0 94682919565776 94682919567908 94682945789952 140736832820210 140736832820379 140736832820379 140736832827367 0
/proc/1025716/statm: 2165 250 226 9 0 87 0
[pid=1025717] ppid=1025716 vsize=30808 memory=18456 CPUtime=5.09 cores=1,3
/proc/1025717/stat : 1025717 (Exact) R 1025716 1025716 1020850 0 -1 4194304 1964 0 0 0 509 0 0 0 20 0 1 0 195019010 31547392 4614 134679101440 4194304 7210733 140723031247680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 17403904 140723031249934 140723031250084 140723031250084 140723031257072 0
/proc/1025717/statm: 7702 4614 748 737 0 6790 0
Current children cumulated CPU time: 1798.55 s
Current children cumulated vsize: 49400 KiB
Current children cumulated memory: 22340 KiB

[startup+1803.4 s]
/proc/loadavg: 4.09 4.16 4.16 5/249 1025717
/proc/meminfo: memFree=126617920/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=1793.46 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 274 10680 0 0 0 0 179342 4 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1025716] ppid=1023409 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/1025716/stat : 1025716 (timeout) S 1023409 1025716 1020850 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195019005 8867840 250 134679101440 94682917433344 94682917468360 140736832818752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 4 0 0 94682919565776 94682919567908 94682945789952 140736832820210 140736832820379 140736832820379 140736832827367 0
/proc/1025716/statm: 2165 250 226 9 0 87 0
[pid=1025717] ppid=1025716 vsize=30952 memory=18456 CPUtime=5.29 cores=1,3
/proc/1025717/stat : 1025717 (Exact) R 1025716 1025716 1020850 0 -1 4194304 1970 0 0 0 529 0 0 0 20 0 1 0 195019010 31694848 4614 134679101440 4194304 7210733 140723031247680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 17403904 140723031249934 140723031250084 140723031250084 140723031257072 0
/proc/1025717/statm: 7738 4614 748 737 0 6826 0
Current children cumulated CPU time: 1798.75 s
Current children cumulated vsize: 49544 KiB
Current children cumulated memory: 22340 KiB

[startup+1803.5 s]
/proc/loadavg: 4.09 4.16 4.16 5/249 1025717
/proc/meminfo: memFree=126617920/131655788 swapFree=131071996/131071996
[pid=1023409] ppid=1023406 vsize=9932 memory=2884 CPUtime=1793.46 cores=1,3
/proc/1023409/stat : 1023409 (Hybrid-CASHWMax) S 1023406 1023409 1020850 0 -1 4194304 274 10680 0 0 0 0 179342 4 20 0 1 0 194839204 10170368 721 134679101440 94402770718720 94402771798040 140735313023904 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94402773896496 94402773943684 94402792833024 140735313028046 140735313028204 140735313028204 140735313035221 0
/proc/1023409/statm: 2483 721 627 264 0 134 0
[pid=1025716] ppid=1023409 vsize=8660 memory=1000 CPUtime=0 cores=1,3
/proc/1025716/stat : 1025716 (timeout) S 1023409 1025716 1020850 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 195019005 8867840 250 134679101440 94682917433344 94682917468360 140736832818752 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 4 0 0 94682919565776 94682919567908 94682945789952 140736832820210 140736832820379 140736832820379 140736832827367 0
/proc/1025716/statm: 2165 250 226 9 0 87 0
[pid=1025717] ppid=1025716 vsize=30952 memory=18456 CPUtime=5.39 cores=1,3
/proc/1025717/stat : 1025717 (Exact) R 1025716 1025716 1020850 0 -1 4194304 1978 0 0 0 539 0 0 0 20 0 1 0 195019010 31694848 4614 134679101440 4194304 7210733 140723031247680 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 17403904 140723031249934 140723031250084 140723031250084 140723031257072 0
/proc/1025717/statm: 7738 4614 748 737 0 6826 0
Current children cumulated CPU time: 1798.85 s
Current children cumulated vsize: 49544 KiB
Current children cumulated memory: 22340 KiB

Child status: 0

Real time (s): 1803.54
CPU time (s): 1798.92
CPU user time (s): 1798.85
CPU system time (s): 0.067146
CPU usage (%): 99.7439
Max. virtual memory (cumulated for all children) (KiB): 107376
Max. memory (cumulated for all children) (KiB): 78868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 0.067146
maximum resident set size= 74948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13897
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= 35
involuntary context switches= 699


# summary of solver processes directly reported to runsolver:
#   pid: 1023409
#   total CPU time (s): 1798.92
#   total CPU user time (s): 1798.85
#   total CPU system time (s): 0.067146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.62309 second user time and 19.1 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-20 00:07:15
IDJOB=4451627
IDBENCH=162590
IDSOLVER=3073
FILE ID=nodeC012/4451627-1721426822
RUNJOBID= nodeC012-1721422917-1020862
SLURM_JOB_ID= 7545603
Free space on /tmp= 723724 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v101-n3.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451627-1721426822/watcher-4451627-1721426822 -o /tmp/evaluation-result-4451627-1721426822/solver-4451627-1721426822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721422917-1020862 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4451627-1721426822.opb 3600 HOME 31000

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

MD5SUM BENCH= ff2431c9aac399448d9270c6fef4de20
RANDOM SEED=2028396256

nodeC012.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		: 3669.722
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.37
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		: 1197.329
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.32
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.341
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.37
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.322
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.32
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		: 3669.829
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.37
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		: 3665.860
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.32
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.342
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.37
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.485
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128262680 kB
MemAvailable:   129752868 kB
Buffers:          537252 kB
Cached:          1796860 kB
SwapCached:            0 kB
Active:          1089064 kB
Inactive:        1749040 kB
Active(anon):       1488 kB
Inactive(anon):   548076 kB
Active(file):    1087576 kB
Inactive(file):  1200964 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17540 kB
Writeback:             0 kB
AnonPages:        503636 kB
Mapped:           116388 kB
Shmem:             45896 kB
KReclaimable:      83360 kB
Slab:             185884 kB
SReclaimable:      83360 kB
SUnreclaim:       102524 kB
KernelStack:        4064 kB
PageTables:        10332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     797460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61216 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 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:      312136 kB
DirectMap2M:    33146880 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC012 at 2024-07-20 00:37:19