Trace number 2666725

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.08 1802.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2666725-1276668071.opb>
0.09/0.10	c original problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6821 constraints
0.09/0.10	c problem read
0.09/0.10	c presolving settings loaded
0.09/0.19	o 0
0.09/0.19	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.09/0.19	c presolving:
0.39/0.48	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50160 impls, 400 clqs
0.89/0.94	c    (0.6s) probing: 101/6620 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.94	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.89/0.94	c presolving (2 rounds):
0.89/0.94	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.94	c  50160 implications, 400 cliques
0.89/0.94	c presolved problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6821 constraints
0.89/0.94	c     400 constraints of type <setppc>
0.89/0.94	c    6220 constraints of type <and>
0.89/0.94	c       1 constraints of type <linear>
0.89/0.94	c     200 constraints of type <logicor>
0.89/0.94	c transformed objective value is always integral (scale: 1)
0.89/0.94	c Presolving Time: 0.60
0.89/0.94	c - non default parameters ----------------------------------------------------------------------
0.89/0.94	c # SCIP version 1.2.1.2
0.89/0.94	c 
0.89/0.94	c # frequency for displaying node information lines
0.89/0.94	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.94	c display/freq = 10000
0.89/0.94	c 
0.89/0.94	c # maximal time in seconds to run
0.89/0.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94	c limits/time = 1799.91
0.89/0.94	c 
0.89/0.94	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.94	c limits/memory = 1620
0.89/0.94	c 
0.89/0.94	c # should presolving try to simplify inequalities
0.89/0.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94	c constraints/linear/simplifyinequalities = TRUE
0.89/0.94	c 
0.89/0.94	c # should presolving try to simplify knapsacks
0.89/0.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.94	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.94	c 
0.89/0.94	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.94	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.94	c heuristics/undercover/freq = 0
0.89/0.94	c 
0.89/0.94	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.94	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.94	c separating/rapidlearning/freq = 0
0.89/0.94	c 
0.89/0.94	c -----------------------------------------------------------------------------------------------
0.89/0.94	c start solving
0.89/0.95	c 
149.34/149.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
149.34/149.44	c t 148s|     1 |     0 | 28509 |     - |  30M|   0 |3703 |6620 |6821 |6620 |  13k|   0 |   0 |   0 |-1.000000e+02 | 0.000000e+00 | 100.00%
149.34/149.49	o -7
149.34/149.49	c s 148s|     1 |     0 | 28509 |     - |  31M|   0 |3703 |6620 |6821 |6620 |  13k|   0 |   0 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
178.23/178.39	c   177s|     1 |     0 | 30328 |     - |  32M|   0 |3678 |6620 |6822 |6620 |  13k| 211 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
178.33/178.45	o -7
178.33/178.45	c s 177s|     1 |     0 | 30328 |     - |  32M|   0 |3678 |6620 |6822 |6620 |  13k| 211 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
198.22/198.36	c   197s|     1 |     0 | 32908 |     - |  32M|   0 |3660 |6620 |6822 |6620 |  13k| 253 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
218.22/218.39	c   216s|     1 |     0 | 35486 |     - |  32M|   0 |3660 |6620 |6822 |6620 |  13k| 293 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
236.32/236.44	c   234s|     1 |     0 | 37786 |     - |  32M|   0 |3668 |6620 |6822 |6620 |  13k| 341 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
256.01/256.17	c   254s|     1 |     0 | 40304 |     - |  32M|   0 |3645 |6620 |6822 |6620 |  13k| 377 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
273.01/273.14	c   271s|     1 |     0 | 42364 |     - |  32M|   0 |3641 |6620 |6822 |6620 |  13k| 419 |   1 |   0 |-1.000000e+02 |-7.000000e+00 |  93.00%
381.67/381.80	c   379s|     1 |     2 | 42364 |     - |  32M|   0 |3641 |6620 |6822 |6620 |  13k| 419 |   1 |  18 |-1.000000e+02 |-7.000000e+00 |  93.00%
1800.07/1800.61	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-2666725-1276668071/watcher-2666725-1276668071 -o /tmp/evaluation-result-2666725-1276668071/solver-2666725-1276668071 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666725-1276668071.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: 2.64 2.39 1.86 3/106 15233
/proc/meminfo: memFree=1737728/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=7724 CPUtime=0
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 1137 0 0 0 0 0 0 0 20 0 1 0 8098142 7909376 1056 1992294400 4194304 8223781 140736075063968 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15233/statm: 1931 1065 348 984 0 944 0

[startup+0.044758 s]
/proc/loadavg: 2.64 2.39 1.86 3/106 15233
/proc/meminfo: memFree=1737728/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=12912 CPUtime=0.04
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 2533 0 0 0 3 1 0 0 20 0 1 0 8098142 13221888 2452 1992294400 4194304 8223781 140736075063968 18446744073709551615 4327710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15233/statm: 3228 2452 366 984 0 2241 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12912

[startup+0.101766 s]
/proc/loadavg: 2.64 2.39 1.86 3/106 15233
/proc/meminfo: memFree=1737728/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=16540 CPUtime=0.09
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 3457 0 0 0 8 1 0 0 20 0 1 0 8098142 16936960 3376 1992294400 4194304 8223781 140736075063968 18446744073709551615 6207082 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15233/statm: 4135 3376 366 984 0 3148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16540

[startup+0.301795 s]
/proc/loadavg: 2.64 2.39 1.86 3/106 15233
/proc/meminfo: memFree=1737728/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=32120 CPUtime=0.3
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 7694 0 0 0 23 7 0 0 20 0 1 0 8098142 32890880 6992 1992294400 4194304 8223781 140736075063968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 8030 6992 432 984 0 7043 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 32120

[startup+0.701853 s]
/proc/loadavg: 2.64 2.39 1.86 3/106 15233
/proc/meminfo: memFree=1737728/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=36780 CPUtime=0.69
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 10154 0 0 0 47 22 0 0 21 0 1 0 8098142 37662720 8167 1992294400 4194304 8223781 140736075063968 18446744073709551615 5491459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 9195 8167 459 984 0 8208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36780

[startup+1.50097 s]
/proc/loadavg: 2.64 2.39 1.86 2/107 15234
/proc/meminfo: memFree=1696676/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=65152 CPUtime=1.49
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 18589 0 0 0 123 26 0 0 18 0 1 0 8098142 66715648 14796 1992294400 4194304 8223781 140736075063968 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 16288 14796 545 984 0 15301 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65152

[startup+3.1012 s]
/proc/loadavg: 2.64 2.39 1.86 2/107 15234
/proc/meminfo: memFree=1679068/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=66292 CPUtime=3.09
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 20421 0 0 0 281 28 0 0 21 0 1 0 8098142 67883008 15185 1992294400 4194304 8223781 140736075063968 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 16573 15185 548 984 0 15586 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66292

[startup+6.30167 s]
/proc/loadavg: 2.51 2.37 1.85 2/107 15234
/proc/meminfo: memFree=1678076/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=66852 CPUtime=6.29
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 22298 0 0 0 599 30 0 0 25 0 1 0 8098142 68456448 15282 1992294400 4194304 8223781 140736075063968 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 16713 15282 545 984 0 15726 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66852

[startup+12.7006 s]
/proc/loadavg: 2.39 2.35 1.85 2/107 15234
/proc/meminfo: memFree=1677456/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=67356 CPUtime=12.69
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 25850 0 0 0 1236 33 0 0 25 0 1 0 8098142 68972544 15415 1992294400 4194304 8223781 140736075063968 18446744073709551615 6571211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 16839 15415 545 984 0 15852 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67356

[startup+25.5015 s]
/proc/loadavg: 2.08 2.28 1.83 2/107 15236
/proc/meminfo: memFree=1675968/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=71644 CPUtime=25.49
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 32577 0 0 0 2510 39 0 0 25 0 1 0 8098142 73363456 16067 1992294400 4194304 8223781 140736075063968 18446744073709551615 6584528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 17911 16067 544 984 0 16924 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71644

[startup+51.1012 s]
/proc/loadavg: 1.71 2.18 1.81 2/107 15236
/proc/meminfo: memFree=1675108/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=70732 CPUtime=51.07
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 45211 0 0 0 5055 52 0 0 25 0 1 0 8098142 72429568 16054 1992294400 4194304 8223781 140736075063968 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 17683 16054 541 984 0 16696 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70732

[startup+102.309 s]
/proc/loadavg: 1.31 1.99 1.76 2/107 15238
/proc/meminfo: memFree=1674364/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=70956 CPUtime=102.26
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 72522 0 0 0 10151 75 0 0 25 0 1 0 8098142 72658944 16205 1992294400 4194304 8223781 140736075063968 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 17739 16205 541 984 0 16752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70956

[startup+162.301 s]
/proc/loadavg: 1.11 1.81 1.71 2/107 15238
/proc/meminfo: memFree=1633816/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=113056 CPUtime=162.23
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 126078 0 0 0 16081 142 0 0 25 0 1 0 8098142 115769344 26473 1992294400 4194304 8223781 140736075063968 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 28264 26473 599 984 0 27277 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 113056

[startup+222.301 s]
/proc/loadavg: 1.04 1.66 1.67 2/107 15240
/proc/meminfo: memFree=1667048/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=78556 CPUtime=222.22
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 146092 0 0 0 22046 176 0 0 25 0 1 0 8098142 80441344 18066 1992294400 4194304 8223781 140736075063968 18446744073709551615 6299562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19639 18066 599 984 0 18652 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 78556

[startup+282.301 s]
/proc/loadavg: 1.08 1.55 1.63 2/107 15242
/proc/meminfo: memFree=1666304/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=76144 CPUtime=282.2
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 172084 0 0 0 28016 204 0 0 25 0 1 0 8098142 77971456 17746 1992294400 4194304 8223781 140736075063968 18446744073709551615 6248428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19036 17746 600 984 0 18049 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 76144

[startup+342.301 s]
/proc/loadavg: 1.09 1.46 1.59 2/107 15244
/proc/meminfo: memFree=1666304/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77612 CPUtime=342.19
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 221484 0 0 0 33980 239 0 0 25 0 1 0 8098142 79474688 17881 1992294400 4194304 8223781 140736075063968 18446744073709551615 6614461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19403 17881 600 984 0 18416 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 77612

[startup+402.301 s]
/proc/loadavg: 1.09 1.39 1.55 2/107 15246
/proc/meminfo: memFree=1668660/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=75932 CPUtime=402.16
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 259378 0 0 0 39949 267 0 0 25 0 1 0 8098142 77754368 17576 1992294400 4194304 8223781 140736075063968 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18983 17576 600 984 0 17996 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 75932

[startup+462.301 s]
/proc/loadavg: 1.03 1.32 1.52 2/107 15246
/proc/meminfo: memFree=1669784/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=73380 CPUtime=462.15
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 262543 0 0 0 45929 286 0 0 25 0 1 0 8098142 75141120 17210 1992294400 4194304 8223781 140736075063968 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18345 17210 602 984 0 17358 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 73380

[startup+522.301 s]
/proc/loadavg: 1.01 1.26 1.48 2/107 15248
/proc/meminfo: memFree=1669784/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=73388 CPUtime=522.13
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 262556 0 0 0 51910 303 0 0 25 0 1 0 8098142 75149312 17219 1992294400 4194304 8223781 140736075063968 18446744073709551615 6532934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18347 17219 602 984 0 17360 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 73388

[startup+582.301 s]
/proc/loadavg: 1.04 1.22 1.45 2/107 15250
/proc/meminfo: memFree=1669660/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=73404 CPUtime=582.11
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 262851 0 0 0 57890 321 0 0 25 0 1 0 8098142 75165696 17231 1992294400 4194304 8223781 140736075063968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18351 17231 602 984 0 17364 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 73404

[startup+642.3 s]
/proc/loadavg: 1.01 1.18 1.42 2/107 15252
/proc/meminfo: memFree=1669536/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=73428 CPUtime=642.1
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 263161 0 0 0 63872 338 0 0 25 0 1 0 8098142 75190272 17244 1992294400 4194304 8223781 140736075063968 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18357 17244 602 984 0 17370 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 73428

[startup+702.3 s]

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

/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 288856 0 0 0 99727 472 0 0 25 0 1 0 8098142 77680640 17858 1992294400 4194304 8223781 140736075063968 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18965 17858 602 984 0 17978 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 75860

[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.25 2/107 15262
/proc/meminfo: memFree=1665072/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1061.97
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 299658 0 0 0 105700 497 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 77908

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.24 2/107 15264
/proc/meminfo: memFree=1664948/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1121.96
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 309491 0 0 0 111674 522 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 77908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/107 15266
/proc/meminfo: memFree=1664948/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1181.94
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 319440 0 0 0 117649 545 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 77908

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/107 15268
/proc/meminfo: memFree=1664824/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1241.92
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 329716 0 0 0 123622 570 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 6532934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 77908

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/107 15270
/proc/meminfo: memFree=1664824/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1301.9
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 339404 0 0 0 129597 593 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 77908

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 15270
/proc/meminfo: memFree=1664824/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1361.88
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 349480 0 0 0 135570 618 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 6359669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 77908

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 15272
/proc/meminfo: memFree=1664700/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1421.87
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 360708 0 0 0 141545 642 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 77908

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 15274
/proc/meminfo: memFree=1664700/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=77908 CPUtime=1481.84
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 372474 0 0 0 147520 664 0 0 25 0 1 0 8098142 79777792 18372 1992294400 4194304 8223781 140736075063968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19477 18372 602 984 0 18490 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 77908

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 15276
/proc/meminfo: memFree=1662716/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=79956 CPUtime=1541.83
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 384561 0 0 0 153496 687 0 0 25 0 1 0 8098142 81874944 18884 1992294400 4194304 8223781 140736075063968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19989 18884 602 984 0 19002 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 79956

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 15278
/proc/meminfo: memFree=1662592/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=79956 CPUtime=1601.8
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 397051 0 0 0 159470 710 0 0 25 0 1 0 8098142 81874944 18884 1992294400 4194304 8223781 140736075063968 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 19989 18884 602 984 0 19002 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 79956

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 15278
/proc/meminfo: memFree=1667924/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=75280 CPUtime=1661.79
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 414427 0 0 0 165443 736 0 0 25 0 1 0 8098142 77086720 17538 1992294400 4194304 8223781 140736075063968 18446744073709551615 6564636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18820 17538 602 984 0 17833 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 75280

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 15280
/proc/meminfo: memFree=1667924/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=75716 CPUtime=1721.77
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 426309 0 0 0 171418 759 0 0 25 0 1 0 8098142 77533184 17642 1992294400 4194304 8223781 140736075063968 18446744073709551615 6590175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18929 17642 602 984 0 17942 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 75716

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 15282
/proc/meminfo: memFree=1667676/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=75080 CPUtime=1781.76
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 445779 0 0 0 177389 787 0 0 25 0 1 0 8098142 76881920 17566 1992294400 4194304 8223781 140736075063968 18446744073709551615 6559461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18770 17566 602 984 0 17783 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 75080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 15282
/proc/meminfo: memFree=1667676/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=74260 CPUtime=1800.07
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 449447 0 0 0 179212 795 0 0 25 0 1 0 8098142 76042240 17460 1992294400 4194304 8223781 140736075063968 18446744073709551615 6569483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18565 17460 602 984 0 17578 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 74260

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15233

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 15282
/proc/meminfo: memFree=1667676/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=74260 CPUtime=1800.85
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 449624 0 0 0 179290 795 0 0 25 0 1 0 8098142 76042240 17460 1992294400 4194304 8223781 140736075063968 18446744073709551615 6559504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18565 17460 602 984 0 17578 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 74260

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 15283
/proc/meminfo: memFree=1667668/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=74260 CPUtime=1801.65
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 449722 0 0 0 179370 795 0 0 25 0 1 0 8098142 76042240 17460 1992294400 4194304 8223781 140736075063968 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18565 17460 602 984 0 17578 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 74260

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 15283
/proc/meminfo: memFree=1667668/2059040 swapFree=4164948/4192956
[pid=15233] ppid=15231 vsize=74260 CPUtime=1802.05
/proc/15233/stat : 15233 (pbscip.linux.x8) R 15231 15233 14721 0 -1 4202496 449771 0 0 0 179410 795 0 0 25 0 1 0 8098142 76042240 17460 1992294400 4194304 8223781 140736075063968 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15233/statm: 18565 17460 602 984 0 17578 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 74260

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.08
CPU user time (s): 1794.12
CPU system time (s): 7.96679
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 115636

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

runsolver used 2.92556 second user time and 8.5607 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-16 08:01:11
IDJOB=2666725
IDBENCH=48238
IDSOLVER=1169
FILE ID=node052/2666725-1276668071
PBS_JOBID= 11172500
Free space on /tmp= 62504 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.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-2666725-1276668071/watcher-2666725-1276668071 -o /tmp/evaluation-result-2666725-1276668071/solver-2666725-1276668071 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666725-1276668071.opb -t 1800 -m 1800

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=1936857581

node052.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.262
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.52
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.262
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1738132 kB
Buffers:         62016 kB
Cached:         145656 kB
SwapCached:       3620 kB
Active:         106648 kB
Inactive:       135848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1738132 kB
SwapTotal:     4192956 kB
SwapFree:      4164948 kB
Dirty:            4748 kB
Writeback:          40 kB
AnonPages:       31252 kB
Mapped:          14928 kB
Slab:            56608 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179696 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= 62500 MiB
End job on node052 at 2010-06-16 08:31:14