Trace number 4426845

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
FiberSCIP 2024-07-02Signal 127.267 131.648

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar7-sub4_wcsp.wbo
MD5SUM017722a65fbbcf3be40a97a1e4190efb
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark553556
Best CPU time to get the best result obtained on this benchmark3600.33
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables928
Total number of constraints357050
Number of soft constraints357028
Number of constraints which are clauses357028
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 55058437
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 28629521944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
2.78/2.82	c Default LC presolving (default).
2.78/2.82	c ** Before presolving: virtualMemUsedAtLc = 2223509710, getVmSize() = 1324220416, SCIPgetMemUsed() = 1192909065, SCIPgetMemTotal() = 1236248049, SCIPgetMemExternEstim() = 987261661
2.78/2.82	c ** set memory limit for presolving in LC to 8.79543e+12 for SCIP **

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (57610 MiB free)
  memory of node 1: 64510 MiB (59522 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426845-1720906440/watcher-4426845-1720906440 -o /tmp/evaluation-result-4426845-1720906440/solver-4426845-1720906440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720905543-724799 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426845-1720906440.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=725902, runsolver pid=725899

[startup+0.101036 s]*
/proc/loadavg: 4.45 4.26 3.43 6/268 725903
/proc/meminfo: memFree=119901816/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=64400 memory=52800 CPUtime=0.1 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 11129 0 0 0 8 2 0 0 20 0 1 0 142811442 65945600 13200 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 16100 13200 2318 3032 0 12500 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64400 KiB
Current children cumulated memory: 52800 KiB

[startup+0.205872 s]*
/proc/loadavg: 4.45 4.26 3.43 5/268 725903
/proc/meminfo: memFree=119863748/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=103908 memory=92348 CPUtime=0.2 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 21001 0 0 0 17 3 0 0 20 0 1 0 142811442 106401792 23087 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 25977 23087 2318 3032 0 22377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 92348 KiB

[startup+0.305922 s]*
/proc/loadavg: 4.45 4.26 3.43 5/268 725903
/proc/meminfo: memFree=119827068/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=140788 memory=129184 CPUtime=0.3 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 30216 0 0 0 26 4 0 0 20 0 1 0 142811442 144166912 32296 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 35197 32296 2318 3032 0 31597 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140788 KiB
Current children cumulated memory: 129184 KiB

[startup+0.700231 s]
/proc/loadavg: 4.45 4.26 3.43 5/268 725904
/proc/meminfo: memFree=119753592/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=281736 memory=269616 CPUtime=0.68 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 64797 0 0 0 60 8 0 0 20 0 1 0 142811442 288497664 67404 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 70434 67404 2318 3032 0 66834 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 281736 KiB
Current children cumulated memory: 269616 KiB

[startup+1.50021 s]
/proc/loadavg: 4.45 4.26 3.43 5/268 725904
/proc/meminfo: memFree=119574680/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=570688 memory=556120 CPUtime=1.48 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 135738 0 0 0 130 18 0 0 20 0 1 0 142811442 584384512 139030 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 142672 139030 2558 3032 0 139072 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 570688 KiB
Current children cumulated memory: 556120 KiB

[startup+3.10589 s]
/proc/loadavg: 4.41 4.25 3.43 5/268 725904
/proc/meminfo: memFree=118597864/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=1418924 memory=1393200 CPUtime=3.08 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 331728 0 0 0 262 46 0 0 20 0 1 0 142811442 1452978176 348300 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 354731 348300 2590 3032 0 351131 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1418924 KiB
Current children cumulated memory: 1393200 KiB

[startup+6.30023 s]
/proc/loadavg: 4.41 4.25 3.43 5/268 725904
/proc/meminfo: memFree=117545484/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=2498024 memory=2468988 CPUtime=6.26 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 581265 0 0 0 543 83 0 0 20 0 1 0 142811442 2557976576 617247 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 624506 617247 2606 3032 0 620906 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2498024 KiB
Current children cumulated memory: 2468988 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.25 3.44 5/268 725906
/proc/meminfo: memFree=117325364/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=2662376 memory=2621312 CPUtime=12.64 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 609287 0 0 0 1176 88 0 0 20 0 1 0 142811442 2726273024 655328 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 665594 655328 2654 3032 0 661994 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2662376 KiB
Current children cumulated memory: 2621312 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.24 3.45 5/268 725907
/proc/meminfo: memFree=115933168/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=4589172 memory=4021280 CPUtime=25.38 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 645179 0 0 0 2414 124 0 0 20 0 1 0 142811442 4699312128 1005320 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 1147293 1005320 2702 3032 0 1143693 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 4589172 KiB
Current children cumulated memory: 4021280 KiB

[startup+51.106 s]
/proc/loadavg: 4.19 4.22 3.46 5/268 725912
/proc/meminfo: memFree=113979280/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=6498168 memory=5967000 CPUtime=50.88 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 1123999 0 0 0 4859 229 0 0 20 0 1 0 142811442 6654124032 1491750 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 1624542 1491750 2702 3032 0 1620942 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 6498168 KiB
Current children cumulated memory: 5967000 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.21 3.51 5/264 725920
/proc/meminfo: memFree=110097608/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=10381644 memory=9850572 CPUtime=101.84 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 2094982 0 0 0 9756 428 0 0 20 0 1 0 142811442 10630803456 2462643 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 2595411 2462643 2702 3032 0 2591811 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 10381644 KiB
Current children cumulated memory: 9850572 KiB

[startup+131.648 s]
# the end of solver process 725902 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core

# cumulated CPU time of all completed processes:  user=119.513 s, system=7.75351 s

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

[startup+102.4 s]
/proc/loadavg: 4.19 4.21 3.51 5/264 725920
/proc/meminfo: memFree=110097608/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=10389424 memory=9858228 CPUtime=101.94 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 2096897 0 0 0 9766 428 0 0 20 0 1 0 142811442 10638770176 2464557 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 2597356 2464557 2702 3032 0 2593756 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 10389424 KiB
Current children cumulated memory: 9858228 KiB

[startup+115.2 s]
/proc/loadavg: 4.16 4.20 3.51 5/264 725922
/proc/meminfo: memFree=109094680/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=11373420 memory=10842328 CPUtime=114.68 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 2342948 0 0 0 10983 485 0 0 20 0 1 0 142811442 11646382080 2710582 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 2843355 2710582 2702 3032 0 2839755 0
Current children cumulated CPU time: 114.68 s
Current children cumulated vsize: 11373420 KiB
Current children cumulated memory: 10842328 KiB

[startup+121.6 s]
/proc/loadavg: 4.15 4.20 3.52 5/264 725924
/proc/meminfo: memFree=108631016/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=11866948 memory=11335724 CPUtime=121.05 cores=0,2
/proc/725902/stat : 725902 (fscip) R 725899 725902 722468 0 -1 4194304 2466278 0 0 0 11585 520 0 0 20 0 1 0 142811442 12151754752 2833931 134679101440 4194304 16613245 140721160906288 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 2966737 2833931 2702 3032 0 2963137 0
Current children cumulated CPU time: 121.05 s
Current children cumulated vsize: 11866948 KiB
Current children cumulated memory: 11335724 KiB

[startup+128 s]*
/proc/loadavg: 4.21 4.21 3.53 5/265 725926
/proc/meminfo: memFree=106033308/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=12175696 memory=11644700 CPUtime=126.97 cores=0,2
/proc/725902/stat : 725902 (fscip) S 725899 725902 722468 0 -1 4195840 2543556 0 0 0 11951 746 0 0 20 0 1 0 142811442 12467912704 2911175 134679101440 4194304 16613245 140721160906288 140721152528376 7318118 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 3043924 2911175 2680 3032 0 3040324 0
Current children cumulated CPU time: 126.97 s
Current children cumulated vsize: 12175696 KiB
Current children cumulated memory: 11644700 KiB

[startup+129.6 s]
/proc/loadavg: 4.21 4.21 3.53 4/265 725926
/proc/meminfo: memFree=105843436/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=12175696 memory=11644700 CPUtime=126.97 cores=0,2
/proc/725902/stat : 725902 (fscip) S 725899 725902 722468 0 -1 4195840 2543556 0 0 0 11951 746 0 0 20 0 1 0 142811442 12467912704 2911175 134679101440 4194304 16613245 140721160906288 140721152528376 7318118 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 3043924 2911175 2680 3032 0 3040324 0
Current children cumulated CPU time: 126.97 s
Current children cumulated vsize: 12175696 KiB
Current children cumulated memory: 11644700 KiB

[startup+130.4 s]
/proc/loadavg: 4.21 4.21 3.53 4/265 725926
/proc/meminfo: memFree=105843328/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=12175696 memory=11644700 CPUtime=126.97 cores=0,2
/proc/725902/stat : 725902 (fscip) S 725899 725902 722468 0 -1 4195840 2543556 0 0 0 11951 746 0 0 20 0 1 0 142811442 12467912704 2911175 134679101440 4194304 16613245 140721160906288 140721152528376 7318118 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 3043924 2911175 2680 3032 0 3040324 0
Current children cumulated CPU time: 126.97 s
Current children cumulated vsize: 12175696 KiB
Current children cumulated memory: 11644700 KiB

[startup+131.2 s]
/proc/loadavg: 4.21 4.21 3.53 4/265 725928
/proc/meminfo: memFree=105843348/131524600 swapFree=131071996/131071996
[pid=725902] ppid=725899 vsize=12175696 memory=11644700 CPUtime=126.97 cores=0,2
/proc/725902/stat : 725902 (fscip) S 725899 725902 722468 0 -1 4195840 2543556 0 0 0 11951 746 0 0 20 0 1 0 142811442 12467912704 2911175 134679101440 4194304 16613245 140721160906288 140721152528376 7318118 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28688384 140721160909793 140721160909909 140721160909909 140721160916976 0
/proc/725902/statm: 3043924 2911175 2680 3032 0 3040324 0
Current children cumulated CPU time: 126.97 s
Current children cumulated vsize: 12175696 KiB
Current children cumulated memory: 11644700 KiB

[startup+131.601 s]
/proc/loadavg: 4.19 4.20 3.53 5/265 725928
/proc/meminfo: memFree=109838108/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 11 (SIGSEGV)
Child dumped core

Real time (s): 131.648
CPU time (s): 127.267
CPU user time (s): 119.513
CPU system time (s): 7.75351
CPU usage (%): 96.6721
Max. virtual memory (cumulated for all children) (KiB): 12175696
Max. memory (cumulated for all children) (KiB): 11644700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.513
system time used= 7.7535
maximum resident set size= 11644704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2543556
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 907


# summary of solver processes directly reported to runsolver:
#   pid: 725902
#   total CPU time (s): 127.267
#   total CPU user time (s): 119.513
#   total CPU system time (s): 7.75351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.298757 second user time and 0.652636 second system time

The end

Launcher Data

Begin job on nodeC029 at 2024-07-13 23:34:13
IDJOB=4426845
IDBENCH=143887
IDSOLVER=3044
FILE ID=nodeC029/4426845-1720906440
RUNJOBID= nodeC029-1720905543-724799
SLURM_JOB_ID= 7486088
Free space on /tmp= 889984 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426845-1720906440/watcher-4426845-1720906440 -o /tmp/evaluation-result-4426845-1720906440/solver-4426845-1720906440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720905543-724799 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426845-1720906440.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 017722a65fbbcf3be40a97a1e4190efb
RANDOM SEED=2084776299

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119945260 kB
MemAvailable:   123124584 kB
Buffers:          330264 kB
Cached:          3652424 kB
SwapCached:            0 kB
Active:           538580 kB
Inactive:       10373352 kB
Active(anon):       1464 kB
Inactive(anon):  6965496 kB
Active(file):     537116 kB
Inactive(file):  3407856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             38920 kB
Writeback:             4 kB
AnonPages:       6928192 kB
Mapped:           136128 kB
Shmem:             37720 kB
KReclaimable:     147996 kB
Slab:             256516 kB
SReclaimable:     147996 kB
SUnreclaim:       108520 kB
KernelStack:        4336 kB
PageTables:        23152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4161096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54624 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1613824 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:      242388 kB
DirectMap2M:    30988288 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-13 23:36:25