Trace number 4426855

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-02OPTIMUM 227.554 228.368

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/coloring/
normalized-queen5-5-4_wcsp.wbo
MD5SUMcb6ea9648287f931b56a2a3b8dcad6ec
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark120.183
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables100
Total number of constraints665
Number of soft constraints640
Number of constraints which are clauses640
Number of constraints which are cardinality constraints (but not clauses)25
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 161
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 640
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
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

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)
0.00/0.01	c Default LC presolving (default).
0.00/0.01	c ** Before presolving: virtualMemUsedAtLc = 25763840, getVmSize() = 25763840, SCIPgetMemUsed() = 2900577, SCIPgetMemTotal() = 4090897, SCIPgetMemExternEstim() = 1874853
0.00/0.01	c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.41/0.42	c ** Estimated virtualMemUsedAtSolver = 19783680, getVmSize() = 33587200, SCIPgetMemUsed() = 5418638, SCIPgetMemTotal() = 10623590, SCIPgetMemExternEstim() = 1874853
0.41/0.42	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.41/0.42	c Original Problem   :
0.41/0.42	c   Problem name     : instance-4426855-1720909018
0.41/0.42	c   Variables        : 740 (740 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.42	c   Constraints      : 1306
0.41/0.42	c   Objective sense  : minimize
0.41/0.42	c Presolved Problem  :
0.41/0.42	c   Variables        : 740 (740 binary, 0 integer, 0 implicit integer, 0 continuous)
0.41/0.42	c   Constraints      : 681
0.41/0.42	c Constraints        : Number
0.41/0.42	c   knapsack         : 1 
0.41/0.42	c   setppc           : 25 
0.41/0.42	c   linear           : 640 
0.41/0.42	c   indicator        : 15 
0.41/0.42	c ** Instance transfer method used: 0
0.41/0.43	c ** ParaScipInstance copy does not increase the number of variables. **
0.41/0.44	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.41/0.44	c                                Nodes    Active                                            
0.41/0.44	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.50/0.54	c *       1              0           1         1         160.0000                -          -
0.50/0.54	c *       1              0           1         1          86.0000                -          -
0.50/0.57	c *       1              0           1         1          62.0000                -          -
0.58/0.65	c *       1              0           1         1          61.0000                -          -
0.86/0.93	c *       1              0           1         1          55.0000                -          -
0.98/1.05	c *       1              0           1         1          53.0000                -          -
0.98/1.06	c *       1              0           1         1          49.0000                -          -
1.08/1.17	c *       1              0           1         1          46.0000                -          -
1.36/1.44	c *       1              0           1         1          29.0000                -          -
1.36/1.48	c *       1              0           1         1          25.0000                -          -
2.08/2.19	c *       2              2           1         1          15.0000           0.0000          -
5.65/5.79	c         6            222         137         1          15.0000           0.0000          -
6.64/6.74	c *       7            222         137         1          13.0000           0.0000          -
10.83/10.93	c        11            571         319         1          13.0000           0.0000          -
16.62/16.71	c        17            762         510         1          13.0000           0.5000          -
21.80/22.01	c        22            903         643         1          13.0000           0.5000          -
27.08/27.23	c        27           1072         794         1          13.0000           1.4508          -
32.97/33.16	c        33           1231         939         1          13.0000           1.5000          -
38.85/39.02	c        39           1387        1057         1          13.0000           1.9817          -
44.02/44.26	c        44           1506        1138         1          13.0000           2.1250          -
49.30/49.52	c        50           1672        1262         1          13.0000           2.5000    420.00%
54.38/54.61	c        55           1871        1417         1          13.0000           2.6250    395.24%
59.37/59.62	c        60           2037        1549         1          13.0000           3.3000    293.94%
64.45/64.74	c        65           2192        1656         1          13.0000           3.4676    274.90%
70.33/70.63	c        71           2384        1800         1          13.0000           3.5882    262.30%
75.62/76.01	c        76           2532        1902         1          13.0000           3.7314    248.39%
80.71/81.02	c        81           2722        2030         1          13.0000           3.8333    239.13%
86.27/86.68	c        87           2910        2126         1          13.0000           4.0000    225.00%
91.55/91.94	c        92           3102        2246         1          13.0000           4.1818    210.87%
97.34/97.77	c        98           3380        2396         1          13.0000           4.5000    188.89%
99.03/99.48	c *      99           3398        2398         1          12.0000           4.5000    166.67%
102.81/103.20	c       103           3600        2029         1          12.0000           4.6667    157.14%
108.10/108.59	c       109           3867        2132         1          12.0000           4.8784    145.98%
113.88/114.39	c       114           4181        2232         1          12.0000           5.0000    140.00%
119.17/119.64	c       120           4432        2296         1          12.0000           5.1360    133.64%
124.55/125.02	c       125           4772        2425         1          12.0000           5.2819    127.19%
130.22/130.78	c       131           5222        2580         1          12.0000           5.5102    117.78%
135.51/136.10	c       136           5602        2666         1          12.0000           5.7655    108.13%
141.28/141.82	c       142           5963        2771         1          12.0000           6.0000    100.00%
146.96/147.59	c       148           6380        2848         1          12.0000           6.0686     97.74%
152.24/152.88	c       153           6882        2940         1          12.0000           6.4597     85.77%
158.02/158.64	c       159           7512        3004         1          12.0000           6.5121     84.27%
163.52/164.17	c       164           8282        3095         1          12.0000           6.7621     77.46%
168.59/169.26	c       169           9032        3141         1          12.0000           7.0189     70.97%
173.67/174.35	c       174           9712        3151         1          12.0000           7.2193     66.22%
178.76/179.43	c       179          10402        3097         1          12.0000           7.3913     62.35%
183.73/184.49	c       184          11072        3046         1          12.0000           7.5872     58.16%
188.82/189.54	c       190          11982        2926         1          12.0000           7.8750     52.38%
193.80/194.58	c       195          12862        2811         1          12.0000           8.0407     49.24%
198.89/199.60	c       200          13862        2626         1          12.0000           8.2433     45.57%
203.86/204.67	c       205          14912        2193         1          12.0000           8.5222     40.81%
208.95/209.77	c       210          15902        1796         1          12.0000           8.7488     37.16%
214.02/214.87	c       215          16932        1193         1          12.0000           9.1235     31.53%
219.00/219.90	c       220          17632         647         1          12.0000           9.4424     27.09%
224.10/225.01	c       225          18122         171         1          12.0000           9.8508     21.82%
227.48/228.30	c       228          18293           0         0          12.0000          12.0000      0.00%
227.48/228.35	c       228          18293           0         0          12.0000          12.0000          -
227.48/228.35	c SCIP Status        : c problem is solved
227.48/228.35	c Total Time         : 228.3500
227.48/228.35	c   solving          : 228.3500
227.48/228.35	c   presolving       : 0.4119 (included in solving)
227.48/228.35	c B&B Tree           :
227.48/228.35	c   nodes (total)    : 18293
227.48/228.35	c Solution           :
227.48/228.35	c   Solutions found  : 13
227.48/228.35	c   Primal Bound     : +1.20000000000000e+01
227.48/228.35	c   Dual Bound       : +1.20000000000000e+01
227.48/228.35	c Gap                : 0.00000 %
227.48/228.36	o 12
227.48/228.36	s OPTIMUM FOUND
227.48/228.36	v -x100 -x99 x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 x75 -x74 
227.48/228.36	v -x73 x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 x51 -x50 -x49 -x48 
227.48/228.36	v -x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 x33 -x32 x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 
227.48/228.36	v -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 

Verifier Data

OK	12

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 (62184 MiB free)
  memory of node 1: 64510 MiB (62363 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426855-1720909018/watcher-4426855-1720909018 -o /tmp/evaluation-result-4426855-1720909018/solver-4426855-1720909018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719766 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426855-1720909018.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
Current StackSize limit: 8192 KiB

solver pid=723294, runsolver pid=723291

[startup+0.100885 s]*
/proc/loadavg: 4.21 4.19 4.10 5/245 723295
/proc/meminfo: memFree=127528252/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=30260 memory=19744 CPUtime=0.1 cores=4,6
/proc/723294/stat : 723294 (fscip) R 723291 723294 717368 0 -1 4194304 2532 0 0 0 9 1 0 0 20 0 1 0 143061106 30986240 4936 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 7565 4936 2654 3032 0 3965 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30260 KiB
Current children cumulated memory: 19744 KiB

[startup+0.213343 s]*
/proc/loadavg: 4.21 4.19 4.10 5/245 723295
/proc/meminfo: memFree=127527944/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=30516 memory=20008 CPUtime=0.21 cores=4,6
/proc/723294/stat : 723294 (fscip) R 723291 723294 717368 0 -1 4194304 2596 0 0 0 20 1 0 0 20 0 1 0 143061106 31248384 5002 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 7629 5002 2654 3032 0 4029 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30516 KiB
Current children cumulated memory: 20008 KiB

[startup+0.31302 s]*
/proc/loadavg: 4.21 4.19 4.10 5/245 723295
/proc/meminfo: memFree=127527160/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=31032 memory=20536 CPUtime=0.31 cores=4,6
/proc/723294/stat : 723294 (fscip) R 723291 723294 717368 0 -1 4194304 2726 0 0 0 30 1 0 0 20 0 1 0 143061106 31776768 5134 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 7758 5134 2654 3032 0 4158 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31032 KiB
Current children cumulated memory: 20536 KiB

[startup+0.700886 s]
/proc/loadavg: 4.21 4.19 4.10 5/247 723299
/proc/meminfo: memFree=127515824/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=118984 memory=36500 CPUtime=0.67 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 6572 0 0 0 65 2 0 0 20 0 3 0 143061106 121839616 9125 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 29746 9125 2910 3032 0 12818 0
[pid=723294/tid=723298] ppid=723291 vsize=118984 memory=32604 CPUtime=0.24 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 3150 0 0 0 23 1 0 0 20 0 3 0 143061149 121839616 9125 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=118984 memory=257 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 143061151 121839616 9125 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 118984 KiB
Current children cumulated memory: 36500 KiB

[startup+1.50032 s]
/proc/loadavg: 4.21 4.19 4.10 5/247 723299
/proc/meminfo: memFree=127506276/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=120832 memory=54976 CPUtime=1.46 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 15020 0 0 0 142 4 0 0 20 0 3 0 143061106 123731968 13744 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 30208 13744 2958 3032 0 17793 0
[pid=723294/tid=723298] ppid=723291 vsize=120832 memory=257 CPUtime=1.03 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 11417 0 0 0 100 3 0 0 20 0 3 0 143061149 123731968 13744 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=120832 memory=0 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 143061151 123731968 13744 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 120832 KiB
Current children cumulated memory: 54976 KiB

[startup+3.11292 s]
/proc/loadavg: 4.21 4.19 4.10 5/249 723301
/proc/meminfo: memFree=127434720/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=120832 memory=61552 CPUtime=3.07 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 17738 0 0 0 302 5 0 0 20 0 3 0 143061106 123731968 15388 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 30208 15388 2974 3032 0 19717 0
[pid=723294/tid=723298] ppid=723291 vsize=120832 memory=0 CPUtime=2.63 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 14105 0 0 0 260 3 0 0 20 0 3 0 143061149 123731968 15388 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=120832 memory=0 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 143061151 123731968 15388 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 120832 KiB
Current children cumulated memory: 61552 KiB

[startup+6.30037 s]
/proc/loadavg: 4.19 4.19 4.10 5/249 723301
/proc/meminfo: memFree=127373224/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=124468 memory=71208 CPUtime=6.24 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 27919 0 0 0 618 6 0 0 20 0 3 0 143061106 127455232 17802 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 31117 17802 2990 3032 0 22012 0
[pid=723294/tid=723298] ppid=723291 vsize=124468 memory=54976 CPUtime=5.82 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 24264 0 0 0 577 5 0 0 20 0 3 0 143061149 127455232 17802 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=124468 memory=-6082227210794744683 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 143061151 127455232 17802 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 124468 KiB
Current children cumulated memory: 71208 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.18 4.10 5/249 723350
/proc/meminfo: memFree=127456740/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=140808 memory=91920 CPUtime=12.63 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 52780 0 0 0 1254 9 0 0 20 0 3 0 143061106 144187392 22980 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 35202 22980 2990 3032 0 27910 0
[pid=723294/tid=723298] ppid=723291 vsize=140808 memory=-6082227210794744683 CPUtime=12.19 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 48910 0 0 0 1212 7 0 0 20 0 3 0 143061149 144187392 22980 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=140808 memory=3106511191937729 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 143061151 144187392 22980 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 140808 KiB
Current children cumulated memory: 91920 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.18 4.10 5/247 723398
/proc/meminfo: memFree=123744612/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=157216 memory=110416 CPUtime=25.38 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 94925 0 0 0 2526 12 0 0 20 0 3 0 143061106 160989184 27604 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 39304 27604 2990 3032 0 32867 0
[pid=723294/tid=723298] ppid=723291 vsize=157216 memory=110008 CPUtime=24.95 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 90968 0 0 0 2484 11 0 0 20 0 3 0 143061149 160989184 27604 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=157216 memory=11648 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 143061151 160989184 27604 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 157216 KiB
Current children cumulated memory: 110416 KiB

[startup+51.1127 s]
/proc/loadavg: 4.56 4.27 4.13 5/247 723402
/proc/meminfo: memFree=121434256/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=172096 memory=131748 CPUtime=50.9 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 157576 0 0 0 5071 19 0 0 20 0 3 0 143061106 176226304 32937 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 43024 32937 2990 3032 0 38708 0
[pid=723294/tid=723298] ppid=723291 vsize=172096 memory=6720661069150501995 CPUtime=50.47 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 153510 0 0 0 5030 17 0 0 20 0 3 0 143061149 176226304 32937 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=172096 memory=11648 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 143061151 176226304 32937 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 172096 KiB
Current children cumulated memory: 131748 KiB

[startup+102.3 s]
/proc/loadavg: 4.70 4.37 4.17 5/247 723411
/proc/meminfo: memFree=117141584/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=269052 memory=175800 CPUtime=101.92 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 241321 0 0 0 10165 27 0 0 20 0 3 0 143061106 275509248 43950 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 67263 43950 2990 3032 0 49555 0
[pid=723294/tid=723298] ppid=723291 vsize=269052 memory=6720661069150501995 CPUtime=101.47 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 237088 0 0 0 10122 25 0 0 20 0 3 0 143061149 275509248 43950 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=269052 memory=11948 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 143061151 275509248 43950 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 269052 KiB
Current children cumulated memory: 175800 KiB

[startup+162.3 s]
/proc/loadavg: 4.37 4.33 4.17 5/247 723422
/proc/meminfo: memFree=117098040/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=278676 memory=214704 CPUtime=161.71 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 293759 0 0 0 16136 35 0 0 20 0 3 0 143061106 285364224 53676 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 69669 53676 2990 3032 0 58319 0
[pid=723294/tid=723298] ppid=723291 vsize=278676 memory=208440 CPUtime=161.25 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 289492 0 0 0 16093 32 0 0 20 0 3 0 143061149 285364224 53676 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=278676 memory=11648 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 143061151 285364224 53676 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 278676 KiB
Current children cumulated memory: 214704 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.30 4.17 5/249 723436
/proc/meminfo: memFree=117056112/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=286420 memory=247876 CPUtime=221.5 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 336926 0 0 0 22106 44 0 0 20 0 3 0 143061106 293294080 61969 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 71605 61969 2990 3032 0 66206 0
[pid=723294/tid=723298] ppid=723291 vsize=286420 memory=237136 CPUtime=220.99 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 332627 0 0 0 22059 40 0 0 20 0 3 0 143061149 293294080 61969 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=286420 memory=242192 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143061151 293294080 61969 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 286420 KiB
Current children cumulated memory: 247876 KiB

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

# cumulated CPU time of all completed processes:  user=227.077 s, system=0.477371 s

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

[startup+224 s]*
/proc/loadavg: 4.24 4.30 4.17 5/249 723436
/proc/meminfo: memFree=117056156/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=287272 memory=248752 CPUtime=223.2 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 337844 0 0 0 22276 44 0 0 20 0 3 0 143061106 294166528 62188 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 71818 62188 2990 3032 0 66425 0
[pid=723294/tid=723298] ppid=723291 vsize=287272 memory=-9030956855271531196 CPUtime=222.7 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 333545 0 0 0 22230 40 0 0 20 0 3 0 143061149 294166528 62188 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=287272 memory=-4421386517722785893 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143061151 294166528 62188 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 223.2 s
Current children cumulated vsize: 287272 KiB
Current children cumulated memory: 248752 KiB

[startup+225.6 s]
/proc/loadavg: 4.24 4.30 4.17 5/249 723436
/proc/meminfo: memFree=117053404/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=288292 memory=250636 CPUtime=224.78 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 338709 0 0 0 22433 45 0 0 20 0 3 0 143061106 295211008 62659 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 72073 62659 2990 3032 0 66898 0
[pid=723294/tid=723298] ppid=723291 vsize=288292 memory=2620 CPUtime=224.28 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 334410 0 0 0 22387 41 0 0 20 0 3 0 143061149 295211008 62659 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=288292 memory=108 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143061151 295211008 62659 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 224.78 s
Current children cumulated vsize: 288292 KiB
Current children cumulated memory: 250636 KiB

[startup+227.2 s]
/proc/loadavg: 4.22 4.29 4.17 5/249 723436
/proc/meminfo: memFree=117048224/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=290984 memory=255268 CPUtime=226.38 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 340287 0 0 0 22593 45 0 0 20 0 3 0 143061106 297967616 63817 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 72746 63817 2990 3032 0 68057 0
[pid=723294/tid=723298] ppid=723291 vsize=290984 memory=247876 CPUtime=225.87 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 335988 0 0 0 22546 41 0 0 20 0 3 0 143061149 297967616 63817 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=290984 memory=32637 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143061151 297967616 63817 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 226.38 s
Current children cumulated vsize: 290984 KiB
Current children cumulated memory: 255268 KiB

[startup+228 s]*
/proc/loadavg: 4.22 4.29 4.17 5/249 723436
/proc/meminfo: memFree=117048472/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=290984 memory=255360 CPUtime=227.19 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 340362 0 0 0 22674 45 0 0 20 0 3 0 143061106 297967616 63840 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 72746 63840 2990 3032 0 68080 0
[pid=723294/tid=723298] ppid=723291 vsize=290984 memory=-9030956855271531196 CPUtime=226.68 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 336063 0 0 0 22627 41 0 0 20 0 3 0 143061149 297967616 63840 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=290984 memory=-4421386517722785893 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143061151 297967616 63840 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 227.19 s
Current children cumulated vsize: 290984 KiB
Current children cumulated memory: 255360 KiB

[startup+228.2 s]
/proc/loadavg: 4.22 4.29 4.17 5/249 723436
/proc/meminfo: memFree=117048472/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=292744 memory=257132 CPUtime=227.38 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 340973 0 0 0 22692 46 0 0 20 0 3 0 143061106 299769856 64283 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 73186 64283 2990 3032 0 68520 0
[pid=723294/tid=723298] ppid=723291 vsize=292744 memory=1499 CPUtime=226.87 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 336674 0 0 0 22645 42 0 0 20 0 3 0 143061149 299769856 64283 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=292744 memory=26728 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143061151 299769856 64283 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 227.38 s
Current children cumulated vsize: 292744 KiB
Current children cumulated memory: 257132 KiB

[startup+228.3 s]
/proc/loadavg: 4.22 4.29 4.17 5/249 723436
/proc/meminfo: memFree=117048472/131655788 swapFree=131071996/131071996
[pid=723294] ppid=723291 vsize=292744 memory=257132 CPUtime=227.48 cores=4,6
/proc/723294/stat : 723294 (fscip) S 723291 723294 717368 0 -1 1077936128 340984 0 0 0 22702 46 0 0 20 0 3 0 143061106 299769856 64283 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
/proc/723294/statm: 73186 64283 2990 3032 0 68520 0
[pid=723294/tid=723298] ppid=723291 vsize=292744 memory=237136 CPUtime=226.97 cores=4,6
/proc/723294/task/723298/stat : 723298 (fscip) R 723291 723294 717368 0 -1 4194368 336685 0 0 0 22655 42 0 0 20 0 3 0 143061149 299769856 64283 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
[pid=723294/tid=723299] ppid=723291 vsize=292744 memory=11648 CPUtime=0 cores=4,6
/proc/723294/task/723299/stat : 723299 (fscip) S 723291 723294 717368 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 143061151 299769856 64283 134679101440 4194304 16613245 140732935685504 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31993856 140732935689185 140732935689301 140732935689301 140732935696368 0
Current children cumulated CPU time: 227.48 s
Current children cumulated vsize: 292744 KiB
Current children cumulated memory: 257132 KiB

Child status: 0

Real time (s): 228.368
CPU time (s): 227.554
CPU user time (s): 227.077
CPU system time (s): 0.477371
CPU usage (%): 99.6436
Max. virtual memory (cumulated for all children) (KiB): 292744
Max. memory (cumulated for all children) (KiB): 257132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.077
system time used= 0.477371
maximum resident set size= 265756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342568
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= 2101
involuntary context switches= 320


# summary of solver processes directly reported to runsolver:
#   pid: 723294
#   total CPU time (s): 227.554
#   total CPU user time (s): 227.077
#   total CPU system time (s): 0.477371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10645 second user time and 2.42065 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-14 00:17:10
IDJOB=4426855
IDBENCH=144131
IDSOLVER=3044
FILE ID=nodeC010/4426855-1720909018
RUNJOBID= nodeC010-1720905417-719766
SLURM_JOB_ID= 7486076
Free space on /tmp= 723696 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-queen5-5-4_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426855-1720909018/watcher-4426855-1720909018 -o /tmp/evaluation-result-4426855-1720909018/solver-4426855-1720909018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719766 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426855-1720909018.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= cb6ea9648287f931b56a2a3b8dcad6ec
RANDOM SEED=1217249382

nodeC010.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		: 3659.123
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	: 6983.51
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		: 3612.839
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.31
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.219
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	: 6983.51
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.228
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.31
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		: 1197.175
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	: 6983.51
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		: 3491.754
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.31
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		: 1296.941
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	: 6983.51
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.213
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127538204 kB
MemAvailable:   127585052 kB
Buffers:          338924 kB
Cached:           555176 kB
SwapCached:            0 kB
Active:           532844 kB
Inactive:        3078364 kB
Active(anon):       1440 kB
Inactive(anon):  2753376 kB
Active(file):     531404 kB
Inactive(file):   324988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             56684 kB
Writeback:             0 kB
AnonPages:       2717132 kB
Mapped:           136076 kB
Shmem:             37704 kB
KReclaimable:      60976 kB
Slab:             150868 kB
SReclaimable:      60976 kB
SUnreclaim:        89892 kB
KernelStack:        3904 kB
PageTables:        14852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1855304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46592 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2279424 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:      162632 kB
DirectMap2M:     9179136 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723652 MiB
End job on nodeC010 at 2024-07-14 00:20:59