Trace number 2687549

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (MO) 720.188 720.37

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9014_2.std.opb
MD5SUM82675f41f9235220cbcd7952570f1ec4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark79
Best CPU time to get the best result obtained on this benchmark21.8517
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176188
Number of constraints which are clauses174988
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2687549-1278454351.opb>
3.09/3.12	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176188 constraints
3.09/3.12	c problem read
3.09/3.12	c presolving settings loaded
3.99/4.07	c presolving:
14.29/14.30	c (round 1) 3034 del vars, 8695 del conss, 2005 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12158818 impls, 0 clqs
20.90/20.91	c (round 2) 7711 del vars, 24986 del conss, 6550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12179514 impls, 0 clqs
23.19/23.28	c (round 3) 9576 del vars, 33555 del conss, 7630 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 12188337 impls, 0 clqs
24.29/24.31	c (round 4) 10274 del vars, 36518 del conss, 8051 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12191308 impls, 0 clqs
24.88/24.99	c (round 5) 10598 del vars, 37832 del conss, 8271 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12193199 impls, 0 clqs
25.29/25.39	c (round 6) 10798 del vars, 38628 del conss, 8370 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194347 impls, 0 clqs
25.59/25.68	c (round 7) 10862 del vars, 38926 del conss, 8408 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194817 impls, 0 clqs
25.88/25.92	c (round 8) 10890 del vars, 39063 del conss, 8427 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12194993 impls, 0 clqs
26.08/26.14	c (round 9) 10906 del vars, 39139 del conss, 8436 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195161 impls, 0 clqs
26.28/26.36	c (round 10) 10920 del vars, 39190 del conss, 8443 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195499 impls, 0 clqs
26.49/26.57	c (round 11) 10932 del vars, 39240 del conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 0 upgd conss, 12195501 impls, 0 clqs
27.79/27.89	c (round 12) 10932 del vars, 39253 del conss, 8454 chg bounds, 40 chg sides, 45 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
29.79/29.89	c (round 13) 10932 del vars, 39274 del conss, 8454 chg bounds, 160 chg sides, 370 chg coeffs, 136935 upgd conss, 12195501 impls, 0 clqs
30.49/30.57	c (round 14) 10932 del vars, 39281 del conss, 8454 chg bounds, 168 chg sides, 406 chg coeffs, 136935 upgd conss, 12195501 impls, 1 clqs
718.02/718.20	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2687549-1278454351/watcher-2687549-1278454351 -o /tmp/evaluation-result-2687549-1278454351/solver-2687549-1278454351 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687549-1278454351.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.27 1.08 1.02 2/105 22907
/proc/meminfo: memFree=1838880/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=9288 CPUtime=0
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 1107 0 0 0 0 0 0 0 24 0 1 0 13643653 9510912 1027 1992294400 4194304 9819077 140736805404112 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22907/statm: 2322 1036 371 1374 0 943 0

[startup+0.10558 s]
/proc/loadavg: 1.27 1.08 1.02 2/105 22907
/proc/meminfo: memFree=1838880/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=18700 CPUtime=0.1
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 3595 0 0 0 9 1 0 0 25 0 1 0 13643653 19148800 3515 1992294400 4194304 9819077 140736805404112 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22907/statm: 4675 3515 388 1374 0 3296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18700

[startup+0.200589 s]
/proc/loadavg: 1.27 1.08 1.02 2/105 22907
/proc/meminfo: memFree=1838880/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=25192 CPUtime=0.19
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 5242 0 0 0 17 2 0 0 25 0 1 0 13643653 25796608 5162 1992294400 4194304 9819077 140736805404112 18446744073709551615 5650699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22907/statm: 6298 5162 388 1374 0 4919 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25192

[startup+0.300599 s]
/proc/loadavg: 1.27 1.08 1.02 2/105 22907
/proc/meminfo: memFree=1838880/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=29624 CPUtime=0.29
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 6365 0 0 0 27 2 0 0 25 0 1 0 13643653 30334976 6276 1992294400 4194304 9819077 140736805404112 18446744073709551615 8586689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22907/statm: 7406 6276 388 1374 0 6027 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29624

[startup+0.700639 s]
/proc/loadavg: 1.27 1.08 1.02 2/105 22907
/proc/meminfo: memFree=1838880/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=44908 CPUtime=0.69
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 10173 0 0 0 66 3 0 0 25 0 1 0 13643653 45985792 10084 1992294400 4194304 9819077 140736805404112 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22907/statm: 11227 10084 388 1374 0 9848 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44908

[startup+1.50072 s]
/proc/loadavg: 1.27 1.08 1.02 2/106 22908
/proc/meminfo: memFree=1790140/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=63364 CPUtime=1.49
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 14792 0 0 0 144 5 0 0 25 0 1 0 13643653 64884736 14703 1992294400 4194304 9819077 140736805404112 18446744073709551615 5655094 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22907/statm: 15841 14703 388 1374 0 14462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63364

[startup+3.10088 s]
/proc/loadavg: 1.25 1.08 1.02 2/106 22908
/proc/meminfo: memFree=1757652/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=113652 CPUtime=3.09
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 27283 0 0 0 299 10 0 0 25 0 1 0 13643653 116379648 27194 1992294400 4194304 9819077 140736805404112 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22907/statm: 28413 27194 388 1374 0 27034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113652

[startup+6.3002 s]
/proc/loadavg: 1.25 1.08 1.02 2/106 22908
/proc/meminfo: memFree=1487332/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=401768 CPUtime=6.29
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 98666 0 0 0 592 37 0 0 25 0 1 0 13643653 411410432 98164 1992294400 4194304 9819077 140736805404112 18446744073709551615 4688841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 100442 98164 487 1374 0 99063 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 401768

[startup+12.7018 s]
/proc/loadavg: 1.21 1.07 1.02 2/106 22908
/proc/meminfo: memFree=1229164/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=643868 CPUtime=12.69
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 157097 0 0 0 1200 69 0 0 25 0 1 0 13643653 659320832 156595 1992294400 4194304 9819077 140736805404112 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 160967 156595 491 1374 0 159588 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 643868

[startup+25.5011 s]
/proc/loadavg: 1.18 1.07 1.02 2/106 22908
/proc/meminfo: memFree=1202504/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=654452 CPUtime=25.49
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 161013 0 0 0 2444 105 0 0 25 0 1 0 13643653 670158848 158969 1992294400 4194304 9819077 140736805404112 18446744073709551615 5966503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 163613 158969 491 1374 0 162234 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 654452

[startup+51.1007 s]
/proc/loadavg: 1.20 1.08 1.02 2/106 22908
/proc/meminfo: memFree=1091648/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=773080 CPUtime=51.08
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 212191 0 0 0 4922 186 0 0 25 0 1 0 13643653 791633920 186810 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 193270 186810 530 1374 0 191891 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 773080

[startup+102.301 s]
/proc/loadavg: 1.16 1.08 1.02 2/106 22910
/proc/meminfo: memFree=1059656/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=805664 CPUtime=102.27
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 220234 0 0 0 10036 191 0 0 25 0 1 0 13643653 824999936 194820 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 201416 194820 530 1374 0 200037 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 805664

[startup+162.301 s]
/proc/loadavg: 1.13 1.08 1.02 2/106 22912
/proc/meminfo: memFree=971740/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=893588 CPUtime=162.25
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 242172 0 0 0 16023 202 0 0 25 0 1 0 13643653 915034112 216758 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 223397 216758 530 1374 0 222018 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 893588

[startup+222.309 s]
/proc/loadavg: 1.11 1.08 1.02 2/106 22914
/proc/meminfo: memFree=907880/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=958404 CPUtime=222.24
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 258872 0 0 0 22014 210 0 0 25 0 1 0 13643653 981405696 232690 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 239601 232690 530 1374 0 238222 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 958404

[startup+282.301 s]
/proc/loadavg: 1.10 1.08 1.02 2/106 22916
/proc/meminfo: memFree=830256/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1039092 CPUtime=282.22
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 278372 0 0 0 28003 219 0 0 25 0 1 0 13643653 1064030208 252058 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 259773 252058 530 1374 0 258394 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1039092

[startup+342.301 s]
/proc/loadavg: 1.09 1.08 1.02 2/106 22916
/proc/meminfo: memFree=723244/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1149320 CPUtime=342.21
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 305594 0 0 0 33988 233 0 0 25 0 1 0 13643653 1176903680 278768 1992294400 4194304 9819077 140736805404112 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 287330 278768 530 1374 0 285951 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1149320

[startup+402.301 s]
/proc/loadavg: 1.07 1.08 1.02 2/106 22918
/proc/meminfo: memFree=631980/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1242408 CPUtime=402.19
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 328681 0 0 0 39974 245 0 0 25 0 1 0 13643653 1272225792 301599 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 310602 301599 530 1374 0 309223 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1242408

[startup+462.301 s]
/proc/loadavg: 1.02 1.06 1.01 2/106 22923
/proc/meminfo: memFree=509224/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1363548 CPUtime=462.18
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 359560 0 0 0 45957 261 0 0 25 0 1 0 13643653 1396273152 331966 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 340887 331966 530 1374 0 339508 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1363548

[startup+522.301 s]
/proc/loadavg: 1.01 1.05 1.01 2/106 22925
/proc/meminfo: memFree=386960/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1485040 CPUtime=522.16
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 390116 0 0 0 51931 285 0 0 25 0 1 0 13643653 1520680960 362522 1992294400 4194304 9819077 140736805404112 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 371260 362522 530 1374 0 369881 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1485040

[startup+582.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 22927
/proc/meminfo: memFree=285032/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1591228 CPUtime=582.14
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 416475 0 0 0 57905 309 0 0 25 0 1 0 13643653 1629417472 388368 1992294400 4194304 9819077 140736805404112 18446744073709551615 5955555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 397807 388368 530 1374 0 396428 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1591228

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 22927
/proc/meminfo: memFree=160040/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1714156 CPUtime=642.13
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 447538 0 0 0 63880 333 0 0 25 0 1 0 13643653 1755295744 419175 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 428539 419175 530 1374 0 427160 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1714156

[startup+702.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 22929
/proc/meminfo: memFree=45588/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1830112 CPUtime=702.12
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 476602 0 0 0 69855 357 0 0 25 0 1 0 13643653 1874034688 447727 1992294400 4194304 9819077 140736805404112 18446744073709551615 4659942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 457528 447727 530 1374 0 456149 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 1830112



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+718.201 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 22929
/proc/meminfo: memFree=32196/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1843356 CPUtime=718.02
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 479913 0 0 0 71441 361 0 0 25 0 1 0 13643653 1887596544 451038 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 460839 451038 530 1374 0 459460 0
Current children cumulated CPU time (s) 718.02
Current children cumulated vsize (KiB) 1843356

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22907

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

[startup+718.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22930
/proc/meminfo: memFree=32188/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1843356 CPUtime=718.13
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 479917 0 0 0 71452 361 0 0 25 0 1 0 13643653 1887596544 451042 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 460839 451042 530 1374 0 459460 0
Current children cumulated CPU time (s) 718.13
Current children cumulated vsize (KiB) 1843356

[startup+719.101 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22930
/proc/meminfo: memFree=32188/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1843356 CPUtime=718.91
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 479938 0 0 0 71530 361 0 0 25 0 1 0 13643653 1887596544 451063 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 460839 451063 530 1374 0 459460 0
Current children cumulated CPU time (s) 718.91
Current children cumulated vsize (KiB) 1843356

[startup+719.901 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22930
/proc/meminfo: memFree=31072/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=1844380 CPUtime=719.71
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4202496 480228 0 0 0 71610 361 0 0 25 0 1 0 13643653 1888645120 451353 1992294400 4194304 9819077 140736805404112 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22907/statm: 461095 451353 530 1374 0 459716 0
Current children cumulated CPU time (s) 719.71
Current children cumulated vsize (KiB) 1844380

[startup+720.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22930
/proc/meminfo: memFree=31072/2059040 swapFree=4139216/4192956
[pid=22907] ppid=22905 vsize=0 CPUtime=720.11
/proc/22907/stat : 22907 (pbscip.linux.x8) R 22905 22907 22076 0 -1 4203524 480548 0 0 0 71641 370 0 0 25 0 1 0 13643653 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/22907/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 720.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 720.37
CPU time (s): 720.188
CPU user time (s): 716.413
CPU system time (s): 3.77543
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1845404

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

runsolver used 1.21081 second user time and 3.39248 second system time

The end

Launcher Data 

Begin job on node084 at 2010-07-07 00:12:31
IDJOB=2687549
IDBENCH=78064
IDSOLVER=1168
FILE ID=node084/2687549-1278454351
PBS_JOBID= 11233504
Free space on /tmp= 62492 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9014_2.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687549-1278454351/watcher-2687549-1278454351 -o /tmp/evaluation-result-2687549-1278454351/solver-2687549-1278454351 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2687549-1278454351.opb -t 1800 -m 1800

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

MD5SUM BENCH= 82675f41f9235220cbcd7952570f1ec4
RANDOM SEED=357095684

node084.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.215
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.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1839408 kB
Buffers:          9024 kB
Cached:         108724 kB
SwapCached:      21796 kB
Active:          51320 kB
Inactive:        96036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1839408 kB
SwapTotal:     4192956 kB
SwapFree:      4139216 kB
Dirty:           12348 kB
Writeback:           0 kB
AnonPages:       12548 kB
Mapped:          11940 kB
Slab:            50532 kB
PageTables:       4208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182916 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62484 MiB
End job on node084 at 2010-07-07 00:24:32