Trace number 2686783

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.18 1802.65

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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2686783-1278442329.opb>
1.89/1.93	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 117911 constraints
1.89/1.93	c problem read
1.89/1.93	c presolving settings loaded
2.49/2.55	c presolving:
9.29/9.33	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.39/12.44	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.39/13.47	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
13.89/13.94	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.19/14.26	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.39/14.43	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
14.49/14.58	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
14.69/14.71	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
15.79/15.86	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.39/16.42	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
407.58/407.75	c    (403.3s) probing: 1000/30511 (3.3%) - 0 fixings, 0 aggregations, 6022749 implications, 0 bound changes
539.65/539.83	c    (534.2s) probing: 2000/30511 (6.6%) - 0 fixings, 0 aggregations, 9564347 implications, 0 bound changes
539.74/539.95	c    (534.3s) probing: 2001/30511 (6.6%) - 0 fixings, 0 aggregations, 9566642 implications, 0 bound changes
539.74/539.95	c    (534.3s) probing aborted: 2000/2000 successive useless probings
539.74/539.96	c presolving (11 rounds):
539.74/539.96	c  6211 deleted vars, 21784 deleted constraints, 4615 tightened bounds, 0 added holes, 104 changed sides, 322 changed coefficients
539.74/539.96	c  38032913 implications, 0 cliques
539.74/539.96	c presolved problem has 30511 variables (30511 bin, 0 int, 0 impl, 0 cont) and 96147 constraints
539.74/539.96	c    1133 constraints of type <knapsack>
539.74/539.96	c      20 constraints of type <setppc>
539.74/539.96	c   94994 constraints of type <logicor>
539.74/539.96	c transformed objective value is always integral (scale: 1)
539.74/539.96	c Presolving Time: 534.00
539.74/539.96	c - non default parameters ----------------------------------------------------------------------
539.74/539.96	c # SCIP version 1.2.1.2
539.74/539.96	c 
539.74/539.96	c # frequency for displaying node information lines
539.74/539.96	c # [type: int, range: [-1,2147483647], default: 100]
539.74/539.96	c display/freq = 10000
539.74/539.96	c 
539.74/539.96	c # maximal time in seconds to run
539.74/539.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
539.74/539.96	c limits/time = 1798.08
539.74/539.96	c 
539.74/539.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
539.74/539.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
539.74/539.96	c limits/memory = 1620
539.74/539.96	c 
539.74/539.96	c # should presolving try to simplify inequalities
539.74/539.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
539.74/539.96	c constraints/linear/simplifyinequalities = TRUE
539.74/539.96	c 
539.74/539.96	c # should presolving try to simplify knapsacks
539.74/539.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
539.74/539.96	c constraints/knapsack/simplifyinequalities = TRUE
539.74/539.96	c 
539.74/539.96	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
539.74/539.96	c # [type: int, range: [-1,2147483647], default: -1]
539.74/539.96	c separating/rapidlearning/freq = 0
539.74/539.96	c 
539.74/539.96	c -----------------------------------------------------------------------------------------------
539.74/539.96	c start solving
539.84/540.05	c 
777.99/778.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
777.99/778.22	c   772s|     1 |     0 | 28020 |     - |1168M|   0 |  90 |  30k|  96k|  30k|  96k|   0 |   0 |   0 | 6.200000e+01 |      --      |    Inf 
1800.03/1800.51	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-2686783-1278442329/watcher-2686783-1278442329 -o /tmp/evaluation-result-2686783-1278442329/solver-2686783-1278442329 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686783-1278442329.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.00 1.00 1.00 3/105 20255
/proc/meminfo: memFree=1739320/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=7724 CPUtime=0
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 1107 0 0 0 0 0 0 0 24 0 1 0 12441570 7909376 1028 1992294400 4194304 8223781 140735253803248 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20255/statm: 1931 1036 348 984 0 944 0

[startup+0.108155 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 20255
/proc/meminfo: memFree=1739320/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=17140 CPUtime=0.1
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 3589 0 0 0 9 1 0 0 24 0 1 0 12441570 17551360 3509 1992294400 4194304 8223781 140735253803248 18446744073709551615 7189731 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20255/statm: 4285 3509 365 984 0 3298 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17140

[startup+0.201165 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 20255
/proc/meminfo: memFree=1739320/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=23632 CPUtime=0.19
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 5226 0 0 0 18 1 0 0 24 0 1 0 12441570 24199168 5146 1992294400 4194304 8223781 140735253803248 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20255/statm: 5908 5146 365 984 0 4921 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23632

[startup+0.301174 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 20255
/proc/meminfo: memFree=1739320/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=28900 CPUtime=0.29
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 6556 0 0 0 27 2 0 0 25 0 1 0 12441570 29593600 6467 1992294400 4194304 8223781 140735253803248 18446744073709551615 6639968 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20255/statm: 7225 6467 365 984 0 6238 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28900

[startup+0.701216 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 20255
/proc/meminfo: memFree=1739320/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=39952 CPUtime=0.69
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 9311 0 0 0 66 3 0 0 25 0 1 0 12441570 40910848 9222 1992294400 4194304 8223781 140735253803248 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20255/statm: 9988 9222 365 984 0 9001 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39952

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20256
/proc/meminfo: memFree=1693308/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=64504 CPUtime=1.49
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 15421 0 0 0 144 5 0 0 25 0 1 0 12441570 66052096 15332 1992294400 4194304 8223781 140735253803248 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20255/statm: 16126 15332 365 984 0 15139 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64504

[startup+3.10147 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20256
/proc/meminfo: memFree=1587784/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=218144 CPUtime=3.09
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 53386 0 0 0 289 20 0 0 25 0 1 0 12441570 223379456 52854 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 54536 52854 437 984 0 53549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 218144

[startup+6.30181 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20256
/proc/meminfo: memFree=1406620/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=373752 CPUtime=6.29
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 91761 0 0 0 592 37 0 0 25 0 1 0 12441570 382722048 91229 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 93438 91229 441 984 0 92451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 373752

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20256
/proc/meminfo: memFree=1305064/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=448484 CPUtime=12.69
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 109642 0 0 0 1213 56 0 0 25 0 1 0 12441570 459247616 108596 1992294400 4194304 8223781 140735253803248 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 112121 108596 445 984 0 111134 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 448484

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20258
/proc/meminfo: memFree=1221736/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=537724 CPUtime=25.49
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 149759 0 0 0 2433 116 0 0 25 0 1 0 12441570 550629376 129664 1992294400 4194304 8223781 140735253803248 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 134431 129664 483 984 0 133444 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 537724

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20258
/proc/meminfo: memFree=1193836/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=567004 CPUtime=51.08
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 156559 0 0 0 4988 120 0 0 25 0 1 0 12441570 580612096 136464 1992294400 4194304 8223781 140735253803248 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 141751 136464 483 984 0 140764 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 567004

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20260
/proc/meminfo: memFree=1115468/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=648912 CPUtime=102.28
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 176105 0 0 0 10097 131 0 0 25 0 1 0 12441570 664485888 156010 1992294400 4194304 8223781 140735253803248 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 162228 156010 483 984 0 161241 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 648912

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20260
/proc/meminfo: memFree=1018128/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=749384 CPUtime=162.25
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 200660 0 0 0 16082 143 0 0 25 0 1 0 12441570 767369216 180565 1992294400 4194304 8223781 140735253803248 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 187346 180565 483 984 0 186359 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 749384

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20262
/proc/meminfo: memFree=877388/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=890660 CPUtime=222.24
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 235748 0 0 0 22064 160 0 0 25 0 1 0 12441570 912035840 215396 1992294400 4194304 8223781 140735253803248 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 222665 215396 483 984 0 221678 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 890660

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20264
/proc/meminfo: memFree=770996/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=997548 CPUtime=282.22
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 262568 0 0 0 28045 177 0 0 25 0 1 0 12441570 1021489152 242216 1992294400 4194304 8223781 140735253803248 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 249387 242216 483 984 0 248400 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 997548

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20266
/proc/meminfo: memFree=666464/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1103312 CPUtime=342.21
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 289719 0 0 0 34012 209 0 0 25 0 1 0 12441570 1129791488 268087 1992294400 4194304 8223781 140735253803248 18446744073709551615 7256753 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 275828 268087 483 984 0 274841 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1103312

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20268
/proc/meminfo: memFree=561436/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1207500 CPUtime=402.19
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 316436 0 0 0 39970 249 0 0 25 0 1 0 12441570 1236480000 294804 1992294400 4194304 8223781 140735253803248 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 301875 294804 483 984 0 300888 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1207500

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20268
/proc/meminfo: memFree=451448/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1316668 CPUtime=462.17
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 343662 0 0 0 45923 294 0 0 25 0 1 0 12441570 1348268032 321774 1992294400 4194304 8223781 140735253803248 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 329167 321774 488 984 0 328180 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1316668

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20270
/proc/meminfo: memFree=343692/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1427632 CPUtime=522.16
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 371400 0 0 0 51869 347 0 0 25 0 1 0 12441570 1461895168 349000 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 356908 349000 488 984 0 355921 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1427632

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20281
/proc/meminfo: memFree=205084/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1582116 CPUtime=582.13
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 424310 0 0 0 57828 385 0 0 25 0 1 0 12441570 1620086784 382864 1992294400 4194304 8223781 140735253803248 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 395529 382864 548 984 0 394542 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1582116

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20283
/proc/meminfo: memFree=203720/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1588512 CPUtime=642.12
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 444280 0 0 0 63808 404 0 0 25 0 1 0 12441570 1626636288 383210 1992294400 4194304 8223781 140735253803248 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 397128 383210 548 984 0 396141 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1588512

[startup+702.301 s]

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

/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779084 0 0 0 105514 687 0 0 25 0 1 0 12441570 1645719552 385592 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385592 572 984 0 400800 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1607148

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20295
/proc/meminfo: memFree=194296/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1121.99
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779088 0 0 0 111467 732 0 0 25 0 1 0 12441570 1645719552 385596 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385596 572 984 0 400800 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1607148

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20297
/proc/meminfo: memFree=194172/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1181.98
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779124 0 0 0 117368 830 0 0 25 0 1 0 12441570 1645719552 385632 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385632 572 984 0 400800 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1607148

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20299
/proc/meminfo: memFree=193800/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1241.97
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779144 0 0 0 123254 943 0 0 25 0 1 0 12441570 1645719552 385652 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385652 572 984 0 400800 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1607148

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20301
/proc/meminfo: memFree=193676/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1301.95
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779154 0 0 0 129154 1041 0 0 25 0 1 0 12441570 1645719552 385662 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385662 572 984 0 400800 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1607148

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20301
/proc/meminfo: memFree=193676/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1361.94
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779158 0 0 0 135075 1119 0 0 25 0 1 0 12441570 1645719552 385666 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385666 572 984 0 400800 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1607148

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20303
/proc/meminfo: memFree=193552/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1421.93
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779159 0 0 0 140973 1220 0 0 25 0 1 0 12441570 1645719552 385667 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385667 572 984 0 400800 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1607148

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20305
/proc/meminfo: memFree=193552/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1481.91
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779163 0 0 0 146890 1301 0 0 25 0 1 0 12441570 1645719552 385671 1992294400 4194304 8223781 140735253803248 18446744073709551615 5688278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385671 572 984 0 400800 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1607148

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20307
/proc/meminfo: memFree=193428/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1541.9
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779164 0 0 0 152828 1362 0 0 25 0 1 0 12441570 1645719552 385672 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385672 572 984 0 400800 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1607148

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20309
/proc/meminfo: memFree=193304/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1601.87
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779164 0 0 0 158750 1437 0 0 25 0 1 0 12441570 1645719552 385672 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385672 572 984 0 400800 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1607148

[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 20312
/proc/meminfo: memFree=192560/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1661.85
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779168 0 0 0 164691 1494 0 0 25 0 1 0 12441570 1645719552 385676 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385676 572 984 0 400800 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1607148

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 20314
/proc/meminfo: memFree=192560/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1721.84
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779169 0 0 0 170632 1552 0 0 25 0 1 0 12441570 1645719552 385677 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385677 572 984 0 400800 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1607148

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 20316
/proc/meminfo: memFree=192560/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1781.83
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779169 0 0 0 176575 1608 0 0 25 0 1 0 12441570 1645719552 385677 1992294400 4194304 8223781 140735253803248 18446744073709551615 5687337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385677 572 984 0 400800 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1607148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20316
/proc/meminfo: memFree=192560/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1607148 CPUtime=1800.03
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779169 0 0 0 178370 1633 0 0 25 0 1 0 12441570 1645719552 385677 1992294400 4194304 8223781 140735253803248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 401787 385677 572 984 0 400800 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1607148

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20255

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20317
/proc/meminfo: memFree=190940/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1610420 CPUtime=1801.02
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 779892 0 0 0 178469 1633 0 0 25 0 1 0 12441570 1649070080 386400 1992294400 4194304 8223781 140735253803248 18446744073709551615 5689239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 402605 386400 572 984 0 401618 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 1610420

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20317
/proc/meminfo: memFree=189700/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1611072 CPUtime=1801.82
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 780045 0 0 0 178549 1633 0 0 25 0 1 0 12441570 1649737728 386553 1992294400 4194304 8223781 140735253803248 18446744073709551615 5689235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 402768 386553 572 984 0 401781 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 1611072

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20317
/proc/meminfo: memFree=189700/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=1611072 CPUtime=1802.02
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4202496 780069 0 0 0 178569 1633 0 0 25 0 1 0 12441570 1649737728 386577 1992294400 4194304 8223781 140735253803248 18446744073709551615 5689241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20255/statm: 402768 386577 572 984 0 401781 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1611072

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20317
/proc/meminfo: memFree=189700/2059040 swapFree=4192956/4192956
[pid=20255] ppid=20253 vsize=0 CPUtime=1802.12
/proc/20255/stat : 20255 (pbscip.linux.x8) R 20253 20255 19115 0 -1 4203524 780070 0 0 0 178570 1642 0 0 25 0 1 0 12441570 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/20255/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.65
CPU time (s): 1802.18
CPU user time (s): 1785.7
CPU system time (s): 16.4725
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1615076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.7
system time used= 16.4725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 780070
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= 5109

runsolver used 3.00154 second user time and 8.49571 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-06 20:52:09
IDJOB=2686783
IDBENCH=76734
IDSOLVER=1169
FILE ID=node081/2686783-1278442329
PBS_JOBID= 11233471
Free space on /tmp= 121800 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686783-1278442329/watcher-2686783-1278442329 -o /tmp/evaluation-result-2686783-1278442329/solver-2686783-1278442329 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686783-1278442329.opb -t 1800 -m 1800

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

MD5SUM BENCH= 56c6fbd36b8657f391bc65e8db183044
RANDOM SEED=1186267418

node081.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.242
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.48
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.242
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	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1739848 kB
Buffers:         14764 kB
Cached:         169576 kB
SwapCached:          0 kB
Active:          86552 kB
Inactive:       158600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1739848 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8028 kB
Writeback:           0 kB
AnonPages:       60704 kB
Mapped:          14500 kB
Slab:            52176 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182908 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121796 MiB
End job on node081 at 2010-07-06 21:22:12