Trace number 2670493

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2 Card? 1798.01 1798.5

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
MD5SUM651e385f00e2858954d8683e891a1dbe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark10.2704
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670493-1276702263.opb
0.00/0.00	c File size is 43526 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.007 s
0.00/0.00	c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.00	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.01	c Pre-processing Time: 0.015 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    792     1180     4960    4     4260    6656      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1797.91/1798.49	c      100    792     1374    12681    9     4715    7322    194   2857 0.04
1797.91/1798.49	c      251    792     1599    31788   19     5107    8055    419   1200 0.21
1797.91/1798.49	c      478    792     1988    72618   36     6201    8861    808   1103 0.43
1797.91/1798.49	c      816    792     2627   106773   40     7770    9748   1447   1545 0.53
1797.91/1798.49	c     1325    792     3602   159449   44    10234   10723   2422   1909 0.69
1797.91/1798.49	c     2090    792     5085   236610   46    14126   11796   3905   2017 1.04
1797.91/1798.49	c     3237    792     7302   349331   47    19519   12976   6122   1843 1.76
1797.91/1798.49	c     4960    792    10574   546998   51    27604   14274   9394   1776 2.79
1797.91/1798.49	c     7544    792     8318   430212   51    21394   15702   7138   1186 6.36
1797.91/1798.49	c    11423    792    15757   847929   53    40425   17273  14577   1280 8.92
1797.91/1798.49	c    17246    792    17904   935771   52    45653   19001  16724   1193 14.45
1797.91/1798.49	c    25984    792    14512   790361   54    34256   20902  13332   1077 24.12
1797.91/1798.49	c    39094    792    17702   937983   52    44585   22993  16522    919 42.53
1797.91/1798.49	c    58764    792    19197  1383585   72    46585   25293  18017    776 75.64
1797.91/1798.49	c    88274    792    22451  1236939   55    55403   27823  21271    625 141.08
1797.91/1798.49	c   132545    792    19300  1094308   56    45725   30606  18120    691 191.66
1797.91/1798.49	c   198955    792    18219  1046830   57    46168   33667  17039    566 351.11
1797.91/1798.49	c   298575    792    18361  1001484   54    45656   37034  17181    468 636.73
1797.91/1798.49	c   448010    792    32072  2113479   65    70681   40738  30892    452 990.71
1797.91/1798.49	c   672168    791    41296  2246452   54   103688   44812  40116    410 1637.99
1797.91/1798.49	c Resources Exceeded
1797.91/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.49	c   20   710623  12118   751039    33561  1756914  32381    395 1798.01
1797.91/1798.49	s UNKNOWN
1797.91/1798.49	c Total time: 1798.01 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670493-1276702263/watcher-2670493-1276702263 -o /tmp/evaluation-result-2670493-1276702263/solver-2670493-1276702263 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670493-1276702263.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 0.99 0.93 3/106 17926
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=10836 CPUtime=0
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 335 0 0 0 0 0 0 0 18 0 1 0 11519075 11096064 254 1992294400 134512640 137138936 4290249248 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 2709 255 175 642 0 2054 0

[startup+0.011403 s]
/proc/loadavg: 0.97 0.99 0.93 3/106 17926
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=11056 CPUtime=0
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 403 0 0 0 0 0 0 0 18 0 1 0 11519075 11321344 311 1992294400 134512640 137138936 4290249248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 2764 311 184 642 0 2120 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11056

[startup+0.100412 s]
/proc/loadavg: 0.97 0.99 0.93 3/106 17926
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=11180 CPUtime=0.09
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 457 0 0 0 9 0 0 0 20 0 1 0 11519075 11448320 365 1992294400 134512640 137138936 4290249248 18446744073709551615 136297639 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 2795 365 192 642 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11180

[startup+0.300433 s]
/proc/loadavg: 0.97 0.99 0.93 3/106 17926
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=11696 CPUtime=0.29
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 565 0 0 0 29 0 0 0 20 0 1 0 11519075 11976704 473 1992294400 134512640 137138936 4290249248 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 2924 473 192 642 0 2280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11696

[startup+0.700477 s]
/proc/loadavg: 0.97 0.99 0.93 3/106 17926
/proc/meminfo: memFree=1820516/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=13360 CPUtime=0.69
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 987 0 0 0 69 0 0 0 21 0 1 0 11519075 13680640 895 1992294400 134512640 137138936 4290249248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 3340 895 192 642 0 2696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13360

[startup+1.50056 s]
/proc/loadavg: 0.97 0.99 0.93 2/107 17927
/proc/meminfo: memFree=1816788/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=15668 CPUtime=1.49
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 1577 0 0 0 148 1 0 0 23 0 1 0 11519075 16044032 1485 1992294400 134512640 137138936 4290249248 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 3917 1485 192 642 0 3273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15668

[startup+3.10074 s]
/proc/loadavg: 0.97 0.99 0.93 2/107 17927
/proc/meminfo: memFree=1813936/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=19772 CPUtime=3.09
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 2589 0 0 0 307 2 0 0 25 0 1 0 11519075 20246528 2497 1992294400 134512640 137138936 4290249248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 4943 2497 192 642 0 4299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19772

[startup+6.30108 s]
/proc/loadavg: 0.97 0.99 0.93 2/107 17927
/proc/meminfo: memFree=1808232/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=23468 CPUtime=6.29
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 3524 0 0 0 625 4 0 0 25 0 1 0 11519075 24031232 3432 1992294400 134512640 137138936 4290249248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 5867 3432 192 642 0 5223 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23468

[startup+12.7008 s]
/proc/loadavg: 0.97 0.99 0.93 2/107 17927
/proc/meminfo: memFree=1804404/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=26284 CPUtime=12.68
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 4227 0 0 0 1262 6 0 0 25 0 1 0 11519075 26914816 4135 1992294400 134512640 137138936 4290249248 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 6571 4135 192 642 0 5927 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26284

[startup+25.5002 s]
/proc/loadavg: 0.98 0.99 0.93 2/107 17927
/proc/meminfo: memFree=1803040/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=27664 CPUtime=25.48
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 4570 0 0 0 2539 9 0 0 25 0 1 0 11519075 28327936 4478 1992294400 134512640 137138936 4290249248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 6916 4478 192 642 0 6272 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27664

[startup+51.1009 s]
/proc/loadavg: 0.98 0.99 0.93 2/107 17929
/proc/meminfo: memFree=1800064/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=30720 CPUtime=51.07
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 5348 0 0 0 5093 14 0 0 25 0 1 0 11519075 31457280 5256 1992294400 134512640 137138936 4290249248 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 7680 5256 192 642 0 7036 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30720

[startup+102.309 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17932
/proc/meminfo: memFree=1792004/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=38296 CPUtime=102.28
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 7235 0 0 0 10202 26 0 0 25 0 1 0 11519075 39215104 7143 1992294400 134512640 137138936 4290249248 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 9574 7143 192 642 0 8930 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 38296

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17934
/proc/meminfo: memFree=1792004/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=38300 CPUtime=162.25
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 7238 0 0 0 16190 35 0 0 25 0 1 0 11519075 39219200 7146 1992294400 134512640 137138936 4290249248 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 9575 7146 192 642 0 8931 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38300

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17936
/proc/meminfo: memFree=1791756/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=38632 CPUtime=222.23
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 7325 0 0 0 22176 47 0 0 25 0 1 0 11519075 39559168 7233 1992294400 134512640 137138936 4290249248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 9658 7233 192 642 0 9014 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 38632

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17938
/proc/meminfo: memFree=1790392/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=39964 CPUtime=282.22
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 7657 0 0 0 28164 58 0 0 25 0 1 0 11519075 40923136 7565 1992294400 134512640 137138936 4290249248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 9991 7565 192 642 0 9347 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 39964

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17940
/proc/meminfo: memFree=1790392/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=39984 CPUtime=342.2
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 7662 0 0 0 34153 67 0 0 25 0 1 0 11519075 40943616 7570 1992294400 134512640 137138936 4290249248 18446744073709551615 134542181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 9996 7570 192 642 0 9352 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 39984

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17940
/proc/meminfo: memFree=1788532/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=41912 CPUtime=402.18
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 8148 0 0 0 40141 77 0 0 25 0 1 0 11519075 42917888 8022 1992294400 134512640 137138936 4290249248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 10478 8022 192 642 0 9834 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 41912

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17942
/proc/meminfo: memFree=1788532/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=42176 CPUtime=462.17
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 8226 0 0 0 46132 85 0 0 25 0 1 0 11519075 43188224 8100 1992294400 134512640 137138936 4290249248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 10544 8100 192 642 0 9900 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 42176

[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17944
/proc/meminfo: memFree=1784316/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=46244 CPUtime=522.15
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 9237 0 0 0 52121 94 0 0 25 0 1 0 11519075 47353856 9111 1992294400 134512640 137138936 4290249248 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 11561 9111 192 642 0 10917 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 46244

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17946
/proc/meminfo: memFree=1783820/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=46692 CPUtime=582.13
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 9343 0 0 0 58110 103 0 0 25 0 1 0 11519075 47812608 9217 1992294400 134512640 137138936 4290249248 18446744073709551615 134618280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 11673 9217 192 642 0 11029 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 46692

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17948
/proc/meminfo: memFree=1783820/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=46692 CPUtime=642.12
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 9343 0 0 0 64100 112 0 0 25 0 1 0 11519075 47812608 9217 1992294400 134512640 137138936 4290249248 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 11673 9217 192 642 0 11029 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 46692

[startup+702.301 s]

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

/proc/meminfo: memFree=1778984/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51304 CPUtime=1121.99
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10534 0 0 0 112016 183 0 0 25 0 1 0 11519075 52535296 10371 1992294400 134512640 137138936 4290249248 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12826 10371 192 642 0 12182 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 51304

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17962
/proc/meminfo: memFree=1778860/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51304 CPUtime=1181.98
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10534 0 0 0 118005 193 0 0 25 0 1 0 11519075 52535296 10371 1992294400 134512640 137138936 4290249248 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12826 10371 192 642 0 12182 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 51304

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17964
/proc/meminfo: memFree=1778612/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51304 CPUtime=1241.96
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10534 0 0 0 123994 202 0 0 25 0 1 0 11519075 52535296 10371 1992294400 134512640 137138936 4290249248 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12826 10371 192 642 0 12182 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 51304

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17964
/proc/meminfo: memFree=1778364/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51304 CPUtime=1301.95
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10602 0 0 0 129989 206 0 0 25 0 1 0 11519075 52535296 10398 1992294400 134512640 137138936 4290249248 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12826 10398 192 642 0 12182 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 51304

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17966
/proc/meminfo: memFree=1778364/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51572 CPUtime=1361.94
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10641 0 0 0 135980 214 0 0 25 0 1 0 11519075 52809728 10437 1992294400 134512640 137138936 4290249248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12893 10437 192 642 0 12249 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 51572

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.93 2/107 17968
/proc/meminfo: memFree=1778364/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51572 CPUtime=1421.92
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10641 0 0 0 141970 222 0 0 25 0 1 0 11519075 52809728 10437 1992294400 134512640 137138936 4290249248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12893 10437 192 642 0 12249 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 51572

[startup+1482.3 s]
/proc/loadavg: 1.07 1.01 0.93 2/107 17970
/proc/meminfo: memFree=1778364/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51572 CPUtime=1481.9
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10641 0 0 0 147961 229 0 0 25 0 1 0 11519075 52809728 10437 1992294400 134512640 137138936 4290249248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12893 10437 192 642 0 12249 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 51572

[startup+1542.3 s]
/proc/loadavg: 1.06 1.02 0.94 2/107 17972
/proc/meminfo: memFree=1778364/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51572 CPUtime=1541.88
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10641 0 0 0 153950 238 0 0 25 0 1 0 11519075 52809728 10437 1992294400 134512640 137138936 4290249248 18446744073709551615 136504071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12893 10437 192 642 0 12249 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 51572

[startup+1602.3 s]
/proc/loadavg: 1.09 1.03 0.94 2/107 17972
/proc/meminfo: memFree=1778240/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51360 CPUtime=1601.87
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10641 0 0 0 159941 246 0 0 25 0 1 0 11519075 52592640 10416 1992294400 134512640 137138936 4290249248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12840 10416 192 642 0 12196 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 51360

[startup+1662.3 s]
/proc/loadavg: 1.09 1.04 0.95 2/107 17974
/proc/meminfo: memFree=1778240/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51376 CPUtime=1661.85
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10690 0 0 0 165932 253 0 0 25 0 1 0 11519075 52609024 10420 1992294400 134512640 137138936 4290249248 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12844 10420 192 642 0 12200 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 51376

[startup+1722.3 s]
/proc/loadavg: 1.12 1.06 0.96 2/107 17976
/proc/meminfo: memFree=1778240/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1721.84
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 171923 261 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 51548

[startup+1782.3 s]
/proc/loadavg: 1.10 1.06 0.96 2/107 17978
/proc/meminfo: memFree=1777992/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1781.82
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 177916 266 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 51548

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

[startup+1791.91 s]
/proc/loadavg: 1.08 1.06 0.96 2/107 17978
/proc/meminfo: memFree=1777992/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1791.43
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 178875 268 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 51548

[startup+1795.1 s]
/proc/loadavg: 1.07 1.06 0.96 2/107 17978
/proc/meminfo: memFree=1777992/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1794.63
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 179195 268 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 51548

[startup+1796.7 s]
/proc/loadavg: 1.07 1.06 0.96 2/107 17978
/proc/meminfo: memFree=1777992/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1796.22
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 179354 268 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 51548

[startup+1797.5 s]
/proc/loadavg: 1.07 1.06 0.96 2/107 17978
/proc/meminfo: memFree=1777992/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1797
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 179432 268 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 51548

[startup+1797.9 s]
/proc/loadavg: 1.07 1.06 0.96 2/107 17978
/proc/meminfo: memFree=1777992/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1797.4
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 179472 268 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 51548

[startup+1798.3 s]
/proc/loadavg: 1.07 1.06 0.96 2/107 17978
/proc/meminfo: memFree=1777992/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1797.81
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 179512 269 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 51548

[startup+1798.4 s]
/proc/loadavg: 1.07 1.06 0.96 2/107 17987
/proc/meminfo: memFree=1777496/2059040 swapFree=4140084/4192956
[pid=17926] ppid=17924 vsize=51548 CPUtime=1797.91
/proc/17926/stat : 17926 (bsolo_pb10) R 17924 17926 17587 0 -1 4202496 10701 0 0 0 179522 269 0 0 25 0 1 0 11519075 52785152 10431 1992294400 134512640 137138936 4290249248 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17926/statm: 12887 10431 192 642 0 12243 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 51548

Child status: 0
Real time (s): 1798.5
CPU time (s): 1798.01
CPU user time (s): 1795.32
CPU system time (s): 2.69659
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 51572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.32
system time used= 2.69659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10701
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= 1
involuntary context switches= 19243

runsolver used 3.10453 second user time and 8.35473 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-16 17:31:03
IDJOB=2670493
IDBENCH=47963
IDSOLVER=1162
FILE ID=node038/2670493-1276702263
PBS_JOBID= 11174104
Free space on /tmp= 62476 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670493-1276702263/watcher-2670493-1276702263 -o /tmp/evaluation-result-2670493-1276702263/solver-2670493-1276702263 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670493-1276702263.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe
RANDOM SEED=1591883945

node038.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
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
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821292 kB
Buffers:         15724 kB
Cached:         131372 kB
SwapCached:       6020 kB
Active:          75024 kB
Inactive:        84744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821292 kB
SwapTotal:     4192956 kB
SwapFree:      4140084 kB
Dirty:            3976 kB
Writeback:           0 kB
AnonPages:       10772 kB
Mapped:          13044 kB
Slab:            56180 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181564 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670493-1276702263.opb

Free space on /tmp at the end= 62472 MiB
End job on node038 at 2010-06-16 18:01:02