Trace number 452839

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.17OPT3 562.938 563.26

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
MD5SUM947e947c586d02edcb816b66608818b9
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 benchmark0.159974
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 variables81
Total number of constraints7
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 constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/452839-1177984466/instance-452839-1177984466.opb
0.00/0.01	c File size is 4315 bytes.
0.00/0.01	c Highest Coefficient sum: 523264
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.002 s
0.00/0.01	c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.01	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.01	c Pre-processing Time: 0.006 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.01	c Switching off LPR mode.
226.61/226.79	c      100    324      596     8794   14     1905    3039    100   7692 0.01
226.61/226.79	c      250    324      746    20006   26     2174    3343    250  10000 0.03
226.61/226.79	c      475    324      971    37204   38     2601    3678    475  10326 0.05
226.61/226.79	c      814    324     1310    62755   47     3299    4046    814  10175 0.08
226.61/226.79	c     1322    324     1818   104235   57     4385    4451   1322   9792 0.14
226.61/226.79	c     2085    324     2581   162292   62     5907    4897   2085   7838 0.27
226.61/226.79	c     3234    324     3730   260053   69     8182    5387   3234   7468 0.43
226.61/226.79	c     4957    324     5453   389656   71    11628    5926   4957   6298 0.79
226.61/226.79	c     7541    324     4982   340794   68    10621    6519   4486   4609 1.64
226.61/226.79	c    11421    324     5530   378893   68    11758    7171   5034   3704 3.08
226.61/226.79	c    17243    324     7469   589936   78    15636    7889   6973   3864 4.46
226.61/226.79	c    25980    324     7719   576952   74    16109    8678   7223   3504 7.41
226.61/226.79	c    39091    324     7363   584236   79    15369    9546   6867   2956 13.22
226.61/226.79	c    58761    324     7519   531888   70    15679   10501   7023   2778 21.15
226.61/226.79	c    88271    324     9650   760830   78    19972   11552   9154   2413 36.57
226.61/226.79	c   132542    324     6830   469102   68    14315   12708   6334   2231 59.38
226.61/226.79	c   198953    324     7409   586840   79    15483   13979   6913   2085 95.40
226.61/226.79	c   298573    324    12486   875852   70    25711   15377  11990   1752 170.40
226.61/226.79	o 205	226.712
233.21/233.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
233.21/233.34	c   372397    324     8465   593963   70    17578    2780   7969   1642 226.71
233.21/233.34	c   372498    313     1988   129139   64     4758    3059   1492   1642 226.80
233.21/233.34	c   372748    313     2238   149052   66     5227    3365   1742   1643 226.83
233.21/233.34	c   373223    313     2713   187222   69     6193    3702   2217   1644 226.88
233.21/233.34	c   374037    313     3527   250885   71     7810    4073   3031   1647 227.04
233.21/233.34	c   375357    313     2716   174114   64     6206    4481   2220   1651 227.33
233.21/233.34	c   377438    313     4797   335265   69    10355    4930   4301   1656 227.90
233.21/233.34	c   380665    313     2963   203411   68     6706    5424   2467   1665 228.63
233.21/233.34	c   385602    313     4896   364095   74    10547    5967   4400   1677 229.84
233.21/233.34	c   393108    313     6258   455219   72    13190    6564   5762   1692 232.27
233.21/233.34	o 67	233.261
250.40/250.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
250.40/250.52	c   396235    313     6009   430989   71    12768    2778   5513   1698 233.26
250.40/250.52	c   396336    313     1988   116052   58     4739    3056   1492   1698 233.31
250.40/250.52	c   396586    313     2238   135541   60     5229    3362   1742   1699 233.34
250.40/250.52	c   397062    313     2714   171601   63     6199    3699   2218   1701 233.42
250.40/250.52	c   397876    313     3528   229511   65     7818    4069   3032   1703 233.61
250.40/250.52	c   399196    313     2614   163847   62     6005    4476   2118   1706 233.88
250.40/250.52	c   401278    313     4696   346106   73    10080    4924   4200   1712 234.31
250.40/250.52	c   404501    313     5281   402630   76    11322    5417   4785   1720 235.09
250.40/250.52	c   409437    313     4521   322150   71     9817    5959   4025   1731 236.48
250.40/250.52	c   416943    313     5760   399861   69    12271    6555   5264   1747 238.65
250.40/250.52	c   428304    302     7023   480968   68    14781    7211   6527   1762 242.95
250.40/250.52	c   445449    302     4792   344552   71    10360    7933   4296   1781 250.02
250.40/250.52	o 17	250.433
251.40/251.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
251.40/251.60	c   447528    302     6872   492081   71    14498    2776   6376   1787 250.43
251.40/251.60	c   447628    302     1987   105243   52     4685    3054   1491   1787 250.47
251.40/251.60	c   447878    302     2237   124582   55     5186    3360   1741   1787 250.49
251.40/251.60	c   448353    302     2712   160829   59     6121    3697   2216   1789 250.55
251.40/251.60	c   449166    302     3525   221883   62     7740    4067   3029   1791 250.69
251.40/251.60	c   450487    302     2533   162837   64     5803    4474   2037   1795 250.88
251.40/251.60	c   452568    292     4614   324475   70    10004    4922   4118   1800 251.31
251.40/251.60	o 3	251.506
562.87/563.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
562.87/563.25	c   453281    292     5328   374793   70    11397    2774   4832   1802 251.51
562.87/563.25	c   453381    272     1987   107844   54     4749    3052   1491   1802 251.54
562.87/563.25	c   453631    272     2237   126673   56     5223    3358   1741   1803 251.58
562.87/563.25	c   454107    272     2713   160924   59     6153    3694   2217   1804 251.66
562.87/563.25	c   454921    272     3527   225704   63     7819    4064   3031   1806 251.78
562.87/563.25	c   456241    262     2586   163579   63     5914    4471   2090   1810 252.02
562.87/563.25	c   458322    262     4667   312497   66    10071    4919   4171   1814 252.56
562.87/563.25	c   461545    262     5296   348310   65    11331    5411   4800   1820 253.59
562.87/563.25	c   466482    262     4563   290685   63     9866    5953   4067   1827 255.24
562.87/563.25	c   473989    262     5867   393430   67    12473    6549   5371   1839 257.62
562.87/563.25	c   485350    262     7021   484843   69    14772    7204   6525   1856 261.38
562.87/563.25	c   502494    262     5472   378238   69    11612    7925   4976   1879 267.39
562.87/563.25	c   528314    262     6703   465162   69    14108    8718   6207   1908 276.80
562.87/563.25	c   567147    252     9185   705735   76    19059    9590   8689   1926 294.46
562.87/563.25	c   625499    235     7083   487370   68    14889   10550   6587   1938 322.62
562.87/563.25	c   713132    235     6697   497209   74    14100   11606   6201   1934 368.71
562.87/563.25	c   844684    234     6977   509192   72    14668   12767   6481   1855 455.25
562.87/563.25	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 x29 x30
562.87/563.25	v -x31 x32 -x33 x34 -x35 -x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 x47 x48 -x49
562.87/563.25	v -x50 -x51 -x52 x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81
562.87/563.25	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
562.87/563.25	c   64   999647   4683  1015210    10815   631235  10319   1775 562.93
562.87/563.25	c Objective: 3
562.87/563.25	s OPTIMUM FOUND
562.87/563.25	c Total time: 562.933 s

Verifier Data (download as text)

OK	3

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-452839-1177984466 -o ROOT/results/node59/solver-452839-1177984466 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452839-1177984466/instance-452839-1177984466.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: 1.01 1.00 0.96 3/64 1403
/proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=18528 CPUtime=0
/proc/1403/stat : 1403 (runsolver) R 1401 1403 577 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 246356279 18972672 284 18446744073709551615 4194304 4255128 548682068976 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1403/statm: 4632 284 249 14 0 2626 0

[startup+0.031356 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 1403
/proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=4312 CPUtime=0.02
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 487 0 0 0 2 0 0 0 18 0 1 0 246356279 4415488 455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 1078 455 310 324 0 148 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4312

[startup+0.10137 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 1403
/proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=5088 CPUtime=0.09
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 246356279 5210112 636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 1272 636 310 324 0 342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5088

[startup+0.301407 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 1403
/proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=6636 CPUtime=0.29
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 1081 0 0 0 29 0 0 0 19 0 1 0 246356279 6795264 1049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 1659 1049 310 324 0 729 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6636

[startup+0.702484 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 1403
/proc/meminfo: memFree=1766024/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=9096 CPUtime=0.69
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 1691 0 0 0 68 1 0 0 22 0 1 0 246356279 9314304 1659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 2274 1659 310 324 0 1344 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9096

[startup+1.50163 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1759424/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=10784 CPUtime=1.48
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 2094 0 0 0 147 1 0 0 25 0 1 0 246356279 11042816 2062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 2696 2062 310 324 0 1766 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10784

[startup+3.10194 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1758528/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=11168 CPUtime=3.09
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 2202 0 0 0 307 2 0 0 25 0 1 0 246356279 11436032 2170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 2792 2170 310 324 0 1862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11168

[startup+6.30155 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1755584/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=13748 CPUtime=6.28
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 2847 0 0 0 626 2 0 0 25 0 1 0 246356279 14077952 2815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 3437 2815 310 324 0 2507 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13748

[startup+12.7018 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1755008/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=14764 CPUtime=12.68
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 3092 0 0 0 1266 2 0 0 25 0 1 0 246356279 15118336 3060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 3691 3060 310 324 0 2761 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14764

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1753984/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=16156 CPUtime=25.47
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 3441 0 0 0 2545 2 0 0 25 0 1 0 246356279 16543744 3409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 4039 3409 310 324 0 3109 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 16156

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1751424/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=18016 CPUtime=51.07
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 3915 0 0 0 5104 3 0 0 25 0 1 0 246356279 18448384 3883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 4504 3883 310 324 0 3574 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18016

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1748800/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20728 CPUtime=102.26
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4594 0 0 0 10222 4 0 0 25 0 1 0 246356279 21225472 4562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5182 4562 310 324 0 4252 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20728

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1748800/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20728 CPUtime=162.23
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4594 0 0 0 16219 4 0 0 25 0 1 0 246356279 21225472 4562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5182 4562 310 324 0 4252 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 20728

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1748608/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=222.21
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4634 0 0 0 22217 4 0 0 25 0 1 0 246356279 21340160 4602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4602 310 324 0 4280 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 20840

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1748608/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=282.19
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 28215 4 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 20840

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 1404
/proc/meminfo: memFree=1748544/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=342.17
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 34213 4 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 20840

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/71 1476
/proc/meminfo: memFree=1747208/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=402.12
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 40207 5 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 20840

[startup+462.301 s]
/proc/loadavg: 1.07 1.02 0.96 2/65 2105
/proc/meminfo: memFree=1747352/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=462
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 46195 5 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 20840

[startup+522.302 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=521.98
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 52192 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 20840

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

[startup+537.502 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=537.18
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 53712 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 537.18
Current children cumulated vsize (KiB) 20840

[startup+550.302 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=549.97
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 54991 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 549.97
Current children cumulated vsize (KiB) 20840

[startup+556.701 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=556.37
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 55631 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 556.37
Current children cumulated vsize (KiB) 20840

[startup+559.905 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=559.57
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 55951 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 559.57
Current children cumulated vsize (KiB) 20840

[startup+561.501 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=561.17
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56111 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 561.17
Current children cumulated vsize (KiB) 20840

[startup+562.301 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=561.97
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56191 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 561.97
Current children cumulated vsize (KiB) 20840

[startup+562.701 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=562.37
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56231 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 562.37
Current children cumulated vsize (KiB) 20840

[startup+563.101 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=562.77
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56271 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 562.77
Current children cumulated vsize (KiB) 20840

[startup+563.205 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 2105
/proc/meminfo: memFree=1747768/2055920 swapFree=4184616/4192956
[pid=1403] ppid=1401 vsize=20840 CPUtime=562.87
/proc/1403/stat : 1403 (bsolo3.0.17) R 1401 1403 577 0 -1 4194304 4635 0 0 0 56281 6 0 0 25 0 1 0 246356279 21340160 4603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1403/statm: 5210 4603 311 324 0 4280 0
Current children cumulated CPU time (s) 562.87
Current children cumulated vsize (KiB) 20840

Child status: 0
Real time (s): 563.26
CPU time (s): 562.938
CPU user time (s): 562.869
CPU system time (s): 0.068989
CPU usage (%): 99.9429
Max. virtual memory (cumulated for all children) (KiB): 20840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 562.869
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4639
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= 9
involuntary context switches= 803

runsolver used 0.462929 second user time and 1.13583 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue May  1 01:54:27 UTC 2007

IDJOB= 452839
IDBENCH= 47906
IDSOLVER= 199
FILE ID= node59/452839-1177984466

PBS_JOBID= 4728083

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452839-1177984466/instance-452839-1177984466.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-452839-1177984466 -o ROOT/results/node59/solver-452839-1177984466 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452839-1177984466/instance-452839-1177984466.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  947e947c586d02edcb816b66608818b9

RANDOM SEED= 125819939

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:       1766432 kB
Buffers:         23656 kB
Cached:         186752 kB
SwapCached:       2364 kB
Active:          47924 kB
Inactive:       172836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766432 kB
SwapTotal:     4192956 kB
SwapFree:      4184616 kB
Dirty:            6588 kB
Writeback:           0 kB
Mapped:          17148 kB
Slab:            54700 kB
Committed_AS:  3225448 kB
PageTables:       1472 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= 66558 MiB

End job on node59 on Tue May  1 02:03:50 UTC 2007