Trace number 2665314

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.05 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_5.opb
MD5SUMdfd3914a8aa1cc34e3abdf0a14d8373d
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-59
Best CPU time to get the best result obtained on this benchmark1798.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -82
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)31412
Sum of products size (including duplicates)62824
Number of different products15706
Sum of products size31412

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2665314-1276671241.opb>
0.09/0.19	c original problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17207 constraints
0.09/0.19	c problem read
0.09/0.19	c presolving settings loaded
0.39/0.41	o 0
0.39/0.41	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.39/0.41	c presolving:
0.89/0.93	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 126648 impls, 1000 clqs
1.89/1.95	c    (1.5s) probing: 101/16706 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.89/1.95	c    (1.5s) probing aborted: 100/100 successive totally useless probings
1.89/1.95	c presolving (2 rounds):
1.89/1.95	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.89/1.95	c  126648 implications, 1000 cliques
1.89/1.95	c presolved problem has 16706 variables (16706 bin, 0 int, 0 impl, 0 cont) and 17207 constraints
1.89/1.95	c    1000 constraints of type <setppc>
1.89/1.95	c   15706 constraints of type <and>
1.89/1.95	c       1 constraints of type <linear>
1.89/1.95	c     500 constraints of type <logicor>
1.89/1.95	c transformed objective value is always integral (scale: 1)
1.89/1.95	c Presolving Time: 1.46
1.89/1.95	c - non default parameters ----------------------------------------------------------------------
1.89/1.95	c # SCIP version 1.2.1.2
1.89/1.95	c 
1.89/1.95	c # frequency for displaying node information lines
1.89/1.95	c # [type: int, range: [-1,2147483647], default: 100]
1.89/1.95	c display/freq = 10000
1.89/1.95	c 
1.89/1.95	c # maximal time in seconds to run
1.89/1.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.95	c limits/time = 1799.82
1.89/1.95	c 
1.89/1.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.89/1.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.95	c limits/memory = 1620
1.89/1.95	c 
1.89/1.95	c # should presolving try to simplify inequalities
1.89/1.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.95	c constraints/linear/simplifyinequalities = TRUE
1.89/1.95	c 
1.89/1.95	c # should presolving try to simplify knapsacks
1.89/1.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.95	c constraints/knapsack/simplifyinequalities = TRUE
1.89/1.95	c 
1.89/1.95	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.89/1.95	c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.95	c heuristics/undercover/freq = 0
1.89/1.95	c 
1.89/1.95	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.89/1.95	c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.95	c separating/rapidlearning/freq = 0
1.89/1.95	c 
1.89/1.95	c -----------------------------------------------------------------------------------------------
1.89/1.95	c start solving
1.89/1.97	c 
1531.29/1531.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1531.29/1531.89	c t1524s|     1 |     0 |126639 |     - |  76M|   0 |1989 |  16k|  17k|  16k|  32k|   0 |   0 |   0 |-2.500000e+02 | 0.000000e+00 | 100.00%
1531.49/1532.09	o -3
1531.49/1532.09	c R1524s|     1 |     0 |126639 |     - |  76M|   0 |1989 |  16k|  17k|  16k|  32k|   0 |   0 |   0 |-2.500000e+02 |-3.000000e+00 |  98.80%
1800.03/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-2665314-1276671241/watcher-2665314-1276671241 -o /tmp/evaluation-result-2665314-1276671241/solver-2665314-1276671241 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665314-1276671241.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 14223
/proc/meminfo: memFree=1756588/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=9436 CPUtime=0
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1134 0 0 0 0 0 0 0 25 0 1 0 8418174 9662464 1055 1992294400 4194304 9819077 140736976367680 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14223/statm: 2359 1064 371 1374 0 980 0

[startup+0.078024 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 14223
/proc/meminfo: memFree=1756588/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=20620 CPUtime=0.07
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 4063 0 0 0 6 1 0 0 25 0 1 0 8418174 21114880 3984 1992294400 4194304 9819077 140736976367680 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14223/statm: 5155 3984 389 1374 0 3776 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20620

[startup+0.102026 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 14223
/proc/meminfo: memFree=1756588/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=24332 CPUtime=0.09
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 5027 0 0 0 8 1 0 0 25 0 1 0 8418174 24915968 4948 1992294400 4194304 9819077 140736976367680 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14223/statm: 6083 4948 389 1374 0 4704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24332

[startup+0.301047 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 14223
/proc/meminfo: memFree=1756588/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=54848 CPUtime=0.29
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 12993 0 0 0 25 4 0 0 25 0 1 0 8418174 56164352 12560 1992294400 4194304 9819077 140736976367680 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 13712 12561 450 1374 0 12333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54848

[startup+0.701089 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 14223
/proc/meminfo: memFree=1756588/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=63700 CPUtime=0.69
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 15383 0 0 0 60 9 0 0 25 0 1 0 8418174 65228800 14597 1992294400 4194304 9819077 140736976367680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 15925 14597 478 1374 0 14546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63700

[startup+1.50017 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14224
/proc/meminfo: memFree=1693836/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=70344 CPUtime=1.49
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 19201 0 0 0 127 22 0 0 25 0 1 0 8418174 72032256 16394 1992294400 4194304 9819077 140736976367680 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 17586 16394 562 1374 0 16207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70344

[startup+3.10034 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14224
/proc/meminfo: memFree=1670648/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=143448 CPUtime=3.09
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 35825 0 0 0 281 28 0 0 25 0 1 0 8418174 146890752 30530 1992294400 4194304 9819077 140736976367680 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 35862 30530 635 1374 0 34483 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143448

[startup+6.30068 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14224
/proc/meminfo: memFree=1636300/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=149976 CPUtime=6.29
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 41385 0 0 0 598 31 0 0 25 0 1 0 8418174 153575424 30945 1992294400 4194304 9819077 140736976367680 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 37494 30945 637 1374 0 36115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149976

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14224
/proc/meminfo: memFree=1632952/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=151252 CPUtime=12.69
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 49537 0 0 0 1233 36 0 0 25 0 1 0 8418174 154882048 30593 1992294400 4194304 9819077 140736976367680 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 37813 30593 637 1374 0 36434 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151252

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14224
/proc/meminfo: memFree=1634316/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=151892 CPUtime=25.49
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 61594 0 0 0 2504 45 0 0 25 0 1 0 8418174 155537408 31133 1992294400 4194304 9819077 140736976367680 18446744073709551615 6198986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 37973 31133 638 1374 0 36594 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 151892

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14226
/proc/meminfo: memFree=1634812/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=153112 CPUtime=51.07
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 86929 0 0 0 5046 61 0 0 25 0 1 0 8418174 156786688 31134 1992294400 4194304 9819077 140736976367680 18446744073709551615 6192350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 38278 31134 638 1374 0 36899 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 153112

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14226
/proc/meminfo: memFree=1635184/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=154168 CPUtime=102.25
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 138022 0 0 0 10131 94 0 0 25 0 1 0 8418174 157868032 30747 1992294400 4194304 9819077 140736976367680 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 38542 30747 638 1374 0 37163 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 154168

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14228
/proc/meminfo: memFree=1632704/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=154876 CPUtime=162.23
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 192657 0 0 0 16095 128 0 0 25 0 1 0 8418174 158593024 31671 1992294400 4194304 9819077 140736976367680 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 38719 31671 638 1374 0 37340 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 154876

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14230
/proc/meminfo: memFree=1630348/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=155452 CPUtime=222.21
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 241235 0 0 0 22063 158 0 0 25 0 1 0 8418174 159182848 31991 1992294400 4194304 9819077 140736976367680 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 38863 31991 638 1374 0 37484 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 155452

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14232
/proc/meminfo: memFree=1629232/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=155736 CPUtime=282.19
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 286079 0 0 0 28033 186 0 0 25 0 1 0 8418174 159473664 32331 1992294400 4194304 9819077 140736976367680 18446744073709551615 6699025 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 38934 32331 638 1374 0 37555 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 155736

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14232
/proc/meminfo: memFree=1632828/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=155860 CPUtime=342.17
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 334275 0 0 0 34003 214 0 0 25 0 1 0 8418174 159600640 31428 1992294400 4194304 9819077 140736976367680 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 38965 31428 638 1374 0 37586 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 155860

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14234
/proc/meminfo: memFree=1628364/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=156024 CPUtime=402.16
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 376433 0 0 0 39977 239 0 0 25 0 1 0 8418174 159768576 32508 1992294400 4194304 9819077 140736976367680 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 39006 32508 638 1374 0 37627 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 156024

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14245
/proc/meminfo: memFree=1631216/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=156120 CPUtime=462.12
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 423805 0 0 0 45948 264 0 0 25 0 1 0 8418174 159866880 31903 1992294400 4194304 9819077 140736976367680 18446744073709551615 7295954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 39030 31903 638 1374 0 37651 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 156120

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14247
/proc/meminfo: memFree=1627248/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=156152 CPUtime=522.1
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 464471 0 0 0 51920 290 0 0 25 0 1 0 8418174 159899648 32821 1992294400 4194304 9819077 140736976367680 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 39038 32821 638 1374 0 37659 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 156152

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14249
/proc/meminfo: memFree=1629728/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=159160 CPUtime=582.09
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 509054 0 0 0 57896 313 0 0 25 0 1 0 8418174 162979840 32435 1992294400 4194304 9819077 140736976367680 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 39790 32435 638 1374 0 38411 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 159160

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14249
/proc/meminfo: memFree=1626628/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=159188 CPUtime=642.08
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 554847 0 0 0 63870 338 0 0 25 0 1 0 8418174 163008512 32795 1992294400 4194304 9819077 140736976367680 18446744073709551615 7297875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 39797 32795 638 1374 0 38418 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 159188

[startup+702.301 s]

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

/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 809611 0 0 0 99714 482 0 0 25 0 1 0 8418174 166285312 32638 1992294400 4194304 9819077 140736976367680 18446744073709551615 7289479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40597 32638 638 1374 0 39218 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 162388

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14261
/proc/meminfo: memFree=1626876/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162360 CPUtime=1061.94
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 850587 0 0 0 105688 506 0 0 25 0 1 0 8418174 166256640 32766 1992294400 4194304 9819077 140736976367680 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40590 32766 638 1374 0 39211 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 162360

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14263
/proc/meminfo: memFree=1624396/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162424 CPUtime=1121.92
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 894823 0 0 0 111660 532 0 0 25 0 1 0 8418174 166322176 31913 1992294400 4194304 9819077 140736976367680 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40606 31913 638 1374 0 39227 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 162424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14265
/proc/meminfo: memFree=1623900/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162624 CPUtime=1181.9
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 936724 0 0 0 117635 555 0 0 25 0 1 0 8418174 166526976 31856 1992294400 4194304 9819077 140736976367680 18446744073709551615 7311718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40656 31856 638 1374 0 39277 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 162624

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14265
/proc/meminfo: memFree=1626008/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162588 CPUtime=1241.88
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 978761 0 0 0 123611 577 0 0 25 0 1 0 8418174 166490112 32868 1992294400 4194304 9819077 140736976367680 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40647 32868 638 1374 0 39268 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 162588

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14267
/proc/meminfo: memFree=1629356/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162560 CPUtime=1301.88
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1025423 0 0 0 129584 604 0 0 25 0 1 0 8418174 166461440 31944 1992294400 4194304 9819077 140736976367680 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40640 31944 638 1374 0 39261 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 162560

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14269
/proc/meminfo: memFree=1628612/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162464 CPUtime=1361.85
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1072444 0 0 0 135553 632 0 0 25 0 1 0 8418174 166363136 32472 1992294400 4194304 9819077 140736976367680 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40616 32472 638 1374 0 39237 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 162464

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14271
/proc/meminfo: memFree=1624892/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162464 CPUtime=1421.84
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1115773 0 0 0 141529 655 0 0 25 0 1 0 8418174 166363136 33077 1992294400 4194304 9819077 140736976367680 18446744073709551615 7293373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40616 33077 638 1374 0 39237 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 162464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14273
/proc/meminfo: memFree=1625760/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=162460 CPUtime=1481.81
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1158854 0 0 0 147500 681 0 0 25 0 1 0 8418174 166359040 32918 1992294400 4194304 9819077 140736976367680 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 40615 32918 638 1374 0 39236 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 162460

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14273
/proc/meminfo: memFree=1615220/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=178136 CPUtime=1541.79
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1236913 0 0 0 153455 724 0 0 25 0 1 0 8418174 182411264 35347 1992294400 4194304 9819077 140736976367680 18446744073709551615 7311663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 44534 35347 694 1374 0 43155 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 178136

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14275
/proc/meminfo: memFree=1607408/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=189544 CPUtime=1601.76
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1277395 0 0 0 159426 750 0 0 25 0 1 0 8418174 194093056 37590 1992294400 4194304 9819077 140736976367680 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 47386 37590 711 1374 0 46007 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 189544

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14277
/proc/meminfo: memFree=1610508/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=194508 CPUtime=1661.75
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1324570 0 0 0 165401 774 0 0 25 0 1 0 8418174 199176192 36856 1992294400 4194304 9819077 140736976367680 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 48627 36856 711 1374 0 47248 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 194508

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14279
/proc/meminfo: memFree=1604308/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=199976 CPUtime=1721.73
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1370312 0 0 0 171376 797 0 0 25 0 1 0 8418174 204775424 38352 1992294400 4194304 9819077 140736976367680 18446744073709551615 7295962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 49994 38352 711 1374 0 48615 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 199976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14281
/proc/meminfo: memFree=1602200/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=200080 CPUtime=1781.72
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1416210 0 0 0 177351 821 0 0 25 0 1 0 8418174 204881920 38760 1992294400 4194304 9819077 140736976367680 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 50020 38760 711 1374 0 48641 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 200080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14281
/proc/meminfo: memFree=1610012/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=200144 CPUtime=1800.03
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1433661 0 0 0 179173 830 0 0 25 0 1 0 8418174 204947456 36749 1992294400 4194304 9819077 140736976367680 18446744073709551615 6703369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 50036 36749 711 1374 0 48657 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 200144

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14223

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14281
/proc/meminfo: memFree=1610012/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=200144 CPUtime=1800.81
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1434161 0 0 0 179251 830 0 0 25 0 1 0 8418174 204947456 37249 1992294400 4194304 9819077 140736976367680 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 50036 37249 711 1374 0 48657 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 200144

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14282
/proc/meminfo: memFree=1606780/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=200144 CPUtime=1801.61
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1435023 0 0 0 179330 831 0 0 25 0 1 0 8418174 204947456 38111 1992294400 4194304 9819077 140736976367680 18446744073709551615 7312721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 50036 38111 711 1374 0 48657 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 200144

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14282
/proc/meminfo: memFree=1606780/2059040 swapFree=4192956/4192956
[pid=14223] ppid=14221 vsize=200144 CPUtime=1802.01
/proc/14223/stat : 14223 (pbscip.linux.x8) R 14221 14223 13979 0 -1 4202496 1435105 0 0 0 179370 831 0 0 25 0 1 0 8418174 204947456 38193 1992294400 4194304 9819077 140736976367680 18446744073709551615 7293557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14223/statm: 50036 38193 711 1374 0 48657 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 200144

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.05
CPU user time (s): 1793.72
CPU system time (s): 8.32773
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 263948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.72
system time used= 8.32773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1435108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3066

runsolver used 2.97555 second user time and 8.51271 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-16 08:54:01
IDJOB=2665314
IDBENCH=48257
IDSOLVER=1168
FILE ID=node081/2665314-1276671241
PBS_JOBID= 11172517
Free space on /tmp= 121808 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665314-1276671241/watcher-2665314-1276671241 -o /tmp/evaluation-result-2665314-1276671241/solver-2665314-1276671241 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665314-1276671241.opb -t 1800 -m 1800

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

MD5SUM BENCH= dfd3914a8aa1cc34e3abdf0a14d8373d
RANDOM SEED=1915317317

node081.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
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.42
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.212
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1756992 kB
Buffers:         33796 kB
Cached:         143324 kB
SwapCached:          0 kB
Active:         122840 kB
Inactive:       113836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1756992 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6608 kB
Writeback:           0 kB
AnonPages:       59420 kB
Mapped:          15412 kB
Slab:            43684 kB
PageTables:       3908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121804 MiB
End job on node081 at 2010-06-16 09:24:03