Trace number 2686781

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 NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.2 1802.67

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j607_3.std.opb
MD5SUM56c6fbd36b8657f391bc65e8db183044
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark5.9331
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints117911
Number of constraints which are clauses116711
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint36
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2686781-1278442323.opb>
2.10/2.13	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 117911 constraints
2.10/2.13	c problem read
2.10/2.13	c presolving settings loaded
2.10/2.14	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
2.69/2.76	c presolving:
9.80/9.87	c (round 1) 1889 del vars, 5166 del conss, 1229 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8133892 impls, 0 clqs
12.98/13.02	c (round 2) 4577 del vars, 14712 del conss, 3704 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8147178 impls, 0 clqs
13.99/14.06	c (round 3) 5501 del vars, 18850 del conss, 4242 chg bounds, 43 chg sides, 43 chg coeffs, 0 upgd conss, 8152427 impls, 0 clqs
14.49/14.54	c (round 4) 5941 del vars, 20599 del conss, 4478 chg bounds, 47 chg sides, 49 chg coeffs, 0 upgd conss, 8154358 impls, 0 clqs
14.79/14.87	c (round 5) 6127 del vars, 21345 del conss, 4587 chg bounds, 51 chg sides, 53 chg coeffs, 0 upgd conss, 8155078 impls, 0 clqs
14.98/15.05	c (round 6) 6199 del vars, 21698 del conss, 4612 chg bounds, 51 chg sides, 53 chg coeffs, 0 upgd conss, 8155393 impls, 0 clqs
15.19/15.20	c (round 7) 6211 del vars, 21772 del conss, 4615 chg bounds, 51 chg sides, 53 chg coeffs, 0 upgd conss, 8155483 impls, 0 clqs
15.29/15.34	c (round 8) 6211 del vars, 21784 del conss, 4615 chg bounds, 51 chg sides, 53 chg coeffs, 0 upgd conss, 8155483 impls, 0 clqs
16.39/16.47	c (round 9) 6211 del vars, 21784 del conss, 4615 chg bounds, 51 chg sides, 53 chg coeffs, 96127 upgd conss, 8155483 impls, 0 clqs
16.98/17.07	c (round 10) 6211 del vars, 21784 del conss, 4615 chg bounds, 102 chg sides, 300 chg coeffs, 96127 upgd conss, 8155483 impls, 0 clqs
422.19/422.33	c    (417.6s) probing: 1000/30511 (3.3%) - 0 fixings, 0 aggregations, 6022749 implications, 0 bound changes
558.65/558.85	c    (552.9s) probing: 2000/30511 (6.6%) - 0 fixings, 0 aggregations, 9564347 implications, 0 bound changes
558.74/558.98	c    (553.0s) probing: 2001/30511 (6.6%) - 0 fixings, 0 aggregations, 9566642 implications, 0 bound changes
558.74/558.98	c    (553.0s) probing aborted: 2000/2000 successive useless probings
558.74/558.98	c presolving (11 rounds):
558.74/558.98	c  6211 deleted vars, 21784 deleted constraints, 4615 tightened bounds, 0 added holes, 104 changed sides, 322 changed coefficients
558.74/558.98	c  38032913 implications, 0 cliques
558.74/558.98	c presolved problem has 30511 variables (30511 bin, 0 int, 0 impl, 0 cont) and 96147 constraints
558.74/558.98	c    1133 constraints of type <knapsack>
558.74/558.98	c      20 constraints of type <setppc>
558.74/558.98	c   94994 constraints of type <logicor>
558.74/558.98	c transformed objective value is always integral (scale: 1)
558.74/558.98	c Presolving Time: 552.74
558.74/558.98	c - non default parameters ----------------------------------------------------------------------
558.74/558.98	c # SCIP version 1.2.1.2
558.74/558.98	c 
558.74/558.98	c # frequency for displaying node information lines
558.74/558.98	c # [type: int, range: [-1,2147483647], default: 100]
558.74/558.98	c display/freq = 10000
558.74/558.98	c 
558.74/558.98	c # maximal time in seconds to run
558.74/558.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
558.74/558.98	c limits/time = 1797.87
558.74/558.98	c 
558.74/558.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
558.74/558.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
558.74/558.98	c limits/memory = 1620
558.74/558.98	c 
558.74/558.98	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
558.74/558.98	c # [type: int, range: [-1,2147483647], default: 1]
558.74/558.98	c lp/solvefreq = -1
558.74/558.98	c 
558.74/558.98	c # should presolving try to simplify inequalities
558.74/558.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
558.74/558.98	c constraints/linear/simplifyinequalities = TRUE
558.74/558.98	c 
558.74/558.98	c # should presolving try to simplify knapsacks
558.74/558.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
558.74/558.98	c constraints/knapsack/simplifyinequalities = TRUE
558.74/558.98	c 
558.74/558.98	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
558.74/558.98	c # [type: int, range: [-1,2147483647], default: -1]
558.74/558.98	c separating/rapidlearning/freq = 0
558.74/558.98	c 
558.74/558.98	c -----------------------------------------------------------------------------------------------
558.74/558.98	c start solving
558.84/559.08	c 
559.04/559.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
559.04/559.23	c   553s|     1 |     2 |     0 |     - |1119M|   0 |   - |  30k|  96k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
610.83/611.02	o 300
610.83/611.02	c * 605s|  1717 |    95 |     0 |   0.0 |1131M| 193 |   - |  30k|  96k|   0 |   0 |   0 |  16 |   0 | 0.000000e+00 | 3.000000e+02 |    Inf 
950.84/951.15	c   943s| 10000 |  8355 |     0 |   0.0 |1243M| 439 |   - |  30k|  95k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 | 3.000000e+02 |    Inf 
1338.25/1338.63	c  1329s| 20000 | 18355 |     0 |   0.0 |1318M| 439 |   - |  30k|  95k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 | 3.000000e+02 |    Inf 
1527.09/1527.51	c (node 24835) switching to memory saving mode (mem: 1296.0M/1620.0M)
1546.89/1547.31	o 299
1546.89/1547.31	c *1536s| 25655 |  3032 |     0 |   0.0 |1197M| 922 |   - |  30k|  95k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 | 2.990000e+02 |    Inf 
1553.68/1554.15	o 298
1553.68/1554.15	c *1543s| 26039 |  2987 |     0 |   0.0 |1197M| 922 |   - |  30k|  95k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 | 2.980000e+02 |    Inf 
1558.89/1559.34	o 297
1558.89/1559.34	c *1548s| 26327 |  3023 |     0 |   0.0 |1197M| 922 |   - |  30k|  95k|   0 |   0 |   0 |  32 |   0 | 0.000000e+00 | 2.970000e+02 |    Inf 
1572.49/1573.00	o 296
1572.49/1573.00	c *1562s| 26471 |  2874 |     0 |   0.0 |1191M| 922 |   - |  30k|  95k|   0 |   0 |   0 |  35 |   0 | 0.000000e+00 | 2.960000e+02 |    Inf 
1586.18/1586.69	o 295
1586.18/1586.69	c *1575s| 26896 |  2874 |     0 |   0.0 |1189M| 922 |   - |  30k|  95k|   0 |   0 |   0 |  36 |   0 | 0.000000e+00 | 2.950000e+02 |    Inf 
1597.67/1598.14	o 294
1597.67/1598.14	c *1587s| 27210 |  2874 |     0 |   0.0 |1186M| 922 |   - |  30k|  95k|   0 |   0 |   0 |  37 |   0 | 0.000000e+00 | 2.940000e+02 |    Inf 
1608.96/1609.45	o 293
1608.96/1609.45	c *1598s| 27516 |  2883 |     0 |   0.0 |1183M| 922 |   - |  30k|  94k|   0 |   0 |   0 |  38 |   0 | 0.000000e+00 | 2.930000e+02 |    Inf 
1620.07/1620.59	o 292
1620.07/1620.59	c *1609s| 27816 |  2964 |     0 |   0.0 |1181M| 922 |   - |  30k|  94k|   0 |   0 |   0 |  39 |   0 | 0.000000e+00 | 2.920000e+02 |    Inf 
1629.37/1629.87	o 290
1629.37/1629.87	c *1618s| 28061 |  2948 |     0 |   0.0 |1178M| 922 |   - |  30k|  94k|   0 |   0 |   0 |  42 |   0 | 0.000000e+00 | 2.900000e+02 |    Inf 
1641.77/1642.28	o 286
1641.77/1642.28	c *1631s| 28251 |  2942 |     0 |   0.0 |1172M| 922 |   - |  30k|  93k|   0 |   0 |   0 |  44 |   0 | 0.000000e+00 | 2.860000e+02 |    Inf 
1666.25/1666.73	o 285
1666.25/1666.73	c *1655s| 28629 |  2944 |     0 |   0.0 |1159M| 922 |   - |  30k|  92k|   0 |   0 |   0 |  48 |   0 | 0.000000e+00 | 2.850000e+02 |    Inf 
1671.35/1671.81	o 283
1671.35/1671.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1671.35/1671.81	c *1660s| 28889 |  2942 |     0 |   0.0 |1159M| 922 |   - |  30k|  92k|   0 |   0 |   0 |  48 |   0 | 0.000000e+00 | 2.830000e+02 |    Inf 
1689.75/1690.26	o 282
1689.75/1690.26	c *1679s| 29224 |  2935 |     0 |   0.0 |1150M| 922 |   - |  30k|  91k|   0 |   0 |   0 |  51 |   0 | 0.000000e+00 | 2.820000e+02 |    Inf 
1697.74/1698.26	o 281
1697.74/1698.26	c *1687s| 29423 |  2938 |     0 |   0.0 |1147M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  52 |   0 | 0.000000e+00 | 2.810000e+02 |    Inf 
1705.56/1706.08	o 280
1705.56/1706.08	c *1695s| 29614 |  2934 |     0 |   0.0 |1144M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  53 |   0 | 0.000000e+00 | 2.800000e+02 |    Inf 
1713.74/1714.21	o 279
1713.74/1714.21	c *1703s| 29813 |  2892 |     0 |   0.0 |1141M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  54 |   0 | 0.000000e+00 | 2.790000e+02 |    Inf 
1718.34/1718.80	c  1707s| 30000 |  3079 |     0 |   0.0 |1141M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  54 |   0 | 0.000000e+00 | 2.790000e+02 |    Inf 
1722.34/1722.83	o 278
1722.34/1722.83	c *1711s| 30211 |  2891 |     0 |   0.0 |1142M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  65 |   0 | 0.000000e+00 | 2.780000e+02 |    Inf 
1729.44/1729.99	o 277
1729.44/1729.99	c *1718s| 30556 |  2895 |     0 |   0.0 |1142M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  82 |   0 | 0.000000e+00 | 2.770000e+02 |    Inf 
1734.33/1734.88	o 276
1734.33/1734.88	c *1723s| 30799 |  2849 |     0 |   0.0 |1143M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  82 |   0 | 0.000000e+00 | 2.760000e+02 |    Inf 
1738.14/1738.60	o 275
1738.14/1738.60	c *1727s| 30981 |  2808 |     0 |   0.0 |1143M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  82 |   0 | 0.000000e+00 | 2.750000e+02 |    Inf 
1742.73/1743.26	o 274
1742.73/1743.26	c *1732s| 31212 |  2763 |     0 |   0.0 |1143M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  82 |   0 | 0.000000e+00 | 2.740000e+02 |    Inf 
1746.64/1747.15	o 273
1746.64/1747.15	c *1736s| 31409 |  2717 |     0 |   0.0 |1143M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  82 |   0 | 0.000000e+00 | 2.730000e+02 |    Inf 
1750.03/1750.55	o 272
1750.03/1750.55	c *1739s| 31583 |  2672 |     0 |   0.0 |1143M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  98 |   0 | 0.000000e+00 | 2.720000e+02 |    Inf 
1753.23/1753.77	o 271
1753.23/1753.77	c *1742s| 31748 |  2626 |     0 |   0.0 |1144M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  99 |   0 | 0.000000e+00 | 2.710000e+02 |    Inf 
1756.14/1756.65	o 270
1756.14/1756.65	c *1745s| 31893 |  2580 |     0 |   0.0 |1143M| 922 |   - |  30k|  90k|   0 |   0 |   0 |  99 |   0 | 0.000000e+00 | 2.700000e+02 |    Inf 
1759.93/1760.43	o 269
1759.93/1760.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1759.93/1760.43	c *1749s| 32047 |  2576 |     0 |   0.0 |1144M| 922 |   - |  30k|  90k|   0 |   0 |   0 | 113 |   0 | 0.000000e+00 | 2.690000e+02 |    Inf 
1762.74/1763.21	o 268
1762.74/1763.21	c *1752s| 32180 |  2554 |     0 |   0.0 |1144M| 922 |   - |  30k|  90k|   0 |   0 |   0 | 113 |   0 | 0.000000e+00 | 2.680000e+02 |    Inf 
1766.04/1766.50	o 267
1766.04/1766.50	c *1755s| 32344 |  2532 |     0 |   0.0 |1144M| 922 |   - |  30k|  90k|   0 |   0 |   0 | 113 |   0 | 0.000000e+00 | 2.670000e+02 |    Inf 
1769.33/1769.85	o 266
1769.33/1769.85	c *1758s| 32513 |  2531 |     0 |   0.0 |1145M| 922 |   - |  30k|  90k|   0 |   0 |   0 | 129 |   0 | 0.000000e+00 | 2.660000e+02 |    Inf 
1771.93/1772.43	o 265
1771.93/1772.43	c *1761s| 32648 |  2507 |     0 |   0.0 |1145M| 922 |   - |  30k|  90k|   0 |   0 |   0 | 129 |   0 | 0.000000e+00 | 2.650000e+02 |    Inf 
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2686781-1278442323/watcher-2686781-1278442323 -o /tmp/evaluation-result-2686781-1278442323/solver-2686781-1278442323 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2686781-1278442323.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 24129
/proc/meminfo: memFree=1771036/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=6584 CPUtime=0
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 958 0 0 0 0 0 0 0 21 0 1 0 12446028 6742016 882 1992294400 4194304 7136930 140733347344864 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24129/statm: 1646 891 254 719 0 925 0

[startup+0.0148431 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 24129
/proc/meminfo: memFree=1771036/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=8384 CPUtime=0
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 1579 0 0 0 0 0 0 0 21 0 1 0 12446028 8585216 1502 1992294400 4194304 7136930 140733347344864 18446744073709551615 6167169 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24129/statm: 2096 1502 271 719 0 1375 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8384

[startup+0.100844 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 24129
/proc/meminfo: memFree=1771036/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=14904 CPUtime=0.09
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 3198 0 0 0 8 1 0 0 21 0 1 0 12446028 15261696 3121 1992294400 4194304 7136930 140733347344864 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24129/statm: 3726 3121 271 719 0 3005 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14904

[startup+0.300865 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 24129
/proc/meminfo: memFree=1771036/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=26924 CPUtime=0.29
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 6077 0 0 0 27 2 0 0 21 0 1 0 12446028 27570176 5991 1992294400 4194304 7136930 140733347344864 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24129/statm: 6731 6001 271 719 0 6010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26924

[startup+0.700905 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 24129
/proc/meminfo: memFree=1771036/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=36816 CPUtime=0.69
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 8669 0 0 0 66 3 0 0 22 0 1 0 12446028 37699584 8583 1992294400 4194304 7136930 140733347344864 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24129/statm: 9204 8583 271 719 0 8483 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36816

[startup+1.50099 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 24130
/proc/meminfo: memFree=1731968/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=57700 CPUtime=1.49
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 13915 0 0 0 144 5 0 0 25 0 1 0 12446028 59084800 13829 1992294400 4194304 7136930 140733347344864 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24129/statm: 14425 13829 271 719 0 13704 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57700

[startup+3.10115 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 24130
/proc/meminfo: memFree=1698364/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=204400 CPUtime=3.09
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 50190 0 0 0 290 19 0 0 25 0 1 0 12446028 209305600 49675 1992294400 4194304 7136930 140733347344864 18446744073709551615 6166544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 51100 49675 338 719 0 50379 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204400

[startup+6.30048 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 24130
/proc/meminfo: memFree=1456688/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=358048 CPUtime=6.29
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 88305 0 0 0 593 36 0 0 25 0 1 0 12446028 366641152 87790 1992294400 4194304 7136930 140733347344864 18446744073709551615 4689005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 89512 87790 342 719 0 88791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 358048

[startup+12.7011 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 24130
/proc/meminfo: memFree=1336780/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=447020 CPUtime=12.68
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 109260 0 0 0 1212 56 0 0 25 0 1 0 12446028 457748480 108488 1992294400 4194304 7136930 140733347344864 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 111755 108488 347 719 0 111034 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 447020

[startup+25.5015 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 24131
/proc/meminfo: memFree=1255560/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=533412 CPUtime=25.48
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 149113 0 0 0 2427 121 0 0 25 0 1 0 12446028 546213888 129037 1992294400 4194304 7136930 140733347344864 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 133353 129037 386 719 0 132632 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 533412

[startup+51.1011 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 24131
/proc/meminfo: memFree=1225924/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=565660 CPUtime=51.08
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 156435 0 0 0 4984 124 0 0 25 0 1 0 12446028 579235840 136359 1992294400 4194304 7136930 140733347344864 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 141415 136359 386 719 0 140694 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 565660

[startup+102.308 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 24133
/proc/meminfo: memFree=1153632/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=642440 CPUtime=102.27
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 174949 0 0 0 10093 134 0 0 25 0 1 0 12446028 657858560 154873 1992294400 4194304 7136930 140733347344864 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 160610 154873 386 719 0 159889 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 642440

[startup+162.302 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 24134
/proc/meminfo: memFree=1054680/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=741976 CPUtime=162.25
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 199099 0 0 0 16078 147 0 0 25 0 1 0 12446028 759783424 179023 1992294400 4194304 7136930 140733347344864 18446744073709551615 5969489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 185494 179023 386 719 0 184773 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 741976

[startup+222.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 24136
/proc/meminfo: memFree=933532/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=864328 CPUtime=222.24
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 229824 0 0 0 22060 164 0 0 25 0 1 0 12446028 885071872 209491 1992294400 4194304 7136930 140733347344864 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 216082 209491 386 719 0 215361 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 864328

[startup+282.301 s]
/proc/loadavg: 1.21 1.08 1.01 2/107 24138
/proc/meminfo: memFree=813624/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=985964 CPUtime=282.22
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 259493 0 0 0 28038 184 0 0 25 0 1 0 12446028 1009627136 239160 1992294400 4194304 7136930 140733347344864 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 246491 239160 386 719 0 245770 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 985964

[startup+342.301 s]
/proc/loadavg: 1.08 1.06 1.01 2/107 24139
/proc/meminfo: memFree=718020/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1082632 CPUtime=342.21
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 284439 0 0 0 34009 212 0 0 25 0 1 0 12446028 1108615168 263082 1992294400 4194304 7136930 140733347344864 18446744073709551615 5969729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 270658 263082 386 719 0 269937 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1082632

[startup+402.301 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 24141
/proc/meminfo: memFree=621548/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1181876 CPUtime=402.19
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 309270 0 0 0 39973 246 0 0 25 0 1 0 12446028 1210241024 287657 1992294400 4194304 7136930 140733347344864 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 295469 287657 386 719 0 294748 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1181876

[startup+462.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 24142
/proc/meminfo: memFree=511064/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1288024 CPUtime=462.18
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 336569 0 0 0 45924 294 0 0 25 0 1 0 12446028 1318936576 314700 1992294400 4194304 7136930 140733347344864 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 322006 314700 392 719 0 321285 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1288024

[startup+522.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 24144
/proc/meminfo: memFree=406656/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1393984 CPUtime=522.15
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 363228 0 0 0 51872 343 0 0 25 0 1 0 12446028 1427439616 340847 1992294400 4194304 7136930 140733347344864 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 348496 340847 392 719 0 347775 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1393984

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24155
/proc/meminfo: memFree=328784/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1471968 CPUtime=582.13
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 382888 0 0 0 57835 378 0 0 25 0 1 0 12446028 1507295232 359925 1992294400 4194304 7136930 140733347344864 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 367992 359925 403 719 0 367271 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1471968

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24156
/proc/meminfo: memFree=276332/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1524296 CPUtime=642.13
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 395963 0 0 0 63799 414 0 0 25 0 1 0 12446028 1560879104 373000 1992294400 4194304 7136930 140733347344864 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 381074 373000 403 719 0 380353 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1524296

[startup+702.301 s]

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

/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 417825 0 0 0 99620 583 0 0 25 0 1 0 12446028 1663385600 394861 1992294400 4194304 7136930 140733347344864 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 406100 394861 402 719 0 405379 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1624400

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24167
/proc/meminfo: memFree=175768/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1639760 CPUtime=1062.01
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 420997 0 0 0 105584 617 0 0 25 0 1 0 12446028 1679114240 398033 1992294400 4194304 7136930 140733347344864 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 409940 398033 402 719 0 409219 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1639760

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24169
/proc/meminfo: memFree=164484/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1653000 CPUtime=1122
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 423808 0 0 0 111551 649 0 0 25 0 1 0 12446028 1692672000 400844 1992294400 4194304 7136930 140733347344864 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 413250 400844 402 719 0 412529 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1653000

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24171
/proc/meminfo: memFree=153076/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1668004 CPUtime=1181.98
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 426683 0 0 0 117522 676 0 0 25 0 1 0 12446028 1708036096 403719 1992294400 4194304 7136930 140733347344864 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 417001 403719 402 719 0 416280 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1668004

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24172
/proc/meminfo: memFree=141916/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1682648 CPUtime=1241.97
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 429487 0 0 0 123494 703 0 0 25 0 1 0 12446028 1723031552 406523 1992294400 4194304 7136930 140733347344864 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 420662 406523 402 719 0 419941 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1682648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24174
/proc/meminfo: memFree=127780/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1699936 CPUtime=1301.95
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 432920 0 0 0 129457 738 0 0 25 0 1 0 12446028 1740734464 409956 1992294400 4194304 7136930 140733347344864 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 424984 409956 402 719 0 424263 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1699936

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24175
/proc/meminfo: memFree=115628/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1714372 CPUtime=1361.94
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 435960 0 0 0 135419 775 0 0 25 0 1 0 12446028 1755516928 412996 1992294400 4194304 7136930 140733347344864 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 428593 412996 402 719 0 427872 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1714372

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24177
/proc/meminfo: memFree=103352/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1729644 CPUtime=1421.93
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 438995 0 0 0 141382 811 0 0 25 0 1 0 12446028 1771155456 416031 1992294400 4194304 7136930 140733347344864 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 432411 416031 402 719 0 431690 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1729644

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24179
/proc/meminfo: memFree=88720/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1746916 CPUtime=1481.9
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 442634 0 0 0 147343 847 0 0 25 0 1 0 12446028 1788841984 419670 1992294400 4194304 7136930 140733347344864 18446744073709551615 4999992 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 436729 419670 402 719 0 436008 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1746916

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24180
/proc/meminfo: memFree=76196/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1761860 CPUtime=1541.89
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 445898 0 0 0 153314 875 0 0 25 0 1 0 12446028 1804144640 422842 1992294400 4194304 7136930 140733347344864 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 440465 422842 402 719 0 439744 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1761860

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24185
/proc/meminfo: memFree=72600/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1765808 CPUtime=1601.87
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 446958 0 0 0 159301 886 0 0 25 0 1 0 12446028 1808187392 423645 1992294400 4194304 7136930 140733347344864 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 441452 423645 402 719 0 440731 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1765808

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24186
/proc/meminfo: memFree=70988/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1767656 CPUtime=1661.85
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 447640 0 0 0 165290 895 0 0 25 0 1 0 12446028 1810079744 424071 1992294400 4194304 7136930 140733347344864 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 441914 424071 403 719 0 441193 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1767656

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24188
/proc/meminfo: memFree=67640/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1770964 CPUtime=1721.84
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 448466 0 0 0 171280 904 0 0 25 0 1 0 12446028 1813467136 424897 1992294400 4194304 7136930 140733347344864 18446744073709551615 4696944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 442741 424897 403 719 0 442020 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1770964

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24190
/proc/meminfo: memFree=58960/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1779736 CPUtime=1781.82
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 450629 0 0 0 177263 919 0 0 25 0 1 0 12446028 1822449664 427060 1992294400 4194304 7136930 140733347344864 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 444934 427060 403 719 0 444213 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1779736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24190
/proc/meminfo: memFree=58960/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1779736 CPUtime=1800.03
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 450629 0 0 0 179084 919 0 0 25 0 1 0 12446028 1822449664 427060 1992294400 4194304 7136930 140733347344864 18446744073709551615 5966514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 444934 427060 403 719 0 444213 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1779736

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -24129

Solver just ended. Dumping a history of the last processes samples

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24191
/proc/meminfo: memFree=58952/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1779736 CPUtime=1800.92
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 450629 0 0 0 179173 919 0 0 25 0 1 0 12446028 1822449664 427060 1992294400 4194304 7136930 140733347344864 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 444934 427060 403 719 0 444213 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 1779736

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24191
/proc/meminfo: memFree=58952/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=1779736 CPUtime=1801.72
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4202496 450629 0 0 0 179253 919 0 0 25 0 1 0 12446028 1822449664 427060 1992294400 4194304 7136930 140733347344864 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24129/statm: 444934 427060 403 719 0 444213 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 1779736

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24191
/proc/meminfo: memFree=58952/2059040 swapFree=4192956/4192956
[pid=24129] ppid=24127 vsize=0 CPUtime=1802.12
/proc/24129/stat : 24129 (pbscip.linux.x8) R 24127 24129 23061 0 -1 4203524 450629 0 0 0 179284 928 0 0 25 0 1 0 12446028 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/24129/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.2
CPU user time (s): 1792.84
CPU system time (s): 9.36058
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1779736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.84
system time used= 9.36058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450629
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= 1
involuntary context switches= 9613

runsolver used 3.06653 second user time and 8.42672 second system time

The end

Launcher Data 

Begin job on node002 at 2010-07-06 20:52:03
IDJOB=2686781
IDBENCH=76734
IDSOLVER=1167
FILE ID=node002/2686781-1278442323
PBS_JOBID= 11233468
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j607_3.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686781-1278442323/watcher-2686781-1278442323 -o /tmp/evaluation-result-2686781-1278442323/solver-2686781-1278442323 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2686781-1278442323.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 56c6fbd36b8657f391bc65e8db183044
RANDOM SEED=431153187

node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1771440 kB
Buffers:         28868 kB
Cached:         114932 kB
SwapCached:          0 kB
Active:         120448 kB
Inactive:        83920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1771440 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7000 kB
Writeback:           0 kB
AnonPages:       60548 kB
Mapped:          14372 kB
Slab:            61268 kB
PageTables:       4200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node002 at 2010-07-06 21:22:06