Trace number 432570

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.15 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
MD5SUM08c9d2f9c7022678189ff579f66c642f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.89841
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2976
Total number of constraints116
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 2976
Biggest coefficient in the objective function 6132
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 526551
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526551
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/432570-1177945464/instance-432570-1177945464.opb
0.00/0.00	c File size is 113062 bytes.
0.00/0.02	c Highest Coefficient sum: 526551
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.021 s
0.00/0.02	c Var: 2976 Constr: 136 9/0/127 Lit: 14496 Watch. Lit: 8776
0.00/0.02	c Obj. Vars: 2976 (100 % of total variables)
0.19/0.30	c Pre-processing Time: 0.295 s
0.34/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.34/0.52	c        0   1483      136    14496  106     8798   23954      0      0 0.29
0.34/0.52	c Initial Lower Bound: 9223372036854775807
0.34/0.52	c Initial Path Cost: 0
1800.04/1800.71	c      100   1483      236    27798  117     9000   26350    100    261 0.38
1800.04/1800.71	c      259   1483      395    49139  124     9318   28986    259    628 0.41
1800.04/1800.71	c      484   1483      620    80155  129     9768   31885    484    995 0.49
1800.04/1800.71	c      822   1483      958   118669  123    10444   35074    822   1332 0.62
1800.04/1800.71	c     1330   1483     1466   188559  128    11458   38582   1330   1572 0.85
1800.04/1800.71	c     2093   1483     2229   288865  129    12984   42441   2093   1827 1.15
1800.04/1800.71	c     3239   1483     3375   603273  178    15276   46686   3239   1888 1.72
1800.04/1800.71	c     4961   1483     5097  1001268  196    18722   51355   4961   1727 2.87
1800.04/1800.71	c     7545   1483     7681  1480825  192    23890   56491   7545   1496 5.04
1800.04/1800.71	c    11424   1483    11560  2368705  204    31648   62141  11424   1328 8.60
1800.04/1800.71	c    17248   1483    17384  4723646  271    43296   68356  17248    838 20.57
1800.04/1800.71	c    25985   1483    26121  7674937  293    60770   75192  25985    624 41.63
1800.04/1800.71	c    39095   1483    39231 11719996  298    86990   82712  39095    426 91.69
1800.04/1800.71	c    58765   1483    58901 17625651  299   126330   90984  58765    394 148.85
1800.04/1800.71	c    88275   1483    88411 27616364  312   185350  100083  88275    302 291.87
1800.04/1800.71	c   132546   1483    46913 16461753  350   102354  110092  46777    230 575.98
1800.04/1800.71	c   198956   1483    17706  5668719  320    43940  121102  17570    181 1098.82
1800.04/1800.71	c   298576   1483   117326 40421302  344   243180  133213 117190    194 1536.32
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   18   319239 150128  2060170    19296  5907537  19160    177 1800.05
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c Total time: 1800.05 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/node54/watcher-432570-1177945464 -o ROOT/results/node54/solver-432570-1177945464 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432570-1177945464/instance-432570-1177945464.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.84 0.94 0.90 3/66 27485
/proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=11848 CPUtime=0
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 241920925 12132352 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 2962 336 279 324 0 2004 0

[startup+0.0604949 s]
/proc/loadavg: 0.84 0.94 0.90 3/66 27485
/proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=4756 CPUtime=0.05
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 623 0 0 0 5 0 0 0 18 0 1 0 241920925 4870144 565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 1189 565 303 324 0 259 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4756

[startup+0.101499 s]
/proc/loadavg: 0.84 0.94 0.90 3/66 27485
/proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=4756 CPUtime=0.09
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 623 0 0 0 9 0 0 0 18 0 1 0 241920925 4870144 565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 1189 565 303 324 0 259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4756

[startup+0.301524 s]
/proc/loadavg: 0.84 0.94 0.90 3/66 27485
/proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=4872 CPUtime=0.29
/proc/27485/stat : 27485 (bsolo3.0.17) D 27483 27485 26829 0 -1 4194304 667 0 0 0 29 0 0 0 19 0 1 0 241920925 4988928 605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160369710 0 0 4096 16384 18446744071563479169 0 0 17 1 0 0
/proc/27485/statm: 1218 605 310 324 0 288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4872

[startup+0.701575 s]
/proc/loadavg: 0.84 0.94 0.90 3/66 27485
/proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=6716 CPUtime=0.53
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 6367 0 2 0 52 1 0 0 19 0 1 0 241920925 6877184 1125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 1679 1126 393 324 0 749 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 6716

[startup+1.50168 s]
/proc/loadavg: 0.85 0.94 0.90 2/67 27486
/proc/meminfo: memFree=1702968/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=10572 CPUtime=1.34
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 7343 0 2 0 132 2 0 0 25 0 1 0 241920925 10825728 2101 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 2643 2101 393 324 0 1713 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10572

[startup+3.10188 s]
/proc/loadavg: 0.85 0.94 0.90 2/67 27486
/proc/meminfo: memFree=1696056/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=18668 CPUtime=2.94
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 9377 0 2 0 291 3 0 0 25 0 1 0 241920925 19116032 4135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 4667 4135 393 324 0 3737 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 18668

[startup+6.30128 s]
/proc/loadavg: 0.85 0.94 0.90 2/67 27486
/proc/meminfo: memFree=1684792/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=28912 CPUtime=6.14
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 11913 0 2 0 609 5 0 0 25 0 1 0 241920925 29605888 6671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 7228 6671 393 324 0 6298 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 28912

[startup+12.7011 s]
/proc/loadavg: 0.88 0.94 0.90 2/67 27486
/proc/meminfo: memFree=1661176/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=52988 CPUtime=12.53
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 17933 0 2 0 1245 8 0 0 25 0 1 0 241920925 54259712 12691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 13247 12691 393 324 0 12317 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 52988

[startup+25.5017 s]
/proc/loadavg: 0.89 0.94 0.90 2/67 27486
/proc/meminfo: memFree=1632632/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=78060 CPUtime=25.33
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 24222 0 2 0 2521 12 0 0 25 0 1 0 241920925 79933440 18980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 19515 18980 393 324 0 18585 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 78060

[startup+51.102 s]
/proc/loadavg: 0.93 0.94 0.90 2/67 27486
/proc/meminfo: memFree=1591992/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=120048 CPUtime=50.92
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 34705 0 2 0 5073 19 0 0 25 0 1 0 241920925 122929152 29463 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 30012 29463 393 324 0 29082 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 120048

[startup+102.305 s]
/proc/loadavg: 0.97 0.95 0.91 2/67 27486
/proc/meminfo: memFree=1536952/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=173644 CPUtime=102.11
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 48113 0 2 0 10183 28 0 0 25 0 1 0 241920925 177811456 42871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 43411 42871 393 324 0 42481 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 173644

[startup+162.301 s]
/proc/loadavg: 0.99 0.96 0.91 2/67 27486
/proc/meminfo: memFree=1456376/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=255184 CPUtime=162.09
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 68495 0 2 0 16168 41 0 0 25 0 1 0 241920925 261308416 63253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 63796 63253 393 324 0 62866 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 255184

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.91 2/67 27486
/proc/meminfo: memFree=1399096/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=311208 CPUtime=222.07
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 82496 0 2 0 22156 51 0 0 25 0 1 0 241920925 318676992 77254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 77802 77254 393 324 0 76872 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 311208

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27486
/proc/meminfo: memFree=1351544/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=359080 CPUtime=282.05
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 94463 0 2 0 28146 59 0 0 25 0 1 0 241920925 367697920 89221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 89770 89221 393 324 0 88840 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 359080

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27486
/proc/meminfo: memFree=1298936/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=411196 CPUtime=342.03
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 107501 0 2 0 34137 66 0 0 25 0 1 0 241920925 421064704 102259 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 102799 102259 393 324 0 101869 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 411196

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27486
/proc/meminfo: memFree=1263736/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=446360 CPUtime=402.02
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 116282 0 2 0 40129 73 0 0 25 0 1 0 241920925 457072640 111040 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 111590 111040 393 324 0 110660 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 446360

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1257784/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=451904 CPUtime=462
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 46126 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 112976 112419 393 324 0 112046 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 451904

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=451904 CPUtime=521.99
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 52125 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 112976 112419 393 324 0 112046 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 451904

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=451904 CPUtime=581.97
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 58123 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 112976 112419 393 324 0 112046 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 451904

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=451904 CPUtime=641.95
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 64121 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 112976 112419 393 324 0 112046 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 451904


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1257784/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=451904 CPUtime=881.89
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 88114 75 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 112976 112419 393 324 0 112046 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 451904

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=451904 CPUtime=941.87
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 94112 75 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 112976 112419 393 324 0 112046 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 451904

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=451916 CPUtime=1001.85
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117764 0 2 0 100110 75 0 0 25 0 1 0 241920925 462761984 112422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 112979 112422 393 324 0 112049 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 451916

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1236536/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=473648 CPUtime=1061.84
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 123192 0 2 0 106104 80 0 0 25 0 1 0 241920925 485015552 117850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 118412 117850 393 324 0 117482 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 473648

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1223736/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=485672 CPUtime=1121.82
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 112099 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 121418 120885 393 324 0 120488 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 485672

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1223800/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=485672 CPUtime=1181.8
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 118097 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 121418 120885 393 324 0 120488 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 485672

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1223864/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=485672 CPUtime=1241.79
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 124096 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2253715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 121418 120885 393 324 0 120488 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 485672

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1223928/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=485672 CPUtime=1301.78
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 130095 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 121418 120885 393 324 0 120488 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 485672

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1223928/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=485672 CPUtime=1361.75
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 136092 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 121418 120885 393 324 0 120488 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 485672

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1223864/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=485672 CPUtime=1421.74
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 142091 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 121418 120885 393 324 0 120488 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 485672

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1223864/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=485672 CPUtime=1481.72
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 148089 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 121418 120885 393 324 0 120488 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 485672

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1172664/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=536992 CPUtime=1541.7
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 139167 0 2 0 154080 90 0 0 25 0 1 0 241920925 549879808 133714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 134248 133714 393 324 0 133318 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 536992

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1153336/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=556408 CPUtime=1601.68
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 144007 0 2 0 160074 94 0 0 25 0 1 0 241920925 569761792 138554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 139102 138554 393 324 0 138172 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 556408

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1133496/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=575912 CPUtime=1661.67
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 148898 0 2 0 166068 99 0 0 25 0 1 0 241920925 589733888 143445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 143978 143445 393 324 0 143048 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 575912

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1117304/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=592316 CPUtime=1721.66
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 152969 0 2 0 172063 103 0 0 25 0 1 0 241920925 606531584 147516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 148079 147516 393 324 0 147149 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 592316

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1099256/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=609500 CPUtime=1781.63
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 157416 0 2 0 178057 106 0 0 25 0 1 0 241920925 624128000 151830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 152375 151830 393 324 0 151445 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 609500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1099640/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=609500 CPUtime=1800.04
/proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 157416 0 2 0 179898 106 0 0 25 0 1 0 241920925 624128000 151830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27485/statm: 152375 151830 393 324 0 151445 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 609500

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27488
/proc/meminfo: memFree=1099640/2055920 swapFree=4182164/4192956
[pid=27485] ppid=27483 vsize=0 CPUtime=1800.14
/proc/27485/stat : 27485 (bsolo3.0.17) D 27483 27485 26829 0 -1 4194308 157419 0 2 0 179898 116 0 0 24 0 1 0 241920925 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099863542 0 0 17 0 0 0
/proc/27485/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.81
CPU time (s): 1800.15
CPU user time (s): 1798.98
CPU system time (s): 1.16482
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 610032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.16482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157419
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 4159

runsolver used 1.68274 second user time and 4.87726 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Mon Apr 30 15:04:24 UTC 2007

IDJOB= 432570
IDBENCH= 1567
IDSOLVER= 199
FILE ID= node54/432570-1177945464

PBS_JOBID= 4727543

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/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432570-1177945464/instance-432570-1177945464.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-432570-1177945464 -o ROOT/results/node54/solver-432570-1177945464 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432570-1177945464/instance-432570-1177945464.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  08c9d2f9c7022678189ff579f66c642f

RANDOM SEED= 66397736

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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.234
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.234
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:       1707992 kB
Buffers:         29564 kB
Cached:         237968 kB
SwapCached:       3992 kB
Active:         142724 kB
Inactive:       135044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707992 kB
SwapTotal:     4192956 kB
SwapFree:      4182164 kB
Dirty:            6820 kB
Writeback:           0 kB
Mapped:          16184 kB
Slab:            56020 kB
Committed_AS:  2413832 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 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 node54 on Mon Apr 30 15:34:27 UTC 2007