Trace number 2686911

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (MO) 803.89 804.087

General information on the benchmark

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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2686911-1278443964.opb>
4.19/4.26	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234174 constraints
4.19/4.26	c problem read
4.19/4.26	c presolving settings loaded
4.19/4.26	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
5.50/5.56	c presolving:
19.99/20.01	c (round 1) 4989 del vars, 15107 del conss, 3397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15995960 impls, 0 clqs
32.18/32.23	c (round 2) 13023 del vars, 41242 del conss, 11114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034190 impls, 0 clqs
36.29/36.39	c (round 3) 15798 del vars, 53921 del conss, 12723 chg bounds, 12 chg sides, 23 chg coeffs, 0 upgd conss, 16049347 impls, 1 clqs
38.18/38.29	c (round 4) 16871 del vars, 58273 del conss, 13376 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16055855 impls, 1 clqs
39.08/39.19	c (round 5) 17354 del vars, 60336 del conss, 13625 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16059677 impls, 1 clqs
39.78/39.83	c (round 6) 17571 del vars, 61247 del conss, 13756 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16061618 impls, 1 clqs
40.18/40.25	c (round 7) 17663 del vars, 61671 del conss, 13804 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16062405 impls, 1 clqs
40.58/40.61	c (round 8) 17715 del vars, 61894 del conss, 13830 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063007 impls, 1 clqs
40.88/40.92	c (round 9) 17745 del vars, 62029 del conss, 13848 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063265 impls, 1 clqs
41.18/41.21	c (round 10) 17759 del vars, 62105 del conss, 13855 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063543 impls, 1 clqs
41.38/41.48	c (round 11) 17769 del vars, 62151 del conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063564 impls, 1 clqs
43.18/43.25	c (round 12) 17769 del vars, 62159 del conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 172015 upgd conss, 16063564 impls, 1 clqs
46.28/46.31	c (round 13) 17769 del vars, 62163 del conss, 13862 chg bounds, 54 chg sides, 238 chg coeffs, 172015 upgd conss, 16064800 impls, 799 clqs
47.77/47.88	c (round 14) 17769 del vars, 62170 del conss, 13862 chg bounds, 80 chg sides, 333 chg coeffs, 172015 upgd conss, 16064800 impls, 862 clqs
801.71/801.91	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-2686911-1278443964/watcher-2686911-1278443964 -o /tmp/evaluation-result-2686911-1278443964/solver-2686911-1278443964 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2686911-1278443964.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.08 1.01 3/106 18857
/proc/meminfo: memFree=1859072/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=6584 CPUtime=0
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 12603792 6742016 911 1992294400 4194304 7136930 140735749568672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18857/statm: 1646 921 254 719 0 925 0

[startup+0.0857961 s]
/proc/loadavg: 1.08 1.08 1.01 3/106 18857
/proc/meminfo: memFree=1859072/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=14300 CPUtime=0.08
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 3071 0 0 0 7 1 0 0 20 0 1 0 12603792 14643200 2994 1992294400 4194304 7136930 140735749568672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18857/statm: 3575 2994 271 719 0 2854 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14300

[startup+0.100798 s]
/proc/loadavg: 1.08 1.08 1.01 3/106 18857
/proc/meminfo: memFree=1859072/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=14908 CPUtime=0.09
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 3198 0 0 0 8 1 0 0 20 0 1 0 12603792 15265792 3121 1992294400 4194304 7136930 140735749568672 18446744073709551615 5650942 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18857/statm: 3727 3121 271 719 0 3006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14908

[startup+0.300815 s]
/proc/loadavg: 1.08 1.08 1.01 3/106 18857
/proc/meminfo: memFree=1859072/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=26928 CPUtime=0.29
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 6242 0 0 0 27 2 0 0 20 0 1 0 12603792 27574272 6156 1992294400 4194304 7136930 140735749568672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18857/statm: 6732 6156 271 719 0 6011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26928

[startup+0.700851 s]
/proc/loadavg: 1.08 1.08 1.01 3/106 18857
/proc/meminfo: memFree=1859072/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=48592 CPUtime=0.69
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 11614 0 0 0 65 4 0 0 21 0 1 0 12603792 49758208 11528 1992294400 4194304 7136930 140735749568672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18857/statm: 12148 11528 271 719 0 11427 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48592

[startup+1.50092 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 18858
/proc/meminfo: memFree=1808224/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=65184 CPUtime=1.49
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 15797 0 0 0 143 6 0 0 23 0 1 0 12603792 66748416 15711 1992294400 4194304 7136930 140735749568672 18446744073709551615 5649661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18857/statm: 16296 15711 271 719 0 15575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65184

[startup+3.10106 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 18858
/proc/meminfo: memFree=1783672/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=110576 CPUtime=3.09
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 27121 0 0 0 299 10 0 0 25 0 1 0 12603792 113229824 27035 1992294400 4194304 7136930 140735749568672 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18857/statm: 27644 27035 271 719 0 26923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110576

[startup+6.30135 s]
/proc/loadavg: 1.08 1.07 1.01 2/107 18858
/proc/meminfo: memFree=1522280/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=396588 CPUtime=6.29
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 97445 0 0 0 591 38 0 0 25 0 1 0 12603792 406106112 96944 1992294400 4194304 7136930 140735749568672 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 99147 96944 338 719 0 98426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 396588

[startup+12.7009 s]
/proc/loadavg: 1.07 1.07 1.01 2/107 18858
/proc/meminfo: memFree=1207196/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=685964 CPUtime=12.69
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 169362 0 0 0 1196 73 0 0 25 0 1 0 12603792 702427136 168861 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 171491 168861 342 719 0 170770 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 685964

[startup+25.5011 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 18861
/proc/meminfo: memFree=1026656/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=848124 CPUtime=25.48
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 208030 0 0 0 2439 109 0 0 25 0 1 0 12603792 868478976 207272 1992294400 4194304 7136930 140735749568672 18446744073709551615 5966526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 212031 207272 347 719 0 211310 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 848124

[startup+51.1003 s]
/proc/loadavg: 1.04 1.06 1.01 2/107 18862
/proc/meminfo: memFree=950148/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=930276 CPUtime=51.07
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 255326 0 0 0 4850 257 0 0 25 0 1 0 12603792 952602624 226662 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 232569 226662 383 719 0 231848 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 930276

[startup+102.308 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 18863
/proc/meminfo: memFree=893480/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=989868 CPUtime=102.27
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 269634 0 0 0 9964 263 0 0 25 0 1 0 12603792 1013624832 240706 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 247467 240706 383 719 0 246746 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 989868

[startup+162.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 18865
/proc/meminfo: memFree=851692/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1034864 CPUtime=162.25
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 280034 0 0 0 15956 269 0 0 25 0 1 0 12603792 1059700736 251106 1992294400 4194304 7136930 140735749568672 18446744073709551615 4688352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 258716 251106 383 719 0 257995 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1034864

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 18867
/proc/meminfo: memFree=803208/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1083804 CPUtime=222.24
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 292132 0 0 0 21949 275 0 0 25 0 1 0 12603792 1109815296 263204 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 270951 263204 383 719 0 270230 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1083804

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 18868
/proc/meminfo: memFree=720624/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1168160 CPUtime=282.22
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 312996 0 0 0 27938 284 0 0 25 0 1 0 12603792 1196195840 283812 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 292040 283812 383 719 0 291319 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1168160

[startup+342.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 18869
/proc/meminfo: memFree=666064/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1221456 CPUtime=342.21
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 326591 0 0 0 33931 290 0 0 25 0 1 0 12603792 1250770944 297407 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 305364 297407 383 719 0 304643 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1221456

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 18871
/proc/meminfo: memFree=618076/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1270404 CPUtime=402.2
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 338820 0 0 0 39924 296 0 0 25 0 1 0 12603792 1300893696 309636 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 317601 309636 383 719 0 316880 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1270404

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18873
/proc/meminfo: memFree=558060/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1330096 CPUtime=462.17
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 353885 0 0 0 45915 302 0 0 25 0 1 0 12603792 1362018304 324668 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 332524 324668 383 719 0 331803 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1330096

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18875
/proc/meminfo: memFree=486264/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1401984 CPUtime=522.16
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 371717 0 0 0 51905 311 0 0 25 0 1 0 12603792 1435631616 342500 1992294400 4194304 7136930 140735749568672 18446744073709551615 4659942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 350496 342500 383 719 0 349775 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1401984

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18876
/proc/meminfo: memFree=413724/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1473860 CPUtime=582.14
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 389566 0 0 0 57896 318 0 0 25 0 1 0 12603792 1509232640 360349 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 368465 360349 383 719 0 367744 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1473860

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18878
/proc/meminfo: memFree=329900/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1562220 CPUtime=642.14
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 411243 0 0 0 63884 330 0 0 25 0 1 0 12603792 1599713280 381258 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 390555 381258 383 719 0 389834 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1562220

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18879
/proc/meminfo: memFree=226484/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1669224 CPUtime=702.12
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 437544 0 0 0 69870 342 0 0 25 0 1 0 12603792 1709285376 407303 1992294400 4194304 7136930 140735749568672 18446744073709551615 5901129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 417306 407303 383 719 0 416585 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 1669224

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18881
/proc/meminfo: memFree=139932/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1753932 CPUtime=762.11
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 460425 0 0 0 75854 357 0 0 25 0 1 0 12603792 1796026368 428648 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 438483 428648 383 719 0 437762 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 1753932



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+801.909 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18882
/proc/meminfo: memFree=50156/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1843924 CPUtime=801.71
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 482810 0 0 0 79800 371 0 0 25 0 1 0 12603792 1888178176 451033 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 460981 451033 383 719 0 460260 0
Current children cumulated CPU time (s) 801.71
Current children cumulated vsize (KiB) 1843924

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -18857

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

[startup+803.009 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18883
/proc/meminfo: memFree=47792/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1846900 CPUtime=802.8
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 483392 0 0 0 79909 371 0 0 25 0 1 0 12603792 1891225600 451615 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 461725 451615 383 719 0 461004 0
Current children cumulated CPU time (s) 802.8
Current children cumulated vsize (KiB) 1846900

[startup+803.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 18883
/proc/meminfo: memFree=47792/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=1847924 CPUtime=803.6
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4202496 483673 0 0 0 79988 372 0 0 25 0 1 0 12603792 1892274176 451896 1992294400 4194304 7136930 140735749568672 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18857/statm: 461981 451896 383 719 0 461260 0
Current children cumulated CPU time (s) 803.6
Current children cumulated vsize (KiB) 1847924

[startup+804 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18883
/proc/meminfo: memFree=908732/2059040 swapFree=4153840/4192956
[pid=18857] ppid=18855 vsize=0 CPUtime=803.8
/proc/18857/stat : 18857 (pbscip.linux.x8) R 18855 18857 17827 0 -1 4203524 483680 0 0 0 79999 381 0 0 25 0 1 0 12603792 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/18857/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 803.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 804.087
CPU time (s): 803.89
CPU user time (s): 799.999
CPU system time (s): 3.89041
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1847924

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

runsolver used 1.2838 second user time and 3.86641 second system time

The end

Launcher Data 

Begin job on node043 at 2010-07-06 21:19:24
IDJOB=2686911
IDBENCH=77150
IDSOLVER=1167
FILE ID=node043/2686911-1278443964
PBS_JOBID= 11233478
Free space on /tmp= 62520 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_2.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686911-1278443964/watcher-2686911-1278443964 -o /tmp/evaluation-result-2686911-1278443964/solver-2686911-1278443964 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2686911-1278443964.opb -t 1800 -m 1800

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

MD5SUM BENCH= cccd345daea74d5d7e187f797768ed88
RANDOM SEED=44079437

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1859476 kB
Buffers:          9364 kB
Cached:         101356 kB
SwapCached:        384 kB
Active:          30540 kB
Inactive:       101516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1859476 kB
SwapTotal:     4192956 kB
SwapFree:      4153840 kB
Dirty:           11184 kB
Writeback:           0 kB
AnonPages:       20792 kB
Mapped:          12824 kB
Slab:            45324 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180276 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= 62516 MiB
End job on node043 at 2010-07-06 21:32:49