Trace number 433196

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.17 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM671dfb6ede3c120af748dc40a7daef68
Bench CategoryOPT-BIGINT (optimisation, big 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 variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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/433196-1177956217/instance-433196-1177956217.opb
0.00/0.00	c File size is 910199 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Highest Coefficient sum: 2.12351e+12
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.166 s
0.09/0.17	c Var: 8902 Constr: 3038 988/31/2019 Lit: 113980 Watch. Lit: 36267
0.09/0.17	c Obj. Vars: 31 (0.348236 % of total variables)
0.89/0.98	c Pre-processing Time: 0.98 s
1800.08/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.80	c        0   5557     2061    98916   47    49514  191658      0      0 0.98
1800.08/1800.80	c      100   5557     2161   101483   46    54725  210824    100     95 1.04
1800.08/1800.80	c      250   5557     2311   107495   46    59010  231907    250    201 1.24
1800.08/1800.80	c      475   5557     2536   113631   44    59136  255098    475    347 1.37
1800.08/1800.80	c      815   5557     2876   134985   46    61322  280608    815    410 1.98
1800.08/1800.80	c     1325   5557     3386   154938   45    61745  308669   1325    541 2.45
1800.08/1800.80	c     2088   5557     4149   187040   45    62904  339536   2088    677 3.08
1800.08/1800.80	c     3235   5557     5296   238705   45    66679  373490   3235    769 4.20
1800.08/1800.80	c     4957   5557     7018   342271   48    69722  410840   4957    705 7.03
1800.08/1800.80	c     7541   5557     9602   427032   44    74223  451925   7541    804 9.37
1800.08/1800.80	c    11420   5557    13481   779287   57    82709  497118  11420    752 15.19
1800.08/1800.80	c    17245   5557    19306  1290043   66    94197  546830  17245    687 25.09
1800.08/1800.80	c    25982   5557    28043  1997209   71   111414  601514  25982    619 41.92
1800.08/1800.81	c    39093   5557    41154  3734955   90   138235  661666  39093    485 80.46
1800.08/1800.81	c    58764   5557    60825  6349680  104   177090  727833  58764    407 144.27
1800.08/1800.81	c    88278   5557    90339 10104058  111   236273  800617  88278    355 248.40
1800.08/1800.81	c   132549   5557   134610 14666876  108   324723  880679 132549    284 465.20
1800.08/1800.81	c   198959   5557   201020 24033287  119   457270  968747 198959    225 880.36
1800.08/1800.81	c Caught signal: 15
1800.08/1800.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.81	c   17   291942  65584   563799   294003 34999405 291942    162 1800.09
1800.08/1800.81	s UNKNOWN
1800.08/1800.81	c Total time: 1800.09 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/node33/watcher-433196-1177956217 -o ROOT/results/node33/solver-433196-1177956217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433196-1177956217/instance-433196-1177956217.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.72 0.92 0.90 2/77 7404
/proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=12628 CPUtime=0
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243537153 12931072 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 3157 333 280 324 0 2004 0

[startup+0.0224799 s]
/proc/loadavg: 0.72 0.92 0.90 2/77 7404
/proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=5412 CPUtime=0.01
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 538 0 0 0 1 0 0 0 18 0 1 0 243537153 5541888 508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 1353 509 303 324 0 200 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5412

[startup+0.101494 s]
/proc/loadavg: 0.72 0.92 0.90 2/77 7404
/proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=6340 CPUtime=0.09
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 877 0 0 0 9 0 0 0 18 0 1 0 243537153 6492160 847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11405100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 1585 847 406 324 0 432 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6340

[startup+0.301535 s]
/proc/loadavg: 0.72 0.92 0.90 2/77 7404
/proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=8144 CPUtime=0.29
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 1638 0 0 0 29 0 0 0 19 0 1 0 243537153 8339456 1385 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 2036 1385 304 324 0 1106 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8144

[startup+0.701618 s]
/proc/loadavg: 0.72 0.92 0.90 2/77 7404
/proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=9160 CPUtime=0.69
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 1905 0 0 0 68 1 0 0 22 0 1 0 243537153 9379840 1652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 2290 1652 306 324 0 1360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9160

[startup+1.50178 s]
/proc/loadavg: 0.72 0.92 0.90 2/78 7405
/proc/meminfo: memFree=1866288/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=8492 CPUtime=1.48
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 1930 0 0 0 147 1 0 0 25 0 1 0 243537153 8695808 1475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 2123 1475 310 324 0 1193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8492

[startup+3.10111 s]
/proc/loadavg: 0.72 0.92 0.90 2/78 7405
/proc/meminfo: memFree=1866032/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=9412 CPUtime=3.09
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 2179 0 0 0 307 2 0 0 25 0 1 0 243537153 9637888 1724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 2353 1724 310 324 0 1423 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9412

[startup+6.30178 s]
/proc/loadavg: 0.74 0.92 0.90 2/78 7405
/proc/meminfo: memFree=1863664/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=11380 CPUtime=6.28
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 2668 0 0 0 626 2 0 0 25 0 1 0 243537153 11653120 2213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547282 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7404/statm: 2845 2213 310 324 0 1915 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11380

[startup+12.7011 s]
/proc/loadavg: 0.84 0.94 0.91 2/78 7405
/proc/meminfo: memFree=1859312/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=16112 CPUtime=12.67
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 3838 0 0 0 1264 3 0 0 25 0 1 0 243537153 16498688 3383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 4028 3383 310 324 0 3098 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 16112

[startup+25.5017 s]
/proc/loadavg: 0.87 0.94 0.91 2/78 7405
/proc/meminfo: memFree=1849392/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=25484 CPUtime=25.47
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 6175 0 0 0 2542 5 0 0 25 0 1 0 243537153 26095616 5720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 6371 5720 310 324 0 5441 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25484

[startup+51.102 s]
/proc/loadavg: 0.92 0.95 0.91 2/78 7405
/proc/meminfo: memFree=1833776/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=41364 CPUtime=51.05
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 10140 0 0 0 5098 7 0 0 25 0 1 0 243537153 42356736 9685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11378324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 10341 9685 310 324 0 9411 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 41364

[startup+102.306 s]
/proc/loadavg: 1.01 0.97 0.91 2/78 7405
/proc/meminfo: memFree=1803376/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=71396 CPUtime=102.24
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 17662 0 0 0 10209 15 0 0 25 0 1 0 243537153 73109504 17207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 17849 17207 310 324 0 16919 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 71396

[startup+162.303 s]
/proc/loadavg: 1.04 0.99 0.92 2/78 7405
/proc/meminfo: memFree=1770416/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=104456 CPUtime=162.21
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 25939 0 0 0 16198 23 0 0 25 0 1 0 243537153 106962944 25484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 26114 25484 310 324 0 25184 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 104456

[startup+222.302 s]
/proc/loadavg: 1.05 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1741808/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=132664 CPUtime=222.18
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 32993 0 0 0 22188 30 0 0 25 0 1 0 243537153 135847936 32538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 33166 32538 310 324 0 32236 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 132664

[startup+282.301 s]
/proc/loadavg: 1.05 1.01 0.93 2/78 7405
/proc/meminfo: memFree=1716656/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=158348 CPUtime=282.16
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 39413 0 0 0 28180 36 0 0 25 0 1 0 243537153 162148352 38958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 39587 38958 310 324 0 38657 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 158348

[startup+342.302 s]
/proc/loadavg: 1.02 1.01 0.93 2/78 7405
/proc/meminfo: memFree=1697520/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=176860 CPUtime=342.14
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 44022 0 0 0 34173 41 0 0 25 0 1 0 243537153 181104640 43567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 44215 43567 310 324 0 43285 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 176860

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1683440/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=191116 CPUtime=402.11
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 47595 0 0 0 40167 44 0 0 25 0 1 0 243537153 195702784 47140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 47779 47140 310 324 0 46849 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 191116

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1666352/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=207988 CPUtime=462.09
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 51816 0 0 0 46161 48 0 0 25 0 1 0 243537153 212979712 51361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 51997 51361 310 324 0 51067 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 207988

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1644464/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=230136 CPUtime=522.07
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 57352 0 0 0 52153 54 0 0 25 0 1 0 243537153 235659264 56897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 57534 56897 310 324 0 56604 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 230136

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1624240/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=249976 CPUtime=582.05
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 62317 0 0 0 58145 60 0 0 25 0 1 0 243537153 255975424 61862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11375969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 62494 61862 310 324 0 61564 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 249976

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1610096/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=264064 CPUtime=642.03
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 65812 0 0 0 64139 64 0 0 25 0 1 0 243537153 270401536 65357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 66016 65357 310 324 0 65086 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 264064


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1556272/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=317784 CPUtime=821.95
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 79256 0 0 0 82117 78 0 0 25 0 1 0 243537153 325410816 78801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11378457 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 79446 78801 310 324 0 78516 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 317784

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1538160/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=335728 CPUtime=881.93
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 83733 0 0 0 88111 82 0 0 25 0 1 0 243537153 343785472 83278 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 83932 83278 310 324 0 83002 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 335728

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1525744/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=348164 CPUtime=941.91
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 86844 0 0 0 94105 86 0 0 25 0 1 0 243537153 356519936 86389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 87041 86389 310 324 0 86111 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 348164

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1512240/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=361556 CPUtime=1001.88
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 90204 0 0 0 100099 89 0 0 25 0 1 0 243537153 370233344 89749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 90389 89749 310 324 0 89459 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 361556

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 3/78 7405
/proc/meminfo: memFree=1497200/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=376612 CPUtime=1061.86
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 93949 0 0 0 106093 93 0 0 25 0 1 0 243537153 385650688 93494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 94153 93494 310 324 0 93223 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 376612

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1487408/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=386248 CPUtime=1121.83
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 96381 0 0 0 112088 95 0 0 25 0 1 0 243537153 395517952 95926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 96562 95926 310 324 0 95632 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 386248

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1479536/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=394192 CPUtime=1181.81
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 98356 0 0 0 118084 97 0 0 25 0 1 0 243537153 403652608 97901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 98548 97901 310 324 0 97618 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 394192

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1470192/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=403536 CPUtime=1241.79
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 100701 0 0 0 124078 101 0 0 25 0 1 0 243537153 413220864 100246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 100884 100246 310 324 0 99954 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 403536

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1461296/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=412232 CPUtime=1301.77
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 102866 0 0 0 130073 104 0 0 25 0 1 0 243537153 422125568 102411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 103058 102411 310 324 0 102128 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 412232

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1453616/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=419876 CPUtime=1361.74
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 104780 0 0 0 136067 107 0 0 25 0 1 0 243537153 429953024 104325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 104969 104325 310 324 0 104039 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 419876

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1444592/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=428800 CPUtime=1421.72
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 107012 0 0 0 142062 110 0 0 25 0 1 0 243537153 439091200 106557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 107200 106557 310 324 0 106270 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 428800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1434160/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=439296 CPUtime=1481.7
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 109626 0 0 0 148056 114 0 0 25 0 1 0 243537153 449839104 109171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 109824 109171 310 324 0 108894 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 439296

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1423344/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=449836 CPUtime=1541.67
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 112278 0 0 0 154051 116 0 0 25 0 1 0 243537153 460632064 111823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 112459 111823 310 324 0 111529 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 449836

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1414512/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=458672 CPUtime=1601.65
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 114490 0 0 0 160045 120 0 0 25 0 1 0 243537153 469680128 114035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 114668 114035 310 324 0 113738 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 458672

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1405424/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=467644 CPUtime=1661.63
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 116726 0 0 0 166041 122 0 0 25 0 1 0 243537153 478867456 116271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 116911 116271 310 324 0 115981 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 467644

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1397616/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=475572 CPUtime=1721.61
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 118693 0 0 0 172036 125 0 0 25 0 1 0 243537153 486985728 118238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 118893 118238 310 324 0 117963 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 475572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1390320/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=482592 CPUtime=1781.58
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 120475 0 0 0 178031 127 0 0 25 0 1 0 243537153 494174208 120020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 120648 120020 310 324 0 119718 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 482592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 7405
/proc/meminfo: memFree=1387312/2055920 swapFree=4147832/4192956
[pid=7404] ppid=7402 vsize=485580 CPUtime=1800.08
/proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 121200 0 0 0 179880 128 0 0 25 0 1 0 243537153 497233920 120745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7404/statm: 121395 120745 310 324 0 120465 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 485580

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

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

Child status: 15
Real time (s): 1800.89
CPU time (s): 1800.17
CPU user time (s): 1798.81
CPU system time (s): 1.36279
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 485580

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

runsolver used 1.3308 second user time and 3.9074 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Mon Apr 30 18:03:37 UTC 2007

IDJOB= 433196
IDBENCH= 2349
IDSOLVER= 199
FILE ID= node33/433196-1177956217

PBS_JOBID= 4727736

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433196-1177956217/instance-433196-1177956217.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-433196-1177956217 -o ROOT/results/node33/solver-433196-1177956217 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433196-1177956217/instance-433196-1177956217.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  671dfb6ede3c120af748dc40a7daef68

RANDOM SEED= 196691421

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1871568 kB
Buffers:         23788 kB
Cached:          73728 kB
SwapCached:      13868 kB
Active:          61292 kB
Inactive:        59172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871568 kB
SwapTotal:     4192956 kB
SwapFree:      4147832 kB
Dirty:            7672 kB
Writeback:           0 kB
Mapped:          29928 kB
Slab:            49136 kB
Committed_AS:  1928964 kB
PageTables:       1992 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 node33 on Mon Apr 30 18:33:40 UTC 2007