Trace number 2687731

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.18 1802.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3027_1.std.opb
MD5SUM7c9346d90a668a3f1bb18ac05d8f779a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark5.70313
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18662
Total number of constraints62742
Number of constraints which are clauses61542
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 constraint24
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: Clp 1.11.1] [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-2687731-1278455232.opb>
1.10/1.12	c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 62742 constraints
1.10/1.12	c problem read
1.10/1.12	c presolving settings loaded
1.39/1.46	c presolving:
4.99/5.09	c (round 1) 977 del vars, 2569 del conss, 683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4282896 impls, 0 clqs
6.09/6.10	c (round 2) 2125 del vars, 6734 del conss, 1723 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4287944 impls, 0 clqs
6.29/6.30	c (round 3) 2389 del vars, 8188 del conss, 1815 chg bounds, 50 chg sides, 47 chg coeffs, 0 upgd conss, 4290129 impls, 0 clqs
6.39/6.41	c (round 4) 2449 del vars, 8481 del conss, 1831 chg bounds, 50 chg sides, 47 chg coeffs, 0 upgd conss, 4290555 impls, 0 clqs
6.39/6.49	c (round 5) 2457 del vars, 8549 del conss, 1831 chg bounds, 50 chg sides, 47 chg coeffs, 0 upgd conss, 4290585 impls, 0 clqs
6.99/7.01	c (round 6) 2457 del vars, 8553 del conss, 1831 chg bounds, 50 chg sides, 47 chg coeffs, 54189 upgd conss, 4290585 impls, 0 clqs
7.39/7.43	c (round 7) 2457 del vars, 8560 del conss, 1831 chg bounds, 84 chg sides, 229 chg coeffs, 54189 upgd conss, 4290633 impls, 249 clqs
7.70/7.79	c (round 8) 2457 del vars, 8561 del conss, 1831 chg bounds, 92 chg sides, 258 chg coeffs, 54189 upgd conss, 4290633 impls, 269 clqs
171.94/172.03	c    (169.1s) probing: 1000/16205 (6.2%) - 0 fixings, 0 aggregations, 4150829 implications, 0 bound changes
280.51/280.67	c    (276.7s) probing: 2000/16205 (12.3%) - 0 fixings, 0 aggregations, 7123374 implications, 0 bound changes
280.61/280.75	c    (276.8s) probing: 2001/16205 (12.3%) - 0 fixings, 0 aggregations, 7125394 implications, 0 bound changes
280.61/280.75	c    (276.8s) probing aborted: 2000/2000 successive useless probings
280.61/280.76	c presolving (9 rounds):
280.61/280.76	c  2457 deleted vars, 8561 deleted constraints, 1831 tightened bounds, 0 added holes, 92 changed sides, 259 changed coefficients
280.61/280.76	c  23830345 implications, 269 cliques
280.61/280.76	c presolved problem has 16205 variables (16205 bin, 0 int, 0 impl, 0 cont) and 54200 constraints
280.61/280.76	c    1156 constraints of type <knapsack>
280.61/280.76	c      12 constraints of type <setppc>
280.61/280.76	c   53032 constraints of type <logicor>
280.61/280.76	c transformed objective value is always integral (scale: 1)
280.61/280.76	c Presolving Time: 276.60
280.61/280.76	c - non default parameters ----------------------------------------------------------------------
280.61/280.76	c # SCIP version 1.2.1.2
280.61/280.76	c 
280.61/280.76	c # frequency for displaying node information lines
280.61/280.76	c # [type: int, range: [-1,2147483647], default: 100]
280.61/280.76	c display/freq = 10000
280.61/280.76	c 
280.61/280.76	c # maximal time in seconds to run
280.61/280.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
280.61/280.76	c limits/time = 1798.88
280.61/280.76	c 
280.61/280.76	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
280.61/280.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
280.61/280.76	c limits/memory = 1620
280.61/280.76	c 
280.61/280.76	c # should presolving try to simplify inequalities
280.61/280.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
280.61/280.76	c constraints/linear/simplifyinequalities = TRUE
280.61/280.76	c 
280.61/280.76	c # should presolving try to simplify knapsacks
280.61/280.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
280.61/280.76	c constraints/knapsack/simplifyinequalities = TRUE
280.61/280.76	c 
280.61/280.76	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
280.61/280.76	c # [type: int, range: [-1,2147483647], default: -1]
280.61/280.76	c separating/rapidlearning/freq = 0
280.61/280.76	c 
280.61/280.76	c -----------------------------------------------------------------------------------------------
280.61/280.76	c start solving
280.71/280.81	c 
299.61/299.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
299.61/299.79	c   296s|     1 |     0 | 12226 |     - | 723M|   0 | 238 |  16k|  54k|  16k|  54k|   0 |   0 |   0 | 4.300000e+01 |      --      |    Inf 
706.12/706.36	c   693s|     1 |     0 | 22679 |     - | 724M|   0 | 302 |  16k|  54k|  16k|  54k|  40 |   0 |   0 | 4.300000e+01 |      --      |    Inf 
906.07/906.36	c   892s|     1 |     0 | 48986 |     - | 724M|   0 | 365 |  16k|  54k|  16k|  54k|  77 |   0 |   0 | 4.300000e+01 |      --      |    Inf 
1287.27/1287.66	c  1271s|     1 |     0 | 91592 |     - | 726M|   0 | 345 |  16k|  54k|  16k|  54k| 150 |   0 |   0 | 4.300000e+01 |      --      |    Inf 
1800.06/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-2687731-1278455232/watcher-2687731-1278455232 -o /tmp/evaluation-result-2687731-1278455232/solver-2687731-1278455232 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687731-1278455232.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.21 1.04 1.01 3/106 21144
/proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=9288 CPUtime=0
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1043 0 0 0 0 0 0 0 23 0 1 0 13736935 9510912 963 1992294400 4194304 9819077 140733537228768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21144/statm: 2322 972 371 1374 0 943 0

[startup+0.075972 s]
/proc/loadavg: 1.21 1.04 1.01 3/106 21144
/proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=15976 CPUtime=0.07
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 2920 0 0 0 6 1 0 0 25 0 1 0 13736935 16359424 2840 1992294400 4194304 9819077 140733537228768 18446744073709551615 8611027 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21144/statm: 3994 2840 388 1374 0 2615 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15976

[startup+0.100926 s]
/proc/loadavg: 1.21 1.04 1.01 3/106 21144
/proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=17608 CPUtime=0.09
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 3320 0 0 0 8 1 0 0 25 0 1 0 13736935 18030592 3240 1992294400 4194304 9819077 140733537228768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21144/statm: 4402 3240 388 1374 0 3023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17608

[startup+0.300942 s]
/proc/loadavg: 1.21 1.04 1.01 3/106 21144
/proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=24320 CPUtime=0.29
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 5029 0 0 0 27 2 0 0 25 0 1 0 13736935 24903680 4949 1992294400 4194304 9819077 140733537228768 18446744073709551615 8667800 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21144/statm: 6080 4949 388 1374 0 4701 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24320

[startup+0.700974 s]
/proc/loadavg: 1.21 1.04 1.01 3/106 21144
/proc/meminfo: memFree=1840264/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=34208 CPUtime=0.69
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 7463 0 0 0 67 2 0 0 25 0 1 0 13736935 35028992 7383 1992294400 4194304 9819077 140733537228768 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21144/statm: 8552 7383 388 1374 0 7173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34208

[startup+1.50104 s]
/proc/loadavg: 1.19 1.04 1.01 2/107 21145
/proc/meminfo: memFree=1802188/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=107628 CPUtime=1.49
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 25857 0 0 0 140 9 0 0 25 0 1 0 13736935 110211072 25362 1992294400 4194304 9819077 140733537228768 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 26907 25374 483 1374 0 25528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107628

[startup+3.10117 s]
/proc/loadavg: 1.19 1.04 1.01 2/107 21145
/proc/meminfo: memFree=1701376/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=193176 CPUtime=3.09
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 47206 0 0 0 290 19 0 0 25 0 1 0 13736935 197812224 46711 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 48294 46711 487 1374 0 46915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193176

[startup+6.30143 s]
/proc/loadavg: 1.19 1.04 1.01 2/107 21145
/proc/meminfo: memFree=1601308/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=249472 CPUtime=6.29
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 60839 0 0 0 596 33 0 0 25 0 1 0 13736935 255459328 59830 1992294400 4194304 9819077 140733537228768 18446744073709551615 5491614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 62368 59830 491 1374 0 60989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 249472

[startup+12.701 s]
/proc/loadavg: 1.16 1.04 1.01 2/107 21145
/proc/meminfo: memFree=1544780/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=311832 CPUtime=12.69
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 84848 0 0 0 1206 63 0 0 25 0 1 0 13736935 319315968 74725 1992294400 4194304 9819077 140733537228768 18446744073709551615 4660913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 77958 74725 524 1374 0 76579 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 311832

[startup+25.501 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 21146
/proc/meminfo: memFree=1514540/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=344284 CPUtime=25.49
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 91850 0 0 0 2477 72 0 0 25 0 1 0 13736935 352546816 81727 1992294400 4194304 9819077 140733537228768 18446744073709551615 6180945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 86071 81727 524 1374 0 84692 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 344284

[startup+51.1011 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 21146
/proc/meminfo: memFree=1419184/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=445988 CPUtime=51.07
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 115936 0 0 0 5024 83 0 0 25 0 1 0 13736935 456691712 105813 1992294400 4194304 9819077 140733537228768 18446744073709551615 4677335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 111497 105813 524 1374 0 110118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 445988

[startup+102.308 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 21148
/proc/meminfo: memFree=1290472/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=571332 CPUtime=102.27
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 147760 0 0 0 10114 113 0 0 25 0 1 0 13736935 585043968 137637 1992294400 4194304 9819077 140733537228768 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 142833 137637 524 1374 0 141454 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 571332

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 21149
/proc/meminfo: memFree=1179244/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=683996 CPUtime=162.24
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 175897 0 0 0 16055 169 0 0 25 0 1 0 13736935 700411904 165774 1992294400 4194304 9819077 140733537228768 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 170999 165774 524 1374 0 169620 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 683996

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21151
/proc/meminfo: memFree=1058840/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=804592 CPUtime=222.23
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 205557 0 0 0 21991 232 0 0 25 0 1 0 13736935 823902208 195434 1992294400 4194304 9819077 140733537228768 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 201148 195434 529 1374 0 199769 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 804592

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21152
/proc/meminfo: memFree=889332/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=997368 CPUtime=282.21
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 256112 0 0 0 27931 290 0 0 25 0 1 0 13736935 1021304832 237791 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 249342 237791 647 1374 0 247963 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 997368

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21154
/proc/meminfo: memFree=884248/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1016900 CPUtime=342.2
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327822 0 0 0 33821 399 0 0 25 0 1 0 13736935 1041305600 239073 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 254225 239073 679 1374 0 252846 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1016900

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21156
/proc/meminfo: memFree=884124/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1016900 CPUtime=402.18
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327850 0 0 0 39648 570 0 0 25 0 1 0 13736935 1041305600 239101 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 254225 239101 679 1374 0 252846 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1016900

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21157
/proc/meminfo: memFree=884124/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1016900 CPUtime=462.17
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327850 0 0 0 45462 755 0 0 25 0 1 0 13736935 1041305600 239101 1992294400 4194304 9819077 140733537228768 18446744073709551615 5687337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 254225 239101 679 1374 0 252846 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1016900

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21159
/proc/meminfo: memFree=884000/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1016900 CPUtime=522.15
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327852 0 0 0 51305 910 0 0 25 0 1 0 13736935 1041305600 239103 1992294400 4194304 9819077 140733537228768 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 254225 239103 679 1374 0 252846 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1016900

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21160
/proc/meminfo: memFree=884000/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1016900 CPUtime=582.14
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 327853 0 0 0 57145 1069 0 0 25 0 1 0 13736935 1041305600 239104 1992294400 4194304 9819077 140733537228768 18446744073709551615 5688278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 254225 239104 679 1374 0 252846 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1016900

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21162
/proc/meminfo: memFree=824480/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1077332 CPUtime=642.14
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 342684 0 0 0 63026 1188 0 0 25 0 1 0 13736935 1103187968 253935 1992294400 4194304 9819077 140733537228768 18446744073709551615 5689235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 269333 253935 679 1374 0 267954 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1077332

[startup+702.301 s]

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

/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 684666 0 0 0 98808 1396 0 0 25 0 1 0 13736935 1158078464 263506 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282734 263506 692 1374 0 281355 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1130936

[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 21173
/proc/meminfo: memFree=786040/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1130844 CPUtime=1062.03
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 728671 0 0 0 104782 1421 0 0 25 0 1 0 13736935 1157984256 263610 1992294400 4194304 9819077 140733537228768 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282711 263610 692 1374 0 281332 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1130844

[startup+1122.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 21175
/proc/meminfo: memFree=779840/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1130716 CPUtime=1122.02
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 770644 0 0 0 110754 1448 0 0 25 0 1 0 13736935 1157853184 263450 1992294400 4194304 9819077 140733537228768 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282679 263450 692 1374 0 281300 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1130716

[startup+1182.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 21176
/proc/meminfo: memFree=780212/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1130492 CPUtime=1182
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 815528 0 0 0 116725 1475 0 0 25 0 1 0 13736935 1157623808 263391 1992294400 4194304 9819077 140733537228768 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282623 263391 692 1374 0 281244 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1130492

[startup+1242.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 21178
/proc/meminfo: memFree=785296/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1130592 CPUtime=1241.99
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 865716 0 0 0 122691 1508 0 0 25 0 1 0 13736935 1157726208 263680 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282648 263680 692 1374 0 281269 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1130592

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 21180
/proc/meminfo: memFree=780460/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1117620 CPUtime=1301.98
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 940596 0 0 0 128645 1553 0 0 25 0 1 0 13736935 1144442880 262148 1992294400 4194304 9819077 140733537228768 18446744073709551615 7224606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 279405 262157 692 1374 0 278026 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1117620

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21181
/proc/meminfo: memFree=782072/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131764 CPUtime=1361.96
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 989294 0 0 0 134613 1583 0 0 25 0 1 0 13736935 1158926336 264692 1992294400 4194304 9819077 140733537228768 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282941 264692 692 1374 0 281562 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1131764

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21183
/proc/meminfo: memFree=784428/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131672 CPUtime=1421.95
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1028261 0 0 0 140589 1606 0 0 25 0 1 0 13736935 1158832128 263795 1992294400 4194304 9819077 140733537228768 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282918 263795 692 1374 0 281539 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1131672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21184
/proc/meminfo: memFree=784924/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131604 CPUtime=1481.93
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1064163 0 0 0 146565 1628 0 0 25 0 1 0 13736935 1158762496 263723 1992294400 4194304 9819077 140733537228768 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282901 263723 692 1374 0 281522 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1131604

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21186
/proc/meminfo: memFree=784552/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131604 CPUtime=1541.92
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1099792 0 0 0 152543 1649 0 0 25 0 1 0 13736935 1158762496 263763 1992294400 4194304 9819077 140733537228768 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282901 263763 692 1374 0 281522 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1131604

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21188
/proc/meminfo: memFree=784676/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131480 CPUtime=1601.91
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1135284 0 0 0 158519 1672 0 0 25 0 1 0 13736935 1158635520 263822 1992294400 4194304 9819077 140733537228768 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282870 263822 692 1374 0 281491 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1131480

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21189
/proc/meminfo: memFree=781328/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131444 CPUtime=1661.89
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1171108 0 0 0 164495 1694 0 0 25 0 1 0 13736935 1158598656 264679 1992294400 4194304 9819077 140733537228768 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282861 264679 692 1374 0 281482 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1131444

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21191
/proc/meminfo: memFree=784924/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131444 CPUtime=1721.87
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1209230 0 0 0 170471 1716 0 0 25 0 1 0 13736935 1158598656 263704 1992294400 4194304 9819077 140733537228768 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282861 263704 692 1374 0 281482 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1131444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21192
/proc/meminfo: memFree=779468/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131380 CPUtime=1781.86
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1249010 0 0 0 176444 1742 0 0 25 0 1 0 13736935 1158533120 264995 1992294400 4194304 9819077 140733537228768 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282845 264995 692 1374 0 281466 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1131380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21193
/proc/meminfo: memFree=784676/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131412 CPUtime=1800.06
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1264406 0 0 0 178255 1751 0 0 25 0 1 0 13736935 1158565888 263636 1992294400 4194304 9819077 140733537228768 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282853 263636 692 1374 0 281474 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1131412

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21144

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 21194
/proc/meminfo: memFree=784668/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131412 CPUtime=1800.95
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1264584 0 0 0 178344 1751 0 0 25 0 1 0 13736935 1158565888 263814 1992294400 4194304 9819077 140733537228768 18446744073709551615 7291663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282853 263814 692 1374 0 281474 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 1131412

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21194
/proc/meminfo: memFree=783800/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=1131412 CPUtime=1801.75
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4202496 1264742 0 0 0 178424 1751 0 0 25 0 1 0 13736935 1158565888 263972 1992294400 4194304 9819077 140733537228768 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21144/statm: 282853 263972 692 1374 0 281474 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 1131412

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21194
/proc/meminfo: memFree=783800/2059040 swapFree=4139180/4192956
[pid=21144] ppid=21142 vsize=0 CPUtime=1802.15
/proc/21144/stat : 21144 (pbscip.linux.x8) R 21142 21144 20277 0 -1 4203524 1264799 0 0 0 178455 1760 0 0 25 0 1 0 13736935 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21144/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.61
CPU time (s): 1802.18
CPU user time (s): 1784.56
CPU system time (s): 17.6203
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1132376

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

runsolver used 2.89756 second user time and 8.59069 second system time

The end

Launcher Data 

Begin job on node003 at 2010-07-07 00:27:12
IDJOB=2687731
IDBENCH=78506
IDSOLVER=1168
FILE ID=node003/2687731-1278455232
PBS_JOBID= 11233506
Free space on /tmp= 62568 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j30opt/normalized-j3027_1.std.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-2687731-1278455232/watcher-2687731-1278455232 -o /tmp/evaluation-result-2687731-1278455232/solver-2687731-1278455232 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687731-1278455232.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7c9346d90a668a3f1bb18ac05d8f779a
RANDOM SEED=985974417

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1840792 kB
Buffers:         11200 kB
Cached:         123484 kB
SwapCached:       8164 kB
Active:          48140 kB
Inactive:       102484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1840792 kB
SwapTotal:     4192956 kB
SwapFree:      4139180 kB
Dirty:            8368 kB
Writeback:           0 kB
AnonPages:       12372 kB
Mapped:          11860 kB
Slab:            45500 kB
PageTables:       4232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178712 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= 62564 MiB
End job on node003 at 2010-07-07 00:57:15