Trace number 2665580

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.06 1802.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark59.375
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
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.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2665580-1276362504.opb>
0.39/0.46	c original problem has 12596 variables (12596 bin, 0 int, 0 impl, 0 cont) and 10687 constraints
0.39/0.46	c problem read
0.39/0.46	c presolving settings loaded
0.59/0.66	c presolving:
0.79/0.83	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 467 chg sides, 503 chg coeffs, 0 upgd conss, 48 impls, 7837 clqs
1.00/1.01	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 467 chg sides, 503 chg coeffs, 8322 upgd conss, 48 impls, 7837 clqs
1.10/1.16	c (round 3) 48 del vars, 11 del conss, 1 chg bounds, 669 chg sides, 1217 chg coeffs, 8322 upgd conss, 1398 impls, 8052 clqs
1.19/1.20	c (round 4) 60 del vars, 78 del conss, 3 chg bounds, 914 chg sides, 1726 chg coeffs, 8322 upgd conss, 1464 impls, 8058 clqs
1.19/1.26	c (round 5) 60 del vars, 150 del conss, 3 chg bounds, 1158 chg sides, 2403 chg coeffs, 8342 upgd conss, 1472 impls, 8218 clqs
1.29/1.31	c (round 6) 60 del vars, 204 del conss, 3 chg bounds, 1250 chg sides, 2965 chg coeffs, 8342 upgd conss, 1474 impls, 8292 clqs
15.79/15.85	c    (15.2s) probing: 1000/12536 (8.0%) - 42 fixings, 4 aggregations, 207352 implications, 0 bound changes
17.78/17.81	c (round 7) 115 del vars, 204 del conss, 3 chg bounds, 1250 chg sides, 2993 chg coeffs, 8342 upgd conss, 479894 impls, 8278 clqs
17.78/17.86	c (round 8) 119 del vars, 252 del conss, 3 chg bounds, 1306 chg sides, 3228 chg coeffs, 8342 upgd conss, 480146 impls, 8339 clqs
17.89/17.93	c (round 9) 119 del vars, 257 del conss, 3 chg bounds, 1329 chg sides, 3308 chg coeffs, 8347 upgd conss, 480150 impls, 8348 clqs
29.88/29.95	c    (29.1s) probing: 2000/12536 (16.0%) - 72 fixings, 6 aggregations, 354222 implications, 0 bound changes
41.38/41.45	c    (40.6s) probing: 3000/12536 (23.9%) - 96 fixings, 6 aggregations, 436742 implications, 0 bound changes
42.97/43.07	c (round 10) 169 del vars, 257 del conss, 3 chg bounds, 1330 chg sides, 3323 chg coeffs, 8347 upgd conss, 937680 impls, 8350 clqs
43.07/43.14	c (round 11) 172 del vars, 270 del conss, 3 chg bounds, 1330 chg sides, 3388 chg coeffs, 8355 upgd conss, 937748 impls, 8371 clqs
43.18/43.23	c (round 12) 172 del vars, 278 del conss, 3 chg bounds, 1352 chg sides, 3474 chg coeffs, 8355 upgd conss, 937778 impls, 8400 clqs
43.18/43.29	c (round 13) 172 del vars, 278 del conss, 3 chg bounds, 1358 chg sides, 3508 chg coeffs, 8355 upgd conss, 937778 impls, 8425 clqs
53.57/53.60	c    (52.6s) probing: 4000/12536 (31.9%) - 114 fixings, 10 aggregations, 509831 implications, 0 bound changes
59.67/59.71	c (round 14) 222 del vars, 278 del conss, 3 chg bounds, 1358 chg sides, 3522 chg coeffs, 8355 upgd conss, 1150331 impls, 8431 clqs
59.67/59.79	c (round 15) 228 del vars, 296 del conss, 5 chg bounds, 1360 chg sides, 3616 chg coeffs, 8355 upgd conss, 1150521 impls, 8452 clqs
59.77/59.86	c (round 16) 236 del vars, 301 del conss, 7 chg bounds, 1377 chg sides, 3702 chg coeffs, 8355 upgd conss, 1150545 impls, 8487 clqs
59.87/59.94	c (round 17) 241 del vars, 303 del conss, 7 chg bounds, 1377 chg sides, 3740 chg coeffs, 8363 upgd conss, 1150545 impls, 8500 clqs
59.96/60.02	c (round 18) 241 del vars, 305 del conss, 7 chg bounds, 1377 chg sides, 3767 chg coeffs, 8363 upgd conss, 1150545 impls, 8512 clqs
65.37/65.44	c    (64.3s) probing: 5000/12536 (39.9%) - 154 fixings, 13 aggregations, 585672 implications, 0 bound changes
76.17/76.26	c    (75.1s) probing: 6000/12536 (47.9%) - 164 fixings, 15 aggregations, 646605 implications, 0 bound changes
86.36/86.46	c    (85.2s) probing: 7000/12536 (55.8%) - 184 fixings, 18 aggregations, 698528 implications, 0 bound changes
86.96/87.00	c (round 19) 291 del vars, 305 del conss, 7 chg bounds, 1377 chg sides, 3784 chg coeffs, 8363 upgd conss, 1483939 impls, 8517 clqs
86.96/87.10	c (round 20) 295 del vars, 320 del conss, 7 chg bounds, 1391 chg sides, 3931 chg coeffs, 8375 upgd conss, 1484239 impls, 8549 clqs
87.06/87.19	c (round 21) 295 del vars, 335 del conss, 7 chg bounds, 1423 chg sides, 4065 chg coeffs, 8375 upgd conss, 1484247 impls, 8576 clqs
97.56/97.62	c    (96.3s) probing: 8000/12536 (63.8%) - 205 fixings, 23 aggregations, 771350 implications, 0 bound changes
102.85/102.99	c (round 22) 347 del vars, 335 del conss, 7 chg bounds, 1423 chg sides, 4092 chg coeffs, 8375 upgd conss, 1726839 impls, 8571 clqs
102.95/103.08	c (round 23) 352 del vars, 360 del conss, 7 chg bounds, 1436 chg sides, 4184 chg coeffs, 8375 upgd conss, 1726909 impls, 8596 clqs
103.06/103.18	c (round 24) 352 del vars, 362 del conss, 7 chg bounds, 1464 chg sides, 4297 chg coeffs, 8385 upgd conss, 1726935 impls, 8629 clqs
108.56/108.64	c    (107.2s) probing: 9000/12536 (71.8%) - 235 fixings, 31 aggregations, 876514 implications, 0 bound changes
115.75/115.81	c (round 25) 402 del vars, 362 del conss, 7 chg bounds, 1464 chg sides, 4319 chg coeffs, 8385 upgd conss, 1927622 impls, 8631 clqs
115.85/115.91	c (round 26) 405 del vars, 381 del conss, 7 chg bounds, 1468 chg sides, 4409 chg coeffs, 8401 upgd conss, 1927848 impls, 8659 clqs
115.85/115.99	c (round 27) 405 del vars, 385 del conss, 7 chg bounds, 1488 chg sides, 4509 chg coeffs, 8401 upgd conss, 1927858 impls, 8671 clqs
117.56/117.64	c    (116.1s) probing: 10000/12536 (79.8%) - 272 fixings, 37 aggregations, 910737 implications, 0 bound changes
125.55/125.65	c (round 28) 456 del vars, 385 del conss, 7 chg bounds, 1488 chg sides, 4534 chg coeffs, 8401 upgd conss, 2060001 impls, 8680 clqs
125.65/125.76	c (round 29) 459 del vars, 409 del conss, 7 chg bounds, 1497 chg sides, 4642 chg coeffs, 8406 upgd conss, 2060349 impls, 8716 clqs
125.75/125.85	c (round 30) 459 del vars, 412 del conss, 7 chg bounds, 1510 chg sides, 4736 chg coeffs, 8406 upgd conss, 2060349 impls, 8761 clqs
125.84/125.93	c (round 31) 459 del vars, 412 del conss, 7 chg bounds, 1512 chg sides, 4770 chg coeffs, 8406 upgd conss, 2060349 impls, 8775 clqs
127.35/127.49	c    (125.8s) probing: 11000/12536 (87.7%) - 317 fixings, 42 aggregations, 978305 implications, 0 bound changes
136.94/137.08	c    (135.4s) probing: 12000/12536 (95.7%) - 324 fixings, 51 aggregations, 1061694 implications, 0 bound changes
138.45/138.59	c    (136.9s) probing: 12258/12536 (97.8%) - 324 fixings, 51 aggregations, 1062241 implications, 0 bound changes
138.45/138.59	c    (136.9s) probing aborted: 100/100 successive totally useless probings
138.45/138.60	c (round 32) 476 del vars, 412 del conss, 7 chg bounds, 1512 chg sides, 4785 chg coeffs, 8406 upgd conss, 2251399 impls, 8771 clqs
138.64/138.71	c (round 33) 477 del vars, 419 del conss, 7 chg bounds, 1550 chg sides, 5024 chg coeffs, 8414 upgd conss, 2251405 impls, 8805 clqs
138.74/138.80	c (round 34) 477 del vars, 438 del conss, 7 chg bounds, 1573 chg sides, 5208 chg coeffs, 8414 upgd conss, 2251405 impls, 8854 clqs
138.74/138.88	c (round 35) 477 del vars, 441 del conss, 7 chg bounds, 1576 chg sides, 5282 chg coeffs, 8414 upgd conss, 2251405 impls, 8878 clqs
138.94/139.01	c    (137.3s) probing: 12268/12536 (97.9%) - 324 fixings, 51 aggregations, 1062241 implications, 0 bound changes
138.94/139.01	c    (137.3s) probing aborted: 100/100 successive totally useless probings
138.94/139.01	c presolving (36 rounds):
138.94/139.01	c  477 deleted vars, 441 deleted constraints, 7 tightened bounds, 0 added holes, 1576 changed sides, 5324 changed coefficients
138.94/139.01	c  2251405 implications, 8898 cliques
138.94/139.01	c presolved problem has 12119 variables (12119 bin, 0 int, 0 impl, 0 cont) and 10897 constraints
138.94/139.01	c     312 constraints of type <knapsack>
138.94/139.01	c    8253 constraints of type <setppc>
138.94/139.01	c    2269 constraints of type <linear>
138.94/139.01	c      63 constraints of type <logicor>
138.94/139.01	c transformed objective value is always integral (scale: 1)
138.94/139.01	c Presolving Time: 137.18
138.94/139.01	c - non default parameters ----------------------------------------------------------------------
138.94/139.01	c # SCIP version 1.2.1.2
138.94/139.01	c 
138.94/139.01	c # frequency for displaying node information lines
138.94/139.01	c # [type: int, range: [-1,2147483647], default: 100]
138.94/139.01	c display/freq = 10000
138.94/139.01	c 
138.94/139.01	c # maximal time in seconds to run
138.94/139.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
138.94/139.01	c limits/time = 1799.55
138.94/139.01	c 
138.94/139.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
138.94/139.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
138.94/139.01	c limits/memory = 1620
138.94/139.01	c 
138.94/139.01	c # should presolving try to simplify inequalities
138.94/139.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
138.94/139.01	c constraints/linear/simplifyinequalities = TRUE
138.94/139.01	c 
138.94/139.01	c # should presolving try to simplify knapsacks
138.94/139.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
138.94/139.01	c constraints/knapsack/simplifyinequalities = TRUE
138.94/139.01	c 
138.94/139.01	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
138.94/139.01	c # [type: int, range: [-1,2147483647], default: -1]
138.94/139.01	c separating/rapidlearning/freq = 0
138.94/139.01	c 
138.94/139.01	c -----------------------------------------------------------------------------------------------
138.94/139.01	c start solving
138.94/139.03	c 
278.00/278.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
278.00/278.11	c   275s|     1 |     0 | 50365 |     - | 123M|   0 |1083 |  12k|  10k|  12k|  10k|   0 |   0 |   0 |-1.051010e+04 |      --      |    Inf 
333.77/333.96	c   330s|     1 |     0 | 67483 |     - | 128M|   0 | 971 |  12k|  10k|  12k|  11k| 469 |   0 |   0 |-1.042609e+04 |      --      |    Inf 
377.65/377.86	c   373s|     1 |     0 | 81513 |     - | 132M|   0 |1059 |  12k|  10k|  12k|  11k| 627 |   0 |   0 |-1.036237e+04 |      --      |    Inf 
479.71/479.99	c   475s|     1 |     0 |105665 |     - | 135M|   0 |1028 |  12k|  10k|  12k|  11k| 702 |   0 |   0 |-1.032616e+04 |      --      |    Inf 
568.68/568.97	c   563s|     1 |     0 |128044 |     - | 138M|   0 | 978 |  12k|  10k|  12k|  11k| 762 |   0 |   0 |-1.030262e+04 |      --      |    Inf 
714.73/715.04	c   708s|     1 |     0 |159629 |     - | 138M|   0 |1101 |  12k|  10k|  12k|  11k| 815 |   0 |   0 |-1.029246e+04 |      --      |    Inf 
762.41/762.73	c   756s|     1 |     0 |171727 |     - | 138M|   0 |1090 |  12k|  10k|  12k|  11k| 846 |   0 |   0 |-1.028939e+04 |      --      |    Inf 
820.49/820.82	c   813s|     1 |     0 |184876 |     - | 138M|   0 |1090 |  12k|  10k|  12k|  11k| 861 |   0 |   0 |-1.028718e+04 |      --      |    Inf 
915.75/916.16	c   908s|     1 |     0 |203904 |     - | 138M|   0 |1054 |  12k|  10k|  12k|  11k| 877 |   0 |   0 |-1.028470e+04 |      --      |    Inf 
999.91/1000.36	c   992s|     1 |     0 |222382 |     - | 142M|   0 |1066 |  12k|  10k|  12k|  11k| 903 |   0 |   0 |-1.027758e+04 |      --      |    Inf 
1062.89/1063.34	c  1054s|     1 |     0 |238942 |     - | 142M|   0 | 971 |  12k|  10k|  12k|  11k| 911 |   0 |   0 |-1.027128e+04 |      --      |    Inf 
1174.05/1174.54	c  1165s|     1 |     0 |264053 |     - | 144M|   0 | 766 |  12k|  10k|  12k|  11k| 931 |   0 |   0 |-1.027002e+04 |      --      |    Inf 
1369.17/1369.72	c  1359s|     1 |     0 |304045 |     - | 144M|   0 | 785 |  12k|  10k|  12k|  11k| 943 |   0 |   0 |-1.027002e+04 |      --      |    Inf 
1452.64/1453.27	c  1442s|     1 |     0 |325967 |     - | 144M|   0 | 848 |  12k|  10k|  12k|  11k| 946 |   0 |   0 |-1.027002e+04 |      --      |    Inf 
1554.21/1554.86	c  1543s|     1 |     0 |347500 |     - | 144M|   0 | 771 |  12k|  10k|  12k|  11k| 954 |   0 |   0 |-1.027002e+04 |      --      |    Inf 
1683.95/1684.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1683.95/1684.68	c  1672s|     1 |     0 |374301 |     - | 144M|   0 | 739 |  12k|  10k|  12k|  11k| 962 |   0 |   0 |-1.027002e+04 |      --      |    Inf 
1800.02/1800.71	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-2665580-1276362504/watcher-2665580-1276362504 -o /tmp/evaluation-result-2665580-1276362504/solver-2665580-1276362504 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665580-1276362504.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: 0.92 0.99 1.00 3/106 13551
/proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=9288 CPUtime=0
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1245 0 0 0 0 0 0 0 20 0 1 0 11851793 9510912 1166 1992294400 4194304 9819077 140735792910864 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13551/statm: 2322 1176 371 1374 0 943 0

[startup+0.0636091 s]
/proc/loadavg: 0.92 0.99 1.00 3/106 13551
/proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=16364 CPUtime=0.06
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 3022 0 0 0 5 1 0 0 22 0 1 0 11851793 16756736 2943 1992294400 4194304 9819077 140735792910864 18446744073709551615 5648492 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13551/statm: 4091 2943 388 1374 0 2712 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16364

[startup+0.101659 s]
/proc/loadavg: 0.92 0.99 1.00 3/106 13551
/proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=19540 CPUtime=0.09
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 3833 0 0 0 8 1 0 0 22 0 1 0 11851793 20008960 3754 1992294400 4194304 9819077 140735792910864 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13551/statm: 4885 3754 388 1374 0 3506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19540

[startup+0.300649 s]
/proc/loadavg: 0.92 0.99 1.00 3/106 13551
/proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=24672 CPUtime=0.29
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 5103 0 0 0 27 2 0 0 22 0 1 0 11851793 25264128 5024 1992294400 4194304 9819077 140735792910864 18446744073709551615 8081440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13551/statm: 6168 5024 388 1374 0 4789 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24672

[startup+0.700718 s]
/proc/loadavg: 0.92 0.99 1.00 3/106 13551
/proc/meminfo: memFree=1356996/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=64952 CPUtime=0.69
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 15153 0 0 0 63 6 0 0 23 0 1 0 11851793 66510848 14720 1992294400 4194304 9819077 140735792910864 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 16238 14720 484 1374 0 14859 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64952

[startup+1.50085 s]
/proc/loadavg: 0.92 0.99 1.00 2/107 13552
/proc/meminfo: memFree=1283456/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=85220 CPUtime=1.49
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 25312 0 0 0 134 15 0 0 25 0 1 0 11851793 87265280 19814 1992294400 4194304 9819077 140735792910864 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 21305 19814 544 1374 0 19926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85220

[startup+3.10113 s]
/proc/loadavg: 0.92 0.99 1.00 2/107 13552
/proc/meminfo: memFree=1278372/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=89384 CPUtime=3.09
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 26310 0 0 0 293 16 0 0 25 0 1 0 11851793 91529216 20800 1992294400 4194304 9819077 140735792910864 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 22346 20800 533 1374 0 20967 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89384

[startup+6.30068 s]
/proc/loadavg: 0.93 0.99 1.00 2/107 13552
/proc/meminfo: memFree=1270064/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=95592 CPUtime=6.29
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 27843 0 0 0 611 18 0 0 25 0 1 0 11851793 97886208 22333 1992294400 4194304 9819077 140735792910864 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 23898 22333 533 1374 0 22519 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95592

[startup+12.7008 s]
/proc/loadavg: 0.93 0.99 1.00 2/107 13552
/proc/meminfo: memFree=1264608/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=100036 CPUtime=12.69
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 28932 0 0 0 1247 22 0 0 25 0 1 0 11851793 102436864 23418 1992294400 4194304 9819077 140735792910864 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 25009 23418 529 1374 0 23630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100036

[startup+25.502 s]
/proc/loadavg: 0.95 0.99 1.00 2/107 13552
/proc/meminfo: memFree=1251960/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=113280 CPUtime=25.49
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 35022 0 0 0 2516 33 0 0 25 0 1 0 11851793 115998720 26585 1992294400 4194304 9819077 140735792910864 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 28320 26585 534 1374 0 26941 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113280

[startup+51.1004 s]
/proc/loadavg: 0.96 0.99 1.00 2/107 13552
/proc/meminfo: memFree=1241544/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=123424 CPUtime=51.07
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 42020 0 0 0 5056 51 0 0 25 0 1 0 11851793 126386176 29183 1992294400 4194304 9819077 140735792910864 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 30856 29183 534 1374 0 29477 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 123424

[startup+102.308 s]
/proc/loadavg: 0.98 0.99 1.00 2/107 13554
/proc/meminfo: memFree=1219348/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=146204 CPUtime=102.26
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 55684 0 0 0 10137 89 0 0 25 0 1 0 11851793 149712896 34691 1992294400 4194304 9819077 140735792910864 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 36551 34691 534 1374 0 35172 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146204

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13556
/proc/meminfo: memFree=1177064/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=197640 CPUtime=162.23
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 108552 0 0 0 16077 146 0 0 25 0 1 0 11851793 202383360 45201 1992294400 4194304 9819077 140735792910864 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 49410 45201 650 1374 0 48031 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 197640

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13558
/proc/meminfo: memFree=1178056/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=198316 CPUtime=222.21
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 170496 0 0 0 22035 186 0 0 25 0 1 0 11851793 203075584 45189 1992294400 4194304 9819077 140735792910864 18446744073709551615 6191119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 49579 45189 651 1374 0 48200 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 198316

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13560
/proc/meminfo: memFree=1168260/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=209908 CPUtime=282.19
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 255758 0 0 0 27979 240 0 0 25 0 1 0 11851793 214945792 47830 1992294400 4194304 9819077 140735792910864 18446744073709551615 4310598 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 52477 47830 677 1374 0 51098 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 209908

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13563
/proc/meminfo: memFree=1148916/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=231776 CPUtime=342.16
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 313916 0 0 0 33860 356 0 0 25 0 1 0 11851793 237338624 52473 1992294400 4194304 9819077 140735792910864 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 57944 52473 709 1374 0 56565 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 231776

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13565
/proc/meminfo: memFree=1136640/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=245060 CPUtime=402.14
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 377061 0 0 0 39814 400 0 0 25 0 1 0 11851793 250941440 55838 1992294400 4194304 9819077 140735792910864 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 61265 55838 708 1374 0 59886 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 245060

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13567
/proc/meminfo: memFree=1137880/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=242400 CPUtime=462.12
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 436195 0 0 0 45773 439 0 0 25 0 1 0 11851793 248217600 55198 1992294400 4194304 9819077 140735792910864 18446744073709551615 7318511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 60600 55198 708 1374 0 59221 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 242400

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13569
/proc/meminfo: memFree=1129944/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=253076 CPUtime=522.1
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 495227 0 0 0 51727 483 0 0 25 0 1 0 11851793 259149824 57532 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 63269 57532 708 1374 0 61890 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 253076

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13571
/proc/meminfo: memFree=1129572/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=246736 CPUtime=582.07
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 555064 0 0 0 57683 524 0 0 25 0 1 0 11851793 252657664 56696 1992294400 4194304 9819077 140735792910864 18446744073709551615 7222584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 61684 56696 708 1374 0 60305 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 246736

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13571
/proc/meminfo: memFree=1129572/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=253164 CPUtime=642.06
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 606070 0 0 0 63645 561 0 0 25 0 1 0 11851793 259239936 57162 1992294400 4194304 9819077 140735792910864 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 63291 57162 708 1374 0 61912 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 253164

[startup+702.301 s]

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

/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 964049 0 0 0 105373 816 0 0 25 0 1 0 11851793 263827456 58556 1992294400 4194304 9819077 140735792910864 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 64411 58556 708 1374 0 63032 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 257644

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13585
/proc/meminfo: memFree=1120396/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=262176 CPUtime=1121.87
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1017690 0 0 0 111332 855 0 0 25 0 1 0 11851793 268468224 59593 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65544 59593 708 1374 0 64165 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 262176

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13587
/proc/meminfo: memFree=1120892/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=260364 CPUtime=1181.84
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1071478 0 0 0 117291 893 0 0 25 0 1 0 11851793 266612736 59229 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65091 59229 712 1374 0 63712 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 260364

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13587
/proc/meminfo: memFree=1120644/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=261980 CPUtime=1241.82
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1124493 0 0 0 123253 929 0 0 25 0 1 0 11851793 268267520 59506 1992294400 4194304 9819077 140735792910864 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65495 59506 712 1374 0 64116 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 261980

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13589
/proc/meminfo: memFree=1120892/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=260544 CPUtime=1301.81
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1179198 0 0 0 129217 964 0 0 25 0 1 0 11851793 266797056 59265 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65136 59265 712 1374 0 63757 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 260544

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13591
/proc/meminfo: memFree=1121264/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=259632 CPUtime=1361.77
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1226961 0 0 0 135181 996 0 0 25 0 1 0 11851793 265863168 59363 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 64908 59363 712 1374 0 63529 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 259632

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13593
/proc/meminfo: memFree=1121016/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=261720 CPUtime=1421.76
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1288340 0 0 0 141136 1040 0 0 25 0 1 0 11851793 268001280 59248 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65430 59248 712 1374 0 64051 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 261720

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13595
/proc/meminfo: memFree=1119776/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=262880 CPUtime=1481.73
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1344551 0 0 0 147094 1079 0 0 25 0 1 0 11851793 269189120 59945 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65720 59945 712 1374 0 64341 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 262880

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13595
/proc/meminfo: memFree=1121264/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=260168 CPUtime=1541.71
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1400695 0 0 0 153053 1118 0 0 25 0 1 0 11851793 266412032 59209 1992294400 4194304 9819077 140735792910864 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65042 59209 712 1374 0 63663 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 260168

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13597
/proc/meminfo: memFree=1118536/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263092 CPUtime=1601.69
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1455564 0 0 0 159017 1152 0 0 25 0 1 0 11851793 269406208 59656 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65773 59656 712 1374 0 64394 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 263092

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13599
/proc/meminfo: memFree=1120148/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=260836 CPUtime=1661.66
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1509973 0 0 0 164978 1188 0 0 25 0 1 0 11851793 267096064 59527 1992294400 4194304 9819077 140735792910864 18446744073709551615 7309280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65209 59527 712 1374 0 63830 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 260836

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13601
/proc/meminfo: memFree=1117420/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263820 CPUtime=1721.64
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1568542 0 0 0 170934 1230 0 0 25 0 1 0 11851793 270151680 59807 1992294400 4194304 9819077 140735792910864 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65955 59807 706 1374 0 64576 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 263820

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13603
/proc/meminfo: memFree=1115064/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263828 CPUtime=1781.61
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1654079 0 0 0 176885 1276 0 0 25 0 1 0 11851793 270159872 59964 1992294400 4194304 9819077 140735792910864 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65957 59964 706 1374 0 64578 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 263828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13603
/proc/meminfo: memFree=1118536/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263600 CPUtime=1800.02
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1671287 0 0 0 178715 1287 0 0 25 0 1 0 11851793 269926400 59760 1992294400 4194304 9819077 140735792910864 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65900 59760 706 1374 0 64521 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 263600

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13551

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.99 1.00 2/107 13603
/proc/meminfo: memFree=1118536/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263600 CPUtime=1800.71
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1671747 0 0 0 178783 1288 0 0 25 0 1 0 11851793 269926400 60220 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65900 60220 706 1374 0 64521 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 263600

[startup+1802.2 s]
/proc/loadavg: 0.99 0.99 1.00 2/108 13604
/proc/meminfo: memFree=1116172/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263600 CPUtime=1801.51
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1671971 0 0 0 178863 1288 0 0 25 0 1 0 11851793 269926400 60444 1992294400 4194304 9819077 140735792910864 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65900 60444 706 1374 0 64521 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 263600

[startup+1802.6 s]
/proc/loadavg: 0.99 0.99 1.00 2/108 13604
/proc/meminfo: memFree=1116172/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263540 CPUtime=1801.91
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1673081 0 0 0 178902 1289 0 0 25 0 1 0 11851793 269864960 59735 1992294400 4194304 9819077 140735792910864 18446744073709551615 7291971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65885 59735 706 1374 0 64506 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 263540

[startup+1802.7 s]
/proc/loadavg: 0.99 0.99 1.00 2/108 13604
/proc/meminfo: memFree=1116172/2059040 swapFree=4192956/4192956
[pid=13551] ppid=13549 vsize=263540 CPUtime=1802.01
/proc/13551/stat : 13551 (pbscip.linux.x8) R 13549 13551 13526 0 -1 4202496 1673106 0 0 0 178912 1289 0 0 25 0 1 0 11851793 269864960 59760 1992294400 4194304 9819077 140735792910864 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13551/statm: 65885 59760 706 1374 0 64506 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 263540

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.06
CPU user time (s): 1789.14
CPU system time (s): 12.917
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 264052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.14
system time used= 12.917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1673112
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= 2
involuntary context switches= 5410

runsolver used 3.10853 second user time and 8.39472 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-12 19:08:24
IDJOB=2665580
IDBENCH=1878
IDSOLVER=1168
FILE ID=node014/2665580-1276362504
PBS_JOBID= 11173219
Free space on /tmp= 62464 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665580-1276362504/watcher-2665580-1276362504 -o /tmp/evaluation-result-2665580-1276362504/solver-2665580-1276362504 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665580-1276362504.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=339897444

node014.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.258
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.51
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.258
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1357524 kB
Buffers:        136912 kB
Cached:         419580 kB
SwapCached:          0 kB
Active:         200504 kB
Inactive:       415668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1357524 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7804 kB
Writeback:           0 kB
AnonPages:       59596 kB
Mapped:          15376 kB
Slab:            63644 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183652 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= 62456 MiB
End job on node014 at 2010-06-12 19:38:27