Trace number 2666713

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.11 1802.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_3.opb
MD5SUMa83973bc04af54d38c05a30d36c8573f
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-32
Best CPU time to get the best result obtained on this benchmark1798.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

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-2666713-1276666127.opb>
0.49/0.55	c original problem has 38460 variables (38460 bin, 0 int, 0 impl, 0 cont) and 38961 constraints
0.49/0.55	c problem read
0.49/0.55	c presolving settings loaded
0.99/1.08	o 0
0.99/1.08	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.99/1.08	c presolving:
2.49/2.57	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 298608 impls, 1000 clqs
4.99/5.02	c    (4.2s) probing: 101/38460 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.99/5.02	c    (4.2s) probing aborted: 100/100 successive totally useless probings
4.99/5.03	c presolving (2 rounds):
4.99/5.03	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.99/5.03	c  298608 implications, 1000 cliques
4.99/5.03	c presolved problem has 38460 variables (38460 bin, 0 int, 0 impl, 0 cont) and 38961 constraints
4.99/5.03	c    1000 constraints of type <setppc>
4.99/5.03	c   37460 constraints of type <and>
4.99/5.03	c       1 constraints of type <linear>
4.99/5.03	c     500 constraints of type <logicor>
4.99/5.03	c transformed objective value is always integral (scale: 1)
4.99/5.03	c Presolving Time: 3.96
4.99/5.03	c - non default parameters ----------------------------------------------------------------------
4.99/5.03	c # SCIP version 1.2.1.2
4.99/5.03	c 
4.99/5.03	c # frequency for displaying node information lines
4.99/5.03	c # [type: int, range: [-1,2147483647], default: 100]
4.99/5.03	c display/freq = 10000
4.99/5.03	c 
4.99/5.03	c # maximal time in seconds to run
4.99/5.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.03	c limits/time = 1799.46
4.99/5.03	c 
4.99/5.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.99/5.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.03	c limits/memory = 1620
4.99/5.03	c 
4.99/5.03	c # should presolving try to simplify inequalities
4.99/5.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.03	c constraints/linear/simplifyinequalities = TRUE
4.99/5.03	c 
4.99/5.03	c # should presolving try to simplify knapsacks
4.99/5.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.03	c constraints/knapsack/simplifyinequalities = TRUE
4.99/5.03	c 
4.99/5.03	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.99/5.03	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.03	c heuristics/undercover/freq = 0
4.99/5.03	c 
4.99/5.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.99/5.03	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.03	c separating/rapidlearning/freq = 0
4.99/5.03	c 
4.99/5.03	c -----------------------------------------------------------------------------------------------
4.99/5.03	c start solving
4.99/5.06	c 
1800.07/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-2666713-1276666127/watcher-2666713-1276666127 -o /tmp/evaluation-result-2666713-1276666127/solver-2666713-1276666127 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666713-1276666127.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/106 14352
/proc/meminfo: memFree=1669796/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=8020 CPUtime=0
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 1055 0 0 0 0 0 0 0 23 0 1 0 7903556 8212480 974 1992294400 4194304 8223781 140733408422240 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14352/statm: 2005 983 348 984 0 1018 0

[startup+0.060227 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14352
/proc/meminfo: memFree=1669796/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=15440 CPUtime=0.05
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 3117 0 0 0 4 1 0 0 25 0 1 0 7903556 15810560 3036 1992294400 4194304 8223781 140733408422240 18446744073709551615 7246918 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14352/statm: 3860 3036 366 984 0 2873 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15440

[startup+0.101225 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14352
/proc/meminfo: memFree=1669796/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=19236 CPUtime=0.09
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 4043 0 0 0 8 1 0 0 25 0 1 0 7903556 19697664 3962 1992294400 4194304 8223781 140733408422240 18446744073709551615 5650709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14352/statm: 4809 3962 366 984 0 3822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19236

[startup+0.301242 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14352
/proc/meminfo: memFree=1669796/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=37852 CPUtime=0.29
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 8607 0 0 0 26 3 0 0 25 0 1 0 7903556 38760448 8510 1992294400 4194304 8223781 140733408422240 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14352/statm: 9463 8522 366 984 0 8476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37852

[startup+0.701277 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14352
/proc/meminfo: memFree=1669796/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=92264 CPUtime=0.69
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 22702 0 0 0 61 8 0 0 25 0 1 0 7903556 94478336 22167 1992294400 4194304 8223781 140733408422240 18446744073709551615 7256810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 23066 22172 383 984 0 22079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92264

[startup+1.50135 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14353
/proc/meminfo: memFree=1564636/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=117760 CPUtime=1.49
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 28862 0 0 0 138 11 0 0 25 0 1 0 7903556 120586240 28327 1992294400 4194304 8223781 140733408422240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 29440 28327 432 984 0 28453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117760

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14353
/proc/meminfo: memFree=1547648/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=138684 CPUtime=3.09
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 36091 0 0 0 283 26 0 0 25 0 1 0 7903556 142012416 33576 1992294400 4194304 8223781 140733408422240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 34671 33576 459 984 0 33684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138684

[startup+6.30076 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14353
/proc/meminfo: memFree=1481184/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=279932 CPUtime=6.29
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 75254 0 0 0 580 49 0 0 25 0 1 0 7903556 286650368 66214 1992294400 4194304 8223781 140733408422240 18446744073709551615 6357952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 69983 66214 532 984 0 68996 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 279932

[startup+12.7003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14353
/proc/meminfo: memFree=1400088/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=290020 CPUtime=12.69
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 83960 0 0 0 1215 54 0 0 25 0 1 0 7903556 296980480 67767 1992294400 4194304 8223781 140733408422240 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 72505 67767 536 984 0 71518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 290020

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14353
/proc/meminfo: memFree=1395872/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=293044 CPUtime=25.49
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 100439 0 0 0 2486 63 0 0 25 0 1 0 7903556 300077056 68762 1992294400 4194304 8223781 140733408422240 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 73261 68762 536 984 0 72274 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 293044

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14355
/proc/meminfo: memFree=1394012/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=298648 CPUtime=51.08
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 153257 0 0 0 5018 90 0 0 25 0 1 0 7903556 305815552 69251 1992294400 4194304 8223781 140733408422240 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 74662 69251 536 984 0 73675 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 298648

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14355
/proc/meminfo: memFree=1385332/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=305824 CPUtime=102.27
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 218204 0 0 0 10100 127 0 0 25 0 1 0 7903556 313163776 71327 1992294400 4194304 8223781 140733408422240 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 76456 71327 536 984 0 75469 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 305824

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14357
/proc/meminfo: memFree=1383720/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=308348 CPUtime=162.25
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 253098 0 0 0 16079 146 0 0 25 0 1 0 7903556 315748352 71740 1992294400 4194304 8223781 140733408422240 18446744073709551615 6532641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 77087 71740 536 984 0 76100 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 308348

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14362
/proc/meminfo: memFree=1382108/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=309404 CPUtime=222.23
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 279635 0 0 0 22061 162 0 0 25 0 1 0 7903556 316829696 71985 1992294400 4194304 8223781 140733408422240 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 77351 71985 536 984 0 76364 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 309404

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14364
/proc/meminfo: memFree=1380248/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=310032 CPUtime=282.22
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 307381 0 0 0 28043 179 0 0 25 0 1 0 7903556 317472768 72481 1992294400 4194304 8223781 140733408422240 18446744073709551615 6562466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 77508 72481 536 984 0 76521 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 310032

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14366
/proc/meminfo: memFree=1374792/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=318488 CPUtime=342.21
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 332758 0 0 0 34028 193 0 0 25 0 1 0 7903556 326131712 73848 1992294400 4194304 8223781 140733408422240 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 79622 73848 536 984 0 78635 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 318488

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14366
/proc/meminfo: memFree=1373552/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=319864 CPUtime=402.2
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 358153 0 0 0 40012 208 0 0 25 0 1 0 7903556 327540736 74165 1992294400 4194304 8223781 140733408422240 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 79966 74165 536 984 0 78979 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 319864

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14368
/proc/meminfo: memFree=1373552/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=320668 CPUtime=462.18
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 380824 0 0 0 45997 221 0 0 25 0 1 0 7903556 328364032 74147 1992294400 4194304 8223781 140733408422240 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 80167 74147 536 984 0 79180 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 320668

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14370
/proc/meminfo: memFree=1373676/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=322040 CPUtime=522.17
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 404099 0 0 0 51982 235 0 0 25 0 1 0 7903556 329768960 74142 1992294400 4194304 8223781 140733408422240 18446744073709551615 6569942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 80510 74142 536 984 0 79523 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 322040

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14372
/proc/meminfo: memFree=1372312/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=322052 CPUtime=582.15
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 427359 0 0 0 57965 250 0 0 25 0 1 0 7903556 329781248 74465 1992294400 4194304 8223781 140733408422240 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 80513 74465 536 984 0 79526 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 322052

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14374
/proc/meminfo: memFree=1371816/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=323680 CPUtime=642.14
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 451136 0 0 0 63951 263 0 0 25 0 1 0 7903556 331448320 74592 1992294400 4194304 8223781 140733408422240 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 80920 74592 536 984 0 79933 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 323680

[startup+702.301 s]

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

/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 607616 0 0 0 105849 355 0 0 25 0 1 0 7903556 332390400 74720 1992294400 4194304 8223781 140733408422240 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81150 74720 536 984 0 80163 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 324600

[startup+1122.3 s]
/proc/loadavg: 1.19 1.07 1.01 2/107 14386
/proc/meminfo: memFree=1372064/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=324652 CPUtime=1122.02
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 630842 0 0 0 111835 367 0 0 25 0 1 0 7903556 332443648 74549 1992294400 4194304 8223781 140733408422240 18446744073709551615 6503932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81163 74549 536 984 0 80176 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 324652

[startup+1182.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 14388
/proc/meminfo: memFree=1371196/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=324808 CPUtime=1182.01
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 650528 0 0 0 117822 379 0 0 25 0 1 0 7903556 332603392 74727 1992294400 4194304 8223781 140733408422240 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81202 74727 536 984 0 80215 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 324808

[startup+1242.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 14390
/proc/meminfo: memFree=1371692/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=324924 CPUtime=1242
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 673713 0 0 0 123808 392 0 0 25 0 1 0 7903556 332722176 74583 1992294400 4194304 8223781 140733408422240 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81231 74583 536 984 0 80244 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 324924

[startup+1302.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 14390
/proc/meminfo: memFree=1371196/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=324916 CPUtime=1301.99
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 693194 0 0 0 129795 404 0 0 25 0 1 0 7903556 332713984 74656 1992294400 4194304 8223781 140733408422240 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81229 74656 536 984 0 80242 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 324916

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14392
/proc/meminfo: memFree=1372560/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325028 CPUtime=1361.97
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 715756 0 0 0 135781 416 0 0 25 0 1 0 7903556 332828672 74338 1992294400 4194304 8223781 140733408422240 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81257 74338 536 984 0 80270 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 325028

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 14394
/proc/meminfo: memFree=1372064/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325056 CPUtime=1421.96
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 738385 0 0 0 141766 430 0 0 25 0 1 0 7903556 332857344 74450 1992294400 4194304 8223781 140733408422240 18446744073709551615 6612622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81264 74450 536 984 0 80277 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 325056

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 14396
/proc/meminfo: memFree=1371320/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=334708 CPUtime=1481.94
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 759250 0 0 0 147752 442 0 0 25 0 1 0 7903556 342740992 76151 1992294400 4194304 8223781 140733408422240 18446744073709551615 6590161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 83677 76151 536 984 0 82690 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 334708

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14398
/proc/meminfo: memFree=1371692/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325040 CPUtime=1541.92
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 779716 0 0 0 153738 454 0 0 25 0 1 0 7903556 332840960 74556 1992294400 4194304 8223781 140733408422240 18446744073709551615 6562374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81260 74556 536 984 0 80273 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 325040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14398
/proc/meminfo: memFree=1365864/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325056 CPUtime=1601.91
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 804395 0 0 0 159724 467 0 0 25 0 1 0 7903556 332857344 74447 1992294400 4194304 8223781 140733408422240 18446744073709551615 6570006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81264 74447 536 984 0 80277 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 325056

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14400
/proc/meminfo: memFree=1372064/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325132 CPUtime=1661.89
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 825824 0 0 0 165710 479 0 0 25 0 1 0 7903556 332935168 74468 1992294400 4194304 8223781 140733408422240 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81283 74468 536 984 0 80296 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 325132

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14402
/proc/meminfo: memFree=1371444/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=334852 CPUtime=1721.88
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 846255 0 0 0 171696 492 0 0 25 0 1 0 7903556 342888448 76082 1992294400 4194304 8223781 140733408422240 18446744073709551615 6589943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 83713 76082 536 984 0 82726 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 334852

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14404
/proc/meminfo: memFree=1372560/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325356 CPUtime=1781.87
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 872093 0 0 0 177681 506 0 0 25 0 1 0 7903556 333164544 74270 1992294400 4194304 8223781 140733408422240 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81339 74270 536 984 0 80352 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 325356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14404
/proc/meminfo: memFree=1371320/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325336 CPUtime=1800.07
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 878390 0 0 0 179497 510 0 0 25 0 1 0 7903556 333144064 74548 1992294400 4194304 8223781 140733408422240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81334 74548 536 984 0 80347 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 325336

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14352

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 14405
/proc/meminfo: memFree=1371312/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325336 CPUtime=1800.96
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 878403 0 0 0 179586 510 0 0 25 0 1 0 7903556 333144064 74561 1992294400 4194304 8223781 140733408422240 18446744073709551615 6567118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81334 74561 536 984 0 80347 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 325336

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14405
/proc/meminfo: memFree=1371312/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325336 CPUtime=1801.76
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 878412 0 0 0 179666 510 0 0 25 0 1 0 7903556 333144064 74570 1992294400 4194304 8223781 140733408422240 18446744073709551615 6539235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81334 74570 536 984 0 80347 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 325336

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14405
/proc/meminfo: memFree=1371312/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=325336 CPUtime=1801.96
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 878414 0 0 0 179686 510 0 0 25 0 1 0 7903556 333144064 74572 1992294400 4194304 8223781 140733408422240 18446744073709551615 6592382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 81334 74572 536 984 0 80347 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 325336

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14405
/proc/meminfo: memFree=1371312/2059040 swapFree=4192956/4192956
[pid=14352] ppid=14350 vsize=334904 CPUtime=1802.07
/proc/14352/stat : 14352 (pbscip.linux.x8) R 14350 14352 13914 0 -1 4202496 879926 0 0 0 179696 511 0 0 25 0 1 0 7903556 342941696 76084 1992294400 4194304 8223781 140733408422240 18446744073709551615 6584206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 83726 76084 536 984 0 82739 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 334904

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.11
CPU user time (s): 1796.97
CPU system time (s): 5.14122
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 334928

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

runsolver used 3.04354 second user time and 8.44272 second system time

The end

Launcher Data 

Begin job on node057 at 2010-06-16 07:28:47
IDJOB=2666713
IDBENCH=48226
IDSOLVER=1169
FILE ID=node057/2666713-1276666127
PBS_JOBID= 11172474
Free space on /tmp= 62532 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_500_60_3.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-2666713-1276666127/watcher-2666713-1276666127 -o /tmp/evaluation-result-2666713-1276666127/solver-2666713-1276666127 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666713-1276666127.opb -t 1800 -m 1800

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

MD5SUM BENCH= a83973bc04af54d38c05a30d36c8573f
RANDOM SEED=1558078141

node057.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.247
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.49
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.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1670324 kB
Buffers:         92632 kB
Cached:         158480 kB
SwapCached:          0 kB
Active:         130780 kB
Inactive:       179600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1670324 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5496 kB
Writeback:           0 kB
AnonPages:       59252 kB
Mapped:          15464 kB
Slab:            56716 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180864 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= 62528 MiB
End job on node057 at 2010-06-16 07:58:50