Trace number 2704979

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) 1345 1345.37

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9014_2.std.opb
MD5SUM82675f41f9235220cbcd7952570f1ec4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark79
Best CPU time to get the best result obtained on this benchmark21.8517
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 constraints176188
Number of constraints which are clauses174988
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 constraint90
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-2704979-1278582804.opb>
2.59/2.68	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176188 constraints
2.59/2.68	c problem read
2.59/2.68	c presolving settings loaded
3.59/3.66	c presolving:
14.69/14.75	c (round 1) 3034 del vars, 8695 del conss, 2005 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12158818 impls, 0 clqs
21.28/21.39	c (round 2) 7711 del vars, 24986 del conss, 6550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12179514 impls, 0 clqs
23.58/23.68	c (round 3) 9576 del vars, 33555 del conss, 7630 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 12188337 impls, 0 clqs
24.58/24.64	c (round 4) 10274 del vars, 36518 del conss, 8051 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12191308 impls, 0 clqs
25.19/25.23	c (round 5) 10598 del vars, 37832 del conss, 8271 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12193199 impls, 0 clqs
25.48/25.55	c (round 6) 10798 del vars, 38628 del conss, 8370 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194347 impls, 0 clqs
25.68/25.76	c (round 7) 10862 del vars, 38926 del conss, 8408 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194817 impls, 0 clqs
25.88/25.93	c (round 8) 10890 del vars, 39063 del conss, 8427 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194993 impls, 0 clqs
25.98/26.07	c (round 9) 10906 del vars, 39139 del conss, 8436 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195161 impls, 0 clqs
26.18/26.22	c (round 10) 10920 del vars, 39190 del conss, 8443 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195499 impls, 0 clqs
26.29/26.35	c (round 11) 10932 del vars, 39240 del conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195501 impls, 0 clqs
27.38/27.48	c (round 12) 10932 del vars, 39253 del conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
29.58/29.61	c (round 13) 10932 del vars, 39274 del conss, 8454 chg bounds, 160 chg sides, 370 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
30.18/30.20	c (round 14) 10932 del vars, 39287 del conss, 8454 chg bounds, 168 chg sides, 406 chg coeffs, 136935 upgd conss, 12195501 impls, 1 clqs
1342.83/1343.20	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-2704979-1278582804/watcher-2704979-1278582804 -o /tmp/evaluation-result-2704979-1278582804/solver-2704979-1278582804 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704979-1278582804.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 1240
/proc/meminfo: memFree=1866808/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=5824 CPUtime=0
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 813 0 0 0 0 0 0 0 25 0 1 0 26488641 5963776 728 1992294400 4194304 8395647 140734981417136 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1240/statm: 1456 729 348 1026 0 426 0

[startup+0.0339879 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 1240
/proc/meminfo: memFree=1866808/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=12852 CPUtime=0.02
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 2392 0 0 0 2 0 0 0 25 0 1 0 26488641 13160448 2303 1992294400 4194304 8395647 140734981417136 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1240/statm: 3213 2318 393 1026 0 2183 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12852

[startup+0.101993 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 1240
/proc/meminfo: memFree=1866808/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=18380 CPUtime=0.1
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 3899 0 0 0 9 1 0 0 25 0 1 0 26488641 18821120 3810 1992294400 4194304 8395647 140734981417136 18446744073709551615 4327614 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1240/statm: 4595 3810 393 1026 0 3565 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18380

[startup+0.302014 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 1240
/proc/meminfo: memFree=1866808/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=32752 CPUtime=0.29
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 7467 0 0 0 27 2 0 0 25 0 1 0 26488641 33538048 7378 1992294400 4194304 8395647 140734981417136 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1240/statm: 8188 7378 393 1026 0 7158 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32752

[startup+0.701057 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 1240
/proc/meminfo: memFree=1866808/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=48040 CPUtime=0.69
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 11302 0 0 0 65 4 0 0 25 0 1 0 26488641 49192960 11213 1992294400 4194304 8395647 140734981417136 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1240/statm: 12010 11213 393 1026 0 10980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48040

[startup+1.50114 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1241
/proc/meminfo: memFree=1815588/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=72100 CPUtime=1.49
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 17318 0 0 0 144 5 0 0 25 0 1 0 26488641 73830400 17229 1992294400 4194304 8395647 140734981417136 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1240/statm: 18025 17229 393 1026 0 16995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72100

[startup+3.10131 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1241
/proc/meminfo: memFree=1775536/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=232352 CPUtime=3.09
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 57418 0 0 0 290 19 0 0 25 0 1 0 26488641 237928448 56975 1992294400 4194304 8395647 140734981417136 18446744073709551615 4720765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 58088 56975 412 1026 0 57058 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232352

[startup+6.30165 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1241
/proc/meminfo: memFree=1505712/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=411896 CPUtime=6.29
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 101564 0 0 0 596 33 0 0 25 0 1 0 26488641 421781504 101121 1992294400 4194304 8395647 140734981417136 18446744073709551615 6345887 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 102974 101121 469 1026 0 101944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 411896

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1241
/proc/meminfo: memFree=1269616/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=629776 CPUtime=12.69
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 153897 0 0 0 1218 51 0 0 25 0 1 0 26488641 644890624 153454 1992294400 4194304 8395647 140734981417136 18446744073709551615 4684112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 157444 153454 475 1026 0 156414 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 629776

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1241
/proc/meminfo: memFree=1229936/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=653660 CPUtime=25.48
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 159683 0 0 0 2496 52 0 0 25 0 1 0 26488641 669347840 159240 1992294400 4194304 8395647 140734981417136 18446744073709551615 5599051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 163415 159240 475 1026 0 162385 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 653660

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1241
/proc/meminfo: memFree=1112384/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=775300 CPUtime=51.06
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 192617 0 0 0 5042 64 0 0 25 0 1 0 26488641 793907200 188679 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 193825 188679 517 1026 0 192795 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 775300

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1243
/proc/meminfo: memFree=1082996/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=805048 CPUtime=102.25
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 199906 0 0 0 10158 67 0 0 25 0 1 0 26488641 824369152 195968 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 201262 195968 517 1026 0 200232 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 805048

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1245
/proc/meminfo: memFree=1006116/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=885480 CPUtime=162.23
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 219262 0 0 0 16149 74 0 0 25 0 1 0 26488641 906731520 215324 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 221370 215324 517 1026 0 220340 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 885480

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1247
/proc/meminfo: memFree=952176/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=935272 CPUtime=222.21
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 232536 0 0 0 22143 78 0 0 25 0 1 0 26488641 957718528 228598 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 233818 228598 517 1026 0 232788 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 935272

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1248
/proc/meminfo: memFree=892408/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1002344 CPUtime=282.21
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 248448 0 0 0 28137 84 0 0 25 0 1 0 26488641 1026400256 244510 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 250586 244510 517 1026 0 249556 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1002344

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1249
/proc/meminfo: memFree=833756/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1057596 CPUtime=342.18
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 262078 0 0 0 34130 88 0 0 25 0 1 0 26488641 1082978304 258140 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080394 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 264399 258140 517 1026 0 263369 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1057596

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1251
/proc/meminfo: memFree=745096/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1150172 CPUtime=402.17
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 284438 0 0 0 40120 97 0 0 25 0 1 0 26488641 1177776128 280500 1992294400 4194304 8395647 140734981417136 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 287543 280500 517 1026 0 286513 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1150172

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1262
/proc/meminfo: memFree=681192/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1209788 CPUtime=462.15
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 299817 0 0 0 46112 103 0 0 25 0 1 0 26488641 1238822912 295879 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 302447 295879 517 1026 0 301417 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1209788

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1264
/proc/meminfo: memFree=635684/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1255628 CPUtime=522.13
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 311238 0 0 0 52105 108 0 0 25 0 1 0 26488641 1285763072 307300 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 313907 307300 517 1026 0 312877 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1255628

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1266
/proc/meminfo: memFree=541816/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1350452 CPUtime=582.12
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 334589 0 0 0 58096 116 0 0 25 0 1 0 26488641 1382862848 330651 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 337613 330651 517 1026 0 336583 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1350452

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1267
/proc/meminfo: memFree=491472/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1399192 CPUtime=642.1
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 347146 0 0 0 64090 120 0 0 25 0 1 0 26488641 1432772608 343208 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 349798 343208 517 1026 0 348768 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1399192

[startup+702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1269
/proc/meminfo: memFree=449808/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1441472 CPUtime=702.09
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 357517 0 0 0 70085 124 0 0 25 0 1 0 26488641 1476067328 353579 1992294400 4194304 8395647 140734981417136 18446744073709551615 4247666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 360368 353579 517 1026 0 359338 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1441472

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1271
/proc/meminfo: memFree=406284/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1484956 CPUtime=762.08
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 368375 0 0 0 76080 128 0 0 25 0 1 0 26488641 1520594944 364437 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 371239 364437 517 1026 0 370209 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1484956

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1273
/proc/meminfo: memFree=355816/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1535348 CPUtime=822.06
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 380980 0 0 0 82071 135 0 0 25 0 1 0 26488641 1572196352 377042 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 383837 377042 517 1026 0 382807 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1535348

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1274
/proc/meminfo: memFree=331140/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1560676 CPUtime=882.04
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 387122 0 0 0 88067 137 0 0 25 0 1 0 26488641 1598132224 383184 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 390169 383184 517 1026 0 389139 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1560676

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1275
/proc/meminfo: memFree=306464/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1584952 CPUtime=942.03
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 393282 0 0 0 94063 140 0 0 25 0 1 0 26488641 1622990848 389344 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 396238 389344 517 1026 0 395208 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1584952

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1277
/proc/meminfo: memFree=266784/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1623064 CPUtime=1002.01
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 403207 0 0 0 100056 145 0 0 25 0 1 0 26488641 1662017536 399269 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 405766 399269 517 1026 0 404736 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1623064

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1279
/proc/meminfo: memFree=245580/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1646380 CPUtime=1061.99
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 408487 0 0 0 106052 147 0 0 25 0 1 0 26488641 1685893120 404549 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 411595 404549 517 1026 0 410565 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1646380

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1281
/proc/meminfo: memFree=163244/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1728524 CPUtime=1121.98
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 429037 0 0 0 112042 156 0 0 25 0 1 0 26488641 1770008576 425099 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 432131 425099 517 1026 0 431101 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1728524

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1281
/proc/meminfo: memFree=88472/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1804908 CPUtime=1181.96
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 447679 0 0 0 118032 164 0 0 25 0 1 0 26488641 1848225792 443741 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 451227 443741 517 1026 0 450197 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1804908

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 1283
/proc/meminfo: memFree=77436/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1817140 CPUtime=1241.95
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 450697 0 0 0 124029 166 0 0 25 0 1 0 26488641 1860751360 446759 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 454285 446759 517 1026 0 453255 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1817140

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1285
/proc/meminfo: memFree=59332/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1834424 CPUtime=1301.94
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 454957 0 0 0 130026 168 0 0 25 0 1 0 26488641 1878450176 451019 1992294400 4194304 8395647 140734981417136 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 458606 451019 517 1026 0 457576 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1834424



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1343.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1287
/proc/meminfo: memFree=49412/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1843600 CPUtime=1342.83
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 457436 0 0 0 134114 169 0 0 25 0 1 0 26488641 1887846400 453498 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 460900 453498 517 1026 0 459870 0
Current children cumulated CPU time (s) 1342.83
Current children cumulated vsize (KiB) 1843600

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -1240

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

[startup+1343.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 1287
/proc/meminfo: memFree=49412/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1843600 CPUtime=1343.42
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 457443 0 0 0 134173 169 0 0 25 0 1 0 26488641 1887846400 453505 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 460900 453505 517 1026 0 459870 0
Current children cumulated CPU time (s) 1343.42
Current children cumulated vsize (KiB) 1843600

[startup+1344.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1288
/proc/meminfo: memFree=49280/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1844624 CPUtime=1344.22
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 457715 0 0 0 134253 169 0 0 25 0 1 0 26488641 1888894976 453777 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 461156 453777 517 1026 0 460126 0
Current children cumulated CPU time (s) 1344.22
Current children cumulated vsize (KiB) 1844624

[startup+1345 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1288
/proc/meminfo: memFree=49280/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1844624 CPUtime=1344.62
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 457765 0 0 0 134293 169 0 0 25 0 1 0 26488641 1888894976 453827 1992294400 4194304 8395647 140734981417136 18446744073709551615 4742904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 461156 453827 517 1026 0 460126 0
Current children cumulated CPU time (s) 1344.62
Current children cumulated vsize (KiB) 1844624

[startup+1345.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1288
/proc/meminfo: memFree=46924/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=1845648 CPUtime=1344.82
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4202496 458033 0 0 0 134313 169 0 0 25 0 1 0 26488641 1889943552 454095 1992294400 4194304 8395647 140734981417136 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1240/statm: 461412 454095 517 1026 0 460382 0
Current children cumulated CPU time (s) 1344.82
Current children cumulated vsize (KiB) 1845648

[startup+1345.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1288
/proc/meminfo: memFree=46924/2059040 swapFree=4136152/4192956
[pid=1240] ppid=1238 vsize=0 CPUtime=1344.93
/proc/1240/stat : 1240 (pbscip.linux.x8) R 1238 1240 304 0 -1 4203524 458034 0 0 0 134314 179 0 0 25 0 1 0 26488641 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/1240/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1344.93
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1345.37
CPU time (s): 1345
CPU user time (s): 1343.14
CPU system time (s): 1.85872
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1845648

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

runsolver used 2.18467 second user time and 6.40503 second system time

The end

Launcher Data 

Begin job on node082 at 2010-07-08 11:53:25
IDJOB=2704979
IDBENCH=78064
IDSOLVER=1213
FILE ID=node082/2704979-1278582804
PBS_JOBID= 11240066
Free space on /tmp= 62392 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/j90opt/normalized-j9014_2.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-2704979-1278582804/watcher-2704979-1278582804 -o /tmp/evaluation-result-2704979-1278582804/solver-2704979-1278582804 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704979-1278582804.opb -t 1800 -m 1800

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

MD5SUM BENCH= 82675f41f9235220cbcd7952570f1ec4
RANDOM SEED=1062393158

node082.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.260
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.52
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.260
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:       1867088 kB
Buffers:          5812 kB
Cached:         109656 kB
SwapCached:      10076 kB
Active:          61872 kB
Inactive:        67372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1867088 kB
SwapTotal:     4192956 kB
SwapFree:      4136152 kB
Dirty:           16312 kB
Writeback:           0 kB
AnonPages:       11216 kB
Mapped:           7860 kB
Slab:            40840 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179780 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= 62384 MiB
End job on node082 at 2010-07-08 12:15:50