Trace number 2704990

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) 1259.47 1259.78

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9031_6.std.opb
MD5SUMa73a8bde0f33da3a845709fe6c00fcd5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark8.02678
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 constraints184464
Number of constraints which are clauses183264
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-2704990-1278582809.opb>
2.89/2.98	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184464 constraints
2.89/2.98	c problem read
2.89/2.98	c presolving settings loaded
3.99/4.00	c presolving:
15.99/16.02	c (round 1) 4261 del vars, 12606 del conss, 3157 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12461928 impls, 0 clqs
22.39/22.41	c (round 2) 9011 del vars, 30429 del conss, 7566 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12486617 impls, 0 clqs
24.69/24.71	c (round 3) 10592 del vars, 38061 del conss, 8486 chg bounds, 8 chg sides, 7 chg coeffs, 0 upgd conss, 12497374 impls, 0 clqs
25.89/25.95	c (round 4) 11402 del vars, 41350 del conss, 8973 chg bounds, 46 chg sides, 52 chg coeffs, 0 upgd conss, 12504669 impls, 0 clqs
26.79/26.89	c (round 5) 11899 del vars, 43316 del conss, 9297 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12508400 impls, 0 clqs
27.29/27.40	c (round 6) 12157 del vars, 44472 del conss, 9462 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12510387 impls, 0 clqs
27.69/27.73	c (round 7) 12314 del vars, 45153 del conss, 9545 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511410 impls, 0 clqs
27.89/27.94	c (round 8) 12370 del vars, 45433 del conss, 9570 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511940 impls, 0 clqs
27.99/28.08	c (round 9) 12383 del vars, 45511 del conss, 9578 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511986 impls, 0 clqs
28.19/28.22	c (round 10) 12389 del vars, 45545 del conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12512034 impls, 0 clqs
29.28/29.39	c (round 11) 12389 del vars, 45551 del conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
31.38/31.45	c (round 12) 12389 del vars, 45576 del conss, 9581 chg bounds, 165 chg sides, 366 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
31.98/32.03	c (round 13) 12389 del vars, 45591 del conss, 9581 chg bounds, 172 chg sides, 391 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
1257.28/1257.60	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-2704990-1278582809/watcher-2704990-1278582809 -o /tmp/evaluation-result-2704990-1278582809/solver-2704990-1278582809 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704990-1278582809.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.08 1.02 0.98 3/107 2861
/proc/meminfo: memFree=1874656/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=7904 CPUtime=0
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 1101 0 0 0 0 0 0 0 19 0 1 0 26492754 8093696 1014 1992294400 4194304 8395647 140735050274496 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2861/statm: 1976 1023 365 1026 0 946 0

[startup+0.067943 s]
/proc/loadavg: 1.08 1.02 0.98 3/107 2861
/proc/meminfo: memFree=1874656/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=15644 CPUtime=0.06
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 3195 0 0 0 5 1 0 0 19 0 1 0 26492754 16019456 3107 1992294400 4194304 8395647 140735050274496 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2861/statm: 3911 3107 393 1026 0 2881 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15644

[startup+0.100945 s]
/proc/loadavg: 1.08 1.02 0.98 3/107 2861
/proc/meminfo: memFree=1874656/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=18376 CPUtime=0.09
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 3871 0 0 0 8 1 0 0 19 0 1 0 26492754 18817024 3783 1992294400 4194304 8395647 140735050274496 18446744073709551615 6765616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2861/statm: 4594 3783 393 1026 0 3564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376

[startup+0.30096 s]
/proc/loadavg: 1.08 1.02 0.98 3/107 2861
/proc/meminfo: memFree=1874656/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=32748 CPUtime=0.29
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 7460 0 0 0 27 2 0 0 19 0 1 0 26492754 33533952 7372 1992294400 4194304 8395647 140735050274496 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2861/statm: 8187 7372 393 1026 0 7157 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32748

[startup+0.700993 s]
/proc/loadavg: 1.08 1.02 0.98 3/107 2861
/proc/meminfo: memFree=1874656/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=47008 CPUtime=0.69
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 11006 0 0 0 65 4 0 0 19 0 1 0 26492754 48136192 10918 1992294400 4194304 8395647 140735050274496 18446744073709551615 7384824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2861/statm: 11752 10918 393 1026 0 10722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47008

[startup+1.50106 s]
/proc/loadavg: 1.08 1.02 0.98 2/108 2862
/proc/meminfo: memFree=1824800/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=65768 CPUtime=1.49
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 15710 0 0 0 143 6 0 0 21 0 1 0 26492754 67346432 15622 1992294400 4194304 8395647 140735050274496 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2861/statm: 16442 15622 393 1026 0 15412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65768

[startup+3.10118 s]
/proc/loadavg: 1.08 1.02 0.98 2/108 2862
/proc/meminfo: memFree=1788592/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=163036 CPUtime=3.09
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 40257 0 0 0 294 15 0 0 25 0 1 0 26492754 166948864 39815 1992294400 4194304 8395647 140735050274496 18446744073709551615 6349011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 40759 39815 412 1026 0 39729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163036

[startup+6.30044 s]
/proc/loadavg: 1.15 1.03 0.98 2/108 2862
/proc/meminfo: memFree=1532160/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=394688 CPUtime=6.29
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 97350 0 0 0 592 37 0 0 25 0 1 0 26492754 404160512 96908 1992294400 4194304 8395647 140735050274496 18446744073709551615 6079593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 98672 96908 469 1026 0 97642 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 394688

[startup+12.701 s]
/proc/loadavg: 1.14 1.03 0.98 2/108 2863
/proc/meminfo: memFree=1294948/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=616096 CPUtime=12.69
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 150563 0 0 0 1214 55 0 0 25 0 1 0 26492754 630882304 150121 1992294400 4194304 8395647 140735050274496 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 154024 150121 469 1026 0 152994 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 616096

[startup+25.501 s]
/proc/loadavg: 1.11 1.03 0.98 2/108 2863
/proc/meminfo: memFree=1229228/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=662304 CPUtime=25.49
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 161940 0 0 0 2490 59 0 0 25 0 1 0 26492754 678199296 161498 1992294400 4194304 8395647 140735050274496 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 165576 161498 475 1026 0 164546 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 662304

[startup+51.101 s]
/proc/loadavg: 1.07 1.03 0.98 3/108 2864
/proc/meminfo: memFree=1116388/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=782712 CPUtime=51.06
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 193817 0 0 0 5036 70 0 0 25 0 1 0 26492754 801497088 189882 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 195678 189882 519 1026 0 194648 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 782712

[startup+102.309 s]
/proc/loadavg: 1.03 1.02 0.98 2/108 2865
/proc/meminfo: memFree=1081048/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=816692 CPUtime=102.26
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 202469 0 0 0 10152 74 0 0 25 0 1 0 26492754 836292608 198534 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 204173 198534 519 1026 0 203143 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 816692

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.98 2/108 2867
/proc/meminfo: memFree=1011608/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=890960 CPUtime=162.24
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 219919 0 0 0 16144 80 0 0 25 0 1 0 26492754 912343040 215984 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 222740 215984 519 1026 0 221710 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 890960

[startup+222.301 s]
/proc/loadavg: 1.08 1.03 0.99 2/108 2868
/proc/meminfo: memFree=953452/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=946808 CPUtime=222.22
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 234312 0 0 0 22137 85 0 0 25 0 1 0 26492754 969531392 230377 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 236702 230377 519 1026 0 235672 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 946808

[startup+282.301 s]
/proc/loadavg: 1.03 1.02 0.99 2/108 2870
/proc/meminfo: memFree=899760/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1002832 CPUtime=282.21
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 247694 0 0 0 28131 90 0 0 25 0 1 0 26492754 1026899968 243759 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 250708 243759 519 1026 0 249678 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1002832

[startup+342.301 s]
/proc/loadavg: 1.01 1.01 0.99 2/108 2872
/proc/meminfo: memFree=846068/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1057144 CPUtime=342.2
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 261098 0 0 0 34126 94 0 0 25 0 1 0 26492754 1082515456 257163 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 264286 257163 519 1026 0 263256 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1057144

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 0.99 2/108 2873
/proc/meminfo: memFree=747240/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1155472 CPUtime=402.18
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 285745 0 0 0 40113 105 0 0 25 0 1 0 26492754 1183203328 281810 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 288868 281810 519 1026 0 287838 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1155472

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2884
/proc/meminfo: memFree=707212/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1194116 CPUtime=462.16
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 295519 0 0 0 46107 109 0 0 25 0 1 0 26492754 1222774784 291584 1992294400 4194304 8395647 140735050274496 18446744073709551615 6063682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 298529 291584 519 1026 0 297499 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1194116

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2885
/proc/meminfo: memFree=604912/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1295684 CPUtime=522.14
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 321568 0 0 0 52094 120 0 0 25 0 1 0 26492754 1326780416 317633 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 323921 317633 519 1026 0 322891 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1295684

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2887
/proc/meminfo: memFree=530264/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1371916 CPUtime=582.13
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 339735 0 0 0 58086 127 0 0 25 0 1 0 26492754 1404841984 335800 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 342979 335800 519 1026 0 341949 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1371916

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2889
/proc/meminfo: memFree=467520/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1433560 CPUtime=642.13
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 355323 0 0 0 64079 134 0 0 25 0 1 0 26492754 1467965440 351388 1992294400 4194304 8395647 140735050274496 18446744073709551615 4247658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 358390 351388 519 1026 0 357360 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1433560

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2890
/proc/meminfo: memFree=427468/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1473824 CPUtime=702.1
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 365303 0 0 0 70073 137 0 0 25 0 1 0 26492754 1509195776 361368 1992294400 4194304 8395647 140735050274496 18446744073709551615 4706260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 368456 361368 519 1026 0 367426 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1473824

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2892
/proc/meminfo: memFree=383572/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1517852 CPUtime=762.09
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 376202 0 0 0 76067 142 0 0 25 0 1 0 26492754 1554280448 372267 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 379463 372267 519 1026 0 378433 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1517852

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2893
/proc/meminfo: memFree=335088/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1567816 CPUtime=822.08
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 388352 0 0 0 82060 148 0 0 25 0 1 0 26492754 1605443584 384417 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 391954 384417 519 1026 0 390924 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 1567816

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2895
/proc/meminfo: memFree=312644/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1588072 CPUtime=882.06
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 393905 0 0 0 88055 151 0 0 25 0 1 0 26492754 1626185728 389970 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 397018 389970 519 1026 0 395988 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1588072

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2897
/proc/meminfo: memFree=259076/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1642724 CPUtime=942.05
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 407525 0 0 0 94048 157 0 0 25 0 1 0 26492754 1682149376 403590 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 410681 403590 519 1026 0 409651 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1642724

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2898
/proc/meminfo: memFree=234028/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1668924 CPUtime=1002.04
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 413527 0 0 0 100044 160 0 0 25 0 1 0 26492754 1708978176 409592 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 417231 409592 519 1026 0 416201 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1668924

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2900
/proc/meminfo: memFree=207988/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1693216 CPUtime=1062.02
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 420061 0 0 0 106039 163 0 0 25 0 1 0 26492754 1733853184 416126 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 423304 416126 519 1026 0 422274 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1693216

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2901
/proc/meminfo: memFree=179096/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1722396 CPUtime=1122
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 427182 0 0 0 112034 166 0 0 25 0 1 0 26492754 1763733504 423247 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 430599 423247 519 1026 0 429569 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1722396

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2903
/proc/meminfo: memFree=154792/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1747508 CPUtime=1181.99
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 433338 0 0 0 118030 169 0 0 25 0 1 0 26492754 1789448192 429403 1992294400 4194304 8395647 140735050274496 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 436877 429403 519 1026 0 435847 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1747508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2905
/proc/meminfo: memFree=117468/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1788924 CPUtime=1241.98
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 443879 0 0 0 124023 175 0 0 25 0 1 0 26492754 1831858176 439944 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 447231 439944 519 1026 0 446201 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1788924



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1257.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 2905
/proc/meminfo: memFree=59312/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1843820 CPUtime=1257.28
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 457020 0 0 0 125547 181 0 0 25 0 1 0 26492754 1888071680 453085 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 460955 453085 519 1026 0 459925 0
Current children cumulated CPU time (s) 1257.28
Current children cumulated vsize (KiB) 1843820

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2861

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

[startup+1259 s]
/proc/loadavg: 1.00 1.00 0.99 2/109 2906
/proc/meminfo: memFree=59056/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1856796 CPUtime=1258.67
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 459841 0 0 0 125685 182 0 0 25 0 1 0 26492754 1901359104 455906 1992294400 4194304 8395647 140735050274496 18446744073709551615 4918185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 464199 455906 519 1026 0 463169 0
Current children cumulated CPU time (s) 1258.67
Current children cumulated vsize (KiB) 1856796

[startup+1259.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/109 2906
/proc/meminfo: memFree=47896/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1856796 CPUtime=1259.08
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 459856 0 0 0 125726 182 0 0 25 0 1 0 26492754 1901359104 455921 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 464199 455921 519 1026 0 463169 0
Current children cumulated CPU time (s) 1259.08
Current children cumulated vsize (KiB) 1856796

[startup+1259.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/109 2906
/proc/meminfo: memFree=47896/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=1856796 CPUtime=1259.27
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4202496 459868 0 0 0 125745 182 0 0 25 0 1 0 26492754 1901359104 455933 1992294400 4194304 8395647 140735050274496 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2861/statm: 464199 455933 519 1026 0 463169 0
Current children cumulated CPU time (s) 1259.27
Current children cumulated vsize (KiB) 1856796

[startup+1259.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/109 2906
/proc/meminfo: memFree=47896/2059040 swapFree=4139464/4192956
[pid=2861] ppid=2859 vsize=0 CPUtime=1259.37
/proc/2861/stat : 2861 (pbscip.linux.x8) R 2859 2861 2173 0 -1 4203524 459869 0 0 0 125746 191 0 0 25 0 1 0 26492754 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/2861/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1259.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1259.78
CPU time (s): 1259.47
CPU user time (s): 1257.47
CPU system time (s): 1.9997
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1856796

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

runsolver used 2.03969 second user time and 6.03808 second system time

The end

Launcher Data 

Begin job on node026 at 2010-07-08 11:53:30
IDJOB=2704990
IDBENCH=78087
IDSOLVER=1213
FILE ID=node026/2704990-1278582809
PBS_JOBID= 11240096
Free space on /tmp= 62492 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-j9031_6.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-2704990-1278582809/watcher-2704990-1278582809 -o /tmp/evaluation-result-2704990-1278582809/solver-2704990-1278582809 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704990-1278582809.opb -t 1800 -m 1800

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

MD5SUM BENCH= a73a8bde0f33da3a845709fe6c00fcd5
RANDOM SEED=679968181

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1875904 kB
Buffers:         12276 kB
Cached:          71804 kB
SwapCached:       6776 kB
Active:          42904 kB
Inactive:        54816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1875904 kB
SwapTotal:     4192956 kB
SwapFree:      4139464 kB
Dirty:           16496 kB
Writeback:           0 kB
AnonPages:       11988 kB
Mapped:          12080 kB
Slab:            63460 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179828 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= 62480 MiB
End job on node026 at 2010-07-08 12:14:30