Trace number 432607

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17? (TO) 1800.15 1800.78

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-CMS750_4.opb
MD5SUM55e4261919fe5e3e5c6520778d47a3ef
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 variables142226
Total number of constraints20881
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 780
Biggest coefficient in the objective function 261957
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524680
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261957
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524680
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/432607-1177946176/instance-432607-1177946176.opb
0.00/0.00	c File size is 11539406 bytes.
2.19/2.26	c Highest Coefficient sum: 524680
2.19/2.26	c Parsing was ok!!
2.19/2.26	c Total parsing time: 2.252 s
2.28/2.33	c Var: 142226 Constr: 20882 2438/0/18444 Lit: 988598 Watch. Lit: 83618
2.28/2.33	c Obj. Vars: 780 (0.548423 % of total variables)
4.38/4.47	c Pre-processing Time: 4.457 s
4.38/4.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.38/4.48	c        0 142211    20882   988568   47   577257  500000      0      0 4.46
4.38/4.48	c Switching off LPR mode.
1800.07/1800.70	c      100 142211    20982   993301   47   827201  550001    100     20 4.78
1800.07/1800.70	c      250 142211    21132   998945   47   826514  605002    250     50 4.91
1800.07/1800.70	c      475 142211    21357  1007648   47   826444  665503    475     90 5.24
1800.07/1800.70	c      813 142211    21695  1019007   46   826988  732054    813    149 5.43
1800.07/1800.70	c     1321 142211    22203  1042823   46   829188  805260   1321    199 6.63
1800.07/1800.70	c     2085 142211    22967  1081180   47   833522  885787   2085    246 8.47
1800.07/1800.70	c     3231 142211    24113  1109107   45   845360  974366   3231    339 9.52
1800.07/1800.70	c     4953 142211    25835  1174520   45   851924  500000   4953    409 12.08
1800.07/1800.70	c     7537 142211    28419  1304114   45   853989  550001   7537    388 19.42
1800.07/1800.70	c    11416 142211    32298  1494463   46   860612  605002  11416    430 26.51
1800.07/1800.70	c    17242 142211    38124  1716515   45   872234  665503  17242    609 28.30
1800.07/1800.70	c    25979 142211    46861  2188439   46   890818  732054  25979    719 36.11
1800.07/1800.70	c    39091 142211    59973  2894911   48   919288  805260  39091    834 46.86
1800.07/1800.70	c    58762 142211    79644  3619424   45   958411  885787  58762   1018 57.68
1800.07/1800.70	c    88272 142211   109154  5179284   47  1018104  974366  88272    901 97.95
1800.07/1800.70	c   132543 142211   153425  7632743   49  1106748  500000 132543    615 215.25
1800.07/1800.70	c   198954 142211   219836 11010888   50  1241025  550001 198954    572 347.24
1800.07/1800.70	c   298574 142211   319456 15929443   49  1437270  605002 298574    442 675.32
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   18   436092  17466  1261815   456974 25446430 436092    242 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.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node59/watcher-432607-1177946176 -o ROOT/results/node59/solver-432607-1177946176 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432607-1177946176/instance-432607-1177946176.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.91 0.95 0.90 3/64 30111
/proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=23008 CPUtime=0
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242527375 23560192 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 5752 333 279 324 0 2004 0

[startup+0.0867281 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 30111
/proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=18088 CPUtime=0.07
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 1218 0 0 0 7 0 0 0 18 0 1 0 242527375 18522112 1148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 4522 1148 384 324 0 774 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18088

[startup+0.10173 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 30111
/proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=18816 CPUtime=0.09
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 1452 0 0 0 9 0 0 0 18 0 1 0 242527375 19267584 1303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 4704 1304 405 324 0 956 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18816

[startup+0.301767 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 30111
/proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=25604 CPUtime=0.28
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 3713 0 0 0 27 1 0 0 19 0 1 0 242527375 26218496 3261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 6401 3261 656 324 0 2653 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25604

[startup+0.701845 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 30111
/proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=28740 CPUtime=0.69
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 4998 0 0 0 67 2 0 0 22 0 1 0 242527375 29429760 4546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 7185 4546 1166 324 0 3437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28740

[startup+1.502 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 30112
/proc/meminfo: memFree=1702968/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=33672 CPUtime=1.49
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 7249 0 0 0 146 3 0 0 25 0 1 0 242527375 34480128 6797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 8418 6797 2145 324 0 4670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33672

[startup+3.1013 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 30112
/proc/meminfo: memFree=1695672/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=67052 CPUtime=3.08
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20226 0 0 0 290 18 0 0 25 0 1 0 242527375 68661248 15566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9719581 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 16763 15566 306 324 0 15833 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67052

[startup+6.3019 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 30112
/proc/meminfo: memFree=1655096/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=69300 CPUtime=6.28
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20796 0 0 0 603 25 0 0 25 0 1 0 242527375 70963200 16136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 17325 16136 310 324 0 16395 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69300

[startup+12.7011 s]
/proc/loadavg: 0.93 0.96 0.91 2/65 30112
/proc/meminfo: memFree=1655032/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=69316 CPUtime=12.67
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20800 0 0 0 1242 25 0 0 25 0 1 0 242527375 70979584 16140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 17329 16140 310 324 0 16399 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 69316

[startup+25.5015 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 30112
/proc/meminfo: memFree=1655160/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=69332 CPUtime=25.47
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20804 0 0 0 2522 25 0 0 25 0 1 0 242527375 70995968 16144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 17333 16144 310 324 0 16403 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 69332

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 30112
/proc/meminfo: memFree=1630520/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=94476 CPUtime=51.06
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 27094 0 0 0 5077 29 0 0 25 0 1 0 242527375 96743424 22434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 23619 22434 310 324 0 22689 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 94476

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 30112
/proc/meminfo: memFree=1595448/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=128944 CPUtime=102.25
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 35732 0 0 0 10191 34 0 0 25 0 1 0 242527375 132038656 31072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 32236 31072 310 324 0 31306 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 128944

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1572664/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=151732 CPUtime=162.22
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 41435 0 0 0 16183 39 0 0 25 0 1 0 242527375 155373568 36775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9727763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 37933 36775 310 324 0 37003 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 151732

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1551032/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=173616 CPUtime=222.21
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 46895 0 0 0 22178 43 0 0 25 0 1 0 242527375 177782784 42235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 43404 42235 310 324 0 42474 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 173616

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1525432/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=198972 CPUtime=282.18
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 53239 0 0 0 28168 50 0 0 25 0 1 0 242527375 203747328 48579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 49743 48579 310 324 0 48813 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 198972

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1511992/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=212336 CPUtime=342.16
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 56558 0 0 0 34162 54 0 0 25 0 1 0 242527375 217432064 51898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 53084 51898 310 324 0 52154 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 212336

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1481528/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=242736 CPUtime=402.14
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 64181 0 0 0 40153 61 0 0 25 0 1 0 242527375 248561664 59521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 60684 59521 310 324 0 59754 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 242736

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1469304/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=254908 CPUtime=462.12
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 67209 0 0 0 46147 65 0 0 25 0 1 0 242527375 261025792 62549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 63727 62549 310 324 0 62797 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 254908

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1458040/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=266180 CPUtime=522.11
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 70032 0 0 0 52143 68 0 0 25 0 1 0 242527375 272568320 65372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 66545 65372 310 324 0 65615 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 266180

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1449400/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=274728 CPUtime=582.08
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 72169 0 0 0 58137 71 0 0 25 0 1 0 242527375 281321472 67509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 68682 67509 310 324 0 67752 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 274728

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1440888/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=283168 CPUtime=642.07
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 74266 0 0 0 64133 74 0 0 25 0 1 0 242527375 289964032 69606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 70792 69606 310 324 0 69862 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 283168


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1391032/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=332952 CPUtime=881.98
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 86728 0 0 0 88114 84 0 0 25 0 1 0 242527375 340942848 82068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 83238 82068 310 324 0 82308 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 332952

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1385336/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=338632 CPUtime=941.96
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 88153 0 0 0 94110 86 0 0 25 0 1 0 242527375 346759168 83493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571925 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 84658 83493 310 324 0 83728 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 338632

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1379960/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=344044 CPUtime=1001.94
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 89489 0 0 0 100106 88 0 0 25 0 1 0 242527375 352301056 84829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 86011 84829 310 324 0 85081 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 344044

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1375096/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=348924 CPUtime=1061.91
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 90723 0 0 0 106102 89 0 0 25 0 1 0 242527375 357298176 86063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 87231 86063 310 324 0 86301 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 348924

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1364920/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=358924 CPUtime=1121.89
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 93233 0 0 0 112096 93 0 0 25 0 1 0 242527375 367538176 88573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 89731 88573 310 324 0 88801 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 358924

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1357688/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=366160 CPUtime=1181.87
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 95046 0 0 0 118092 95 0 0 25 0 1 0 242527375 374947840 90386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 91540 90386 310 324 0 90610 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 366160

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1352696/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=371140 CPUtime=1241.85
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 96270 0 0 0 124088 97 0 0 25 0 1 0 242527375 380047360 91610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 92785 91610 310 324 0 91855 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 371140

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1348216/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=375472 CPUtime=1301.84
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 97371 0 0 0 130085 99 0 0 25 0 1 0 242527375 384483328 92711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9720723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 93868 92711 310 324 0 92938 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 375472

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1344312/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=379420 CPUtime=1361.81
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 98353 0 0 0 136081 100 0 0 25 0 1 0 242527375 388526080 93693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 94855 93693 310 324 0 93925 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 379420

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1341048/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=382700 CPUtime=1421.79
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 99176 0 0 0 142078 101 0 0 25 0 1 0 242527375 391884800 94516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 95675 94516 310 324 0 94745 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 382700

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30112
/proc/meminfo: memFree=1336056/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=387852 CPUtime=1481.77
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 100441 0 0 0 148074 103 0 0 25 0 1 0 242527375 397160448 95781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 96963 95781 310 324 0 96033 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 387852

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30114
/proc/meminfo: memFree=1330352/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=393400 CPUtime=1541.75
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 101835 0 0 0 154071 104 0 0 25 0 1 0 242527375 402841600 97175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571925 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 98350 97175 310 324 0 97420 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 393400

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30114
/proc/meminfo: memFree=1320696/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=403152 CPUtime=1601.73
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 104285 0 0 0 160066 107 0 0 25 0 1 0 242527375 412827648 99625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 100788 99625 310 324 0 99858 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 403152

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30114
/proc/meminfo: memFree=1313208/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=410524 CPUtime=1661.71
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 106115 0 0 0 166061 110 0 0 25 0 1 0 242527375 420376576 101455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 102631 101455 310 324 0 101701 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 410524

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30114
/proc/meminfo: memFree=1307192/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=416560 CPUtime=1721.69
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 107648 0 0 0 172058 111 0 0 25 0 1 0 242527375 426557440 102988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 104140 102988 310 324 0 103210 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 416560

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30114
/proc/meminfo: memFree=1302072/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=421680 CPUtime=1781.67
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 108898 0 0 0 178054 113 0 0 25 0 1 0 242527375 431800320 104238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 105420 104238 310 324 0 104490 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 421680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30114
/proc/meminfo: memFree=1300344/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=423256 CPUtime=1800.07
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 109313 0 0 0 179894 113 0 0 25 0 1 0 242527375 433414144 104653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 105814 104653 310 324 0 104884 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 423256

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30114
/proc/meminfo: memFree=1300344/2055920 swapFree=4184616/4192956
[pid=30111] ppid=30109 vsize=423256 CPUtime=1800.07
/proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 109313 0 0 0 179894 113 0 0 25 0 1 0 242527375 433414144 104653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30111/statm: 105814 104653 310 324 0 104884 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 423256

Child status: 15
Real time (s): 1800.78
CPU time (s): 1800.15
CPU user time (s): 1798.94
CPU system time (s): 1.20282
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 423256

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

runsolver used 1.35079 second user time and 3.57146 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Mon Apr 30 15:16:18 UTC 2007

IDJOB= 432607
IDBENCH= 1605
IDSOLVER= 199
FILE ID= node59/432607-1177946176

PBS_JOBID= 4727810

Free space on /tmp= 66547 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-CMS750_4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432607-1177946176/instance-432607-1177946176.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-432607-1177946176 -o ROOT/results/node59/solver-432607-1177946176 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432607-1177946176/instance-432607-1177946176.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  55e4261919fe5e3e5c6520778d47a3ef

RANDOM SEED= 225370425

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1718936 kB
Buffers:         32876 kB
Cached:         224044 kB
SwapCached:       2364 kB
Active:         127652 kB
Inactive:       139360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1718936 kB
SwapTotal:     4192956 kB
SwapFree:      4184616 kB
Dirty:           17956 kB
Writeback:           0 kB
Mapped:          16828 kB
Slab:            55944 kB
Committed_AS:  3196384 kB
PageTables:       1476 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= 66547 MiB

End job on node59 on Mon Apr 30 15:46:20 UTC 2007