Trace number 2687160

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? (MO) 640.503 640.829

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12025_2.std.opb
MD5SUM8e085920cc302037c5be183f5639a529
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark6.89595
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 constraints245199
Number of constraints which are clauses243999
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 constraint35
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: 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-2687160-1278448848.opb>
4.30/4.36	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245199 constraints
4.30/4.36	c problem read
4.30/4.37	c presolving settings loaded
5.59/5.61	c presolving:
20.48/20.57	c (round 1) 6175 del vars, 18464 del conss, 4589 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16735520 impls, 0 clqs
32.49/32.54	c (round 2) 13709 del vars, 48201 del conss, 11684 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 16775141 impls, 0 clqs
36.98/37.06	c (round 3) 16553 del vars, 61171 del conss, 13477 chg bounds, 110 chg sides, 85 chg coeffs, 0 upgd conss, 16795111 impls, 0 clqs
39.78/39.81	c (round 4) 18153 del vars, 67336 del conss, 14567 chg bounds, 130 chg sides, 103 chg coeffs, 0 upgd conss, 16806524 impls, 0 clqs
41.57/41.69	c (round 5) 19198 del vars, 71441 del conss, 15249 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16817588 impls, 0 clqs
42.78/42.88	c (round 6) 19871 del vars, 74058 del conss, 15642 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16823917 impls, 0 clqs
43.57/43.67	c (round 7) 20257 del vars, 75680 del conss, 15887 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16827309 impls, 0 clqs
44.28/44.32	c (round 8) 20543 del vars, 76757 del conss, 16062 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16831005 impls, 0 clqs
44.78/44.82	c (round 9) 20696 del vars, 77441 del conss, 16169 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16832524 impls, 0 clqs
45.18/45.24	c (round 10) 20832 del vars, 77966 del conss, 16257 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16833739 impls, 0 clqs
45.58/45.64	c (round 11) 20950 del vars, 78428 del conss, 16323 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16835471 impls, 0 clqs
45.88/45.97	c (round 12) 21020 del vars, 78746 del conss, 16366 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16836097 impls, 0 clqs
46.28/46.30	c (round 13) 21058 del vars, 78909 del conss, 16387 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16836712 impls, 0 clqs
46.58/46.68	c (round 14) 21074 del vars, 79015 del conss, 16406 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16836780 impls, 0 clqs
46.88/46.93	c (round 15) 21090 del vars, 79085 del conss, 16407 chg bounds, 161 chg sides, 140 chg coeffs, 0 upgd conss, 16836836 impls, 0 clqs
48.58/48.66	c (round 16) 21090 del vars, 79092 del conss, 16407 chg bounds, 161 chg sides, 140 chg coeffs, 166107 upgd conss, 16836836 impls, 0 clqs
639.32/639.50	c pressed CTRL-C 1 times (5 times for forcing termination)
639.42/639.63	c    (631.4s) probing: 493/51752 (1.0%) - 0 fixings, 0 aggregations, 7683218 implications, 0 bound changes
639.42/639.63	c    (631.4s) probing aborted: solving stopped
639.42/639.64	c presolving (17 rounds):
639.42/639.64	c  21090 deleted vars, 79092 deleted constraints, 16407 tightened bounds, 0 added holes, 173 changed sides, 269 changed coefficients
639.42/639.64	c  47277860 implications, 0 cliques
639.42/639.64	c presolved problem has 51752 variables (51752 bin, 0 int, 0 impl, 0 cont) and 166111 constraints
639.42/639.64	c    1062 constraints of type <knapsack>
639.42/639.64	c       4 constraints of type <setppc>
639.42/639.64	c  165045 constraints of type <logicor>
639.42/639.64	c transformed objective value is always integral (scale: 1)
639.42/639.64	c Presolving Time: 630.75
639.42/639.64	c - non default parameters ----------------------------------------------------------------------
639.42/639.64	c # SCIP version 1.2.1.2
639.42/639.64	c 
639.42/639.64	c # frequency for displaying node information lines
639.42/639.64	c # [type: int, range: [-1,2147483647], default: 100]
639.42/639.64	c display/freq = 10000
639.42/639.64	c 
639.42/639.64	c # maximal time in seconds to run
639.42/639.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
639.42/639.64	c limits/time = 1795.64
639.42/639.64	c 
639.42/639.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
639.42/639.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
639.42/639.64	c limits/memory = 1620
639.42/639.64	c 
639.42/639.64	c # should presolving try to simplify inequalities
639.42/639.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
639.42/639.64	c constraints/linear/simplifyinequalities = TRUE
639.42/639.64	c 
639.42/639.64	c # should presolving try to simplify knapsacks
639.42/639.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
639.42/639.64	c constraints/knapsack/simplifyinequalities = TRUE
639.42/639.64	c 
639.42/639.64	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
639.42/639.64	c # [type: int, range: [-1,2147483647], default: -1]
639.42/639.64	c separating/rapidlearning/freq = 0
639.42/639.64	c 
639.42/639.64	c -----------------------------------------------------------------------------------------------
639.42/639.64	c start solving
639.61/639.81	c 
639.61/639.81	c (node 0) switching to memory saving mode (mem: 1342.3M/1620.0M)
640.24/640.65	c [src/blockmemshell/memory.c:853] ERROR: Insufficient memory for allocation of 1048640 bytes
640.24/640.65	c [src/scip/lp.c:3515] ERROR: Insufficient memory for new chunk
640.24/640.65	c [src/scip/lp.c:3515] ERROR: No memory in function call
640.24/640.65	c [src/scip/scip.c:11695] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/cons_logicor.c:859] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/cons_logicor.c:882] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/cons_logicor.c:1702] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/cons.c:2338] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/solve.c:719] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/solve.c:761] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/solve.c:798] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/solve.c:1863] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/solve.c:2577] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/solve.c:3189] ERROR: Error <-1> in function call
640.24/640.65	c [src/scip/scip.c:6167] ERROR: Error <-1> in function call
640.24/640.65	c [src/cmain.c:657] ERROR: Error <-1> in function call
640.24/640.65	c [src/cmain.c:832] ERROR: Error <-1> in function call
640.24/640.65	c [src/cmain.c:908] ERROR: Error <-1> in function call
640.24/640.65	c SCIP Error (-1): c insufficient memory errorc 
640.24/640.65	c Time complete: 640.32.

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-2687160-1278448848/watcher-2687160-1278448848 -o /tmp/evaluation-result-2687160-1278448848/solver-2687160-1278448848 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687160-1278448848.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20438
/proc/meminfo: memFree=1799112/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=6696 CPUtime=0
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 13091550 6856704 903 1992294400 4194304 8223781 140733642763856 18446744073709551615 7304800 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20438/statm: 1674 904 343 984 0 687 0

[startup+0.078557 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20438
/proc/meminfo: memFree=1799112/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=14412 CPUtime=0.07
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 2900 0 0 0 6 1 0 0 20 0 1 0 13091550 14757888 2820 1992294400 4194304 8223781 140733642763856 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20438/statm: 3603 2820 365 984 0 2616 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14412

[startup+0.100558 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20438
/proc/meminfo: memFree=1799112/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=16044 CPUtime=0.09
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 3300 0 0 0 8 1 0 0 20 0 1 0 13091550 16429056 3220 1992294400 4194304 8223781 140733642763856 18446744073709551615 4364820 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20438/statm: 4011 3220 365 984 0 3024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044

[startup+0.300576 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20438
/proc/meminfo: memFree=1799112/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=28064 CPUtime=0.29
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 6343 0 0 0 27 2 0 0 20 0 1 0 13091550 28737536 6254 1992294400 4194304 8223781 140733642763856 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20438/statm: 7016 6254 365 984 0 6029 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28064

[startup+0.700612 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20438
/proc/meminfo: memFree=1799112/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=49728 CPUtime=0.69
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 11715 0 0 0 65 4 0 0 21 0 1 0 13091550 50921472 11626 1992294400 4194304 8223781 140733642763856 18446744073709551615 7210416 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20438/statm: 12432 11626 365 984 0 11445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49728

[startup+1.50068 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20439
/proc/meminfo: memFree=1748264/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=66324 CPUtime=1.49
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 15864 0 0 0 143 6 0 0 23 0 1 0 13091550 67915776 15775 1992294400 4194304 8223781 140733642763856 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20438/statm: 16581 15775 365 984 0 15594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66324

[startup+3.10083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20441
/proc/meminfo: memFree=1725820/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=108364 CPUtime=3.09
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 26387 0 0 0 300 9 0 0 25 0 1 0 13091550 110964736 26298 1992294400 4194304 8223781 140733642763856 18446744073709551615 5649672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20438/statm: 27091 26298 365 984 0 26104 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108364

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20441
/proc/meminfo: memFree=1459344/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=398220 CPUtime=6.29
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 97763 0 0 0 593 36 0 0 25 0 1 0 13091550 407777280 97262 1992294400 4194304 8223781 140733642763856 18446744073709551615 6207720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 99555 97262 437 984 0 98568 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 398220

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20441
/proc/meminfo: memFree=1153312/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=686200 CPUtime=12.69
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 169057 0 0 0 1198 71 0 0 25 0 1 0 13091550 702668800 168556 1992294400 4194304 8223781 140733642763856 18446744073709551615 5969519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 171550 168556 441 984 0 170563 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 686200

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20441
/proc/meminfo: memFree=951068/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=865756 CPUtime=25.48
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 212505 0 0 0 2442 106 0 0 25 0 1 0 13091550 886534144 211747 1992294400 4194304 8223781 140733642763856 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 216439 211747 445 984 0 215452 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 865756

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20441
/proc/meminfo: memFree=894152/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=926948 CPUtime=51.07
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 247739 0 0 0 4845 262 0 0 25 0 1 0 13091550 949194752 226126 1992294400 4194304 8223781 140733642763856 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 231737 226126 484 984 0 230750 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 926948

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20443
/proc/meminfo: memFree=852612/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=973224 CPUtime=102.27
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 258281 0 0 0 9959 268 0 0 25 0 1 0 13091550 996581376 236470 1992294400 4194304 8223781 140733642763856 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 243306 236470 484 984 0 242319 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 973224

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20445
/proc/meminfo: memFree=791356/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1037684 CPUtime=162.24
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 274048 0 0 0 15950 274 0 0 25 0 1 0 13091550 1062588416 252237 1992294400 4194304 8223781 140733642763856 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 259421 252237 484 984 0 258434 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1037684

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20445
/proc/meminfo: memFree=699472/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1132272 CPUtime=222.22
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 297860 0 0 0 21938 284 0 0 25 0 1 0 13091550 1159446528 274769 1992294400 4194304 8223781 140733642763856 18446744073709551615 7256741 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 283068 274769 484 984 0 282081 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1132272

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20447
/proc/meminfo: memFree=629164/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1203064 CPUtime=282.21
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 316017 0 0 0 27928 293 0 0 25 0 1 0 13091550 1231937536 292538 1992294400 4194304 8223781 140733642763856 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 300766 292538 484 984 0 299779 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1203064

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20449
/proc/meminfo: memFree=553152/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1287200 CPUtime=342.19
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 336218 0 0 0 33917 302 0 0 25 0 1 0 13091550 1318092800 312739 1992294400 4194304 8223781 140733642763856 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 321800 312739 484 984 0 320813 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1287200

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20451
/proc/meminfo: memFree=418736/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1419316 CPUtime=402.17
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 368686 0 0 0 39899 318 0 0 25 0 1 0 13091550 1453379584 345207 1992294400 4194304 8223781 140733642763856 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 354829 345207 484 984 0 353842 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1419316

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20453
/proc/meminfo: memFree=308128/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1527048 CPUtime=462.15
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 396348 0 0 0 45882 333 0 0 25 0 1 0 13091550 1563697152 372357 1992294400 4194304 8223781 140733642763856 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 381762 372357 484 984 0 380775 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1527048

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20453
/proc/meminfo: memFree=210292/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1627604 CPUtime=522.14
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 421354 0 0 0 51866 348 0 0 25 0 1 0 13091550 1666666496 397363 1992294400 4194304 8223781 140733642763856 18446744073709551615 5969499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 406901 397363 484 984 0 405914 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1627604

[startup+582.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 20455
/proc/meminfo: memFree=107248/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1732196 CPUtime=582.12
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 446861 0 0 0 57847 365 0 0 25 0 1 0 13091550 1773768704 422548 1992294400 4194304 8223781 140733642763856 18446744073709551615 4690494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 433049 422548 484 984 0 432062 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1732196



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+639.502 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 20457
/proc/meminfo: memFree=10400/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1843404 CPUtime=639.32
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 474522 0 0 0 63546 386 0 0 25 0 1 0 13091550 1887645696 449952 1992294400 4194304 8223781 140733642763856 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 460851 449952 484 984 0 459864 0
Current children cumulated CPU time (s) 639.32
Current children cumulated vsize (KiB) 1843404

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

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

[startup+639.802 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 20457
/proc/meminfo: memFree=10400/2059040 swapFree=4192956/4192956
[pid=20438] ppid=20436 vsize=1844712 CPUtime=639.61
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202496 475483 0 0 0 63575 386 0 0 25 0 1 0 13091550 1888985088 449927 1992294400 4194304 8223781 140733642763856 18446744073709551615 5511491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20438/statm: 461178 449927 494 984 0 460191 0
Current children cumulated CPU time (s) 639.61
Current children cumulated vsize (KiB) 1844712

[startup+640.673 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 20458
/proc/meminfo: memFree=8112/2059040 swapFree=4185788/4192956
[pid=20438] ppid=20436 vsize=0 CPUtime=640.34
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202500 489539 0 0 0 63626 408 0 0 18 0 1 0 13091550 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 13
/proc/20438/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 640.34
Current children cumulated vsize (KiB) 0

[startup+640.801 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 20458
/proc/meminfo: memFree=8112/2059040 swapFree=4185788/4192956
[pid=20438] ppid=20436 vsize=0 CPUtime=640.47
/proc/20438/stat : 20438 (pbscip.linux.x8) R 20436 20438 20286 0 -1 4202500 489539 0 0 0 63626 421 0 0 18 0 1 0 13091550 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 13
/proc/20438/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 640.47
Current children cumulated vsize (KiB) 0

Child status: 255
Real time (s): 640.829
CPU time (s): 640.503
CPU user time (s): 636.26
CPU system time (s): 4.24235
CPU usage (%): 99.9491
Max. virtual memory (cumulated for all children) (KiB): 1886484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.26
system time used= 4.24235
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489539
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= 19
involuntary context switches= 1272

runsolver used 1.04584 second user time and 3.06153 second system time

The end

Launcher Data 

Begin job on node051 at 2010-07-06 22:40:48
IDJOB=2687160
IDBENCH=77451
IDSOLVER=1169
FILE ID=node051/2687160-1278448848
PBS_JOBID= 11233514
Free space on /tmp= 62512 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12025_2.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687160-1278448848/watcher-2687160-1278448848 -o /tmp/evaluation-result-2687160-1278448848/solver-2687160-1278448848 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2687160-1278448848.opb -t 1800 -m 1800

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

MD5SUM BENCH= 8e085920cc302037c5be183f5639a529
RANDOM SEED=1846533647

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1799640 kB
Buffers:         19160 kB
Cached:         105352 kB
SwapCached:          0 kB
Active:         111580 kB
Inactive:        73412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1799640 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           11776 kB
Writeback:           0 kB
AnonPages:       60480 kB
Mapped:          14400 kB
Slab:            52564 kB
PageTables:       4228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181844 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= 62508 MiB
End job on node051 at 2010-07-06 22:51:30