Trace number 4426766

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 402.508 404.056

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo
MD5SUM11f83a0df6220c4f8de8dfc598d97eff
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark20.4508
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1783
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
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 = 33853440, getVmSize() = 33853440, SCIPgetMemUsed() = 8464128, SCIPgetMemTotal() = 11887704, SCIPgetMemExternEstim() = 6181397
0.00/0.01	c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.78/0.83	c ** Estimated virtualMemUsedAtSolver = 27925162, getVmSize() = 49922048, SCIPgetMemUsed() = 15784636, SCIPgetMemTotal() = 26510684, SCIPgetMemExternEstim() = 6181397
0.78/0.83	c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.78/0.83	c Original Problem   :
0.78/0.83	c   Problem name     : instance-4426766-1720905660
0.78/0.83	c   Variables        : 2014 (2014 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.83	c   Constraints      : 4491
0.78/0.83	c   Objective sense  : minimize
0.78/0.83	c Presolved Problem  :
0.78/0.83	c   Variables        : 2026 (2014 binary, 0 integer, 12 implicit integer, 0 continuous)
0.78/0.83	c   Constraints      : 2670
0.78/0.83	c Constraints        : Number
0.78/0.83	c   setppc           : 31 
0.78/0.83	c   linear           : 1783 
0.78/0.83	c   logicor          : 823 
0.78/0.83	c   indicator        : 33 
0.78/0.83	c ** Instance transfer method used: 0
0.78/0.83	c ** ParaScipInstance copy does not increase the number of variables. **
0.78/0.84	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.78/0.84	c                                Nodes    Active                                            
0.78/0.84	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
0.88/0.90	c *       1              0           1         1       57610.0000                -          -
0.88/0.90	c *       1              0           1         1         763.0000                -          -
2.07/2.16	c *       2              0           1         1         102.0000                -          -
4.26/4.33	c *       4              5           6         1          55.0000           0.0000          -
4.56/4.61	c *       5              5           6         1          44.0000           0.0000          -
4.86/4.92	c *       5              5           6         1          31.0000           0.0000          -
5.86/5.97	c         6             23          11         1          31.0000           0.0000          -
6.55/6.65	c *       7             23          11         1          28.0000           0.0000          -
6.55/6.67	c *       7             23          11         1          21.0000           0.0000          -
6.66/6.77	c *       7             23          11         1          11.0000           0.0000          -
9.85/9.95	c *      10             71          17         1           7.0000           0.0000          -
11.05/11.17	c        11            102          23         1           7.0000           0.0000          -
16.23/16.38	c        16            873         179         1           7.0000           0.0000          -
21.31/21.46	c        21           1477         377         1           7.0000           0.0000          -
26.40/26.56	c        27           2563         456         1           7.0000           0.0000          -
29.30/29.49	c *      30           2748           5         1           3.0000           0.0000          -
31.49/31.65	c        32           3146          87         1           3.0000           0.0000          -
36.57/36.75	c        37           5907         290         1           3.0000           0.0000          -
42.15/42.33	c        42           8630         490         1           3.0000           0.0000          -
47.53/47.77	c        48          11073         584         1           3.0000           0.0000          -
52.62/52.86	c        53          13619         710         1           3.0000           0.0000          -
57.70/57.98	c        58          16126         713         1           3.0000           0.0000          -
63.18/63.43	c        63          18608         900         1           3.0000           0.0000          -
68.17/68.49	c        68          21864        1075         1           3.0000           0.0000          -
73.25/73.59	c        74          24853        1124         1           3.0000           0.0000          -
78.34/78.64	c        79          27966        1207         1           3.0000           0.0000          -
84.31/84.65	c        85          29914        1246         1           3.0000           0.0000          -
89.30/89.69	c        90          32803        1253         1           3.0000           0.0000          -
94.37/94.74	c        95          35419        1199         1           3.0000           0.0000          -
99.44/99.80	c       100          37671        1213         1           3.0000           0.0000          -
103.72/104.15	c *     104          39942        1362         1           1.0000           0.0000          -
104.40/104.84	c       105          40518         424         1           1.0000           0.0000          -
109.47/109.95	c       110          43033         537         1           1.0000           0.0000          -
114.43/114.99	c       115          45528         582         1           1.0000           0.0000          -
119.50/120.06	c       120          48223         721         1           1.0000           0.0000          -
124.56/125.12	c       125          49908         894         1           1.0000           0.0000          -
129.54/130.19	c       130          52156         970         1           1.0000           0.0000          -
134.62/135.29	c       135          54247         994         1           1.0000           0.0000          -
140.50/141.18	c       141          55515         999         1           1.0000           0.0000          -
145.58/146.29	c       146          58200        1029         1           1.0000           0.0000          -
150.65/151.38	c       151          60753        1106         1           1.0000           0.0000          -
155.74/156.44	c       156          63190        1096         1           1.0000           0.0000          -
160.81/161.50	c       162          66047        1214         1           1.0000           0.0000          -
165.79/166.55	c       167          68757        1169         1           1.0000           0.0000          -
170.88/171.65	c       172          70887        1165         1           1.0000           0.0000          -
175.95/176.70	c       177          73949        1225         1           1.0000           0.0000          -
180.93/181.77	c       182          76700        1196         1           1.0000           0.0000          -
186.01/186.86	c       187          78574        1220         1           1.0000           0.0000          -
191.10/191.91	c       192          80774        1195         1           1.0000           0.0000          -
196.08/196.99	c       197          83529        1233         1           1.0000           0.0000          -
201.16/202.07	c       202          86584        1209         1           1.0000           0.0000          -
206.24/207.17	c       207          89339        1135         1           1.0000           0.0000          -
211.32/212.26	c       212          91332        1164         1           1.0000           0.0000          -
216.40/217.33	c       217          93754        1109         1           1.0000           0.0000          -
221.48/222.45	c       222          96308        1074         1           1.0000           0.0000          -
226.56/227.56	c       228          98631        1049         1           1.0000           0.0000          -
231.64/232.64	c       233         101003        1011         1           1.0000           0.0000          -
236.62/237.69	c       238         103497        1018         1           1.0000           0.0000          -
241.70/242.74	c       243         106139        1014         1           1.0000           0.0000          -
247.67/248.72	c       249         107035        1037         1           1.0000           0.0000          -
252.76/253.83	c       254         108849         985         1           1.0000           0.0000          -
257.74/258.87	c       259         111254         932         1           1.0000           0.0000          -
262.82/263.94	c       264         113705         919         1           1.0000           0.0000          -
267.91/269.03	c       269         116058         942         1           1.0000           0.0000          -
273.00/274.14	c       274         119018         919         1           1.0000           0.0000          -
278.07/279.25	c       279         121254         850         1           1.0000           0.0000          -
283.15/284.31	c       284         123924         815         1           1.0000           0.0000          -
288.14/289.37	c       289         126039         789         1           1.0000           0.0000          -
293.22/294.46	c       294         128276         754         1           1.0000           0.0000          -
298.30/299.51	c       300         131449         658         1           1.0000           0.0000          -
303.29/304.56	c       305         134903         698         1           1.0000           0.0000          -
308.37/309.61	c       310         137823         697         1           1.0000           0.0000          -
313.34/314.66	c       315         141018         628         1           1.0000           0.0000          -
318.42/319.71	c       320         144623         674         1           1.0000           0.0000          -
323.41/324.79	c       325         147844         581         1           1.0000           0.0000          -
328.49/329.84	c       330         150573         417         1           1.0000           0.0000          -
333.57/334.91	c       335         153863         345         1           1.0000           0.0000          -
338.76/340.12	c       340         156974         256         1           1.0000           0.0000          -
343.84/345.21	c       345         159391         273         1           1.0000           0.0000          -
348.82/350.26	c       350         162907         289         1           1.0000           0.0000          -
353.90/355.31	c       355         165858         212         1           1.0000           0.0000          -
358.88/360.37	c       360         168555          65         1           1.0000           0.0000          -
363.96/365.42	c       365         171684         142         1           1.0000           0.0000          -
368.94/370.48	c       370         175029          73         1           1.0000           0.0000          -
374.02/375.54	c       376         178304         159         1           1.0000           0.0000          -
379.01/380.59	c       381         181141         103         1           1.0000           0.0000          -
384.10/385.65	c       386         184284          32         1           1.0000           0.0000          -
389.08/390.69	c       391         187246          76         1           1.0000           0.0000          -
394.16/395.74	c       396         190759          95         1           1.0000           0.0000          -
399.26/400.83	c       401         193687          43         1           1.0000           0.0000          -
402.45/404.02	c       404         195655           0         0           1.0000           1.0000      0.00%
402.45/404.05	c       404         195655           0         0           1.0000           1.0000          -
402.45/404.05	c SCIP Status        : c problem is solved
402.45/404.05	c Total Time         : 404.0400
402.45/404.05	c   solving          : 404.0400
402.45/404.05	c   presolving       : 0.8132 (included in solving)
402.45/404.05	c B&B Tree           :
402.45/404.05	c   nodes (total)    : 195655
402.45/404.05	c Solution           :
402.45/404.05	c   Solutions found  : 12
402.45/404.05	c   Primal Bound     : +1.00000000000000e+00
402.45/404.05	c   Dual Bound       : +1.00000000000000e+00
402.45/404.05	c Gap                : 0.00000 %
402.45/404.05	o 1
402.45/404.05	s OPTIMUM FOUND
402.45/404.05	v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 
402.45/404.05	v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 
402.45/404.05	v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 
402.45/404.05	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
402.45/404.05	v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 
402.45/404.05	v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
402.45/404.05	v -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 
402.45/404.05	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 
402.45/404.05	v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
402.45/404.05	v -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 
402.45/404.05	v -x1

Verifier Data 

OK	1

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=723971, runsolver pid=723968

[startup+0.100826 s]*
/proc/loadavg: 4.11 3.67 3.33 5/263 723972
/proc/meminfo: memFree=127927656/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=42964 memory=31956 CPUtime=0.09 cores=5,7
/proc/723971/stat : 723971 (fscip) R 723968 723971 720886 0 -1 4194304 5597 0 0 0 9 0 0 0 20 0 1 0 142730199 43995136 7989 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 10741 7989 2654 3032 0 7141 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42964 KiB
Current children cumulated memory: 31956 KiB

[startup+0.20589 s]*
/proc/loadavg: 4.11 3.67 3.33 5/263 723972
/proc/meminfo: memFree=127926900/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=43220 memory=32220 CPUtime=0.19 cores=5,7
/proc/723971/stat : 723971 (fscip) R 723968 723971 720886 0 -1 4194304 5677 0 0 0 19 0 0 0 20 0 1 0 142730199 44257280 8055 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 10805 8055 2654 3032 0 7205 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43220 KiB
Current children cumulated memory: 32220 KiB

[startup+0.305853 s]*
/proc/loadavg: 4.11 3.67 3.33 5/263 723972
/proc/meminfo: memFree=127926452/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=43736 memory=32748 CPUtime=0.29 cores=5,7
/proc/723971/stat : 723971 (fscip) R 723968 723971 720886 0 -1 4194304 5805 0 0 0 29 0 0 0 20 0 1 0 142730199 44785664 8187 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 10934 8187 2654 3032 0 7334 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43736 KiB
Current children cumulated memory: 32748 KiB

[startup+0.700238 s]
/proc/loadavg: 4.11 3.67 3.33 5/263 723972
/proc/meminfo: memFree=127925304/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=44764 memory=33804 CPUtime=0.68 cores=5,7
/proc/723971/stat : 723971 (fscip) R 723968 723971 720886 0 -1 4194304 6063 0 0 0 68 0 0 0 20 0 1 0 142730199 45838336 8451 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 11191 8451 2654 3032 0 7591 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44764 KiB
Current children cumulated memory: 33804 KiB

[startup+1.50081 s]
/proc/loadavg: 4.11 3.67 3.33 5/265 723974
/proc/meminfo: memFree=127898212/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=136432 memory=69436 CPUtime=1.48 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 15804 0 0 0 146 2 0 0 20 0 3 0 142730199 139706368 17359 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 34108 17359 2830 3032 0 21936 0
[pid=723971/tid=723973] ppid=723968 vsize=136432 memory=4220 CPUtime=0.65 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 7635 0 0 0 64 1 0 0 20 0 3 0 142730282 139706368 17359 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=136432 memory=2232 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142730284 139706368 17359 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136432 KiB
Current children cumulated memory: 69436 KiB

[startup+3.10585 s]
/proc/loadavg: 4.11 3.67 3.33 5/265 723974
/proc/meminfo: memFree=127848840/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=204020 memory=105624 CPUtime=3.08 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 30578 0 0 0 304 4 0 0 20 0 3 0 142730199 208916480 26406 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 51005 26406 2974 3032 0 31975 0
[pid=723971/tid=723973] ppid=723968 vsize=204020 memory=2232 CPUtime=2.23 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 22041 0 0 0 221 2 0 0 20 0 3 0 142730282 208916480 26406 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=204020 memory=1924 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142730284 208916480 26406 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 204020 KiB
Current children cumulated memory: 105624 KiB

[startup+6.30025 s]
/proc/loadavg: 4.10 3.67 3.33 5/265 723974
/proc/meminfo: memFree=127786792/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=201968 memory=126472 CPUtime=6.26 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 43587 0 0 0 621 5 0 0 20 0 3 0 142730199 206815232 31618 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 50492 31618 2990 3032 0 37179 0
[pid=723971/tid=723973] ppid=723968 vsize=201968 memory=0 CPUtime=5.42 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 34976 0 0 0 538 4 0 0 20 0 3 0 142730282 206815232 31618 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=201968 memory=3979070426252395096 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 142730284 206815232 31618 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 201968 KiB
Current children cumulated memory: 126472 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 3.68 3.34 5/265 723976
/proc/meminfo: memFree=127787564/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=201968 memory=127408 CPUtime=12.64 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 65814 0 0 0 1258 6 0 0 20 0 3 0 142730199 206815232 31852 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 50492 31852 2990 3032 0 37179 0
[pid=723971/tid=723973] ppid=723968 vsize=201968 memory=105888 CPUtime=11.8 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 56461 0 0 0 1175 5 0 0 20 0 3 0 142730282 206815232 31852 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=201968 memory=127300 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 142730284 206815232 31852 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 201968 KiB
Current children cumulated memory: 127408 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 3.70 3.35 5/265 723977
/proc/meminfo: memFree=127736680/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=201968 memory=162568 CPUtime=25.4 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 108805 0 0 0 2529 11 0 0 20 0 3 0 142730199 206815232 40642 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 50492 40642 3310 3032 0 45692 0
[pid=723971/tid=723973] ppid=723968 vsize=201968 memory=11604 CPUtime=24.57 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 99369 0 0 0 2447 10 0 0 20 0 3 0 142730282 206815232 40642 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=201968 memory=162568 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 142730284 206815232 40642 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 201968 KiB
Current children cumulated memory: 162568 KiB

[startup+51.106 s]
/proc/loadavg: 4.17 3.75 3.38 5/265 723982
/proc/meminfo: memFree=127703964/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=267504 memory=189328 CPUtime=50.93 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 176103 0 0 0 5076 17 0 0 20 0 3 0 142730199 273924096 47332 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 66876 47332 3310 3032 0 51870 0
[pid=723971/tid=723973] ppid=723968 vsize=267504 memory=182232 CPUtime=50.09 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 166208 0 0 0 4993 16 0 0 20 0 3 0 142730282 273924096 47332 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=267504 memory=184456 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 142730284 273924096 47332 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 267504 KiB
Current children cumulated memory: 189328 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.79 3.41 5/264 724039
/proc/meminfo: memFree=127251696/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=271724 memory=197676 CPUtime=101.92 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 248674 0 0 0 10160 32 0 0 20 0 3 0 142730199 278245376 49419 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 67931 49419 3310 3032 0 54042 0
[pid=723971/tid=723973] ppid=723968 vsize=271724 memory=197676 CPUtime=101.07 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 238648 0 0 0 10076 31 0 0 20 0 3 0 142730282 278245376 49419 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=271724 memory=11604 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 142730284 278245376 49419 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 271724 KiB
Current children cumulated memory: 197676 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 3.86 3.46 4/260 724049
/proc/meminfo: memFree=127492028/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=289112 memory=219596 CPUtime=161.61 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 312481 0 0 0 16114 47 0 0 20 0 3 0 142730199 296050688 54899 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 72278 54899 3310 3032 0 59751 0
[pid=723971/tid=723973] ppid=723968 vsize=289112 memory=11604 CPUtime=160.76 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 302015 0 0 0 16030 46 0 0 20 0 3 0 142730282 296050688 54899 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=289112 memory=11604 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 142730284 296050688 54899 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 289112 KiB
Current children cumulated memory: 219596 KiB

[startup+222.301 s]
/proc/loadavg: 4.11 3.91 3.50 5/264 724108
/proc/meminfo: memFree=126984932/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=298608 memory=227728 CPUtime=221.38 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 350215 0 0 0 22080 58 0 0 20 0 3 0 142730199 305774592 56932 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 74652 56932 3310 3032 0 62125 0
[pid=723971/tid=723973] ppid=723968 vsize=298608 memory=11604 CPUtime=220.53 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 339689 0 0 0 21997 56 0 0 20 0 3 0 142730282 305774592 56932 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=298608 memory=225616 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 142730284 305774592 56932 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 298608 KiB
Current children cumulated memory: 227728 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 3.93 3.54 5/262 725022
/proc/meminfo: memFree=124832716/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=312296 memory=246180 CPUtime=281.16 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 388108 0 0 0 28050 66 0 0 20 0 3 0 142730199 319791104 61545 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 78074 61545 3310 3032 0 65919 0
[pid=723971/tid=723973] ppid=723968 vsize=312296 memory=11604 CPUtime=280.3 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 377539 0 0 0 27966 64 0 0 20 0 3 0 142730282 319791104 61545 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=312296 memory=237328 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 142730284 319791104 61545 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 312296 KiB
Current children cumulated memory: 246180 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.98 3.58 5/262 725032
/proc/meminfo: memFree=124346964/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=321256 memory=252456 CPUtime=340.94 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 409983 0 0 0 34021 73 0 0 20 0 3 0 142730199 328966144 63114 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 80314 63114 3310 3032 0 68159 0
[pid=723971/tid=723973] ppid=723968 vsize=321256 memory=35368 CPUtime=340.08 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 399399 0 0 0 33937 71 0 0 20 0 3 0 142730282 328966144 63114 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=321256 memory=11604 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 142730284 328966144 63114 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 321256 KiB
Current children cumulated memory: 252456 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.00 3.61 5/262 725043
/proc/meminfo: memFree=124278576/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=332000 memory=270060 CPUtime=400.75 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 422187 0 0 0 39993 82 0 0 20 0 3 0 142730199 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 83000 67515 3310 3032 0 70845 0
[pid=723971/tid=723973] ppid=723968 vsize=332000 memory=35368 CPUtime=399.89 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 411592 0 0 0 39909 80 0 0 20 0 3 0 142730282 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=332000 memory=11604 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142730284 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 332000 KiB
Current children cumulated memory: 270060 KiB

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

# cumulated CPU time of all completed processes:  user=401.679 s, system=0.828804 s

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

[startup+403.2 s]
/proc/loadavg: 4.11 4.00 3.61 5/262 725043
/proc/meminfo: memFree=124278604/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=332000 memory=270060 CPUtime=401.65 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 422187 0 0 0 40083 82 0 0 20 0 3 0 142730199 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 83000 67515 3310 3032 0 70845 0
[pid=723971/tid=723973] ppid=723968 vsize=332000 memory=268496 CPUtime=400.78 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 411592 0 0 0 39998 80 0 0 20 0 3 0 142730282 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=332000 memory=268508 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142730284 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 401.65 s
Current children cumulated vsize: 332000 KiB
Current children cumulated memory: 270060 KiB

[startup+403.6 s]
/proc/loadavg: 4.11 4.00 3.61 5/262 725043
/proc/meminfo: memFree=124278604/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=332000 memory=270060 CPUtime=402.04 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 422189 0 0 0 40122 82 0 0 20 0 3 0 142730199 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 83000 67515 3310 3032 0 70845 0
[pid=723971/tid=723973] ppid=723968 vsize=332000 memory=35368 CPUtime=401.18 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 411594 0 0 0 40038 80 0 0 20 0 3 0 142730282 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=332000 memory=12576 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142730284 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 402.04 s
Current children cumulated vsize: 332000 KiB
Current children cumulated memory: 270060 KiB

[startup+404 s]*
/proc/loadavg: 4.10 4.00 3.62 5/262 725043
/proc/meminfo: memFree=124278512/131524600 swapFree=131071996/131071996
[pid=723971] ppid=723968 vsize=332000 memory=270060 CPUtime=402.45 cores=5,7
/proc/723971/stat : 723971 (fscip) S 723968 723971 720886 0 -1 1077936128 422190 0 0 0 40163 82 0 0 20 0 3 0 142730199 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
/proc/723971/statm: 83000 67515 3310 3032 0 70845 0
[pid=723971/tid=723973] ppid=723968 vsize=332000 memory=-8817039162916381372 CPUtime=401.59 cores=5,7
/proc/723971/task/723973/stat : 723973 (fscip) R 723968 723971 720886 0 -1 4194368 411595 0 0 0 40079 80 0 0 20 0 3 0 142730282 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
[pid=723971/tid=723974] ppid=723968 vsize=332000 memory=4644 CPUtime=0 cores=5,7
/proc/723971/task/723974/stat : 723974 (fscip) S 723968 723971 720886 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 142730284 339968000 67515 134679101440 4194304 16613245 140734362028976 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 54149120 140734362035169 140734362035285 140734362035285 140734362042352 0
Current children cumulated CPU time: 402.45 s
Current children cumulated vsize: 332000 KiB
Current children cumulated memory: 270060 KiB

Child status: 0

Real time (s): 404.056
CPU time (s): 402.508
CPU user time (s): 401.679
CPU system time (s): 0.828804
CPU usage (%): 99.6171
Max. virtual memory (cumulated for all children) (KiB): 332000
Max. memory (cumulated for all children) (KiB): 270060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 401.679
system time used= 0.828804
maximum resident set size= 270060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422928
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= 1301
involuntary context switches= 308


# summary of solver processes directly reported to runsolver:
#   pid: 723971
#   total CPU time (s): 402.508
#   total CPU user time (s): 401.679
#   total CPU system time (s): 0.828804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.922009 second user time and 1.92928 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-13 23:21:13
IDJOB=4426766
IDBENCH=143629
IDSOLVER=3044
FILE ID=nodeC022/4426766-1720905660
RUNJOBID= nodeC022-1720905425-723039
SLURM_JOB_ID= 7486081
Free space on /tmp= 890000 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720--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-4426766-1720905660/watcher-4426766-1720905660 -o /tmp/evaluation-result-4426766-1720905660/solver-4426766-1720905660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1720905425-723039 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4426766-1720905660.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 11f83a0df6220c4f8de8dfc598d97eff
RANDOM SEED=994852183

nodeC022.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		: 3665.017
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	: 6999.66
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		: 3673.473
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.96
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		: 3599.879
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	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.389
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.96
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		: 3665.072
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	: 6999.66
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		: 3676.846
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.113
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	: 6999.66
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		: 3666.808
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127949876 kB
MemAvailable:   129022720 kB
Buffers:          331300 kB
Cached:          1574392 kB
SwapCached:            0 kB
Active:           531948 kB
Inactive:        2454948 kB
Active(anon):       1548 kB
Inactive(anon):  1117404 kB
Active(file):     530400 kB
Inactive(file):  1337544 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28404 kB
Writeback:            52 kB
AnonPages:       1080584 kB
Mapped:           139924 kB
Shmem:             37720 kB
KReclaimable:      89096 kB
Slab:             189752 kB
SReclaimable:      89096 kB
SUnreclaim:       100656 kB
KernelStack:        4192 kB
PageTables:        11620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     984020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54368 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      213716 kB
DirectMap2M:    18434048 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC022 at 2024-07-13 23:27:57