Trace number 2686861

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) 681.417 681.583

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12046_3.std.opb
MD5SUM9bf94f3cda7e184b4e994589f30aa9fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark1800.13
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 constraints256283
Number of constraints which are clauses255083
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 constraint64
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.01	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.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2686861-1278443005.opb>
4.69/4.71	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256283 constraints
4.69/4.71	c problem read
4.69/4.71	c presolving settings loaded
5.99/6.04	c presolving:
21.19/21.28	c (round 1) 8846 del vars, 26293 del conss, 7285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16970578 impls, 0 clqs
32.38/32.47	c (round 2) 14952 del vars, 55151 del conss, 13010 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17007638 impls, 0 clqs
36.38/36.40	c (round 3) 17321 del vars, 66058 del conss, 14424 chg bounds, 48 chg sides, 33 chg coeffs, 0 upgd conss, 17026689 impls, 0 clqs
38.88/38.98	c (round 4) 18521 del vars, 71069 del conss, 15264 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17038411 impls, 0 clqs
40.48/40.53	c (round 5) 19275 del vars, 74158 del conss, 15743 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17044322 impls, 0 clqs
41.58/41.70	c (round 6) 19814 del vars, 76338 del conss, 16083 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17050605 impls, 0 clqs
42.48/42.52	c (round 7) 20197 del vars, 77933 del conss, 16329 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17054516 impls, 0 clqs
43.18/43.27	c (round 8) 20496 del vars, 79082 del conss, 16540 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17057344 impls, 0 clqs
43.68/43.78	c (round 9) 20668 del vars, 79874 del conss, 16645 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17059064 impls, 0 clqs
44.08/44.14	c (round 10) 20740 del vars, 80250 del conss, 16688 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17059687 impls, 0 clqs
44.38/44.43	c (round 11) 20766 del vars, 80415 del conss, 16701 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060023 impls, 0 clqs
44.68/44.74	c (round 12) 20780 del vars, 80483 del conss, 16708 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060135 impls, 0 clqs
44.98/45.06	c (round 13) 20788 del vars, 80529 del conss, 16712 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060187 impls, 0 clqs
46.88/46.91	c (round 14) 20788 del vars, 80537 del conss, 16712 chg bounds, 54 chg sides, 39 chg coeffs, 175746 upgd conss, 17060187 impls, 0 clqs
48.39/48.43	c (round 15) 20788 del vars, 80542 del conss, 16712 chg bounds, 102 chg sides, 277 chg coeffs, 175746 upgd conss, 17061567 impls, 3026 clqs
49.49/49.59	c (round 16) 20788 del vars, 80548 del conss, 16712 chg bounds, 144 chg sides, 423 chg coeffs, 175746 upgd conss, 17061573 impls, 3256 clqs
50.18/50.29	c (round 17) 20788 del vars, 80557 del conss, 16712 chg bounds, 153 chg sides, 475 chg coeffs, 175746 upgd conss, 17061573 impls, 3259 clqs
679.23/679.40	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-2686861-1278443005/watcher-2686861-1278443005 -o /tmp/evaluation-result-2686861-1278443005/solver-2686861-1278443005 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686861-1278443005.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 22347
/proc/meminfo: memFree=1396620/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=7724 CPUtime=0
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 1023 0 0 0 0 0 0 0 19 0 1 0 12513049 7909376 943 1992294400 4194304 8223781 140735530747744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22347/statm: 1931 952 348 984 0 944 0

[startup+0.0963271 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22347
/proc/meminfo: memFree=1396620/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=15576 CPUtime=0.08
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 3183 0 0 0 7 1 0 0 19 0 1 0 12513049 15949824 3103 1992294400 4194304 8223781 140735530747744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22347/statm: 3894 3103 365 984 0 2907 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15576

[startup+0.100327 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22347
/proc/meminfo: memFree=1396620/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=16048 CPUtime=0.09
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 3300 0 0 0 8 1 0 0 19 0 1 0 12513049 16433152 3220 1992294400 4194304 8223781 140735530747744 18446744073709551615 7246881 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22347/statm: 4012 3220 365 984 0 3025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16048

[startup+0.300344 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22347
/proc/meminfo: memFree=1396620/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=27040 CPUtime=0.29
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 6086 0 0 0 27 2 0 0 20 0 1 0 12513049 27688960 5997 1992294400 4194304 8223781 140735530747744 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22347/statm: 6760 5997 365 984 0 5773 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27040

[startup+0.700379 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22347
/proc/meminfo: memFree=1396620/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=48644 CPUtime=0.69
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 11456 0 0 0 65 4 0 0 20 0 1 0 12513049 49811456 11367 1992294400 4194304 8223781 140735530747744 18446744073709551615 5650107 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22347/statm: 12161 11367 365 984 0 11174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48644

[startup+1.50045 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22348
/proc/meminfo: memFree=1345772/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=65108 CPUtime=1.49
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 15587 0 0 0 143 6 0 0 22 0 1 0 12513049 66670592 15498 1992294400 4194304 8223781 140735530747744 18446744073709551615 4240605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22347/statm: 16277 15498 365 984 0 15290 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65108

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22348
/proc/meminfo: memFree=1322832/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=104012 CPUtime=3.08
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 25286 0 0 0 299 9 0 0 25 0 1 0 12513049 106508288 25197 1992294400 4194304 8223781 140735530747744 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22347/statm: 26003 25197 365 984 0 25016 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 104012

[startup+6.30086 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22348
/proc/meminfo: memFree=1073964/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=382520 CPUtime=6.29
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 94006 0 0 0 594 35 0 0 25 0 1 0 12513049 391700480 93534 1992294400 4194304 8223781 140735530747744 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 95630 93534 437 984 0 94643 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 382520

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22348
/proc/meminfo: memFree=758880/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=669644 CPUtime=12.68
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 165355 0 0 0 1200 68 0 0 25 0 1 0 12513049 685715456 164883 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 167411 164883 441 984 0 166424 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 669644

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22348
/proc/meminfo: memFree=537416/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=876676 CPUtime=25.48
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 215233 0 0 0 2438 110 0 0 25 0 1 0 12513049 897716224 214504 1992294400 4194304 8223781 140735530747744 18446744073709551615 5966370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 219169 214504 445 984 0 218182 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 876676

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22350
/proc/meminfo: memFree=512864/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=912444 CPUtime=51.08
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 276064 0 0 0 4815 293 0 0 25 0 1 0 12513049 934342656 222250 1992294400 4194304 8223781 140735530747744 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 228111 222250 482 984 0 227124 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 912444

[startup+102.309 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 22350
/proc/meminfo: memFree=439456/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=982532 CPUtime=102.27
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 293165 0 0 0 9927 300 0 0 25 0 1 0 12513049 1006112768 239153 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 245633 239153 486 984 0 244646 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 982532

[startup+162.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 22352
/proc/meminfo: memFree=390228/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1034124 CPUtime=162.25
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 305841 0 0 0 15919 306 0 0 25 0 1 0 12513049 1058942976 251829 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 258531 251829 486 984 0 257544 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1034124

[startup+222.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 22354
/proc/meminfo: memFree=290780/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1135492 CPUtime=222.24
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 330254 0 0 0 21908 316 0 0 25 0 1 0 12513049 1162743808 276242 1992294400 4194304 8223781 140735530747744 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 283873 276242 486 984 0 282886 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1135492

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22356
/proc/meminfo: memFree=218116/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1209588 CPUtime=282.22
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 348608 0 0 0 27896 326 0 0 25 0 1 0 12513049 1238618112 294398 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 302397 294398 486 984 0 301410 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1209588

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22358
/proc/meminfo: memFree=117924/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1313568 CPUtime=342.21
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 373573 0 0 0 33883 338 0 0 25 0 1 0 12513049 1345093632 319363 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 328392 319363 486 984 0 327405 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1313568

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22358
/proc/meminfo: memFree=21204/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1412936 CPUtime=402.19
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 397744 0 0 0 39867 352 0 0 25 0 1 0 12513049 1446846464 343501 1992294400 4194304 8223781 140735530747744 18446744073709551615 5955991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 353234 343501 486 984 0 352247 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1412936

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22360
/proc/meminfo: memFree=10684/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1516508 CPUtime=462.18
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 423765 0 0 0 45853 365 0 0 25 0 1 0 12513049 1552904192 368753 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 379127 368753 486 984 0 378140 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1516508

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22362
/proc/meminfo: memFree=10736/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1590212 CPUtime=522.16
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 442567 0 0 0 51844 372 0 0 25 0 1 0 12513049 1628377088 387555 1992294400 4194304 8223781 140735530747744 18446744073709551615 4677406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 397553 387555 486 984 0 396566 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1590212

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22364
/proc/meminfo: memFree=9624/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1666608 CPUtime=582.15
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 461785 0 0 0 57830 385 0 0 25 0 1 0 12513049 1706606592 406517 1992294400 4194304 8223781 140735530747744 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 416652 406517 486 984 0 415665 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1666608

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22366
/proc/meminfo: memFree=9608/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1764412 CPUtime=642.14
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 485776 0 0 0 63815 399 0 0 25 0 1 0 12513049 1806757888 430508 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 441103 430508 486 984 0 440116 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1764412



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+679.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22366
/proc/meminfo: memFree=10668/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1843312 CPUtime=679.23
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 505329 0 0 0 67512 411 0 0 25 0 1 0 12513049 1887551488 450061 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 460828 450061 486 984 0 459841 0
Current children cumulated CPU time (s) 679.23
Current children cumulated vsize (KiB) 1843312

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22347

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

[startup+679.809 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22367
/proc/meminfo: memFree=10660/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1843312 CPUtime=679.63
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 505539 0 0 0 67552 411 0 0 25 0 1 0 12513049 1887551488 450271 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 460828 450271 486 984 0 459841 0
Current children cumulated CPU time (s) 679.63
Current children cumulated vsize (KiB) 1843312

[startup+680.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22367
/proc/meminfo: memFree=10660/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1850264 CPUtime=680.42
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 507113 0 0 0 67630 412 0 0 25 0 1 0 12513049 1894670336 451845 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 462566 451845 486 984 0 461579 0
Current children cumulated CPU time (s) 680.42
Current children cumulated vsize (KiB) 1850264

[startup+681.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22367
/proc/meminfo: memFree=9376/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1852240 CPUtime=680.83
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 507526 0 0 0 67670 413 0 0 25 0 1 0 12513049 1896693760 452258 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 463060 452258 486 984 0 462073 0
Current children cumulated CPU time (s) 680.83
Current children cumulated vsize (KiB) 1852240

[startup+681.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22367
/proc/meminfo: memFree=9376/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=1853228 CPUtime=681.23
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4202496 507695 0 0 0 67710 413 0 0 25 0 1 0 12513049 1897705472 452427 1992294400 4194304 8223781 140735530747744 18446744073709551615 5969722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22347/statm: 463307 452427 486 984 0 462320 0
Current children cumulated CPU time (s) 681.23
Current children cumulated vsize (KiB) 1853228

[startup+681.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22367
/proc/meminfo: memFree=9376/2059040 swapFree=4192956/4192956
[pid=22347] ppid=22345 vsize=0 CPUtime=681.33
/proc/22347/stat : 22347 (pbscip.linux.x8) R 22345 22347 21333 0 -1 4203524 507696 0 0 0 67711 422 0 0 25 0 1 0 12513049 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 681.33
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 681.583
CPU time (s): 681.417
CPU user time (s): 677.111
CPU system time (s): 4.30635
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 1853228

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

runsolver used 1.03184 second user time and 3.33749 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-06 21:03:25
IDJOB=2686861
IDBENCH=77055
IDSOLVER=1169
FILE ID=node015/2686861-1278443005
PBS_JOBID= 11233456
Free space on /tmp= 62576 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-j12046_3.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-2686861-1278443005/watcher-2686861-1278443005 -o /tmp/evaluation-result-2686861-1278443005/solver-2686861-1278443005 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2686861-1278443005.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9bf94f3cda7e184b4e994589f30aa9fa
RANDOM SEED=456696698

node015.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.214
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.42
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.214
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:       1397024 kB
Buffers:        114348 kB
Cached:         407636 kB
SwapCached:          0 kB
Active:         234784 kB
Inactive:       348348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1397024 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           12304 kB
Writeback:           0 kB
AnonPages:       61152 kB
Mapped:          14552 kB
Slab:            56856 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181708 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= 62572 MiB
End job on node015 at 2010-07-06 21:14:47