Trace number 432752

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.17? (TO) 1800.21 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
MD5SUM99a4e5b0ce7b98bffc278cf1f6704eb9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14265
Total number of constraints290
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint2
Maximum length of a constraint420
Number of terms in the objective function 14235
Biggest coefficient in the objective function 5488
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 535829
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535829
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)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432752-1177949078/instance-432752-1177949078.opb
0.00/0.00	c File size is 482028 bytes.
0.03/0.09	c Highest Coefficient sum: 535829
0.03/0.09	c Parsing was ok!!
0.03/0.09	c Total parsing time: 0.092 s
0.09/0.10	c Var: 14265 Constr: 368 29/11/328 Lit: 52314 Watch. Lit: 6242
0.09/0.10	c Obj. Vars: 14235 (99.7897 % of total variables)
1.79/1.86	c Pre-processing Time: 1.854 s
1.79/1.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.86	c        0  10190      367    51922  141    38211  103079      0      0 1.85
1.79/1.86	c Switching off LPR mode.
1800.09/1800.60	c      102  10190      469    59916  127    38562  113387    102     53 1.92
1800.09/1800.60	c      252  10190      619    72104  116    39005  124726    252    119 2.10
1800.09/1800.60	c      477  10190      844    76294   90    39365  137199    477    218 2.18
1800.09/1800.60	c      815  10190     1182   106952   90    40101  150919    815    342 2.38
1800.09/1800.60	c     1323  10190     1690   126562   74    41134  166011   1323    510 2.59
1800.09/1800.60	c     2087  10189     2454   169315   68    42595  182613   2087    707 2.95
1800.09/1800.60	c     3233  10189     3600   201373   55    44882  200875   3233    795 4.06
1800.09/1800.60	c     4954  10189     5321   356562   67    48360  220963   4954   1134 4.37
1800.09/1800.60	c     7538  10189     7905   466895   59    53420  243060   7538   1060 7.11
1800.09/1800.60	c    11418  10189    11785   642889   54    61180  267367  11418   1399 8.16
1800.09/1800.60	c    17241  10189    17608   933936   53    72833  294104  17241   1753 9.83
1800.09/1800.60	c    25978  10189    26345  1388374   52    90280  323515  25978   1841 14.11
1800.09/1800.60	c    39088  10189    39455  1831011   46   116476  355867  39088   1927 20.28
1800.09/1800.60	c    58758  10189    59125  6459903  109   155704  391454  58758   1131 51.93
1800.09/1800.60	c    88268  10189    88635  7318720   82   214744  430600  88268   1131 78.04
1800.09/1800.60	c   132540  10189   132907  9015923   67   303146  473661 132540   1053 125.78
1800.09/1800.60	c   198951  10189   199318 11762665   59   435958  521028 198951    922 215.65
1800.09/1800.60	c   298571  10189   298938 21419169   71   635220  573131 298571    508 587.73
1800.09/1800.60	c   448006  10189   448373 34612344   77   934134  630445 448006    292 1532.00
1800.09/1800.60	c Caught signal: 15
1800.09/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.60	c   19   524001  28959   743502   524368 46785504 524001    291 1800.10
1800.09/1800.60	s UNKNOWN
1800.09/1800.60	c Total time: 1800.1 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node27/watcher-432752-1177949078 -o ROOT/results/node27/solver-432752-1177949078 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432752-1177949078/instance-432752-1177949078.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.99 0.98 0.94 3/65 24076
/proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=20020 CPUtime=0
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 344 0 0 0 0 0 0 0 18 0 1 0 207603745 20500480 315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 5005 324 278 324 0 3957 0

[startup+0.0399379 s]
/proc/loadavg: 0.99 0.98 0.94 3/65 24076
/proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=13516 CPUtime=0.03
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 732 0 0 0 3 0 0 0 18 0 1 0 207603745 13840384 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1788189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 3379 702 323 324 0 2331 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13516

[startup+0.101945 s]
/proc/loadavg: 0.99 0.98 0.94 3/65 24076
/proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=7036 CPUtime=0.09
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1232 0 0 0 9 0 0 0 18 0 1 0 207603745 7204864 1084 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 1759 1090 299 324 0 829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7036

[startup+0.301964 s]
/proc/loadavg: 0.99 0.98 0.94 3/65 24076
/proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=7824 CPUtime=0.29
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1441 0 0 0 29 0 0 0 19 0 1 0 207603745 8011776 1293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 1956 1293 303 324 0 1026 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7824

[startup+0.702004 s]
/proc/loadavg: 0.99 0.98 0.94 3/65 24076
/proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=8400 CPUtime=0.69
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1706 0 0 0 68 1 0 0 22 0 1 0 207603745 8601600 1446 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 2100 1446 305 324 0 1170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8400

[startup+1.50108 s]
/proc/loadavg: 1.07 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1776352/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=8400 CPUtime=1.48
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1706 0 0 0 147 1 0 0 25 0 1 0 207603745 8601600 1446 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 2100 1446 305 324 0 1170 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8400

[startup+3.10125 s]
/proc/loadavg: 1.07 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1776352/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=9576 CPUtime=3.09
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 2019 0 0 0 307 2 0 0 25 0 1 0 207603745 9805824 1759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 2394 1759 309 324 0 1464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9576

[startup+6.30157 s]
/proc/loadavg: 1.07 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1771808/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=13492 CPUtime=6.29
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 2974 0 0 0 627 2 0 0 25 0 1 0 207603745 13815808 2714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 3373 2714 309 324 0 2443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13492

[startup+12.7012 s]
/proc/loadavg: 1.06 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1759456/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=26224 CPUtime=12.69
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 6171 0 0 0 1265 4 0 0 25 0 1 0 207603745 26853376 5911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 6556 5911 310 324 0 5626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26224

[startup+25.5015 s]
/proc/loadavg: 1.05 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1732064/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=53244 CPUtime=25.49
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 12931 0 0 0 2541 8 0 0 25 0 1 0 207603745 54521856 12671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1896600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 13311 12671 310 324 0 12381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53244

[startup+51.1011 s]
/proc/loadavg: 1.03 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1690976/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=94592 CPUtime=51.08
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 23253 0 0 0 5090 18 0 0 25 0 1 0 207603745 96862208 22993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 23648 22993 310 324 0 22718 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94592

[startup+102.305 s]
/proc/loadavg: 1.01 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1657312/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=127364 CPUtime=102.26
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 31472 0 0 0 10201 25 0 0 25 0 1 0 207603745 130420736 31212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 31841 31212 310 324 0 30911 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 127364

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1622880/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=161984 CPUtime=162.24
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 40110 0 0 0 16192 32 0 0 25 0 1 0 207603745 165871616 39850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 40496 39850 310 324 0 39566 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 161984

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1594080/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=190580 CPUtime=222.22
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 47260 0 0 0 22183 39 0 0 25 0 1 0 207603745 195153920 47000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 47645 47000 310 324 0 46715 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 190580

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1562400/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=222336 CPUtime=282.21
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 55189 0 0 0 28174 47 0 0 25 0 1 0 207603745 227672064 54929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551004 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 55584 54929 310 324 0 54654 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 222336

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1540704/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=243740 CPUtime=342.19
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 60539 0 0 0 34167 52 0 0 25 0 1 0 207603745 249589760 60279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 60935 60279 310 324 0 60005 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 243740

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1523104/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=261432 CPUtime=402.18
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 64977 0 0 0 40159 59 0 0 25 0 1 0 207603745 267706368 64717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 65358 64717 310 324 0 64428 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 261432

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1503264/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=281160 CPUtime=462.16
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 69898 0 0 0 46151 65 0 0 25 0 1 0 207603745 287907840 69638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 70290 69638 310 324 0 69360 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 281160

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1484704/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=299648 CPUtime=522.14
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 74532 0 0 0 52144 70 0 0 25 0 1 0 207603745 306839552 74272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 74912 74272 310 324 0 73982 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 299648

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1471584/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=312824 CPUtime=582.13
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 77814 0 0 0 58139 74 0 0 25 0 1 0 207603745 320331776 77554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 78206 77554 310 324 0 77276 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 312824

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1426272/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=357844 CPUtime=642.11
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 89075 0 0 0 64128 83 0 0 25 0 1 0 207603745 366432256 88815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 89461 88815 310 324 0 88531 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 357844


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1363744/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=420444 CPUtime=882.04
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 104724 0 0 0 88105 99 0 0 25 0 1 0 207603745 430534656 104464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 105111 104464 310 324 0 104181 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 420444

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1348832/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=435404 CPUtime=942.02
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 108471 0 0 0 94098 104 0 0 25 0 1 0 207603745 445853696 108211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 108851 108211 310 324 0 107921 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 435404

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1339232/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=444844 CPUtime=1002.01
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 110827 0 0 0 100094 107 0 0 25 0 1 0 207603745 455520256 110567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 111211 110567 310 324 0 110281 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 444844

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1332448/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=451704 CPUtime=1061.99
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 112542 0 0 0 106090 109 0 0 25 0 1 0 207603745 462544896 112282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 112926 112282 310 324 0 111996 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 451704

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1326112/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=457908 CPUtime=1121.97
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 114097 0 0 0 112086 111 0 0 25 0 1 0 207603745 468897792 113837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 114477 113837 310 324 0 113547 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 457908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1320224/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=463728 CPUtime=1181.96
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 115567 0 0 0 118083 113 0 0 25 0 1 0 207603745 474857472 115307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 115932 115307 310 324 0 115002 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 463728

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1315488/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=468504 CPUtime=1241.94
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 116739 0 0 0 124080 114 0 0 25 0 1 0 207603745 479748096 116479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 117126 116479 310 324 0 116196 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 468504

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1304864/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=479096 CPUtime=1301.93
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 119385 0 0 0 130076 117 0 0 25 0 1 0 207603745 490594304 119125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 119774 119125 310 324 0 118844 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 479096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1298656/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=485312 CPUtime=1361.91
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 120941 0 0 0 136072 119 0 0 25 0 1 0 207603745 496959488 120681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 121328 120681 310 324 0 120398 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 485312

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1293600/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=490340 CPUtime=1421.9
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 122188 0 0 0 142069 121 0 0 25 0 1 0 207603745 502108160 121928 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 122585 121928 310 324 0 121655 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 490340

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24077
/proc/meminfo: memFree=1289376/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=494492 CPUtime=1481.88
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 123257 0 0 0 148065 123 0 0 25 0 1 0 207603745 506359808 122997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 123623 122997 310 324 0 122693 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 494492

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24079
/proc/meminfo: memFree=1275936/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=507924 CPUtime=1541.86
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 126616 0 0 0 154061 125 0 0 25 0 1 0 207603745 520114176 126356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 126981 126356 310 324 0 126051 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 507924

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24079
/proc/meminfo: memFree=1220320/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=563808 CPUtime=1601.84
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 140578 0 0 0 160048 136 0 0 25 0 1 0 207603745 577339392 140318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 140952 140318 310 324 0 140022 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 563808

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24079
/proc/meminfo: memFree=1187168/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=596680 CPUtime=1661.82
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 148781 0 0 0 166037 145 0 0 25 0 1 0 207603745 611000320 148521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1908386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 149170 148521 310 324 0 148240 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 596680

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24079
/proc/meminfo: memFree=1154912/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=628900 CPUtime=1721.81
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 156839 0 0 0 172026 155 0 0 25 0 1 0 207603745 643993600 156579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 157225 156579 310 324 0 156295 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 628900

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24079
/proc/meminfo: memFree=1128224/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=655476 CPUtime=1781.79
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 163490 0 0 0 178017 162 0 0 25 0 1 0 207603745 671207424 163230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 163869 163230 310 324 0 162939 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 655476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24079
/proc/meminfo: memFree=1121248/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=662180 CPUtime=1800.09
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 165179 0 0 0 179845 164 0 0 25 0 1 0 207603745 678072320 164919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 165545 164919 310 324 0 164615 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 662180

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 24079
/proc/meminfo: memFree=1121248/2055920 swapFree=4182924/4192956
[pid=24076] ppid=24074 vsize=0 CPUtime=1800.19
/proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194308 165183 0 0 0 179845 174 0 0 25 0 1 0 207603745 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/24076/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.21
CPU user time (s): 1798.46
CPU system time (s): 1.74873
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 662180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.46
system time used= 1.74873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165183
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= 12
involuntary context switches= 2863

runsolver used 1.35279 second user time and 3.57746 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 30 16:04:38 UTC 2007

IDJOB= 432752
IDBENCH= 1758
IDSOLVER= 199
FILE ID= node27/432752-1177949078

PBS_JOBID= 4727636

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432752-1177949078/instance-432752-1177949078.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-432752-1177949078 -o ROOT/results/node27/solver-432752-1177949078 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432752-1177949078/instance-432752-1177949078.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  99a4e5b0ce7b98bffc278cf1f6704eb9

RANDOM SEED= 306779409

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1781632 kB
Buffers:         31748 kB
Cached:         164240 kB
SwapCached:       4068 kB
Active:          61680 kB
Inactive:       144192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781632 kB
SwapTotal:     4192956 kB
SwapFree:      4182924 kB
Dirty:            7084 kB
Writeback:           0 kB
Mapped:          15732 kB
Slab:            54472 kB
Committed_AS:  2311632 kB
PageTables:       1412 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= 66558 MiB

End job on node27 on Mon Apr 30 16:34:41 UTC 2007