Trace number 2687146

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? (MO) 622.37 622.576

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_10.std.opb
MD5SUM16624ad16b07842a63cd0d52e04da495
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234117
Number of constraints which are clauses232917
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2687146-1278448672.opb>
3.99/4.06	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234117 constraints
3.99/4.06	c problem read
3.99/4.06	c presolving settings loaded
5.29/5.32	c presolving:
18.69/18.76	c (round 1) 4949 del vars, 15599 del conss, 3347 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15956964 impls, 0 clqs
30.18/30.29	c (round 2) 12972 del vars, 42247 del conss, 11065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15992680 impls, 0 clqs
33.77/33.80	c (round 3) 15544 del vars, 54759 del conss, 12379 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16008880 impls, 0 clqs
36.28/36.36	c (round 4) 16886 del vars, 59455 del conss, 13197 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16021621 impls, 0 clqs
37.76/37.85	c (round 5) 17633 del vars, 62445 del conss, 13659 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16027365 impls, 0 clqs
38.67/38.72	c (round 6) 18024 del vars, 64052 del conss, 13872 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16030484 impls, 0 clqs
39.07/39.18	c (round 7) 18174 del vars, 64759 del conss, 13960 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16031741 impls, 0 clqs
39.47/39.58	c (round 8) 18259 del vars, 65090 del conss, 14013 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16032667 impls, 0 clqs
39.87/39.96	c (round 9) 18331 del vars, 65343 del conss, 14057 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16033987 impls, 0 clqs
40.27/40.32	c (round 10) 18401 del vars, 65622 del conss, 14104 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16034925 impls, 0 clqs
40.57/40.62	c (round 11) 18433 del vars, 65773 del conss, 14129 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035126 impls, 0 clqs
40.76/40.90	c (round 12) 18453 del vars, 65870 del conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
41.07/41.14	c (round 13) 18453 del vars, 65890 del conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
43.06/43.12	c (round 14) 18453 del vars, 65890 del conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 168227 upgd conss, 16035228 impls, 0 clqs
45.76/45.80	c (round 15) 18453 del vars, 65902 del conss, 14139 chg bounds, 57 chg sides, 228 chg coeffs, 168227 upgd conss, 16035282 impls, 276 clqs
47.17/47.24	c (round 16) 18453 del vars, 65910 del conss, 14139 chg bounds, 77 chg sides, 281 chg coeffs, 168227 upgd conss, 16035282 impls, 294 clqs
620.20/620.41	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-2687146-1278448672/watcher-2687146-1278448672 -o /tmp/evaluation-result-2687146-1278448672/solver-2687146-1278448672 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687146-1278448672.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.03 1.06 3/105 23922
/proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=9288 CPUtime=0
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 1109 0 0 0 0 0 0 0 23 0 1 0 13075512 9510912 1029 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23922/statm: 2322 1038 371 1374 0 943 0

[startup+0.089876 s]
/proc/loadavg: 1.00 1.03 1.06 3/105 23922
/proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=17608 CPUtime=0.08
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 3320 0 0 0 7 1 0 0 23 0 1 0 13075512 18030592 3240 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23922/statm: 4402 3240 388 1374 0 3023 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17608

[startup+0.100876 s]
/proc/loadavg: 1.00 1.03 1.06 3/105 23922
/proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=18572 CPUtime=0.09
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 3563 0 0 0 8 1 0 0 23 0 1 0 13075512 19017728 3483 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23922/statm: 4643 3483 388 1374 0 3264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18572

[startup+0.300898 s]
/proc/loadavg: 1.00 1.03 1.06 3/105 23922
/proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=29628 CPUtime=0.29
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 6366 0 0 0 27 2 0 0 23 0 1 0 13075512 30339072 6277 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23922/statm: 7407 6277 388 1374 0 6028 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29628

[startup+0.700943 s]
/proc/loadavg: 1.00 1.03 1.06 3/105 23922
/proc/meminfo: memFree=1845376/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=51296 CPUtime=0.69
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 11774 0 0 0 64 5 0 0 25 0 1 0 13075512 52527104 11685 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23922/statm: 12824 11685 388 1374 0 11445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51296

[startup+1.50103 s]
/proc/loadavg: 1.00 1.03 1.06 2/106 23923
/proc/meminfo: memFree=1792420/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=70076 CPUtime=1.49
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 16444 0 0 0 143 6 0 0 25 0 1 0 13075512 71757824 16355 1992294400 4194304 9819077 140735850350912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23922/statm: 17519 16355 388 1374 0 16140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70076

[startup+3.10121 s]
/proc/loadavg: 1.00 1.03 1.06 2/106 23923
/proc/meminfo: memFree=1766256/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=119820 CPUtime=3.09
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 28724 0 0 0 298 11 0 0 25 0 1 0 13075512 122695680 28635 1992294400 4194304 9819077 140735850350912 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23922/statm: 29955 28647 388 1374 0 28576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119820

[startup+6.30156 s]
/proc/loadavg: 1.08 1.04 1.07 2/106 23923
/proc/meminfo: memFree=1498168/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=413956 CPUtime=6.29
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 101223 0 0 0 590 39 0 0 25 0 1 0 13075512 423890944 100761 1992294400 4194304 9819077 140735850350912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 103489 100761 483 1374 0 102110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413956

[startup+12.7013 s]
/proc/loadavg: 1.07 1.04 1.06 2/106 23923
/proc/meminfo: memFree=1171684/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=711952 CPUtime=12.69
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 174467 0 0 0 1197 72 0 0 25 0 1 0 13075512 729038848 174005 1992294400 4194304 9819077 140735850350912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 177988 174005 487 1374 0 176609 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 711952

[startup+25.5007 s]
/proc/loadavg: 1.06 1.04 1.06 2/106 23923
/proc/meminfo: memFree=1018544/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=847852 CPUtime=25.48
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 207206 0 0 0 2444 104 0 0 25 0 1 0 13075512 868200448 206487 1992294400 4194304 9819077 140735850350912 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 211963 206487 491 1374 0 210584 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 847852

[startup+51.1005 s]
/proc/loadavg: 1.04 1.04 1.06 2/106 23925
/proc/meminfo: memFree=944516/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=927132 CPUtime=51.07
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 256839 0 0 0 4860 247 0 0 25 0 1 0 13075512 949383168 225213 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 231783 225213 526 1374 0 230404 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 927132

[startup+102.308 s]
/proc/loadavg: 1.01 1.03 1.06 2/106 23925
/proc/meminfo: memFree=903224/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=970572 CPUtime=102.25
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 267196 0 0 0 9973 252 0 0 25 0 1 0 13075512 993865728 235405 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 242643 235405 527 1374 0 241264 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 970572

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/106 23927
/proc/meminfo: memFree=836636/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1041788 CPUtime=162.22
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 284052 0 0 0 15964 258 0 0 25 0 1 0 13075512 1066790912 252261 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 260447 252261 527 1374 0 259068 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1041788

[startup+222.3 s]
/proc/loadavg: 1.00 1.02 1.04 2/106 23929
/proc/meminfo: memFree=738552/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1141224 CPUtime=222.21
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 308308 0 0 0 21952 269 0 0 25 0 1 0 13075512 1168613376 276517 1992294400 4194304 9819077 140735850350912 18446744073709551615 4688674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 285306 276517 527 1374 0 283927 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1141224

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/106 23931
/proc/meminfo: memFree=630052/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1254632 CPUtime=282.19
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 335826 0 0 0 27938 281 0 0 25 0 1 0 13075512 1284743168 304002 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 313658 304002 527 1374 0 312279 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1254632

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 23933
/proc/meminfo: memFree=501588/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1383044 CPUtime=342.17
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 367610 0 0 0 33921 296 0 0 25 0 1 0 13075512 1416237056 335654 1992294400 4194304 9819077 140735850350912 18446744073709551615 4690488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 345761 335654 527 1374 0 344382 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1383044

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/106 23933
/proc/meminfo: memFree=422228/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1464308 CPUtime=402.15
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 387989 0 0 0 39906 309 0 0 25 0 1 0 13075512 1499451392 356033 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 366077 356033 527 1374 0 364698 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1464308

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 23935
/proc/meminfo: memFree=312240/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1573184 CPUtime=462.14
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 415282 0 0 0 45892 322 0 0 25 0 1 0 13075512 1610940416 383070 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 393296 383070 527 1374 0 391917 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1573184

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/106 23937
/proc/meminfo: memFree=213784/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1674336 CPUtime=522.11
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 440636 0 0 0 51871 340 0 0 25 0 1 0 13075512 1714520064 408168 1992294400 4194304 9819077 140735850350912 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 418584 408168 527 1374 0 417205 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1674336

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 23939
/proc/meminfo: memFree=125248/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1763152 CPUtime=582.1
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 462311 0 0 0 57850 360 0 0 25 0 1 0 13075512 1805467648 429587 1992294400 4194304 9819077 140735850350912 18446744073709551615 8678399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 440788 429587 527 1374 0 439409 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1763152



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+620.409 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 23939
/proc/meminfo: memFree=40184/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1848492 CPUtime=620.2
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 483726 0 0 0 61645 375 0 0 25 0 1 0 13075512 1892855808 450746 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 462123 450746 527 1374 0 460744 0
Current children cumulated CPU time (s) 620.2
Current children cumulated vsize (KiB) 1848492

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23922

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

[startup+620.602 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 23939
/proc/meminfo: memFree=40184/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1849476 CPUtime=620.39
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484044 0 0 0 61664 375 0 0 25 0 1 0 13075512 1893863424 451064 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 462369 451064 527 1374 0 460990 0
Current children cumulated CPU time (s) 620.39
Current children cumulated vsize (KiB) 1849476

[startup+621.402 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 23940
/proc/meminfo: memFree=36952/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1850500 CPUtime=621.19
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484523 0 0 0 61744 375 0 0 25 0 1 0 13075512 1894912000 451543 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 462625 451543 527 1374 0 461246 0
Current children cumulated CPU time (s) 621.19
Current children cumulated vsize (KiB) 1850500

[startup+622.202 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 23940
/proc/meminfo: memFree=36952/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1851524 CPUtime=621.99
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484823 0 0 0 61824 375 0 0 25 0 1 0 13075512 1895960576 451843 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 462881 451843 527 1374 0 461502 0
Current children cumulated CPU time (s) 621.99
Current children cumulated vsize (KiB) 1851524

[startup+622.402 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 23940
/proc/meminfo: memFree=36952/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=1851524 CPUtime=622.18
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4202496 484828 0 0 0 61843 375 0 0 25 0 1 0 13075512 1895960576 451848 1992294400 4194304 9819077 140735850350912 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23922/statm: 462881 451848 527 1374 0 461502 0
Current children cumulated CPU time (s) 622.18
Current children cumulated vsize (KiB) 1851524

[startup+622.502 s]
/proc/loadavg: 1.00 1.00 1.01 2/106 23940
/proc/meminfo: memFree=981768/2059040 swapFree=4136052/4192956
[pid=23922] ppid=23920 vsize=0 CPUtime=622.29
/proc/23922/stat : 23922 (pbscip.linux.x8) R 23920 23922 23602 0 -1 4203524 484830 0 0 0 61845 384 0 0 25 0 1 0 13075512 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/23922/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 622.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 622.576
CPU time (s): 622.37
CPU user time (s): 618.455
CPU system time (s): 3.9154
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1851524

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

runsolver used 1.02184 second user time and 2.96255 second system time

The end

Launcher Data 

Begin job on node087 at 2010-07-06 22:37:53
IDJOB=2687146
IDBENCH=77448
IDSOLVER=1168
FILE ID=node087/2687146-1278448672
PBS_JOBID= 11233493
Free space on /tmp= 62504 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_10.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687146-1278448672/watcher-2687146-1278448672 -o /tmp/evaluation-result-2687146-1278448672/solver-2687146-1278448672 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687146-1278448672.opb -t 1800 -m 1800

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

MD5SUM BENCH= 16624ad16b07842a63cd0d52e04da495
RANDOM SEED=1895284253

node087.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.201
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.40
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.201
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.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1845780 kB
Buffers:          8976 kB
Cached:         136956 kB
SwapCached:      12860 kB
Active:          91296 kB
Inactive:        71608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1845780 kB
SwapTotal:     4192956 kB
SwapFree:      4136052 kB
Dirty:           14028 kB
Writeback:           0 kB
AnonPages:       11760 kB
Mapped:           8288 kB
Slab:            28596 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node087 at 2010-07-06 22:48:15