Trace number 433202

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.24 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dg012142.opb
MD5SUM4f88b3d47f6404caca0c9a65b4bd3b5a
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 variables41920
Total number of constraints2137
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2097
Minimum length of a constraint1
Maximum length of a constraint371
Number of terms in the objective function 22720
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 1036222338778688
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 1036222338778688
Number of bits of the biggest sum of numbers50
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/433202-1177956310/instance-433202-1177956310.opb
0.00/0.00	c File size is 3667132 bytes.
0.02/0.05	c Coefficients are big enough for not using lower bounding.
0.60/0.62	c Highest Coefficient sum: 1.03622e+15
0.60/0.62	c Parsing was ok!!
0.60/0.62	c Total parsing time: 0.617 s
0.60/0.64	c Var: 41920 Constr: 2777 40/0/2737 Lit: 329176 Watch. Lit: 33379
0.60/0.64	c Obj. Vars: 22720 (54.1985 % of total variables)
1.49/1.55	c Pre-processing Time: 1.549 s
1800.05/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.50	c        0  32007     2731   327716  119   181369  655432      0      0 1.55
1800.05/1800.50	c      100  32007     2831   341481  120   182003  720976    100     54 1.82
1800.05/1800.50	c      250  32007     2981   360387  120   182312  793074    250    115 2.17
1800.05/1800.50	c      476  32007     3207   404713  126   182795  872382    476    199 2.38
1800.05/1800.50	c      814  32007     3545   454819  128   183450  959621    814    307 2.65
1800.05/1800.50	c     1322  32007     4053   513930  126   184561  500000   1322    452 2.92
1800.05/1800.50	c     2088  32007     4819   572040  118   186323  550001   2088    642 3.25
1800.05/1800.50	c     3235  32007     5966   750741  125   188599  605002   3235    823 3.93
1800.05/1800.50	c     4957  32007     7688   847281  110   192346  665503   4957   1160 4.27
1800.05/1800.50	c     7541  32007    10272  1196039  116   197424  732054   7541   1284 5.87
1800.05/1800.50	c    11421  32007    14152  1587758  112   205613  805260  11421   1495 7.63
1800.05/1800.50	c    17244  32007    19975  2152134  107   217413  885787  17244   1799 9.58
1800.05/1800.50	c    25981  32007    28712  2827754   98   234233  974366  25981   2155 12.06
1800.05/1800.50	c    39095  32007    41826  4051585   96   260233  500000  39095   2244 17.41
1800.05/1800.50	c    58766  32007    61497  7354487  119   299748  550001  58766   1397 42.06
1800.05/1800.50	c    88276  32007    91007 11350039  124   359018  605002  88276    753 117.13
1800.05/1800.50	c   132546  32007   135277 17828397  131   447818  665503 132546    511 259.08
1800.05/1800.50	c   198956  32007   201687 36702657  181   580500  732054 198956    391 507.78
1800.05/1800.50	c   298576  32006   301307 49035915  162   779529  805260 298576    294 1013.61
1800.05/1800.50	c   448011  32006   450742 65629568  145  1097652  885787 448011    320 1397.22
1800.05/1800.50	c Caught signal: 15
1800.05/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.50	c   19   514807  47317  1329888   517538 81358643 514807    285 1800.06
1800.05/1800.50	s UNKNOWN
1800.05/1800.50	c Total time: 1800.06 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/node72/watcher-433202-1177956310 -o ROOT/results/node72/solver-433202-1177956310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433202-1177956310/instance-433202-1177956310.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.95 0.99 0.95 3/77 13572
/proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=15320 CPUtime=0
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 271669499 15687680 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 3830 335 280 324 0 2004 0

[startup+0.0302899 s]
/proc/loadavg: 0.95 0.99 0.95 3/77 13572
/proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=16196 CPUtime=0.02
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 628 0 0 0 2 0 0 0 18 0 1 0 271669499 16584704 598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 4049 598 322 324 0 2223 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16196

[startup+0.101297 s]
/proc/loadavg: 0.95 0.99 0.95 3/77 13572
/proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=9808 CPUtime=0.09
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 1107 0 0 0 9 0 0 0 18 0 1 0 271669499 10043392 1037 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 2452 1037 434 324 0 626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9808

[startup+0.301316 s]
/proc/loadavg: 0.95 0.99 0.95 3/77 13572
/proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=11308 CPUtime=0.29
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 1786 0 0 0 29 0 0 0 19 0 1 0 271669499 11579392 1716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 2827 1716 737 324 0 1001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11308

[startup+0.701352 s]
/proc/loadavg: 0.95 0.99 0.95 3/77 13572
/proc/meminfo: memFree=1839040/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=17832 CPUtime=0.69
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 4734 0 0 0 68 1 0 0 22 0 1 0 271669499 18259968 3644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 4458 3644 304 324 0 3528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17832

[startup+1.50143 s]
/proc/loadavg: 0.95 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1824056/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=23416 CPUtime=1.49
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 6550 0 0 0 144 5 0 0 25 0 1 0 271669499 23977984 5050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 5854 5050 306 324 0 4924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23416

[startup+3.10157 s]
/proc/loadavg: 0.95 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1819896/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=23424 CPUtime=3.1
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 6579 0 0 0 304 6 0 0 25 0 1 0 271669499 23986176 5079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 5856 5079 310 324 0 4926 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 23424

[startup+6.30186 s]
/proc/loadavg: 0.95 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1813688/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=32908 CPUtime=6.29
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 8936 0 0 0 622 7 0 0 25 0 1 0 271669499 33697792 7436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 8227 7436 310 324 0 7297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32908

[startup+12.7014 s]
/proc/loadavg: 0.96 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1789112/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=56644 CPUtime=12.69
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 14872 0 0 0 1260 9 0 0 25 0 1 0 271669499 58003456 13372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 14161 13372 310 324 0 13231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56644

[startup+25.5016 s]
/proc/loadavg: 0.96 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1748088/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=95576 CPUtime=25.49
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 24628 0 0 0 2534 15 0 0 25 0 1 0 271669499 97869824 23128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 23894 23128 310 324 0 22964 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95576

[startup+51.102 s]
/proc/loadavg: 0.98 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1715256/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=128700 CPUtime=51.08
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 32898 0 0 0 5088 20 0 0 25 0 1 0 271669499 131788800 31398 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 32175 31398 310 324 0 31245 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128700

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1680632/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=162580 CPUtime=102.27
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 41368 0 0 0 10197 30 0 0 25 0 1 0 271669499 166481920 39868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 40645 39868 310 324 0 39715 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 162580

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1629880/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=213576 CPUtime=162.25
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 54112 0 0 0 16183 42 0 0 25 0 1 0 271669499 218701824 52612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 53394 52612 310 324 0 52464 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 213576

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1599672/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=243416 CPUtime=222.23
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 61568 0 0 0 22173 50 0 0 25 0 1 0 271669499 249257984 60068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134548044 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 60854 60068 310 324 0 59924 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 243416

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1538552/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=305228 CPUtime=282.23
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 77014 0 0 0 28164 59 0 0 25 0 1 0 271669499 312553472 75514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 76307 75514 310 324 0 75377 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 305228

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1454776/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=388156 CPUtime=342.21
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 97762 0 0 0 34147 74 0 0 25 0 1 0 271669499 397471744 96262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 97039 96262 310 324 0 96109 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 388156

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1403832/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=439668 CPUtime=402.2
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 110629 0 0 0 40136 84 0 0 25 0 1 0 271669499 450220032 109129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 109917 109129 310 324 0 108987 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 439668

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1362360/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=480212 CPUtime=462.18
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 120772 0 0 0 46127 91 0 0 25 0 1 0 271669499 491737088 119272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 120053 119272 310 324 0 119123 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 480212

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1311672/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=531932 CPUtime=522.16
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 133708 0 0 0 52116 100 0 0 25 0 1 0 271669499 544698368 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 132983 132208 310 324 0 132053 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 531932

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1277368/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=564940 CPUtime=582.15
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 141955 0 0 0 58107 108 0 0 25 0 1 0 271669499 578498560 140455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2969146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 141235 140455 310 324 0 140305 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 564940

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1256504/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=585584 CPUtime=642.14
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 147128 0 0 0 64099 115 0 0 25 0 1 0 271669499 599638016 145628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 146396 145629 310 324 0 145466 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 585584


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1191736/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=650132 CPUtime=882.08
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 163248 0 0 0 88075 133 0 0 25 0 1 0 271669499 665735168 161748 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 162533 161748 310 324 0 161603 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 650132

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1180472/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=661344 CPUtime=942.06
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 166061 0 0 0 94069 137 0 0 25 0 1 0 271669499 677216256 164561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 165336 164561 310 324 0 164406 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 661344

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1171384/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=670360 CPUtime=1002.04
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 168314 0 0 0 100065 139 0 0 25 0 1 0 271669499 686448640 166814 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 167590 166814 310 324 0 166660 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 670360

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1119736/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=722560 CPUtime=1062.03
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 181349 0 0 0 106054 149 0 0 25 0 1 0 271669499 739901440 179849 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 180640 179849 310 324 0 179710 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 722560

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1072312/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=769304 CPUtime=1122.01
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 193054 0 0 0 112041 160 0 0 25 0 1 0 271669499 787767296 191554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 192326 191554 310 324 0 191396 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 769304

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=1046584/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=795052 CPUtime=1182
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 199487 0 0 0 118031 169 0 0 25 0 1 0 271669499 814133248 197987 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 198763 197987 310 324 0 197833 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 795052

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=988664/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=852784 CPUtime=1241.99
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 213916 0 0 0 124019 180 0 0 25 0 1 0 271669499 873250816 212416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 213196 212416 310 324 0 212266 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 852784

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=965240/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=875832 CPUtime=1301.98
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 219686 0 0 0 130011 187 0 0 25 0 1 0 271669499 896851968 218186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 218958 218186 310 324 0 218028 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 875832

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.95 3/78 13573
/proc/meminfo: memFree=947000/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=894164 CPUtime=1361.97
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 224269 0 0 0 136004 193 0 0 25 0 1 0 271669499 915623936 222769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 223541 222769 310 324 0 222611 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 894164

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.95 2/78 13573
/proc/meminfo: memFree=906104/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=934808 CPUtime=1421.95
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 234434 0 0 0 141994 201 0 0 25 0 1 0 271669499 957243392 232934 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 233702 232934 310 324 0 232772 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 934808

[startup+1482.3 s]
/proc/loadavg: 1.07 1.01 0.96 2/78 13573
/proc/meminfo: memFree=857848/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=983468 CPUtime=1481.93
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 246592 0 0 0 147981 212 0 0 25 0 1 0 271669499 1007071232 245092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 245867 245092 310 324 0 244937 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 983468

[startup+1542.3 s]
/proc/loadavg: 1.08 1.02 0.96 2/78 13573
/proc/meminfo: memFree=823800/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=1017004 CPUtime=1541.91
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 254961 0 0 0 153971 220 0 0 25 0 1 0 271669499 1041412096 253461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 254251 253461 310 324 0 253321 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1017004

[startup+1602.3 s]
/proc/loadavg: 1.08 1.03 0.97 2/78 13573
/proc/meminfo: memFree=795576/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=1045388 CPUtime=1601.9
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 262077 0 0 0 159963 227 0 0 25 0 1 0 271669499 1070477312 260577 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 261347 260577 310 324 0 260417 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1045388

[startup+1662.3 s]
/proc/loadavg: 1.03 1.02 0.97 2/78 13573
/proc/meminfo: memFree=774584/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=1066008 CPUtime=1661.89
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 267238 0 0 0 165957 232 0 0 25 0 1 0 271669499 1091592192 265738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 266502 265738 310 324 0 265572 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1066008

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 0.97 2/78 13575
/proc/meminfo: memFree=754168/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=1086620 CPUtime=1721.87
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 272377 0 0 0 171950 237 0 0 25 0 1 0 271669499 1112698880 270877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 271655 270877 310 324 0 270725 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1086620

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/78 13575
/proc/meminfo: memFree=736632/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=1103744 CPUtime=1781.86
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 276665 0 0 0 177944 242 0 0 25 0 1 0 271669499 1130233856 275165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 275936 275165 310 324 0 275006 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1103744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.97 2/78 13575
/proc/meminfo: memFree=731704/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=1108640 CPUtime=1800.05
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194304 277870 0 0 0 179762 243 0 0 25 0 1 0 271669499 1135247360 276370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 277160 276370 310 324 0 276230 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1108640

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 0.97 2/79 13576
/proc/meminfo: memFree=1371148/2055920 swapFree=4157096/4192956
[pid=13572] ppid=13570 vsize=0 CPUtime=1800.16
/proc/13572/stat : 13572 (bsolo3.0.17) R 13570 13572 13258 0 -1 4194308 277874 0 0 0 179762 254 0 0 25 0 1 0 271669499 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/13572/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.7
CPU time (s): 1800.24
CPU user time (s): 1797.63
CPU system time (s): 2.6086
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1108640

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

runsolver used 1.41478 second user time and 3.88241 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Mon Apr 30 18:05:11 UTC 2007

IDJOB= 433202
IDBENCH= 2355
IDSOLVER= 199
FILE ID= node72/433202-1177956310

PBS_JOBID= 4727692

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  4f88b3d47f6404caca0c9a65b4bd3b5a

RANDOM SEED= 221715770

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1839640 kB
Buffers:         15816 kB
Cached:         130492 kB
SwapCached:      16688 kB
Active:          44892 kB
Inactive:       124044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1839640 kB
SwapTotal:     4192956 kB
SwapFree:      4157096 kB
Dirty:           10176 kB
Writeback:           0 kB
Mapped:          29596 kB
Slab:            32884 kB
Committed_AS:  3429676 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= 66555 MiB

End job on node72 on Mon Apr 30 18:35:13 UTC 2007