Trace number 351759

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, and are wall clock time (not CPU 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
bsolo 3.0.16Wrong Cert. 1800.26 1801

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
MD5SUM11ee19baa608345f86d8483767b8a181
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1783.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 244
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 711535
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 711535
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

Sorry, but this trace is too large and cannot be obtained.

Verifier Data (download as text)

ERROR: variable expected in interpretation !c

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-351759-1176612222 -o ROOT/results/node20/solver-351759-1176612222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351759-1176612222/instance-351759-1176612222.opb 

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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 5500
/proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=21596 CPUtime=0
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 109139521 22114304 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8052474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 5399 335 281 324 0 2003 0

[startup+0.0678919 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 5500
/proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=22756 CPUtime=0.06
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 701 0 0 0 6 0 0 0 18 0 1 0 109139521 23302144 669 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 5689 669 327 324 0 2293 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22756

[startup+0.102899 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 5500
/proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=23540 CPUtime=0.09
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 931 0 0 0 9 0 0 0 18 0 1 0 109139521 24104960 859 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 5885 859 349 324 0 2489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23540

[startup+0.301937 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 5500
/proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=26888 CPUtime=0.29
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 2062 0 0 0 28 1 0 0 19 0 1 0 109139521 27533312 1862 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 6722 1862 485 324 0 3326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26888

[startup+0.703021 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 5500
/proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=34544 CPUtime=0.69
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 4508 0 0 0 67 2 0 0 22 0 1 0 109139521 35373056 3741 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 8636 3742 747 324 0 5240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34544

[startup+1.50118 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1556208/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=38808 CPUtime=1.48
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 8463 0 0 0 145 3 0 0 25 0 1 0 109139521 39739392 7454 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 9702 7454 1256 324 0 6306 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38808

[startup+3.1015 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1545648/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=50144 CPUtime=3.09
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 12363 0 0 0 304 5 0 0 25 0 1 0 109139521 51347456 11354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 12536 11354 2246 324 0 9140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50144

[startup+6.30114 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1490352/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=92764 CPUtime=6.28
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25545 0 0 0 618 10 0 0 25 0 1 0 109139521 94990336 21653 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 23191 21653 305 324 0 22260 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92764

[startup+12.7014 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1490032/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=93028 CPUtime=12.69
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25610 0 0 0 1257 12 0 0 25 0 1 0 109139521 95260672 21718 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 23257 21718 305 324 0 22326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93028

[startup+25.502 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1490096/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=93028 CPUtime=25.49
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25613 0 0 0 2536 13 0 0 25 0 1 0 109139521 95260672 21721 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 23257 21721 305 324 0 22326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93028

[startup+51.1011 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1489968/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=93160 CPUtime=51.07
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25665 0 0 0 5094 13 0 0 25 0 1 0 109139521 95395840 21773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 23290 21773 305 324 0 22359 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93160

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1489904/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=93292 CPUtime=102.26
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25680 0 0 0 10211 15 0 0 25 0 1 0 109139521 95531008 21788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8048659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 23323 21788 305 324 0 22392 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 93292

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1489840/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=93292 CPUtime=162.24
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25693 0 0 0 16197 27 0 0 25 0 1 0 109139521 95531008 21801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 23323 21801 305 324 0 22392 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 93292

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1459312/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=123256 CPUtime=222.21
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 36104 0 0 0 22115 106 0 0 25 0 1 0 109139521 126214144 29428 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 30814 29428 312 324 0 29883 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 123256

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1459184/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=124040 CPUtime=282.19
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 36290 0 0 0 27971 248 0 0 25 0 1 0 109139521 127016960 29614 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 31010 29614 312 324 0 30079 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 124040

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1446064/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=136628 CPUtime=342.17
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 39418 0 0 0 33938 279 0 0 25 0 1 0 109139521 139907072 32742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 34157 32742 312 324 0 33226 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 136628

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1423152/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=159756 CPUtime=402.15
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 45226 0 0 0 39929 286 0 0 25 0 1 0 109139521 163590144 38550 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 39939 38550 312 324 0 39008 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 159756

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1413296/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=169296 CPUtime=462.13
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 47611 0 0 0 45920 293 0 0 25 0 1 0 109139521 173359104 40935 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 42324 40935 312 324 0 41393 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 169296

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1410416/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=172192 CPUtime=522.11
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 48326 0 0 0 51910 301 0 0 25 0 1 0 109139521 176324608 41650 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 43048 41650 312 324 0 42117 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 172192

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1403056/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=179528 CPUtime=582.09
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 50172 0 0 0 57906 303 0 0 25 0 1 0 109139521 183836672 43496 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 44882 43496 312 324 0 43951 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 179528

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1393008/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=189608 CPUtime=642.07
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 52664 0 0 0 63899 308 0 0 25 0 1 0 109139521 194158592 45988 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 47402 45988 312 324 0 46471 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 189608


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1379888/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=202536 CPUtime=881.98
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 55920 0 0 0 87870 328 0 0 25 0 1 0 109139521 207396864 49244 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 50634 49244 312 324 0 49703 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 202536

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1377968/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=204596 CPUtime=941.96
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 56422 0 0 0 93867 329 0 0 25 0 1 0 109139521 209506304 49746 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 51149 49746 312 324 0 50218 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 204596

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5501
/proc/meminfo: memFree=1375920/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=206532 CPUtime=1001.94
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 56921 0 0 0 99864 330 0 0 25 0 1 0 109139521 211488768 50245 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 51633 50245 312 324 0 50702 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 206532

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/84 5617
/proc/meminfo: memFree=1372664/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=208604 CPUtime=1061.88
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 57421 0 0 0 105857 331 0 0 25 0 1 0 109139521 213610496 50745 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 52151 50745 312 324 0 51220 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 208604

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1371624/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=210668 CPUtime=1121.81
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 57937 0 0 0 111850 331 0 0 25 0 1 0 109139521 215724032 51261 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 52667 51261 312 324 0 51736 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 210668

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1363752/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=219964 CPUtime=1181.79
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 60270 0 0 0 117845 334 0 0 25 0 1 0 109139521 225243136 53594 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 54991 53594 312 324 0 54060 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 219964

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1323688/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=259044 CPUtime=1241.76
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 70036 0 0 0 123826 350 0 0 25 0 1 0 109139521 265261056 63360 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 64761 63360 312 324 0 63830 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 259044

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1278504/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=303688 CPUtime=1301.74
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 81192 0 0 0 129807 367 0 0 25 0 1 0 109139521 310976512 74516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 75922 74516 312 324 0 74991 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 303688

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1256488/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=325840 CPUtime=1361.72
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 86719 0 0 0 135795 377 0 0 25 0 1 0 109139521 333660160 80043 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 81460 80043 312 324 0 80529 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 325840

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1244464/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=337664 CPUtime=1421.71
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 89688 0 0 0 141780 391 0 0 25 0 1 0 109139521 345767936 83012 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 84416 83012 312 324 0 83485 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 337664

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1239408/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=342796 CPUtime=1481.68
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 90987 0 0 0 147768 400 0 0 25 0 1 0 109139521 351023104 84311 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 85699 84311 312 324 0 84768 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 342796

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1234992/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=347156 CPUtime=1541.66
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 92068 0 0 0 153765 401 0 0 25 0 1 0 109139521 355487744 85392 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 86789 85392 312 324 0 85858 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 347156

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1230896/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=351384 CPUtime=1601.64
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 93117 0 0 0 159761 403 0 0 25 0 1 0 109139521 359817216 86441 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 87846 86441 312 324 0 86915 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 351384

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1226096/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=355980 CPUtime=1661.62
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 94282 0 0 0 165741 421 0 0 25 0 1 0 109139521 364523520 87606 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8048709 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 88995 87606 312 324 0 88064 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 355980

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1224432/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=357696 CPUtime=1721.59
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 94711 0 0 0 171737 422 0 0 25 0 1 0 109139521 366280704 88035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 89424 88035 312 324 0 88493 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 357696

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5699
/proc/meminfo: memFree=1222192/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=359936 CPUtime=1781.58
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 95256 0 0 0 177734 424 0 0 25 0 1 0 109139521 368574464 88580 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 89984 88580 312 324 0 89053 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 359936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.99 0.99 3/78 5699
/proc/meminfo: memFree=1221168/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=360556 CPUtime=1800.07
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 95410 0 0 0 179583 424 0 0 17 0 1 0 109139521 369209344 88734 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134594825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5500/statm: 90139 88734 312 324 0 89208 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 360556

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

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

[startup+1800.91 s]
/proc/loadavg: 0.99 0.99 0.99 3/78 5699
/proc/meminfo: memFree=1221168/2055920 swapFree=4159876/4192956
[pid=5500] ppid=5498 vsize=360556 CPUtime=1800.16
/proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 95410 0 0 0 179592 424 0 0 17 0 1 0 109139521 369209344 88734 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160322423 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/5500/statm: 90139 88734 312 324 0 89208 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 360556

Child status: 15
Real time (s): 1801
CPU time (s): 1800.26
CPU user time (s): 1795.96
CPU system time (s): 4.30235
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 360564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.96
system time used= 4.30234
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95411
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= 23
involuntary context switches= 3423

runsolver used 2.0027 second user time and 4.15837 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sun Apr 15 04:43:42 UTC 2007

IDJOB= 351759
IDBENCH= 1801
IDSOLVER= 163
FILE ID= node20/351759-1176612222

PBS_JOBID= 4557045

Free space on /tmp= 66551 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351759-1176612222/instance-351759-1176612222.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-351759-1176612222 -o ROOT/results/node20/solver-351759-1176612222 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351759-1176612222/instance-351759-1176612222.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  11ee19baa608345f86d8483767b8a181

RANDOM SEED= 432630328

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1576336 kB
Buffers:         59500 kB
Cached:         326756 kB
SwapCached:      15284 kB
Active:         253052 kB
Inactive:       160336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1576336 kB
SwapTotal:     4192956 kB
SwapFree:      4159876 kB
Dirty:           14268 kB
Writeback:           0 kB
Mapped:          37020 kB
Slab:            51756 kB
Committed_AS:   688056 kB
PageTables:       1688 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66551 MiB

End job on node20 on Sun Apr 15 05:13:45 UTC 2007