Trace number 2687523

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) 876.889 877.082

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9043_5.std.opb
MD5SUM7281c30a7b7474ad173d30e80be2448b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark98
Best CPU time to get the best result obtained on this benchmark7.17491
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192594
Number of constraints which are clauses191394
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 constraint69
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-2687523-1278454166.opb>
3.30/3.38	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints
3.30/3.38	c problem read
3.30/3.38	c presolving settings loaded
4.30/4.39	c presolving:
15.79/15.87	c (round 1) 5566 del vars, 16216 del conss, 4401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12953472 impls, 0 clqs
23.00/23.00	c (round 2) 10243 del vars, 37571 del conss, 8768 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12980786 impls, 0 clqs
25.69/25.75	c (round 3) 12308 del vars, 46514 del conss, 10051 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 12997802 impls, 0 clqs
27.18/27.23	c (round 4) 13191 del vars, 50511 del conss, 10650 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 13005060 impls, 0 clqs
28.08/28.13	c (round 5) 13783 del vars, 52972 del conss, 10975 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13010474 impls, 0 clqs
28.69/28.79	c (round 6) 14126 del vars, 54491 del conss, 11179 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13015088 impls, 0 clqs
29.38/29.40	c (round 7) 14449 del vars, 55696 del conss, 11368 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13018623 impls, 0 clqs
29.78/29.86	c (round 8) 14660 del vars, 56618 del conss, 11490 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13021202 impls, 0 clqs
30.19/30.20	c (round 9) 14782 del vars, 57171 del conss, 11563 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13023062 impls, 0 clqs
30.49/30.51	c (round 10) 14890 del vars, 57599 del conss, 11629 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13024516 impls, 0 clqs
30.69/30.76	c (round 11) 14952 del vars, 57899 del conss, 11672 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025101 impls, 0 clqs
30.88/30.99	c (round 12) 15000 del vars, 58094 del conss, 11705 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025374 impls, 0 clqs
31.18/31.20	c (round 13) 15024 del vars, 58211 del conss, 11722 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025466 impls, 0 clqs
31.38/31.42	c (round 14) 15030 del vars, 58255 del conss, 11725 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025492 impls, 0 clqs
874.70/874.90	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-2687523-1278454166/watcher-2687523-1278454166 -o /tmp/evaluation-result-2687523-1278454166/solver-2687523-1278454166 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687523-1278454166.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.17 1.04 1.01 3/106 20067
/proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=8260 CPUtime=0
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 1020 0 0 0 0 0 0 0 21 0 1 0 13623266 8458240 941 1992294400 4194304 9819077 140735007401344 18446744073709551615 4501360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20067/statm: 2322 950 371 1374 0 943 0

[startup+0.0930409 s]
/proc/loadavg: 1.17 1.04 1.01 3/106 20067
/proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=17612 CPUtime=0.09
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 3319 0 0 0 8 1 0 0 21 0 1 0 13623266 18034688 3240 1992294400 4194304 9819077 140735007401344 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20067/statm: 4403 3240 388 1374 0 3024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17612

[startup+0.101041 s]
/proc/loadavg: 1.17 1.04 1.01 3/106 20067
/proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=17612 CPUtime=0.09
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 3320 0 0 0 8 1 0 0 21 0 1 0 13623266 18034688 3241 1992294400 4194304 9819077 140735007401344 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20067/statm: 4403 3241 388 1374 0 3024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17612

[startup+0.301054 s]
/proc/loadavg: 1.17 1.04 1.01 3/106 20067
/proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=29632 CPUtime=0.29
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 6364 0 0 0 27 2 0 0 21 0 1 0 13623266 30343168 6276 1992294400 4194304 9819077 140735007401344 18446744073709551615 8610789 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20067/statm: 7408 6276 388 1374 0 6029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29632

[startup+0.701081 s]
/proc/loadavg: 1.17 1.04 1.01 3/106 20067
/proc/meminfo: memFree=1811372/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=44916 CPUtime=0.69
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 10171 0 0 0 65 4 0 0 22 0 1 0 13623266 45993984 10083 1992294400 4194304 9819077 140735007401344 18446744073709551615 8610840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20067/statm: 11229 10083 388 1374 0 9850 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44916

[startup+1.50113 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 20068
/proc/meminfo: memFree=1766104/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=61508 CPUtime=1.49
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 14322 0 0 0 144 5 0 0 25 0 1 0 13623266 62984192 14234 1992294400 4194304 9819077 140735007401344 18446744073709551615 8080944 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20067/statm: 15377 14234 388 1374 0 13998 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61508

[startup+3.10124 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 20068
/proc/meminfo: memFree=1737956/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=112252 CPUtime=3.09
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 26970 0 0 0 299 10 0 0 25 0 1 0 13623266 114946048 26882 1992294400 4194304 9819077 140735007401344 18446744073709551615 8678218 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20067/statm: 28063 26882 388 1374 0 26684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112252

[startup+6.30145 s]
/proc/loadavg: 1.15 1.04 1.01 2/107 20068
/proc/meminfo: memFree=1476688/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=391412 CPUtime=6.29
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 96371 0 0 0 592 37 0 0 25 0 1 0 13623266 400805888 95910 1992294400 4194304 9819077 140735007401344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 97853 95910 487 1374 0 96474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 391412

[startup+12.7009 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 20068
/proc/meminfo: memFree=1214428/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=631128 CPUtime=12.69
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 154684 0 0 0 1201 68 0 0 25 0 1 0 13623266 646275072 154223 1992294400 4194304 9819077 140735007401344 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 157782 154223 487 1374 0 156403 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 631128

[startup+25.5017 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 20068
/proc/meminfo: memFree=1150072/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=677272 CPUtime=25.48
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 166245 0 0 0 2450 98 0 0 25 0 1 0 13623266 693526528 165270 1992294400 4194304 9819077 140735007401344 18446744073709551615 5966514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 169318 165270 491 1374 0 167939 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 677272

[startup+51.1014 s]
/proc/loadavg: 1.06 1.03 1.01 2/107 20068
/proc/meminfo: memFree=1101092/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=732800 CPUtime=51.08
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 182130 0 0 0 4925 183 0 0 25 0 1 0 13623266 750387200 177729 1992294400 4194304 9819077 140735007401344 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 183200 177729 523 1374 0 181821 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 732800

[startup+102.309 s]
/proc/loadavg: 1.03 1.03 1.00 3/107 20070
/proc/meminfo: memFree=1053352/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=782544 CPUtime=102.28
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 194144 0 0 0 10039 189 0 0 25 0 1 0 13623266 801325056 189743 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 195636 189743 523 1374 0 194257 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 782544

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 20072
/proc/meminfo: memFree=976720/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=858432 CPUtime=162.26
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 214161 0 0 0 16027 199 0 0 25 0 1 0 13623266 879034368 208992 1992294400 4194304 9819077 140735007401344 18446744073709551615 4960258 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 214608 208992 523 1374 0 213229 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 858432

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20074
/proc/meminfo: memFree=911992/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=922820 CPUtime=222.24
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 231970 0 0 0 22018 206 0 0 25 0 1 0 13623266 944967680 225265 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 230705 225265 523 1374 0 229326 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 922820

[startup+282.302 s]
/proc/loadavg: 1.08 1.03 1.01 2/107 20075
/proc/meminfo: memFree=854084/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=980856 CPUtime=282.23
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 246288 0 0 0 28010 213 0 0 25 0 1 0 13623266 1004396544 239583 1992294400 4194304 9819077 140735007401344 18446744073709551615 4947564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 245214 239583 523 1374 0 243835 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 980856

[startup+342.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 20076
/proc/meminfo: memFree=772616/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1063184 CPUtime=342.22
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 266308 0 0 0 33999 223 0 0 25 0 1 0 13623266 1088700416 259603 1992294400 4194304 9819077 140735007401344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 265796 259603 523 1374 0 264417 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1063184

[startup+402.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 20078
/proc/meminfo: memFree=686188/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1149964 CPUtime=402.2
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 288144 0 0 0 39988 232 0 0 25 0 1 0 13623266 1177563136 281183 1992294400 4194304 9819077 140735007401344 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 287491 281183 523 1374 0 286112 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1149964

[startup+462.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 20080
/proc/meminfo: memFree=583144/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1252756 CPUtime=462.19
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 313834 0 0 0 45976 243 0 0 25 0 1 0 13623266 1282822144 306873 1992294400 4194304 9819077 140735007401344 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 313189 306873 523 1374 0 311810 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1252756

[startup+522.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 20082
/proc/meminfo: memFree=493492/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1347596 CPUtime=522.18
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 337249 0 0 0 51964 254 0 0 25 0 1 0 13623266 1379938304 329776 1992294400 4194304 9819077 140735007401344 18446744073709551615 4690651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 336899 329776 523 1374 0 335520 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1347596

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20083
/proc/meminfo: memFree=371476/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1470404 CPUtime=582.16
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 367555 0 0 0 57951 265 0 0 25 0 1 0 13623266 1505693696 359826 1992294400 4194304 9819077 140735007401344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 367601 359826 523 1374 0 366222 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1470404

[startup+642.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20087
/proc/meminfo: memFree=242144/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1598848 CPUtime=642.16
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 399473 0 0 0 63935 281 0 0 25 0 1 0 13623266 1637220352 391744 1992294400 4194304 9819077 140735007401344 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 399712 391744 523 1374 0 398333 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 1598848

[startup+702.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20089
/proc/meminfo: memFree=184112/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1658616 CPUtime=702.14
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 414204 0 0 0 69924 290 0 0 25 0 1 0 13623266 1698422784 406475 1992294400 4194304 9819077 140735007401344 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 414654 406475 523 1374 0 413275 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 1658616

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20091
/proc/meminfo: memFree=118020/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1723440 CPUtime=762.13
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 430487 0 0 0 75914 299 0 0 25 0 1 0 13623266 1764802560 422758 1992294400 4194304 9819077 140735007401344 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 430860 422758 523 1374 0 429481 0
Current children cumulated CPU time (s) 762.13
Current children cumulated vsize (KiB) 1723440

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20093
/proc/meminfo: memFree=51804/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1793400 CPUtime=822.1
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 447773 0 0 0 81901 309 0 0 25 0 1 0 13623266 1836441600 440044 1992294400 4194304 9819077 140735007401344 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 448350 440044 523 1374 0 446971 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 1793400



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+874.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20093
/proc/meminfo: memFree=10056/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1844596 CPUtime=874.7
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460448 0 0 0 87155 315 0 0 25 0 1 0 13623266 1888866304 452719 1992294400 4194304 9819077 140735007401344 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 461149 452719 523 1374 0 459770 0
Current children cumulated CPU time (s) 874.7
Current children cumulated vsize (KiB) 1844596

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20067

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

[startup+875.009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20093
/proc/meminfo: memFree=10056/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1844596 CPUtime=874.8
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460607 0 0 0 87165 315 0 0 25 0 1 0 13623266 1888866304 452878 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 461149 452878 523 1374 0 459770 0
Current children cumulated CPU time (s) 874.8
Current children cumulated vsize (KiB) 1844596

[startup+875.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20094
/proc/meminfo: memFree=10484/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1845584 CPUtime=875.6
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460758 0 0 0 87244 316 0 0 25 0 1 0 13623266 1889878016 453029 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 461396 453029 523 1374 0 460017 0
Current children cumulated CPU time (s) 875.6
Current children cumulated vsize (KiB) 1845584

[startup+876.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20094
/proc/meminfo: memFree=10236/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=1845584 CPUtime=876.41
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4202496 460805 0 0 0 87325 316 0 0 25 0 1 0 13623266 1889878016 453076 1992294400 4194304 9819077 140735007401344 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20067/statm: 461396 453076 523 1374 0 460017 0
Current children cumulated CPU time (s) 876.41
Current children cumulated vsize (KiB) 1845584

[startup+877.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20094
/proc/meminfo: memFree=10236/2059040 swapFree=4139560/4192956
[pid=20067] ppid=20065 vsize=0 CPUtime=876.8
/proc/20067/stat : 20067 (pbscip.linux.x8) R 20065 20067 19498 0 -1 4203524 460824 0 0 0 87355 325 0 0 25 0 1 0 13623266 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/20067/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 876.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 877.082
CPU time (s): 876.889
CPU user time (s): 873.557
CPU system time (s): 3.33149
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 1845584

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

runsolver used 1.47978 second user time and 4.12637 second system time

The end

Launcher Data 

Begin job on node052 at 2010-07-07 00:09:26
IDJOB=2687523
IDBENCH=78013
IDSOLVER=1168
FILE ID=node052/2687523-1278454166
PBS_JOBID= 11233526
Free space on /tmp= 62488 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/j90opt/normalized-j9043_5.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-2687523-1278454166/watcher-2687523-1278454166 -o /tmp/evaluation-result-2687523-1278454166/solver-2687523-1278454166 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687523-1278454166.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7281c30a7b7474ad173d30e80be2448b
RANDOM SEED=1872558049

node052.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.213
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.213
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1811900 kB
Buffers:         14692 kB
Cached:         146136 kB
SwapCached:       7416 kB
Active:          41844 kB
Inactive:       134044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1811900 kB
SwapTotal:     4192956 kB
SwapFree:      4139560 kB
Dirty:           12488 kB
Writeback:           0 kB
AnonPages:       12508 kB
Mapped:          11940 kB
Slab:            49328 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181552 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= 62484 MiB
End job on node052 at 2010-07-07 00:24:03