Trace number 4464896

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-30? (TO) 3600.07 3608.32

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/
normalized-j12027_7-unsat--soft-33-100-0.wbo
MD5SUM2e4d01321953204035915c899f35b9ad
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark2993
Best CPU time to get the best result obtained on this benchmark3600.34
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables27588
Total number of constraints91561
Number of soft constraints61241
Number of constraints which are clauses91109
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints452
Minimum length of a constraint1
Maximum length of a constraint66
Top cost 3099658
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3099657
Biggest number in a constraint 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 415
Number of bits of the biggest sum of numbers9
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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)
0.69/0.71	c Default LC presolving (default).
0.69/0.71	c ** Before presolving: virtualMemUsedAtLc = 559640905, getVmSize() = 372092928, SCIPgetMemUsed() = 326901263, SCIPgetMemTotal() = 336817231, SCIPgetMemExternEstim() = 222823674
0.69/0.71	c ** set memory limit for presolving in LC to 8.79593e+12 for SCIP **
34.89/35.02	c ** Estimated virtualMemUsedAtSolver = 646507972, getVmSize() = 806055936, SCIPgetMemUsed() = 540059525, SCIPgetMemTotal() = 746938285, SCIPgetMemExternEstim() = 222823674
34.89/35.02	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
34.89/35.02	c Original Problem   :
34.89/35.02	c   Problem name     : instance-4464896-1722389892
34.89/35.02	c   Variables        : 88829 (88829 binary, 0 integer, 0 implicit integer, 0 continuous)
34.89/35.02	c   Constraints      : 152803
34.89/35.02	c   Objective sense  : minimize
34.89/35.02	c Presolved Problem  :
34.89/35.02	c   Variables        : 137953 (81936 binary, 0 integer, 56017 implicit integer, 0 continuous)
34.89/35.02	c   Constraints      : 137542
34.89/35.02	c Constraints        : Number
34.89/35.02	c   knapsack         : 149 
34.89/35.02	c   setppc           : 21561 
34.89/35.02	c   and              : 532 
34.89/35.02	c   linear           : 56017 
34.89/35.02	c   logicor          : 3261 
34.89/35.02	c   indicator        : 56022 
34.89/35.02	c ** Instance transfer method used: 0
35.28/35.42	c ** ParaScipInstance copy increased the number of variables. **
35.68/35.83	c LC is working with racing ramp-up and with rebuilding tree after racing.
35.68/35.83	c                                Nodes    Active                                            
35.68/35.83	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
303.72/304.66	c *     305              0           1         1      311259.0000                -          -
303.72/304.66	c       305              0           1         1      311259.0000                -          -
651.11/652.97	c *     653              0           1         1       48035.0000                -          -
651.11/652.97	c       653              0           1         1       48035.0000                -          -

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: 63968 MiB (56191 MiB free)
  memory of node 1: 64473 MiB (62678 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=37101, runsolver pid=37091
Current StackSize limit: 8192 KiB


[startup+0.100779 s]*
/proc/loadavg: 1.09 1.75 2.92 6/254 37110
/proc/meminfo: memFree=121548084/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=83520 memory=71528 CPUtime=0.09 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 15818 0 0 0 7 2 0 0 20 0 1 0 5593794 85524480 17882 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 20880 17882 2347 3035 0 17276 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83520 KiB
Current children cumulated memory: 71528 KiB

[startup+0.206115 s]*
/proc/loadavg: 1.09 1.75 2.92 6/251 37118
/proc/meminfo: memFree=121386828/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=120104 memory=108580 CPUtime=0.2 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 25063 0 0 0 16 4 0 0 20 0 1 0 5593794 122986496 27145 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 30026 27145 2347 3035 0 26422 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 120104 KiB
Current children cumulated memory: 108580 KiB

[startup+0.30631 s]*
/proc/loadavg: 1.09 1.75 2.92 6/251 37118
/proc/meminfo: memFree=121234068/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=158612 memory=146840 CPUtime=0.29 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 34632 0 0 0 24 5 0 0 20 0 1 0 5593794 162418688 36710 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 39653 36710 2347 3035 0 36049 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 158612 KiB
Current children cumulated memory: 146840 KiB

[startup+0.700235 s]
/proc/loadavg: 1.09 1.75 2.92 7/252 37145
/proc/meminfo: memFree=120952620/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=353124 memory=340580 CPUtime=0.69 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 83814 0 0 0 57 12 0 0 20 0 1 0 5593794 361598976 85145 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 88281 85145 2555 3035 0 84677 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 353124 KiB
Current children cumulated memory: 340580 KiB

[startup+1.50022 s]
/proc/loadavg: 1.09 1.75 2.92 6/256 37156
/proc/meminfo: memFree=120555560/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=611536 memory=593152 CPUtime=1.48 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 146913 0 0 0 128 20 0 0 20 0 1 0 5593794 626212864 148288 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 152884 148288 2630 3035 0 149280 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 611536 KiB
Current children cumulated memory: 593152 KiB

[startup+3.10586 s]
/proc/loadavg: 1.09 1.75 2.92 6/258 37210
/proc/meminfo: memFree=120381584/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=649460 memory=617920 CPUtime=3.08 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 152028 0 0 0 287 21 0 0 20 0 1 0 5593794 665047040 154480 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 162365 154480 2678 3035 0 158761 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 649460 KiB
Current children cumulated memory: 617920 KiB

[startup+6.30023 s]
/proc/loadavg: 1.32 1.79 2.93 6/256 37303
/proc/meminfo: memFree=119502016/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=652868 memory=624244 CPUtime=6.26 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 153656 0 0 0 604 22 0 0 20 0 1 0 5593794 668536832 156061 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 163217 156061 2678 3035 0 159613 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 652868 KiB
Current children cumulated memory: 624244 KiB

[startup+12.7002 s]
/proc/loadavg: 1.62 1.84 2.94 6/258 37306
/proc/meminfo: memFree=118726460/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=653892 memory=625292 CPUtime=12.65 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 153916 0 0 0 1241 24 0 0 20 0 1 0 5593794 669585408 156323 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 163473 156323 2678 3035 0 159869 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 653892 KiB
Current children cumulated memory: 625292 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.95 2.95 6/258 37308
/proc/meminfo: memFree=118506828/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=653892 memory=625292 CPUtime=25.4 cores=4,6
/proc/37101/stat : 37101 (fscip) R 37091 37101 37037 0 -1 4194304 153918 0 0 0 2516 24 0 0 20 0 1 0 5593794 669585408 156323 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 163473 156323 2678 3035 0 159869 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 653892 KiB
Current children cumulated memory: 625292 KiB

[startup+51.1059 s]
/proc/loadavg: 2.78 2.12 2.98 6/260 37313
/proc/meminfo: memFree=117424132/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=1772340 memory=1614548 CPUtime=50.92 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 501342 0 0 0 5023 69 0 0 20 0 3 0 5593794 1814876160 403637 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 443085 403637 2726 3035 0 431304 0
[pid=37101/tid=37310] ppid=37091 vsize=1772340 memory=1614544 CPUtime=15.6 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 253215 0 0 0 1533 27 0 0 20 0 3 0 5597296 1814876160 403637 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=1772340 memory=1614540 CPUtime=0 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 5597378 1814876160 403637 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1772340 KiB
Current children cumulated memory: 1614548 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.44 3.05 6/260 37323
/proc/meminfo: memFree=117141140/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2036372 memory=1857672 CPUtime=101.99 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 784320 0 0 0 10105 94 0 0 20 0 3 0 5593794 2085244928 464418 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 509093 464418 2774 3035 0 493853 0
[pid=37101/tid=37310] ppid=37091 vsize=2036372 memory=11592 CPUtime=66.66 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 536166 0 0 0 6614 52 0 0 20 0 3 0 5597296 2085244928 464418 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2036372 memory=0 CPUtime=0 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 5597378 2085244928 464418 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2036372 KiB
Current children cumulated memory: 1857672 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.74 3.12 5/262 37386
/proc/meminfo: memFree=112506092/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2036372 memory=1859460 CPUtime=161.82 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 879309 0 0 0 16079 103 0 0 20 0 3 0 5593794 2085244928 464865 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 509093 464865 2774 3035 0 493853 0
[pid=37101/tid=37310] ppid=37091 vsize=2036372 memory=1859372 CPUtime=126.5 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 631141 0 0 0 12589 61 0 0 20 0 3 0 5597296 2085244928 464865 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2036372 memory=1859460 CPUtime=0 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5597378 2085244928 464865 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2036372 KiB
Current children cumulated memory: 1859460 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.99 3.18 5/262 37396
/proc/meminfo: memFree=106702356/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2036372 memory=1860992 CPUtime=221.64 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 924956 0 0 0 22056 108 0 0 20 0 3 0 5593794 2085244928 465248 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 509093 465248 2774 3035 0 494109 0
[pid=37101/tid=37310] ppid=37091 vsize=2036372 memory=1859460 CPUtime=186.33 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 676777 0 0 0 18566 67 0 0 20 0 3 0 5597296 2085244928 465248 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2036372 memory=1860992 CPUtime=0 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5597378 2085244928 465248 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2036372 KiB
Current children cumulated memory: 1860992 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 3.23 3.26 5/266 37652
/proc/meminfo: memFree=114264276/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2036372 memory=1877092 CPUtime=281.48 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 984437 0 0 0 28031 117 0 0 20 0 3 0 5593794 2085244928 469273 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 509093 469273 2774 3035 0 497777 0
[pid=37101/tid=37310] ppid=37091 vsize=2036372 memory=1871416 CPUtime=246.15 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 736251 0 0 0 24540 75 0 0 20 0 3 0 5597296 2085244928 469273 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2036372 memory=1876372 CPUtime=0 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 5597378 2085244928 469273 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2036372 KiB
Current children cumulated memory: 1877092 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.39 3.31 5/265 37662
/proc/meminfo: memFree=114063972/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2172296 memory=1996828 CPUtime=341.35 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 1161924 0 0 0 34003 132 0 0 20 0 3 0 5593794 2224431104 499207 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 543074 499207 2902 3035 0 531593 0
[pid=37101/tid=37310] ppid=37091 vsize=2172296 memory=1973564 CPUtime=306 cores=4,6

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

Current children cumulated memory: 2249204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/264 39347
/proc/meminfo: memFree=108832264/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2407820 memory=2259688 CPUtime=3154.94 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2021217 0 0 0 315244 250 0 0 20 0 3 0 5593794 2465607680 564922 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 601955 564922 2934 3035 0 590560 0
[pid=37101/tid=37310] ppid=37091 vsize=2407820 memory=11592 CPUtime=3119.53 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1758126 0 0 0 311749 204 0 0 20 0 3 0 5597296 2465607680 564922 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2407820 memory=2259688 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 484 0 0 0 1 3 0 0 20 0 3 0 5597378 2465607680 564922 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3154.94 s
Current children cumulated vsize: 2407820 KiB
Current children cumulated memory: 2259688 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/265 39358
/proc/meminfo: memFree=108828384/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2407820 memory=2259688 CPUtime=3214.83 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2022049 0 0 0 321233 250 0 0 20 0 3 0 5593794 2465607680 564922 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 601955 564922 2934 3035 0 590560 0
[pid=37101/tid=37310] ppid=37091 vsize=2407820 memory=11592 CPUtime=3179.42 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1758949 0 0 0 317738 204 0 0 20 0 3 0 5597296 2465607680 564922 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2407820 memory=2259688 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 493 0 0 0 1 3 0 0 20 0 3 0 5597378 2465607680 564922 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3214.83 s
Current children cumulated vsize: 2407820 KiB
Current children cumulated memory: 2259688 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/265 39368
/proc/meminfo: memFree=108817332/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2407820 memory=2265164 CPUtime=3274.71 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2035555 0 0 0 327220 251 0 0 20 0 3 0 5593794 2465607680 566291 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 601955 566291 2934 3035 0 592481 0
[pid=37101/tid=37310] ppid=37091 vsize=2407820 memory=2259744 CPUtime=3239.3 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1772446 0 0 0 323725 205 0 0 20 0 3 0 5597296 2465607680 566291 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2407820 memory=2259740 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 502 0 0 0 1 3 0 0 20 0 3 0 5597378 2465607680 566291 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3274.71 s
Current children cumulated vsize: 2407820 KiB
Current children cumulated memory: 2265164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 39378
/proc/meminfo: memFree=108778192/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2407820 memory=2265908 CPUtime=3334.6 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2037700 0 0 0 333209 251 0 0 20 0 3 0 5593794 2465607680 566477 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 601955 566477 2934 3035 0 592481 0
[pid=37101/tid=37310] ppid=37091 vsize=2407820 memory=11592 CPUtime=3299.19 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1774580 0 0 0 329714 205 0 0 20 0 3 0 5597296 2465607680 566477 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2407820 memory=2265908 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 513 0 0 0 1 3 0 0 20 0 3 0 5597378 2465607680 566477 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3334.6 s
Current children cumulated vsize: 2407820 KiB
Current children cumulated memory: 2265908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 39389
/proc/meminfo: memFree=108775620/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2407820 memory=2265952 CPUtime=3394.49 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2052306 0 0 0 339197 252 0 0 20 0 3 0 5593794 2465607680 566488 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 601955 566488 2934 3035 0 592481 0
[pid=37101/tid=37310] ppid=37091 vsize=2407820 memory=12852 CPUtime=3359.07 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1789178 0 0 0 335702 205 0 0 20 0 3 0 5597296 2465607680 566488 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2407820 memory=2265952 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 521 0 0 0 1 3 0 0 20 0 3 0 5597378 2465607680 566488 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3394.49 s
Current children cumulated vsize: 2407820 KiB
Current children cumulated memory: 2265952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 39399
/proc/meminfo: memFree=108546308/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2407820 memory=2272832 CPUtime=3454.39 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2063117 0 0 0 345186 253 0 0 20 0 3 0 5593794 2465607680 568208 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 601955 568208 2934 3035 0 593960 0
[pid=37101/tid=37310] ppid=37091 vsize=2407820 memory=12852 CPUtime=3418.97 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1799983 0 0 0 341691 206 0 0 20 0 3 0 5597296 2465607680 568208 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2407820 memory=11592 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 527 0 0 0 1 3 0 0 20 0 3 0 5597378 2465607680 568208 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3454.39 s
Current children cumulated vsize: 2407820 KiB
Current children cumulated memory: 2272832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 39410
/proc/meminfo: memFree=108532280/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2407820 memory=2272832 CPUtime=3514.27 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2063576 0 0 0 351174 253 0 0 20 0 3 0 5593794 2465607680 568208 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 601955 568208 2934 3035 0 593960 0
[pid=37101/tid=37310] ppid=37091 vsize=2407820 memory=2272832 CPUtime=3478.85 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1800433 0 0 0 347679 206 0 0 20 0 3 0 5597296 2465607680 568208 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2407820 memory=2272832 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 536 0 0 0 1 3 0 0 20 0 3 0 5597378 2465607680 568208 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3514.27 s
Current children cumulated vsize: 2407820 KiB
Current children cumulated memory: 2272832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 39421
/proc/meminfo: memFree=108524884/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2408232 memory=2275656 CPUtime=3574.1 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2084597 0 0 0 357154 256 0 0 20 0 3 0 5593794 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 602058 568914 2934 3035 0 594063 0
[pid=37101/tid=37310] ppid=37091 vsize=2408232 memory=11592 CPUtime=3538.68 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1821446 0 0 0 353659 209 0 0 20 0 3 0 5597296 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2408232 memory=13328 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 544 0 0 0 1 3 0 0 20 0 3 0 5597378 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3574.1 s
Current children cumulated vsize: 2408232 KiB
Current children cumulated memory: 2275656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.3 s]
/proc/loadavg: 4.11 4.11 4.09 4/252 39456
/proc/meminfo: memFree=113267468/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2408232 memory=2275656 CPUtime=3600.04 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2086329 0 0 0 359748 256 0 0 20 0 3 0 5593794 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 602058 568914 2934 3035 0 594063 0
[pid=37101/tid=37310] ppid=37091 vsize=2408232 memory=2275656 CPUtime=3564.63 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1823177 0 0 0 356253 210 0 0 20 0 3 0 5597296 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2408232 memory=2275656 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 545 0 0 0 1 3 0 0 20 0 3 0 5597378 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2408232 KiB
Current children cumulated memory: 2275656 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3608.32 s]
# the end of solver process 37101 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3597.49 s, system=2.5824 s

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

[startup+3608.3 s]
/proc/loadavg: 4.11 4.11 4.09 4/252 39456
/proc/meminfo: memFree=113267468/131524600 swapFree=131071996/131071996
[pid=37101] ppid=37091 vsize=2408232 memory=2275656 CPUtime=3600.04 cores=4,6
/proc/37101/stat : 37101 (fscip) S 37091 37101 37037 0 -1 1077936128 2086329 0 0 0 359748 256 0 0 20 0 3 0 5593794 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
/proc/37101/statm: 602058 568914 2934 3035 0 594063 0
[pid=37101/tid=37310] ppid=37091 vsize=2408232 memory=2275656 CPUtime=3564.63 cores=4,6
/proc/37101/task/37310/stat : 37310 (fscip) R 37091 37101 37037 0 -1 4194368 1823177 0 0 0 356253 210 0 0 20 0 3 0 5597296 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
[pid=37101/tid=37311] ppid=37091 vsize=2408232 memory=2275656 CPUtime=0.04 cores=4,6
/proc/37101/task/37311/stat : 37311 (fscip) S 37091 37101 37037 0 -1 1077936192 545 0 0 0 1 3 0 0 20 0 3 0 5597378 2466029568 568914 134679101440 4194304 16623229 140733579057008 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50327552 140733579064340 140733579064456 140733579064456 140733579071472 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2408232 KiB
Current children cumulated memory: 2275656 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.32
CPU time (s): 3600.07
CPU user time (s): 3597.49
CPU system time (s): 2.5824
CPU usage (%): 99.7714
Max. virtual memory (cumulated for all children) (KiB): 2473768
Max. memory (cumulated for all children) (KiB): 2277652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.49
system time used= 2.5824
maximum resident set size= 2277704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2086330
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= 3635
involuntary context switches= 2549


# summary of solver processes directly reported to runsolver:
#   pid: 37101
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3597.49
#   total CPU system time (s): 2.5824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88201 second user time and 17.0732 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-31 03:38:12
IDJOB=4464896
IDBENCH=143843
IDSOLVER=3093
FILE ID=nodeC035/4464896-1722389892
RUNJOBID= nodeC035-1722389892-37048
SLURM_JOB_ID= 8249868
Free space on /tmp= 890072 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/normalized-j12027_7-unsat--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464896-1722389892/watcher-4464896-1722389892 -o /tmp/evaluation-result-4464896-1722389892/solver-4464896-1722389892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722389892-37048 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464896-1722389892.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 2e4d01321953204035915c899f35b9ad
RANDOM SEED=376388480

nodeC035.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		: 3624.543
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.79
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		: 3646.386
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.92
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		: 3650.171
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.79
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		: 3646.541
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.92
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		: 3645.453
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.79
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		: 3599.911
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.92
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		: 3636.896
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.79
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		: 3656.684
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121725056 kB
MemAvailable:   129796352 kB
Buffers:          105644 kB
Cached:          8760252 kB
SwapCached:            0 kB
Active:           275600 kB
Inactive:        8959464 kB
Active(anon):       1432 kB
Inactive(anon):   389420 kB
Active(file):     274168 kB
Inactive(file):  8570044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            118496 kB
Writeback:             8 kB
AnonPages:        365332 kB
Mapped:            88392 kB
Shmem:             21336 kB
KReclaimable:     133812 kB
Slab:             224040 kB
SReclaimable:     133812 kB
SUnreclaim:        90228 kB
KernelStack:        3840 kB
PageTables:         9020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     618936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      254676 kB
DirectMap2M:     7907328 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC035 at 2024-07-31 04:38:20