Trace number 432601

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.14 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb
MD5SUM012c11861136c422cb8bda81e1d7561a
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 variables21960
Total number of constraints750
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 constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 1295
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533310
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533310
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/432601-1177945997/instance-432601-1177945997.opb
0.00/0.00	c File size is 694911 bytes.
0.09/0.13	c Highest Coefficient sum: 533310
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.134 s
0.09/0.14	c Var: 21960 Constr: 1110 0/0/1110 Lit: 86400 Watch. Lit: 26956
0.09/0.14	c Obj. Vars: 11160 (50.8197 % of total variables)
0.49/0.53	c Pre-processing Time: 0.533 s
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c        0  17361     1103    86183   78    81227  172366      0      0 0.53
0.49/0.53	c Switching off LPR mode.
1800.02/1800.50	c      100  17361     1203    93385   77    81427  189603    100    169 0.59
1800.02/1800.50	c      250  17361     1353   104996   77    81998  208564    250    371 0.67
1800.02/1800.50	c      475  17361     1578   130018   82    82553  229421    475    655 0.72
1800.02/1800.50	c      813  17361     1916   149984   78    83249  252364    813    984 0.83
1800.02/1800.50	c     1322  17361     2425   170234   70    84267  277601   1322   1381 0.96
1800.02/1800.50	c     2085  17361     3188   227298   71    85793  305362   2085   1672 1.25
1800.02/1800.50	c     3232  17361     4335   264207   60    88087  335899   3232   2174 1.49
1800.02/1800.50	c     4953  17361     6056   306600   50    91529  369489   4953   2496 1.98
1800.02/1800.50	c     7537  17361     8640   400707   46    96697  406438   7537   2929 2.57
1800.02/1800.50	c    11416  17361    12519   625946   49   104496  447082  11416   3458 3.30
1800.02/1800.50	c    17239  17361    18342   838667   45   116142  491791  17239   3139 5.49
1800.02/1800.50	c    25976  17361    27079  1226653   45   133616  540971  25976   3421 7.59
1800.02/1800.50	c    39086  17361    40189  1729308   43   159836  595069  39086   2973 13.15
1800.02/1800.50	c    58757  17361    59860  2531726   42   199229  654576  58757   2315 25.38
1800.02/1800.50	c    88268  17361    89371  4572211   51   258229  720034  88268   2435 36.25
1800.02/1800.50	c   132538  17361   133641  5857063   43   346771  792038 132538   1242 106.66
1800.02/1800.50	c   198948  17361   200051  7956088   39   479620  871242 198948   1032 192.62
1800.02/1800.50	c   298569  17361   299672 13345790   44   678864  958367 298569    449 663.74
1800.02/1800.50	c   448005  17361   449108 21164415   47   977736  500000 448005    300 1492.91
1800.02/1800.50	c Caught signal: 15
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c   19   508232 109605  1509697   404231 19365124 403128    282 1800.03
1800.02/1800.50	s UNKNOWN
1800.02/1800.50	c Total time: 1800.03 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/node24/watcher-432601-1177945997 -o ROOT/results/node24/solver-432601-1177945997 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432601-1177945997/instance-432601-1177945997.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: 1.00 0.98 0.91 3/77 20633
/proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=12416 CPUtime=0
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 242517788 12713984 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 3104 335 279 324 0 2004 0

[startup+0.0859151 s]
/proc/loadavg: 1.00 0.98 0.91 3/77 20633
/proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=6904 CPUtime=0.07
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 1050 0 0 0 7 0 0 0 18 0 1 0 242517788 7069696 980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 1726 980 380 324 0 626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6904

[startup+0.101918 s]
/proc/loadavg: 1.00 0.98 0.91 3/77 20633
/proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=7160 CPUtime=0.09
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 1122 0 0 0 9 0 0 0 18 0 1 0 242517788 7331840 1052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 1790 1052 400 324 0 690 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7160

[startup+0.301938 s]
/proc/loadavg: 1.00 0.98 0.91 3/77 20633
/proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=10600 CPUtime=0.29
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 2161 0 0 0 28 1 0 0 19 0 1 0 242517788 10854400 1921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 2650 1921 304 324 0 1720 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10600

[startup+0.70198 s]
/proc/loadavg: 1.00 0.98 0.91 3/77 20633
/proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=11008 CPUtime=0.69
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 2750 0 0 0 67 2 0 0 22 0 1 0 242517788 11272192 2048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 2752 2048 310 324 0 1822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11008

[startup+1.50107 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1750800/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=13244 CPUtime=1.49
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 3319 0 0 0 146 3 0 0 25 0 1 0 242517788 13561856 2617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3039388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 3311 2617 310 324 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13244

[startup+3.10124 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1748240/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=17956 CPUtime=3.09
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 4511 0 0 0 305 4 0 0 25 0 1 0 242517788 18386944 3809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 4489 3809 310 324 0 3559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17956

[startup+6.30158 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1740880/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=24508 CPUtime=6.28
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 6133 0 0 0 624 4 0 0 25 0 1 0 242517788 25096192 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 6127 5431 310 324 0 5197 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24508

[startup+12.7013 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1727312/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=35724 CPUtime=12.68
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 8937 0 0 0 1263 5 0 0 25 0 1 0 242517788 36581376 8235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 8931 8235 310 324 0 8001 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35724

[startup+25.5016 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1714832/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=49308 CPUtime=25.48
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 12320 0 0 0 2540 8 0 0 25 0 1 0 242517788 50491392 11618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 12327 11618 310 324 0 11397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49308

[startup+51.1014 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1676240/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=86384 CPUtime=51.07
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 21610 0 0 0 5092 15 0 0 25 0 1 0 242517788 88457216 20908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 21596 20908 310 324 0 20666 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86384

[startup+102.306 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1664464/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=97936 CPUtime=102.26
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 24491 0 0 0 10208 18 0 0 25 0 1 0 242517788 100286464 23789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 24484 23789 310 324 0 23554 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 97936

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1633744/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=128604 CPUtime=162.24
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 32168 0 0 0 16199 25 0 0 25 0 1 0 242517788 131690496 31466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 32151 31466 310 324 0 31221 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 128604

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1617680/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=144696 CPUtime=222.23
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 36183 0 0 0 22194 29 0 0 25 0 1 0 242517788 148168704 35481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 36174 35481 310 324 0 35244 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 144696

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1596880/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=165496 CPUtime=282.21
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 41375 0 0 0 28186 35 0 0 25 0 1 0 242517788 169467904 40673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 41374 40673 310 324 0 40444 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 165496

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1587856/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=174476 CPUtime=342.2
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 43626 0 0 0 34182 38 0 0 25 0 1 0 242517788 178663424 42924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 43619 42924 310 324 0 42689 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 174476

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1577040/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=185112 CPUtime=402.18
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 46303 0 0 0 40177 41 0 0 25 0 1 0 242517788 189554688 45601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 46278 45601 310 324 0 45348 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 185112

[startup+462.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1570128/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=191976 CPUtime=462.16
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 48016 0 0 0 46173 43 0 0 25 0 1 0 242517788 196583424 47314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 47994 47314 310 324 0 47064 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 191976

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1563984/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=198216 CPUtime=522.15
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 49571 0 0 0 52170 45 0 0 25 0 1 0 242517788 202973184 48869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 49554 48869 310 324 0 48624 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 198216

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1557520/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=204704 CPUtime=582.13
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 51176 0 0 0 58165 48 0 0 25 0 1 0 242517788 209616896 50474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 51176 50474 310 324 0 50246 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 204704

[startup+642.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1552208/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=209884 CPUtime=642.12
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 52480 0 0 0 64163 49 0 0 25 0 1 0 242517788 214921216 51778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 52471 51778 310 324 0 51541 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 209884


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1508368/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=253652 CPUtime=882.06
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 63438 0 0 0 88142 64 0 0 25 0 1 0 242517788 259739648 62736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 63413 62736 310 324 0 62483 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 253652

[startup+942.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1498128/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=263980 CPUtime=942.04
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 66011 0 0 0 94136 68 0 0 25 0 1 0 242517788 270315520 65309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 65995 65309 310 324 0 65065 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 263980

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1484944/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=277152 CPUtime=1002.02
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 69283 0 0 0 100130 72 0 0 25 0 1 0 242517788 283803648 68581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 69288 68581 310 324 0 68358 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 277152

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1475024/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=287048 CPUtime=1062.01
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 71779 0 0 0 106125 76 0 0 25 0 1 0 242517788 293937152 71077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 71762 71077 310 324 0 70832 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 287048

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1466960/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=295104 CPUtime=1121.99
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 73788 0 0 0 112121 78 0 0 25 0 1 0 242517788 302186496 73086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 73776 73086 310 324 0 72846 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 295104

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1460560/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=301508 CPUtime=1181.97
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 75401 0 0 0 118117 80 0 0 25 0 1 0 242517788 308744192 74699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 75377 74699 310 324 0 74447 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 301508

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1453456/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=308536 CPUtime=1241.96
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 77143 0 0 0 124113 83 0 0 25 0 1 0 242517788 315940864 76441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 77134 76441 310 324 0 76204 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 308536

[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1445904/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=316080 CPUtime=1301.95
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 79013 0 0 0 130109 86 0 0 25 0 1 0 242517788 323665920 78311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 79020 78311 310 324 0 78090 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 316080

[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1440656/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=321276 CPUtime=1361.93
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 80327 0 0 0 136105 88 0 0 25 0 1 0 242517788 328986624 79625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551200 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 80319 79625 310 324 0 79389 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 321276

[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1436432/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=325436 CPUtime=1421.92
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 81363 0 0 0 142103 89 0 0 25 0 1 0 242517788 333246464 80661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 81359 80661 310 324 0 80429 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 325436

[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1432272/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=329604 CPUtime=1481.9
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 82401 0 0 0 148099 91 0 0 25 0 1 0 242517788 337514496 81699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 82401 81699 310 324 0 81471 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 329604

[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1390800/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=370992 CPUtime=1541.89
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 92762 0 0 0 154089 100 0 0 25 0 1 0 242517788 379895808 92060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 92748 92060 310 324 0 91818 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 370992

[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20634
/proc/meminfo: memFree=1370128/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=391724 CPUtime=1601.87
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 97925 0 0 0 160081 106 0 0 25 0 1 0 242517788 401125376 97223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 97931 97223 310 324 0 97001 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 391724

[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20636
/proc/meminfo: memFree=1357968/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=403736 CPUtime=1661.85
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 100955 0 0 0 166076 109 0 0 25 0 1 0 242517788 413425664 100253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 100934 100253 310 324 0 100004 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 403736

[startup+1722.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20636
/proc/meminfo: memFree=1356304/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=405156 CPUtime=1721.83
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 101800 0 0 0 172073 110 0 0 25 0 1 0 242517788 414879744 100601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 101289 100601 310 324 0 100359 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 405156

[startup+1782.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20636
/proc/meminfo: memFree=1356304/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=405156 CPUtime=1781.82
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 101800 0 0 0 178071 111 0 0 25 0 1 0 242517788 414879744 100601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 101289 100601 310 324 0 100359 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 405156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 20636
/proc/meminfo: memFree=1356304/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=405156 CPUtime=1800.02
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 101800 0 0 0 179891 111 0 0 25 0 1 0 242517788 414879744 100601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 101289 100601 310 324 0 100359 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 405156

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.98 0.91 2/79 20637
/proc/meminfo: memFree=1715208/2055920 swapFree=4143608/4192956
[pid=20633] ppid=20631 vsize=0 CPUtime=1800.13
/proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194308 101804 0 0 0 179896 117 0 0 25 0 1 0 242517788 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/20633/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.14
CPU user time (s): 1798.96
CPU system time (s): 1.17782
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 407144

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

runsolver used 1.3068 second user time and 4.09138 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Mon Apr 30 15:13:18 UTC 2007

IDJOB= 432601
IDBENCH= 1599
IDSOLVER= 199
FILE ID= node24/432601-1177945997

PBS_JOBID= 4727670

Free space on /tmp= 66557 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/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432601-1177945997/instance-432601-1177945997.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-432601-1177945997 -o ROOT/results/node24/solver-432601-1177945997 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432601-1177945997/instance-432601-1177945997.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  012c11861136c422cb8bda81e1d7561a

RANDOM SEED= 6137152

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1759216 kB
Buffers:         37552 kB
Cached:         168852 kB
SwapCached:      17452 kB
Active:         109744 kB
Inactive:       120212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1759216 kB
SwapTotal:     4192956 kB
SwapFree:      4143608 kB
Dirty:            7276 kB
Writeback:           0 kB
Mapped:          30328 kB
Slab:            52324 kB
Committed_AS:  3882420 kB
PageTables:       1808 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= 66557 MiB

End job on node24 on Mon Apr 30 15:43:20 UTC 2007