Trace number 348007

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.16? (TO) 1800.19 1800.82

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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/348007-1176560098/instance-348007-1176560098.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.531 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.07/1800.70	c      100  17361     1203    93385   77    81427  189603    100    168 0.59
1800.07/1800.70	c      250  17361     1353   104996   77    81998  208564    250    357 0.70
1800.07/1800.70	c      475  17361     1578   130018   82    82553  229421    475    628 0.76
1800.07/1800.70	c      813  17361     1916   149984   78    83249  252364    813    937 0.87
1800.07/1800.70	c     1322  17361     2425   170234   70    84267  277601   1322   1320 1.00
1800.07/1800.70	c     2085  17361     3188   227298   71    85793  305362   2085   1566 1.33
1800.07/1800.70	c     3232  17361     4335   264207   60    88087  335899   3232   2050 1.58
1800.07/1800.70	c     4953  17361     6056   306600   50    91529  369489   4953   2375 2.08
1800.07/1800.70	c     7537  17361     8640   400707   46    96697  406438   7537   2806 2.69
1800.07/1800.70	c    11416  17361    12519   625946   49   104496  447082  11416   3334 3.42
1800.07/1800.70	c    17239  17361    18342   838667   45   116142  491791  17239   3059 5.63
1800.07/1800.70	c    25976  17361    27079  1226653   45   133616  540971  25976   3341 7.77
1800.07/1800.70	c    39086  17361    40189  1729308   43   159836  595069  39086   2941 13.29
1800.07/1800.70	c    58757  17361    59860  2531726   42   199229  654576  58757   2285 25.71
1800.07/1800.70	c    88268  17361    89371  4572211   51   258229  720034  88268   2407 36.66
1800.07/1800.70	c   132538  17361   133641  5857063   43   346771  792038 132538   1233 107.45
1800.07/1800.70	c   198948  17361   200051  7956088   39   479620  871242 198948   1026 193.84
1800.07/1800.70	c   298569  17361   299672 13345790   44   678864  958367 298569    448 666.22
1800.07/1800.70	c   448005  17361   449108 21164415   47   977736  500000 448005    299 1494.98
1800.07/1800.70	c Caught signal: 15
1800.07/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.70	c   19   508232 109605  1509697   404616 19386166 403513    282 1800.08
1800.07/1800.70	s UNKNOWN
1800.07/1800.70	c Total time: 1800.08 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-348007-1176560098 -o ROOT/results/node3/solver-348007-1176560098 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348007-1176560098/instance-348007-1176560098.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.92 0.98 0.99 3/77 27195
/proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=12416 CPUtime=0
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 132047565 12713984 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 3104 336 281 324 0 2003 0

[startup+0.0967831 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27195
/proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=7032 CPUtime=0.09
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 1106 0 0 0 9 0 0 0 18 0 1 0 132047565 7200768 1034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 1758 1034 397 324 0 657 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7032

[startup+0.101782 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27195
/proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=7160 CPUtime=0.09
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 1128 0 0 0 9 0 0 0 18 0 1 0 132047565 7331840 1056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 1790 1056 403 324 0 689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7160

[startup+0.301815 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27195
/proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=10600 CPUtime=0.29
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 2165 0 0 0 28 1 0 0 19 0 1 0 132047565 10854400 1923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 2650 1923 306 324 0 1719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10600

[startup+0.70188 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27195
/proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=10876 CPUtime=0.69
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 2735 0 0 0 65 4 0 0 23 0 1 0 132047565 11137024 2031 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 2719 2031 312 324 0 1788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10876

[startup+1.50201 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1783640/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=13112 CPUtime=1.49
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 3281 0 0 0 141 8 0 0 25 0 1 0 132047565 13426688 2577 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 3278 2577 312 324 0 2347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13112

[startup+3.10127 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1781272/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=17436 CPUtime=3.08
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 4384 0 0 0 298 10 0 0 25 0 1 0 132047565 17854464 3680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11357754 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 4359 3680 312 324 0 3428 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17436

[startup+6.30179 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1773720/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=23992 CPUtime=6.28
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 6002 0 0 0 613 15 0 0 25 0 1 0 132047565 24567808 5298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 5998 5298 312 324 0 5067 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23992

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1759960/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=35596 CPUtime=12.69
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 8916 0 0 0 1250 19 0 0 25 0 1 0 132047565 36450304 8212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 8899 8212 312 324 0 7968 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35596

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1748504/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=47624 CPUtime=25.48
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 11917 0 0 0 2523 25 0 0 25 0 1 0 132047565 48766976 11213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 11906 11213 312 324 0 10975 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47624

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1709016/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=86252 CPUtime=51.06
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 21566 0 0 0 5066 40 0 0 25 0 1 0 132047565 88322048 20862 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 21563 20862 312 324 0 20632 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86252

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1697240/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=97804 CPUtime=102.25
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 24468 0 0 0 10175 50 0 0 25 0 1 0 132047565 100151296 23764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 24451 23764 312 324 0 23520 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 97804

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1666520/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=128476 CPUtime=162.23
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 32144 0 0 0 16143 80 0 0 25 0 1 0 132047565 131559424 31440 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 32119 31440 312 324 0 31188 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 128476

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1651224/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=143780 CPUtime=222.21
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 35950 0 0 0 22121 100 0 0 25 0 1 0 132047565 147230720 35246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 35945 35246 312 324 0 35014 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 143780

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1629720/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=165112 CPUtime=282.19
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 41305 0 0 0 28110 109 0 0 25 0 1 0 132047565 169074688 40601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 41278 40601 312 324 0 40347 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 165112

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1620824/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=173956 CPUtime=342.16
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 43502 0 0 0 34103 113 0 0 25 0 1 0 132047565 178130944 42798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 43489 42798 312 324 0 42558 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 173956

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1609816/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=184980 CPUtime=402.14
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 46249 0 0 0 40095 119 0 0 25 0 1 0 132047565 189419520 45545 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 46245 45545 312 324 0 45314 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 184980

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1602840/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=191844 CPUtime=462.12
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 47959 0 0 0 46088 124 0 0 25 0 1 0 132047565 196448256 47255 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 47961 47255 312 324 0 47030 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 191844

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1596632/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=197952 CPUtime=522.11
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 49512 0 0 0 52083 128 0 0 25 0 1 0 132047565 202702848 48808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 49488 48808 312 324 0 48557 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 197952

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1590040/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=204444 CPUtime=582.08
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 51131 0 0 0 58076 132 0 0 25 0 1 0 132047565 209350656 50427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 51111 50427 312 324 0 50180 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 204444

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1584728/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=209748 CPUtime=642.07
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 52440 0 0 0 64071 136 0 0 25 0 1 0 132047565 214781952 51736 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 52437 51736 312 324 0 51506 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 209748


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27196
/proc/meminfo: memFree=1540824/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=253396 CPUtime=881.98
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 63351 0 0 0 88028 170 0 0 25 0 1 0 132047565 259477504 62647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 63349 62647 312 324 0 62418 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 253396

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1530520/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=263716 CPUtime=941.96
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 65931 0 0 0 94018 178 0 0 25 0 1 0 132047565 270045184 65227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 65929 65227 312 324 0 64998 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 263716

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1517528/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=276628 CPUtime=1001.94
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 69166 0 0 0 100007 187 0 0 25 0 1 0 132047565 283267072 68462 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 69157 68462 312 324 0 68226 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 276628

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1507480/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=286648 CPUtime=1061.92
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 71688 0 0 0 105999 193 0 0 25 0 1 0 132047565 293527552 70984 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 71662 70984 312 324 0 70731 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 286648

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1499288/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=294848 CPUtime=1121.9
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 73710 0 0 0 111992 198 0 0 25 0 1 0 132047565 301924352 73006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 73712 73006 312 324 0 72781 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 294848

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1492952/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=301248 CPUtime=1181.88
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 75317 0 0 0 117985 203 0 0 25 0 1 0 132047565 308477952 74613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 75312 74613 312 324 0 74381 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 301248

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1485784/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=308276 CPUtime=1241.86
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 77071 0 0 0 123978 208 0 0 25 0 1 0 132047565 315674624 76367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 77069 76367 312 324 0 76138 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 308276

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1478296/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=315688 CPUtime=1301.84
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 78923 0 0 0 129971 213 0 0 25 0 1 0 132047565 323264512 78219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 78922 78219 312 324 0 77991 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 315688

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1472856/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=321144 CPUtime=1361.82
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 80300 0 0 0 135965 217 0 0 25 0 1 0 132047565 328851456 79596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 80286 79596 312 324 0 79355 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 321144

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1468696/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=325304 CPUtime=1421.8
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 81329 0 0 0 141960 220 0 0 25 0 1 0 132047565 333111296 80625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 81326 80625 312 324 0 80395 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 325304

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1464600/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=329348 CPUtime=1481.77
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 82359 0 0 0 147954 223 0 0 25 0 1 0 132047565 337252352 81655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 82337 81655 312 324 0 81406 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 329348

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1423768/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=370084 CPUtime=1541.75
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 92544 0 0 0 153938 237 0 0 25 0 1 0 132047565 378966016 91840 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 92521 91840 312 324 0 91590 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 370084

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1402584/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=391340 CPUtime=1601.74
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 97840 0 0 0 159927 247 0 0 25 0 1 0 132047565 400732160 97136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 97835 97136 312 324 0 96904 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 391340

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1390360/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=403348 CPUtime=1661.71
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 100865 0 0 0 165919 252 0 0 25 0 1 0 132047565 413028352 100161 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 100837 100161 312 324 0 99906 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 403348

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=405156 CPUtime=1721.69
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 101804 0 0 0 171915 254 0 0 25 0 1 0 132047565 414879744 100603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 101289 100603 312 324 0 100358 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 405156

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=405156 CPUtime=1781.67
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 101804 0 0 0 177913 254 0 0 25 0 1 0 132047565 414879744 100603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 101289 100603 312 324 0 100358 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 405156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=405156 CPUtime=1800.07
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 101804 0 0 0 179753 254 0 0 25 0 1 0 132047565 414879744 100603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 101289 100603 312 324 0 100358 0
Current children cumulated CPU time (s) 1800.07
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.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 27198
/proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956
[pid=27195] ppid=27193 vsize=0 CPUtime=1800.17
/proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194308 101805 0 0 0 179757 260 0 0 25 0 1 0 132047565 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/27195/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.19
CPU user time (s): 1797.58
CPU system time (s): 2.6156
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 407144

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

runsolver used 2.21166 second user time and 4.28535 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat Apr 14 14:14:58 UTC 2007

IDJOB= 348007
IDBENCH= 1599
IDSOLVER= 163
FILE ID= node3/348007-1176560098

PBS_JOBID= 4556755

Free space on /tmp= 66553 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/348007-1176560098/instance-348007-1176560098.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-348007-1176560098 -o ROOT/results/node3/solver-348007-1176560098 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348007-1176560098/instance-348007-1176560098.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  012c11861136c422cb8bda81e1d7561a

RANDOM SEED= 923870637

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1791864 kB
Buffers:         26600 kB
Cached:         146500 kB
SwapCached:       2408 kB
Active:          73688 kB
Inactive:       125892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1791864 kB
SwapTotal:     4192956 kB
SwapFree:      4153856 kB
Dirty:            5080 kB
Writeback:           0 kB
Mapped:          34492 kB
Slab:            49996 kB
Committed_AS:  4913140 kB
PageTables:       1788 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= 66553 MiB

End job on node3 on Sat Apr 14 14:45:01 UTC 2007