Trace number 2666762

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.07 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_3.opb
MD5SUM9fd52bec996ed780d55ecea52b6ce11a
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-61
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
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)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

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-2666762-1276674210.opb>
0.19/0.24	c original problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17223 constraints
0.19/0.24	c problem read
0.19/0.24	c presolving settings loaded
0.39/0.47	o 0
0.39/0.47	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.39/0.47	c presolving:
1.00/1.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 126776 impls, 1000 clqs
1.99/2.08	c    (1.6s) probing: 101/16722 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.99/2.08	c    (1.6s) probing aborted: 100/100 successive totally useless probings
1.99/2.08	c presolving (2 rounds):
1.99/2.08	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.99/2.08	c  126776 implications, 1000 cliques
1.99/2.08	c presolved problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17223 constraints
1.99/2.08	c    1000 constraints of type <setppc>
1.99/2.08	c   15722 constraints of type <and>
1.99/2.08	c       1 constraints of type <linear>
1.99/2.08	c     500 constraints of type <logicor>
1.99/2.08	c transformed objective value is always integral (scale: 1)
1.99/2.08	c Presolving Time: 1.51
1.99/2.08	c - non default parameters ----------------------------------------------------------------------
1.99/2.08	c # SCIP version 1.2.1.2
1.99/2.08	c 
1.99/2.08	c # frequency for displaying node information lines
1.99/2.08	c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.08	c display/freq = 10000
1.99/2.08	c 
1.99/2.08	c # maximal time in seconds to run
1.99/2.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.08	c limits/time = 1799.76
1.99/2.08	c 
1.99/2.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.08	c limits/memory = 1620
1.99/2.08	c 
1.99/2.08	c # should presolving try to simplify inequalities
1.99/2.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.08	c constraints/linear/simplifyinequalities = TRUE
1.99/2.08	c 
1.99/2.08	c # should presolving try to simplify knapsacks
1.99/2.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.08	c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.08	c 
1.99/2.08	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.99/2.08	c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.08	c heuristics/undercover/freq = 0
1.99/2.08	c 
1.99/2.08	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.99/2.08	c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.08	c separating/rapidlearning/freq = 0
1.99/2.08	c 
1.99/2.08	c -----------------------------------------------------------------------------------------------
1.99/2.08	c start solving
2.10/2.10	c 
1800.05/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-2666762-1276674210/watcher-2666762-1276674210 -o /tmp/evaluation-result-2666762-1276674210/solver-2666762-1276674210 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666762-1276674210.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.10 3/106 15916
/proc/meminfo: memFree=1681092/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=7872 CPUtime=0
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 1087 0 0 0 0 0 0 0 18 0 1 0 8713067 8060928 1007 1992294400 4194304 8223781 140734729560160 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15916/statm: 1968 1018 348 984 0 981 0

[startup+0.08156 s]
/proc/loadavg: 0.92 0.98 1.10 3/106 15916
/proc/meminfo: memFree=1681092/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=18524 CPUtime=0.07
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 3765 0 0 0 6 1 0 0 20 0 1 0 8713067 18968576 3685 1992294400 4194304 8223781 140734729560160 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15916/statm: 4631 3702 366 984 0 3644 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18524

[startup+0.101562 s]
/proc/loadavg: 0.92 0.98 1.10 3/106 15916
/proc/meminfo: memFree=1681092/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=19052 CPUtime=0.09
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 4039 0 0 0 8 1 0 0 20 0 1 0 8713067 19509248 3959 1992294400 4194304 8223781 140734729560160 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15916/statm: 4763 3959 366 984 0 3776 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19052

[startup+0.301583 s]
/proc/loadavg: 0.92 0.98 1.10 3/106 15916
/proc/meminfo: memFree=1681092/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=44936 CPUtime=0.29
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 10854 0 0 0 25 4 0 0 20 0 1 0 8713067 46014464 10410 1992294400 4194304 8223781 140734729560160 18446744073709551615 4461608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 11234 10410 383 984 0 10247 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44936

[startup+0.701626 s]
/proc/loadavg: 0.92 0.98 1.10 3/106 15916
/proc/meminfo: memFree=1681092/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=62320 CPUtime=0.69
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 15322 0 0 0 62 7 0 0 20 0 1 0 8713067 63815680 14525 1992294400 4194304 8223781 140734729560160 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 15580 14525 432 984 0 14593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62320

[startup+1.50171 s]
/proc/loadavg: 0.92 0.98 1.10 2/107 15917
/proc/meminfo: memFree=1618712/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=69504 CPUtime=1.49
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 19270 0 0 0 124 25 0 0 23 0 1 0 8713067 71172096 16454 1992294400 4194304 8223781 140734729560160 18446744073709551615 5496946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 17376 16454 517 984 0 16389 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69504

[startup+3.10188 s]
/proc/loadavg: 0.92 0.98 1.10 2/107 15917
/proc/meminfo: memFree=1614372/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=132772 CPUtime=3.09
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 36321 0 0 0 277 32 0 0 25 0 1 0 8713067 135958528 30917 1992294400 4194304 8223781 140734729560160 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 33193 30917 542 984 0 32206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132772

[startup+6.30123 s]
/proc/loadavg: 0.93 0.98 1.10 2/107 15917
/proc/meminfo: memFree=1557704/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=134436 CPUtime=6.29
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 40432 0 0 0 594 35 0 0 25 0 1 0 8713067 137662464 31213 1992294400 4194304 8223781 140734729560160 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 33609 31213 537 984 0 32622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134436

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 1.10 2/107 15917
/proc/meminfo: memFree=1556340/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=136084 CPUtime=12.69
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 47069 0 0 0 1230 39 0 0 25 0 1 0 8713067 139350016 31580 1992294400 4194304 8223781 140734729560160 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 34021 31580 537 984 0 33034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 136084

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 1.10 2/107 15919
/proc/meminfo: memFree=1553612/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=139276 CPUtime=25.48
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 62653 0 0 0 2499 49 0 0 25 0 1 0 8713067 142618624 32263 1992294400 4194304 8223781 140734729560160 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 34819 32263 537 984 0 33832 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 139276

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 1.10 2/107 15919
/proc/meminfo: memFree=1551752/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=140468 CPUtime=51.07
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 76996 0 0 0 5047 60 0 0 25 0 1 0 8713067 143839232 32731 1992294400 4194304 8223781 140734729560160 18446744073709551615 6359679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 35117 32731 536 984 0 34130 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 140468

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 1.09 2/107 15921
/proc/meminfo: memFree=1548900/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=144112 CPUtime=102.26
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 103836 0 0 0 10145 81 0 0 25 0 1 0 8713067 147570688 33371 1992294400 4194304 8223781 140734729560160 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 36028 33371 536 984 0 35041 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 144112

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.08 2/107 15921
/proc/meminfo: memFree=1546420/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=147388 CPUtime=162.24
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 131164 0 0 0 16123 101 0 0 25 0 1 0 8713067 150925312 34019 1992294400 4194304 8223781 140734729560160 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 36847 34019 536 984 0 35860 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 147388

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.08 2/107 15923
/proc/meminfo: memFree=1544436/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=150392 CPUtime=222.22
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 158635 0 0 0 22102 120 0 0 25 0 1 0 8713067 154001408 34474 1992294400 4194304 8223781 140734729560160 18446744073709551615 6359688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 37598 34474 536 984 0 36611 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 150392

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/107 15925
/proc/meminfo: memFree=1543940/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=150552 CPUtime=282.2
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 182037 0 0 0 28084 136 0 0 25 0 1 0 8713067 154165248 34620 1992294400 4194304 8223781 140734729560160 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 37638 34620 536 984 0 36651 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 150552

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 15927
/proc/meminfo: memFree=1544064/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=151720 CPUtime=342.19
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 209175 0 0 0 34063 156 0 0 25 0 1 0 8713067 155361280 34584 1992294400 4194304 8223781 140734729560160 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 37930 34584 536 984 0 36943 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 151720

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 15929
/proc/meminfo: memFree=1543196/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=155904 CPUtime=402.17
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 234242 0 0 0 40044 173 0 0 25 0 1 0 8713067 159645696 35455 1992294400 4194304 8223781 140734729560160 18446744073709551615 6596627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38976 35455 536 984 0 37989 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 155904

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.05 2/107 15929
/proc/meminfo: memFree=1543444/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=151476 CPUtime=462.15
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 262607 0 0 0 46022 193 0 0 25 0 1 0 8713067 155111424 34690 1992294400 4194304 8223781 140734729560160 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 37869 34690 536 984 0 36882 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 151476

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.05 2/107 15931
/proc/meminfo: memFree=1543692/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=155560 CPUtime=522.13
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 292106 0 0 0 51999 214 0 0 25 0 1 0 8713067 159293440 35310 1992294400 4194304 8223781 140734729560160 18446744073709551615 6590207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38890 35310 536 984 0 37903 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 155560

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 15933
/proc/meminfo: memFree=1543444/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=155832 CPUtime=582.11
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 318523 0 0 0 57978 233 0 0 25 0 1 0 8713067 159571968 35315 1992294400 4194304 8223781 140734729560160 18446744073709551615 6590906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38958 35315 536 984 0 37971 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 155832

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 15935
/proc/meminfo: memFree=1543320/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=151992 CPUtime=642.1
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 342954 0 0 0 63959 251 0 0 25 0 1 0 8713067 155639808 34699 1992294400 4194304 8223781 140734729560160 18446744073709551615 6559376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 37998 34699 536 984 0 37011 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 151992

[startup+702.302 s]

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

/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 480165 0 0 0 99859 340 0 0 25 0 1 0 8713067 157876224 34935 1992294400 4194304 8223781 140734729560160 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38544 34935 536 984 0 37557 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 154176

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15954
/proc/meminfo: memFree=1540964/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=154084 CPUtime=1061.96
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 502708 0 0 0 105842 354 0 0 25 0 1 0 8713067 157782016 34909 1992294400 4194304 8223781 140734729560160 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38521 34909 536 984 0 37534 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 154084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15956
/proc/meminfo: memFree=1540840/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=154128 CPUtime=1121.94
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 523822 0 0 0 111826 368 0 0 25 0 1 0 8713067 157827072 35188 1992294400 4194304 8223781 140734729560160 18446744073709551615 6569782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38532 35188 536 984 0 37545 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 154128

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15958
/proc/meminfo: memFree=1541088/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153988 CPUtime=1181.92
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 547835 0 0 0 117809 383 0 0 25 0 1 0 8713067 157683712 34860 1992294400 4194304 8223781 140734729560160 18446744073709551615 6570102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38497 34860 536 984 0 37510 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 153988

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15960
/proc/meminfo: memFree=1541460/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153996 CPUtime=1241.9
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 570089 0 0 0 123793 397 0 0 25 0 1 0 8713067 157691904 34984 1992294400 4194304 8223781 140734729560160 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38499 34984 536 984 0 37512 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 153996

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15962
/proc/meminfo: memFree=1538360/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=158020 CPUtime=1301.89
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 592588 0 0 0 129774 415 0 0 25 0 1 0 8713067 161812480 35741 1992294400 4194304 8223781 140734729560160 18446744073709551615 6590364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 39505 35741 536 984 0 38518 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 158020

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15962
/proc/meminfo: memFree=1541460/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153844 CPUtime=1361.87
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 615241 0 0 0 135756 431 0 0 25 0 1 0 8713067 157536256 34996 1992294400 4194304 8223781 140734729560160 18446744073709551615 6570065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38461 34996 536 984 0 37474 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 153844

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15964
/proc/meminfo: memFree=1542452/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153904 CPUtime=1421.86
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 638220 0 0 0 141737 449 0 0 25 0 1 0 8713067 157597696 34707 1992294400 4194304 8223781 140734729560160 18446744073709551615 6570006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38476 34707 536 984 0 37489 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 153904

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15966
/proc/meminfo: memFree=1542080/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153888 CPUtime=1481.83
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 660756 0 0 0 147717 466 0 0 25 0 1 0 8713067 157581312 34797 1992294400 4194304 8223781 140734729560160 18446744073709551615 6299640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38472 34797 536 984 0 37485 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 153888

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15968
/proc/meminfo: memFree=1541832/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153772 CPUtime=1541.82
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 682906 0 0 0 153699 483 0 0 25 0 1 0 8713067 157462528 34897 1992294400 4194304 8223781 140734729560160 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38443 34897 536 984 0 37456 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 153772

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15970
/proc/meminfo: memFree=1541832/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153772 CPUtime=1601.79
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 705689 0 0 0 159680 499 0 0 25 0 1 0 8713067 157462528 34899 1992294400 4194304 8223781 140734729560160 18446744073709551615 6560124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38443 34899 536 984 0 37456 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 153772

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15970
/proc/meminfo: memFree=1542204/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153700 CPUtime=1661.78
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 729547 0 0 0 165661 517 0 0 25 0 1 0 8713067 157388800 34789 1992294400 4194304 8223781 140734729560160 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38425 34789 536 984 0 37438 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 153700

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15972
/proc/meminfo: memFree=1541832/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153664 CPUtime=1721.75
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 753119 0 0 0 171642 533 0 0 25 0 1 0 8713067 157351936 34734 1992294400 4194304 8223781 140734729560160 18446744073709551615 6614440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38416 34734 536 984 0 37429 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 153664

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15974
/proc/meminfo: memFree=1541956/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153672 CPUtime=1781.74
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 775693 0 0 0 177624 550 0 0 25 0 1 0 8713067 157360128 34848 1992294400 4194304 8223781 140734729560160 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38418 34848 536 984 0 37431 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 153672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15974
/proc/meminfo: memFree=1542204/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153628 CPUtime=1800.05
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 783225 0 0 0 179449 556 0 0 25 0 1 0 8713067 157315072 34770 1992294400 4194304 8223781 140734729560160 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38407 34770 536 984 0 37420 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 153628

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15916

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 15974
/proc/meminfo: memFree=1542204/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153628 CPUtime=1800.84
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 783255 0 0 0 179528 556 0 0 25 0 1 0 8713067 157315072 34800 1992294400 4194304 8223781 140734729560160 18446744073709551615 6612616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38407 34800 536 984 0 37420 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 153628

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 15975
/proc/meminfo: memFree=1541948/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153628 CPUtime=1801.63
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 783287 0 0 0 179607 556 0 0 25 0 1 0 8713067 157315072 34832 1992294400 4194304 8223781 140734729560160 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38407 34832 536 984 0 37420 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 153628

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 15975
/proc/meminfo: memFree=1541948/2059040 swapFree=4192956/4192956
[pid=15916] ppid=15914 vsize=153628 CPUtime=1802.03
/proc/15916/stat : 15916 (pbscip.linux.x8) R 15914 15916 15812 0 -1 4202496 783299 0 0 0 179647 556 0 0 25 0 1 0 8713067 157315072 34844 1992294400 4194304 8223781 140734729560160 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15916/statm: 38407 34844 536 984 0 37420 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 153628

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.07
CPU user time (s): 1796.5
CPU system time (s): 5.57715
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 158356

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

runsolver used 2.95855 second user time and 8.5317 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-16 09:43:30
IDJOB=2666762
IDBENCH=48275
IDSOLVER=1169
FILE ID=node047/2666762-1276674210
PBS_JOBID= 11172544
Free space on /tmp= 62540 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_25_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-2666762-1276674210/watcher-2666762-1276674210 -o /tmp/evaluation-result-2666762-1276674210/solver-2666762-1276674210 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666762-1276674210.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9fd52bec996ed780d55ecea52b6ce11a
RANDOM SEED=149902990

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
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:       1681620 kB
Buffers:         97148 kB
Cached:         153564 kB
SwapCached:          0 kB
Active:         132084 kB
Inactive:       177832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1681620 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5008 kB
Writeback:          12 kB
AnonPages:       59252 kB
Mapped:          15376 kB
Slab:            45704 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181360 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= 62536 MiB
End job on node047 at 2010-06-16 10:13:33