Trace number 2704920

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.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (MO) 1071.12 1071.39

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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704920-1278582055.opb>
3.69/3.79	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234117 constraints
3.69/3.79	c problem read
3.69/3.79	c presolving settings loaded
5.09/5.11	c presolving:
20.48/20.57	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
32.18/32.23	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
35.58/35.64	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
38.08/38.13	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
39.49/39.52	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
40.28/40.30	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
40.59/40.68	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
40.88/40.98	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
41.18/41.28	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
41.48/41.55	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
41.69/41.76	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
41.88/41.95	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
42.08/42.11	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.48/43.55	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
46.68/46.73	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.98/48.04	c (round 16) 18453 del vars, 65922 del conss, 14139 chg bounds, 77 chg sides, 281 chg coeffs, 168227 upgd conss, 16035282 impls, 294 clqs
1068.93/1069.21	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-2704920-1278582055/watcher-2704920-1278582055 -o /tmp/evaluation-result-2704920-1278582055/solver-2704920-1278582055 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704920-1278582055.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28811
/proc/meminfo: memFree=1669064/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=7904 CPUtime=0
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 1061 0 0 0 0 0 0 0 21 0 1 0 26412028 8093696 972 1992294400 4194304 8395647 140733417563984 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 1976 981 365 1026 0 946 0

[startup+0.0110709 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28811
/proc/meminfo: memFree=1669064/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=8936 CPUtime=0
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 1541 0 0 0 0 0 0 0 21 0 1 0 26412028 9150464 1452 1992294400 4194304 8395647 140733417563984 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 2491 1463 374 1026 0 1461 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8936

[startup+0.101076 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28811
/proc/meminfo: memFree=1669064/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=18380 CPUtime=0.09
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 3872 0 0 0 8 1 0 0 23 0 1 0 26412028 18821120 3783 1992294400 4194304 8395647 140733417563984 18446744073709551615 7385008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 4595 3783 393 1026 0 3565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18380

[startup+0.301096 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28811
/proc/meminfo: memFree=1669064/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=32752 CPUtime=0.29
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 7461 0 0 0 27 2 0 0 23 0 1 0 26412028 33538048 7372 1992294400 4194304 8395647 140733417563984 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 8188 7372 393 1026 0 7158 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32752

[startup+0.701135 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28811
/proc/meminfo: memFree=1669064/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=53324 CPUtime=0.69
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 12606 0 0 0 65 4 0 0 25 0 1 0 26412028 54603776 12517 1992294400 4194304 8395647 140733417563984 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 13331 12517 393 1026 0 12301 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53324

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28812
/proc/meminfo: memFree=1613752/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=72156 CPUtime=1.49
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 17310 0 0 0 143 6 0 0 25 0 1 0 26412028 73887744 17221 1992294400 4194304 8395647 140733417563984 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 18039 17221 393 1026 0 17009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72156

[startup+3.10037 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28812
/proc/meminfo: memFree=1583620/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=127364 CPUtime=3.08
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 31084 0 0 0 297 11 0 0 25 0 1 0 26412028 130420736 30995 1992294400 4194304 8395647 140733417563984 18446744073709551615 7370211 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 31841 30995 393 1026 0 30811 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 127364

[startup+6.30068 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 28812
/proc/meminfo: memFree=1310324/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=417544 CPUtime=6.29
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 102387 0 0 0 591 38 0 0 25 0 1 0 26412028 427565056 101944 1992294400 4194304 8395647 140733417563984 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 104386 101944 463 1026 0 103356 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 417544

[startup+12.7003 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 28812
/proc/meminfo: memFree=1030952/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=674484 CPUtime=12.69
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 166418 0 0 0 1210 59 0 0 25 0 1 0 26412028 690671616 165975 1992294400 4194304 8395647 140733417563984 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 168621 165975 469 1026 0 167591 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 674484

[startup+25.5016 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 28814
/proc/meminfo: memFree=842720/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=846764 CPUtime=25.48
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 206992 0 0 0 2474 74 0 0 25 0 1 0 26412028 867086336 206549 1992294400 4194304 8395647 140733417563984 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 211691 206549 475 1026 0 210661 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 846764

[startup+51.101 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 28814
/proc/meminfo: memFree=760756/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=929488 CPUtime=51.08
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 231018 0 0 0 5026 82 0 0 25 0 1 0 26412028 951795712 227127 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 232372 227127 580 1026 0 231342 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 929488

[startup+102.309 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 28816
/proc/meminfo: memFree=725292/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=967884 CPUtime=102.27
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 239917 0 0 0 10142 85 0 0 25 0 1 0 26412028 991113216 236026 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 241971 236026 580 1026 0 240941 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 967884

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 3/107 28816
/proc/meminfo: memFree=684248/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1010292 CPUtime=162.25
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 250130 0 0 0 16137 88 0 0 25 0 1 0 26412028 1034539008 246239 1992294400 4194304 8395647 140733417563984 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 252573 246239 580 1026 0 251543 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1010292

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28818
/proc/meminfo: memFree=611088/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1083748 CPUtime=222.23
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 268391 0 0 0 22129 94 0 0 25 0 1 0 26412028 1109757952 264500 1992294400 4194304 8395647 140733417563984 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 270937 264500 580 1026 0 269907 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1083748

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28820
/proc/meminfo: memFree=546236/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1151392 CPUtime=282.22
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 284798 0 0 0 28123 99 0 0 25 0 1 0 26412028 1179025408 280907 1992294400 4194304 8395647 140733417563984 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 287848 280907 580 1026 0 286818 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1151392

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28822
/proc/meminfo: memFree=475680/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1221544 CPUtime=342.2
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 302162 0 0 0 34115 105 0 0 25 0 1 0 26412028 1250861056 298271 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 305386 298271 580 1026 0 304356 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1221544

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28824
/proc/meminfo: memFree=409960/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1292072 CPUtime=402.19
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 319611 0 0 0 40107 112 0 0 25 0 1 0 26412028 1323081728 315720 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 323018 315720 580 1026 0 321988 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1292072

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28824
/proc/meminfo: memFree=311628/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1387364 CPUtime=462.18
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 343103 0 0 0 46095 123 0 0 25 0 1 0 26412028 1420660736 339212 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 346841 339212 580 1026 0 345811 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1387364

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28826
/proc/meminfo: memFree=268848/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1430860 CPUtime=522.16
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 353783 0 0 0 52089 127 0 0 25 0 1 0 26412028 1465200640 349892 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 357715 349892 580 1026 0 356685 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1430860

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28828
/proc/meminfo: memFree=228176/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1470404 CPUtime=582.15
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 363987 0 0 0 58084 131 0 0 25 0 1 0 26412028 1505693696 360096 1992294400 4194304 8395647 140733417563984 18446744073709551615 4684118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 367601 360096 580 1026 0 366571 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1470404

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28830
/proc/meminfo: memFree=147452/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1549668 CPUtime=642.14
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 384002 0 0 0 64075 139 0 0 25 0 1 0 26412028 1586860032 380111 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 387417 380111 580 1026 0 386387 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1549668

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28832
/proc/meminfo: memFree=105664/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1594368 CPUtime=702.12
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 395183 0 0 0 70069 143 0 0 25 0 1 0 26412028 1632632832 391292 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 398592 391292 580 1026 0 397562 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 1594368

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28832
/proc/meminfo: memFree=59040/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1640832 CPUtime=762.11
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 406060 0 0 0 76064 147 0 0 25 0 1 0 26412028 1680211968 402169 1992294400 4194304 8395647 140733417563984 18446744073709551615 4228079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 410208 402169 580 1026 0 409178 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 1640832

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 28834
/proc/meminfo: memFree=24940/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1673048 CPUtime=822.09
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 414554 0 0 0 82059 150 0 0 25 0 1 0 26412028 1713201152 410663 1992294400 4194304 8395647 140733417563984 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 418262 410663 580 1026 0 417232 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1673048

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28836
/proc/meminfo: memFree=10508/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1704396 CPUtime=882.07
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 422262 0 0 0 88054 153 0 0 25 0 1 0 26412028 1745301504 418371 1992294400 4194304 8395647 140733417563984 18446744073709551615 6079935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 426099 418371 580 1026 0 425069 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1704396

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28838
/proc/meminfo: memFree=9724/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1735492 CPUtime=942.05
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 429872 0 0 0 94049 156 0 0 25 0 1 0 26412028 1777143808 425981 1992294400 4194304 8395647 140733417563984 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 433873 425981 580 1026 0 432843 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1735492

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28840
/proc/meminfo: memFree=9892/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1770708 CPUtime=1002.04
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 438343 0 0 0 100044 160 0 0 25 0 1 0 26412028 1813204992 434452 1992294400 4194304 8395647 140733417563984 18446744073709551615 5211803 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 442677 434452 580 1026 0 441647 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1770708

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28840
/proc/meminfo: memFree=10332/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1814688 CPUtime=1062.03
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 449507 0 0 0 106037 166 0 0 25 0 1 0 26412028 1858240512 445616 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 453672 445616 580 1026 0 452642 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1814688



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1069.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28840
/proc/meminfo: memFree=9344/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1844044 CPUtime=1068.93
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 456805 0 0 0 106723 170 0 0 25 0 1 0 26412028 1888301056 452914 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 461011 452914 580 1026 0 459981 0
Current children cumulated CPU time (s) 1068.93
Current children cumulated vsize (KiB) 1844044

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -28811

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

[startup+1070.2 s]
/proc/loadavg: 1.24 1.05 1.02 2/108 28841
/proc/meminfo: memFree=9464/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1853900 CPUtime=1069.92
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 459116 0 0 0 106821 171 0 0 25 0 1 0 26412028 1898393600 455225 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 463475 455225 580 1026 0 462445 0
Current children cumulated CPU time (s) 1069.92
Current children cumulated vsize (KiB) 1853900

[startup+1071 s]
/proc/loadavg: 1.24 1.05 1.02 2/108 28841
/proc/meminfo: memFree=9464/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1854924 CPUtime=1070.72
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 459410 0 0 0 106900 172 0 0 25 0 1 0 26412028 1899442176 455519 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 463731 455519 580 1026 0 462701 0
Current children cumulated CPU time (s) 1070.72
Current children cumulated vsize (KiB) 1854924

[startup+1071.2 s]
/proc/loadavg: 1.24 1.05 1.02 2/108 28841
/proc/meminfo: memFree=9464/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=1854924 CPUtime=1070.92
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4202496 459422 0 0 0 106920 172 0 0 25 0 1 0 26412028 1899442176 455531 1992294400 4194304 8395647 140733417563984 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 463731 455531 580 1026 0 462701 0
Current children cumulated CPU time (s) 1070.92
Current children cumulated vsize (KiB) 1854924

[startup+1071.3 s]
/proc/loadavg: 1.24 1.05 1.02 2/107 28841
/proc/meminfo: memFree=894320/2059040 swapFree=4139856/4192956
[pid=28811] ppid=28809 vsize=0 CPUtime=1071.03
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 28328 0 -1 4203524 459422 0 0 0 106922 181 0 0 25 0 1 0 26412028 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/28811/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1071.03
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1071.39
CPU time (s): 1071.12
CPU user time (s): 1069.22
CPU system time (s): 1.89871
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1854924

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

runsolver used 1.77373 second user time and 5.08323 second system time

The end

Launcher Data 

Begin job on node056 at 2010-07-08 11:40:56
IDJOB=2704920
IDBENCH=77448
IDSOLVER=1213
FILE ID=node056/2704920-1278582055
PBS_JOBID= 11240071
Free space on /tmp= 98464 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704920-1278582055/watcher-2704920-1278582055 -o /tmp/evaluation-result-2704920-1278582055/solver-2704920-1278582055 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704920-1278582055.opb -t 1800 -m 1800

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

MD5SUM BENCH= 16624ad16b07842a63cd0d52e04da495
RANDOM SEED=1793238206

node056.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.197
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.39
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.197
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1669344 kB
Buffers:         83760 kB
Cached:         202624 kB
SwapCached:       8568 kB
Active:         151292 kB
Inactive:       150460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1669344 kB
SwapTotal:     4192956 kB
SwapFree:      4139856 kB
Dirty:           18240 kB
Writeback:           0 kB
AnonPages:       11992 kB
Mapped:          11924 kB
Slab:            65636 kB
PageTables:       4232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182028 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= 98452 MiB
End job on node056 at 2010-07-08 11:58:47