Trace number 2666851

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.14 1802.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUMb0a7c1cc13cb603591c6d50e3dba1a47
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14500
Total number of constraints461872
Number of constraints which are clauses461872
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29
Number of terms in the objective function 14500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 14500
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14500
Number of bits of the biggest sum of numbers14
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: SoPlex 1.4.2] [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-2666851-1276417902.opb>
7.49/7.54	c original problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
7.49/7.54	c problem read
7.49/7.54	c presolving settings loaded
9.19/9.27	c presolving:
15.39/15.42	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 454622 upgd conss, 923244 impls, 0 clqs
16.40/16.50	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 461872 upgd conss, 923244 impls, 0 clqs
40.28/40.32	c    (30.9s) probing: 1000/14500 (6.9%) - 0 fixings, 0 aggregations, 138232 implications, 0 bound changes
61.97/62.07	c    (52.6s) probing: 2000/14500 (13.8%) - 0 fixings, 0 aggregations, 269674 implications, 0 bound changes
61.97/62.09	c    (52.6s) probing: 2001/14500 (13.8%) - 0 fixings, 0 aggregations, 269803 implications, 0 bound changes
61.97/62.09	c    (52.6s) probing aborted: 2000/2000 successive useless probings
61.97/62.09	c presolving (3 rounds):
61.97/62.09	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
61.97/62.09	c  1922840 implications, 0 cliques
61.97/62.09	c presolved problem has 14500 variables (14500 bin, 0 int, 0 impl, 0 cont) and 461872 constraints
61.97/62.09	c  461872 constraints of type <logicor>
61.97/62.09	c transformed objective value is always integral (scale: 1)
61.97/62.09	c Presolving Time: 51.50
61.97/62.09	c - non default parameters ----------------------------------------------------------------------
61.97/62.09	c # SCIP version 1.2.1.2
61.97/62.09	c 
61.97/62.09	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
61.97/62.09	c # [type: int, range: [-1,2147483647], default: -1]
61.97/62.09	c conflict/interconss = 0
61.97/62.09	c 
61.97/62.09	c # should binary conflicts be preferred?
61.97/62.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.97/62.09	c conflict/preferbinary = TRUE
61.97/62.09	c 
61.97/62.09	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
61.97/62.09	c # [type: int, range: [-1,2147483647], default: 0]
61.97/62.09	c constraints/agelimit = 1
61.97/62.09	c 
61.97/62.09	c # should enforcement of pseudo solution be disabled?
61.97/62.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.97/62.09	c constraints/disableenfops = TRUE
61.97/62.09	c 
61.97/62.09	c # frequency for displaying node information lines
61.97/62.09	c # [type: int, range: [-1,2147483647], default: 100]
61.97/62.09	c display/freq = 10000
61.97/62.09	c 
61.97/62.09	c # maximal time in seconds to run
61.97/62.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
61.97/62.09	c limits/time = 1792.46
61.97/62.09	c 
61.97/62.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
61.97/62.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
61.97/62.09	c limits/memory = 1620
61.97/62.09	c 
61.97/62.09	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
61.97/62.09	c # [type: int, range: [-1,2147483647], default: 1]
61.97/62.09	c lp/solvefreq = 0
61.97/62.09	c 
61.97/62.09	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
61.97/62.09	c # [type: char, range: {lafpsqd}, default: l]
61.97/62.09	c lp/pricing = a
61.97/62.09	c 
61.97/62.09	c # should presolving try to simplify inequalities
61.97/62.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.97/62.09	c constraints/linear/simplifyinequalities = TRUE
61.97/62.09	c 
61.97/62.09	c # should presolving try to simplify knapsacks
61.97/62.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.97/62.09	c constraints/knapsack/simplifyinequalities = TRUE
61.97/62.09	c 
61.97/62.09	c # priority of node selection rule <dfs> in standard mode
61.97/62.09	c # [type: int, range: [-536870912,536870911], default: 0]
61.97/62.09	c nodeselection/dfs/stdpriority = 1000000
61.97/62.09	c 
61.97/62.09	c -----------------------------------------------------------------------------------------------
61.97/62.09	c start solving
62.07/62.14	c 
269.32/269.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
269.32/269.40	c   259s|     1 |     0 |  8485 |     - | 544M|   0 |7750 |  14k| 461k|  14k| 461k|   0 |   0 |   0 | 3.875000e+03 |      --      |    Inf 
543.52/543.75	c   527s|     1 |     0 | 19877 |     - | 544M|   0 |7692 |  14k| 461k|  14k| 461k|  32 |   0 |   0 | 3.904000e+03 |      --      |    Inf 
653.20/653.44	c   634s|     1 |     0 | 20407 |     - | 544M|   0 |7628 |  14k| 461k|  14k| 461k|  76 |   0 |   0 | 3.936000e+03 |      --      |    Inf 
771.87/772.12	c   750s|     1 |     0 | 20858 |     - | 544M|   0 |7576 |  14k| 461k|  14k| 461k| 101 |   0 |   0 | 3.962000e+03 |      --      |    Inf 
961.80/962.16	c   937s|     1 |     0 | 21609 |     - | 544M|   0 |7511 |  14k| 461k|  14k| 462k| 141 |   0 |   0 | 3.994500e+03 |      --      |    Inf 
1162.04/1162.43	c  1134s|     1 |     0 | 22089 |     - | 544M|   0 |7463 |  14k| 461k|  14k| 462k| 166 |   0 |   0 | 4.018500e+03 |      --      |    Inf 
1398.86/1399.34	c  1368s|     1 |     0 | 22445 |     - | 545M|   0 |7426 |  14k| 461k|  14k| 462k| 189 |   0 |   0 | 4.039000e+03 |      --      |    Inf 
1682.87/1683.40	c  1649s|     1 |     0 | 23071 |     - | 545M|   0 |7374 |  14k| 461k|  14k| 462k| 221 |   0 |   0 | 4.064750e+03 |      --      |    Inf 
1800.04/1800.61	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-2666851-1276417902/watcher-2666851-1276417902 -o /tmp/evaluation-result-2666851-1276417902/solver-2666851-1276417902 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666851-1276417902.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.91 1.95 1.62 3/106 23660
/proc/meminfo: memFree=1719408/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=6696 CPUtime=0
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 985 0 0 0 0 0 0 0 18 0 1 0 17394248 6856704 904 1992294400 4194304 8223781 140735942221744 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 1674 904 343 984 0 687 0

[startup+0.0539809 s]
/proc/loadavg: 1.91 1.95 1.62 3/106 23660
/proc/meminfo: memFree=1719408/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=18348 CPUtime=0.04
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 3916 0 0 0 3 1 0 0 20 0 1 0 17394248 18788352 3832 1992294400 4194304 8223781 140735942221744 18446744073709551615 7163724 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 4587 3832 363 984 0 3600 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18348

[startup+0.100986 s]
/proc/loadavg: 1.91 1.95 1.62 3/106 23660
/proc/meminfo: memFree=1719408/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=21216 CPUtime=0.09
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 4643 0 0 0 8 1 0 0 20 0 1 0 17394248 21725184 4557 1992294400 4194304 8223781 140735942221744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 5304 4557 365 984 0 4317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21216

[startup+0.301009 s]
/proc/loadavg: 1.91 1.95 1.62 3/106 23660
/proc/meminfo: memFree=1719408/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=25940 CPUtime=0.29
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 5812 0 0 0 28 1 0 0 20 0 1 0 17394248 26562560 5726 1992294400 4194304 8223781 140735942221744 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 6485 5726 365 984 0 5498 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25940

[startup+0.701057 s]
/proc/loadavg: 1.91 1.95 1.62 3/106 23660
/proc/meminfo: memFree=1719408/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=34640 CPUtime=0.69
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 8022 0 0 0 67 2 0 0 20 0 1 0 17394248 35471360 7917 1992294400 4194304 8223781 140735942221744 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 8660 7917 365 984 0 7673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34640

[startup+1.50115 s]
/proc/loadavg: 1.91 1.95 1.62 2/107 23661
/proc/meminfo: memFree=1683440/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=51232 CPUtime=1.49
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 12171 0 0 0 144 5 0 0 23 0 1 0 17394248 52461568 12066 1992294400 4194304 8223781 140735942221744 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 12808 12066 365 984 0 11821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51232

[startup+3.10134 s]
/proc/loadavg: 1.91 1.95 1.62 2/107 23661
/proc/meminfo: memFree=1658392/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=84444 CPUtime=3.09
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 20471 0 0 0 302 7 0 0 25 0 1 0 17394248 86470656 20366 1992294400 4194304 8223781 140735942221744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 21111 20366 365 984 0 20124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84444

[startup+6.30071 s]
/proc/loadavg: 1.84 1.94 1.62 2/107 23661
/proc/meminfo: memFree=1589820/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=151856 CPUtime=6.29
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 37302 0 0 0 615 14 0 0 25 0 1 0 17394248 155500544 37197 1992294400 4194304 8223781 140735942221744 18446744073709551615 7246918 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23660/statm: 37964 37197 365 984 0 36977 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 151856

[startup+12.7005 s]
/proc/loadavg: 1.77 1.92 1.62 2/107 23661
/proc/meminfo: memFree=1184960/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=532920 CPUtime=12.68
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 143691 0 0 0 1164 104 0 0 25 0 1 0 17394248 545710080 131463 1992294400 4194304 8223781 140735942221744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 133230 131463 443 984 0 132243 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 532920

[startup+25.501 s]
/proc/loadavg: 1.60 1.88 1.61 2/107 23661
/proc/meminfo: memFree=1253408/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=474572 CPUtime=25.49
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 196031 0 0 0 2346 203 0 0 25 0 1 0 17394248 485961728 116616 1992294400 4194304 8223781 140735942221744 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 118643 116616 466 984 0 117656 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 474572

[startup+51.101 s]
/proc/loadavg: 1.40 1.81 1.59 2/107 23663
/proc/meminfo: memFree=1236172/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=493088 CPUtime=51.07
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 200666 0 0 0 4899 208 0 0 25 0 1 0 17394248 504922112 121248 1992294400 4194304 8223781 140735942221744 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 123272 121248 468 984 0 122285 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 493088

[startup+102.309 s]
/proc/loadavg: 1.17 1.68 1.55 2/107 23663
/proc/meminfo: memFree=791756/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1003356 CPUtime=102.27
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 343439 0 0 0 9966 261 0 0 25 0 1 0 17394248 1027436544 231878 1992294400 4194304 8223781 140735942221744 18446744073709551615 6502683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 250839 231878 529 984 0 249852 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1003356

[startup+162.301 s]
/proc/loadavg: 1.06 1.55 1.52 2/107 23665
/proc/meminfo: memFree=784440/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1036404 CPUtime=162.24
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 368428 0 0 0 15948 276 0 0 25 0 1 0 17394248 1061277696 233691 1992294400 4194304 8223781 140735942221744 18446744073709551615 6446938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 259101 233691 529 984 0 258114 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1036404

[startup+222.301 s]
/proc/loadavg: 1.02 1.45 1.48 2/107 23667
/proc/meminfo: memFree=779976/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1076764 CPUtime=222.23
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 403163 0 0 0 21929 294 0 0 25 0 1 0 17394248 1102606336 235608 1992294400 4194304 8223781 140735942221744 18446744073709551615 7253680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 269191 235608 529 984 0 268204 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1076764

[startup+282.301 s]
/proc/loadavg: 1.01 1.36 1.45 2/107 23669
/proc/meminfo: memFree=771792/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1100248 CPUtime=282.21
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 435557 0 0 0 27911 310 0 0 25 0 1 0 17394248 1126653952 236830 1992294400 4194304 8223781 140735942221744 18446744073709551615 5436274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 275062 236830 536 984 0 274075 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1100248

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.42 2/107 23669
/proc/meminfo: memFree=759516/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1110952 CPUtime=342.18
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 477985 0 0 0 33889 329 0 0 25 0 1 0 17394248 1137614848 239872 1992294400 4194304 8223781 140735942221744 18446744073709551615 6563163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 277738 239872 538 984 0 276751 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1110952

[startup+402.301 s]
/proc/loadavg: 1.00 1.24 1.39 2/107 23671
/proc/meminfo: memFree=758028/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1111428 CPUtime=402.17
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 585681 0 0 0 39835 382 0 0 25 0 1 0 17394248 1138102272 240230 1992294400 4194304 8223781 140735942221744 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 277857 240230 535 984 0 276870 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1111428

[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.36 2/107 23673
/proc/meminfo: memFree=756788/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1111452 CPUtime=462.15
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 679794 0 0 0 45787 428 0 0 25 0 1 0 17394248 1138126848 240535 1992294400 4194304 8223781 140735942221744 18446744073709551615 6591978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 277863 240535 535 984 0 276876 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1111452

[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.34 2/107 23675
/proc/meminfo: memFree=755052/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1144520 CPUtime=522.14
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 1628392 0 0 0 51328 886 0 0 25 0 1 0 17394248 1171988480 240992 1992294400 4194304 8223781 140735942221744 18446744073709551615 6448564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286130 240992 561 984 0 285143 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1144520

[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.31 2/107 23677
/proc/meminfo: memFree=755176/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1142352 CPUtime=582.11
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 1642116 0 0 0 57319 892 0 0 25 0 1 0 17394248 1169768448 240765 1992294400 4194304 8223781 140735942221744 18446744073709551615 5435395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 285588 240765 561 984 0 284601 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1142352

[startup+642.302 s]
/proc/loadavg: 1.00 1.10 1.29 2/107 23677
/proc/meminfo: memFree=752696/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1144284 CPUtime=642.11
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 2561262 0 0 0 63027 1184 0 0 25 0 1 0 17394248 1171746816 241559 1992294400 4194304 8223781 140735942221744 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286071 241559 562 984 0 285084 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1144284

[startup+702.302 s]

################
# More data... #
################

/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 5326038 0 0 0 104132 2065 0 0 25 0 1 0 17394248 1168805888 241397 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 285353 241397 562 984 0 284366 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1141412

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 23691
/proc/meminfo: memFree=752324/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1141412 CPUtime=1121.95
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 5326042 0 0 0 110130 2065 0 0 25 0 1 0 17394248 1168805888 241401 1992294400 4194304 8223781 140735942221744 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 285353 241401 562 984 0 284366 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1141412

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 23693
/proc/meminfo: memFree=751580/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1144600 CPUtime=1181.93
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 5349237 0 0 0 116117 2076 0 0 25 0 1 0 17394248 1172070400 241558 1992294400 4194304 8223781 140735942221744 18446744073709551615 5436576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286150 241558 565 984 0 285163 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1144600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 23693
/proc/meminfo: memFree=750464/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1145624 CPUtime=1241.91
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 6252493 0 0 0 121833 2358 0 0 25 0 1 0 17394248 1173118976 241814 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286406 241814 565 984 0 285419 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1145624

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 23695
/proc/meminfo: memFree=750340/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1145624 CPUtime=1301.9
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 6252496 0 0 0 127832 2358 0 0 25 0 1 0 17394248 1173118976 241817 1992294400 4194304 8223781 140735942221744 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286406 241817 565 984 0 285419 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1145624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 23697
/proc/meminfo: memFree=750340/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1145624 CPUtime=1361.87
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 6252496 0 0 0 133829 2358 0 0 25 0 1 0 17394248 1173118976 241817 1992294400 4194304 8223781 140735942221744 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286406 241817 565 984 0 285419 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1145624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 23699
/proc/meminfo: memFree=749968/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1145204 CPUtime=1421.86
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 6272251 0 0 0 139819 2367 0 0 25 0 1 0 17394248 1172688896 241904 1992294400 4194304 8223781 140735942221744 18446744073709551615 5434165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286301 241904 565 984 0 285314 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1145204

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 23701
/proc/meminfo: memFree=750092/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1145204 CPUtime=1481.83
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 7175251 0 0 0 145537 2646 0 0 25 0 1 0 17394248 1172688896 241904 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286301 241904 565 984 0 285314 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1145204

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 23701
/proc/meminfo: memFree=749968/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1145204 CPUtime=1541.82
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 7175251 0 0 0 151536 2646 0 0 25 0 1 0 17394248 1172688896 241904 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286301 241904 565 984 0 285314 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1145204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 23703
/proc/meminfo: memFree=749968/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1145204 CPUtime=1601.8
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 7175251 0 0 0 157534 2646 0 0 25 0 1 0 17394248 1172688896 241904 1992294400 4194304 8223781 140735942221744 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286301 241904 565 984 0 285314 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1145204

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 23705
/proc/meminfo: memFree=748108/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1147008 CPUtime=1661.77
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 7187755 0 0 0 163526 2651 0 0 25 0 1 0 17394248 1174536192 242545 1992294400 4194304 8223781 140735942221744 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 286752 242545 565 984 0 285765 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1147008

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 23707
/proc/meminfo: memFree=746744/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1150564 CPUtime=1721.76
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 7299599 0 0 0 169488 2688 0 0 25 0 1 0 17394248 1178177536 242458 1992294400 4194304 8223781 140735942221744 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 287641 242467 565 984 0 286654 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1150564

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23718
/proc/meminfo: memFree=747364/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1148280 CPUtime=1781.73
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 8105965 0 0 0 175236 2937 0 0 25 0 1 0 17394248 1175838720 242445 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 287070 242445 565 984 0 286083 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1148280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23718
/proc/meminfo: memFree=747364/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1148280 CPUtime=1800.04
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 8105965 0 0 0 177067 2937 0 0 25 0 1 0 17394248 1175838720 242445 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 287070 242445 565 984 0 286083 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1148280

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23660

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23718
/proc/meminfo: memFree=747364/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1148280 CPUtime=1800.82
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 8105965 0 0 0 177145 2937 0 0 25 0 1 0 17394248 1175838720 242445 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 287070 242445 565 984 0 286083 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1148280

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 23719
/proc/meminfo: memFree=747356/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1148280 CPUtime=1801.62
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 8105965 0 0 0 177225 2937 0 0 25 0 1 0 17394248 1175838720 242445 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 287070 242445 565 984 0 286083 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 1148280

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 23719
/proc/meminfo: memFree=747356/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=1148280 CPUtime=1802.02
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4202496 8105965 0 0 0 177265 2937 0 0 25 0 1 0 17394248 1175838720 242445 1992294400 4194304 8223781 140735942221744 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23660/statm: 287070 242445 565 984 0 286083 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1148280

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 23719
/proc/meminfo: memFree=747356/2059040 swapFree=4136464/4192956
[pid=23660] ppid=23658 vsize=0 CPUtime=1802.12
/proc/23660/stat : 23660 (pbscip.linux.x8) R 23658 23660 23060 0 -1 4203524 8105965 0 0 0 177267 2945 0 0 25 0 1 0 17394248 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/23660/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.71
CPU time (s): 1802.14
CPU user time (s): 1772.68
CPU system time (s): 29.4675
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 1204528

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

runsolver used 2.97255 second user time and 8.5327 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-13 10:31:42
IDJOB=2666851
IDBENCH=2058
IDSOLVER=1169
FILE ID=node001/2666851-1276417902
PBS_JOBID= 11173286
Free space on /tmp= 62380 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.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-2666851-1276417902/watcher-2666851-1276417902 -o /tmp/evaluation-result-2666851-1276417902/solver-2666851-1276417902 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666851-1276417902.opb -t 1800 -m 1800

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

MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47
RANDOM SEED=1025186617

node001.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.202
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.40
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.202
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:       1719936 kB
Buffers:         87312 kB
Cached:         165560 kB
SwapCached:      16988 kB
Active:         146928 kB
Inactive:       125960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1719936 kB
SwapTotal:     4192956 kB
SwapFree:      4136464 kB
Dirty:           16164 kB
Writeback:           0 kB
AnonPages:       10896 kB
Mapped:           9212 kB
Slab:            44496 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180588 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= 62376 MiB
End job on node001 at 2010-06-13 11:01:45