Trace number 429400

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.16OPT3 569.165 569.527

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.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/429400-1177984391/instance-429400-1177984391.opb
0.00/0.00	c File size is 4315 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.00	c Switching off LPR mode.
229.23/229.32	c      100    324      596     8794   14     1905    3039    100   7692 0.01
229.23/229.32	c      250    324      746    20006   26     2174    3343    250   9615 0.03
229.23/229.32	c      475    324      971    37204   38     2601    3678    475  10326 0.05
229.23/229.32	c      814    324     1310    62755   47     3299    4046    814  10049 0.08
229.23/229.32	c     1322    324     1818   104235   57     4385    4451   1322   9649 0.14
229.23/229.32	c     2085    324     2581   162292   62     5907    4897   2085   7750 0.27
229.23/229.32	c     3234    324     3730   260053   69     8182    5387   3234   7366 0.44
229.23/229.32	c     4957    324     5453   389656   71    11628    5926   4957   6180 0.80
229.23/229.32	c     7541    324     4982   340794   68    10621    6519   4486   4496 1.68
229.23/229.32	c    11421    324     5530   378893   68    11758    7171   5034   3617 3.16
229.23/229.32	c    17243    324     7469   589936   78    15636    7889   6973   3785 4.55
229.23/229.32	c    25980    324     7719   576952   74    16109    8678   7223   3441 7.55
229.23/229.32	c    39091    324     7363   584236   79    15369    9546   6867   2912 13.42
229.23/229.32	c    58761    324     7519   531888   70    15679   10501   7023   2733 21.50
229.23/229.32	c    88271    324     9650   760830   78    19972   11552   9154   2382 37.04
229.23/229.32	c   132542    324     6830   469102   68    14315   12708   6334   2200 60.23
229.23/229.32	c   198953    324     7409   586840   79    15483   13979   6913   2058 96.63
229.23/229.32	c   298573    324    12486   875852   70    25711   15377  11990   1732 172.38
229.23/229.32	o 205	229.252
235.82/235.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
235.82/235.96	c   372397    324     8465   593963   70    17578    2780   7969   1624 229.25
235.82/235.96	c   372498    313     1988   129139   64     4758    3059   1492   1624 229.34
235.82/235.96	c   372748    313     2238   149052   66     5227    3365   1742   1625 229.37
235.82/235.96	c   373223    313     2713   187222   69     6193    3702   2217   1626 229.43
235.82/235.96	c   374037    313     3527   250885   71     7810    4073   3031   1629 229.59
235.82/235.96	c   375357    313     2716   174114   64     6206    4481   2220   1632 229.88
235.82/235.96	c   377438    313     4797   335265   69    10355    4930   4301   1637 230.46
235.82/235.96	c   380665    313     2963   203411   68     6706    5424   2467   1646 231.19
235.82/235.96	c   385602    313     4896   364095   74    10547    5967   4400   1659 232.42
235.82/235.96	c   393108    313     6258   455219   72    13190    6564   5762   1673 234.89
235.82/235.96	o 67	235.893
253.22/253.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
253.22/253.37	c   396235    313     6009   430989   71    12768    2778   5513   1679 235.89
253.22/253.37	c   396336    313     1988   116052   58     4739    3056   1492   1679 235.94
253.22/253.37	c   396586    313     2238   135541   60     5229    3362   1742   1680 235.98
253.22/253.37	c   397062    313     2714   171601   63     6199    3699   2218   1682 236.05
253.22/253.37	c   397876    313     3528   229511   65     7818    4069   3032   1684 236.24
253.22/253.37	c   399196    313     2614   163847   62     6005    4476   2118   1687 236.51
253.22/253.37	c   401278    313     4696   346106   73    10080    4924   4200   1693 236.95
253.22/253.37	c   404501    313     5281   402630   76    11322    5417   4785   1701 237.75
253.22/253.37	c   409437    313     4521   322150   71     9817    5959   4025   1712 239.15
253.22/253.37	c   416943    313     5760   399861   69    12271    6555   5264   1727 241.35
253.22/253.37	c   428304    302     7023   480968   68    14781    7211   6527   1743 245.71
253.22/253.37	c   445449    302     4792   344552   71    10360    7933   4296   1761 252.88
253.22/253.37	o 17	253.294
254.32/254.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.32/254.45	c   447528    302     6872   492081   71    14498    2776   6376   1766 253.29
254.32/254.45	c   447628    302     1987   105243   52     4685    3054   1491   1766 253.33
254.32/254.45	c   447878    302     2237   124582   55     5186    3360   1741   1767 253.35
254.32/254.45	c   448353    302     2712   160829   59     6121    3697   2216   1769 253.41
254.32/254.45	c   449166    302     3525   221883   62     7740    4067   3029   1771 253.55
254.32/254.45	c   450487    302     2533   162837   64     5803    4474   2037   1775 253.74
254.32/254.45	c   452568    292     4614   324475   70    10004    4922   4118   1780 254.19
254.32/254.45	o 3	254.377
569.13/569.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
569.13/569.52	c   453281    292     5328   374793   70    11397    2774   4832   1781 254.38
569.13/569.52	c   453381    272     1987   107844   54     4749    3052   1491   1782 254.41
569.13/569.52	c   453631    272     2237   126673   56     5223    3358   1741   1782 254.45
569.13/569.52	c   454107    272     2713   160924   59     6153    3694   2217   1784 254.53
569.13/569.52	c   454921    272     3527   225704   63     7819    4064   3031   1786 254.66
569.13/569.52	c   456241    262     2586   163579   63     5914    4471   2090   1789 254.90
569.13/569.52	c   458322    262     4667   312497   66    10071    4919   4171   1794 255.44
569.13/569.52	c   461545    262     5296   348310   65    11331    5411   4800   1799 256.46
569.13/569.52	c   466482    262     4563   290685   63     9866    5953   4067   1807 258.14
569.13/569.52	c   473989    262     5867   393430   67    12473    6549   5371   1819 260.52
569.13/569.52	c   485350    262     7021   484843   69    14772    7204   6525   1836 264.32
569.13/569.52	c   502494    262     5472   378238   69    11612    7925   4976   1858 270.41
569.13/569.52	c   528314    262     6703   465162   69    14108    8718   6207   1887 279.92
569.13/569.52	c   567147    252     9185   705735   76    19059    9590   8689   1904 297.72
569.13/569.52	c   625499    235     7083   487370   68    14889   10550   6587   1917 326.23
569.13/569.52	c   713132    235     6697   497209   74    14100   11606   6201   1913 372.74
569.13/569.52	c   844684    234     6977   509192   72    14668   12767   6481   1835 460.15
569.13/569.52	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
569.13/569.52	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
569.13/569.52	v -x50 -x51 -x52 x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81
569.13/569.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
569.13/569.52	c   64   999647   4683  1015210    10815   631235  10319   1756 569.16
569.13/569.52	c Objective: 3
569.13/569.52	s OPTIMUM FOUND
569.13/569.52	c Total time: 569.159 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/node41/watcher-429400-1177984391 -o ROOT/results/node41/solver-429400-1177984391 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429400-1177984391/instance-429400-1177984391.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.88 0.95 0.92 3/77 26082
/proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=3932 CPUtime=0
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 246351012 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 983 347 291 324 0 50 0

[startup+0.0494839 s]
/proc/loadavg: 0.88 0.95 0.92 3/77 26082
/proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=4572 CPUtime=0.04
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 554 0 0 0 4 0 0 0 18 0 1 0 246351012 4681728 521 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 1143 521 312 324 0 212 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4572

[startup+0.102488 s]
/proc/loadavg: 0.88 0.95 0.92 3/77 26082
/proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=5088 CPUtime=0.09
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 246351012 5210112 646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 1272 647 312 324 0 341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5088

[startup+0.302505 s]
/proc/loadavg: 0.88 0.95 0.92 3/77 26082
/proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=6636 CPUtime=0.29
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 1085 0 0 0 29 0 0 0 19 0 1 0 246351012 6795264 1052 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 1659 1052 312 324 0 728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6636

[startup+0.701545 s]
/proc/loadavg: 0.88 0.95 0.92 3/77 26082
/proc/meminfo: memFree=1785000/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=9096 CPUtime=0.69
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 1682 0 0 0 68 1 0 0 22 0 1 0 246351012 9314304 1649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 2274 1649 312 324 0 1343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9096

[startup+1.50161 s]
/proc/loadavg: 0.89 0.95 0.92 2/78 26083
/proc/meminfo: memFree=1778528/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=10784 CPUtime=1.49
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 2097 0 0 0 148 1 0 0 25 0 1 0 246351012 11042816 2064 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 2696 2064 312 324 0 1765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10784

[startup+3.10175 s]
/proc/loadavg: 0.89 0.95 0.92 2/78 26083
/proc/meminfo: memFree=1777824/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=11168 CPUtime=3.09
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 2205 0 0 0 307 2 0 0 25 0 1 0 246351012 11436032 2172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 2792 2172 312 324 0 1861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11168

[startup+6.30102 s]
/proc/loadavg: 0.89 0.95 0.92 2/78 26083
/proc/meminfo: memFree=1774688/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=13748 CPUtime=6.29
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 2850 0 0 0 625 4 0 0 25 0 1 0 246351012 14077952 2817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 3437 2817 312 324 0 2506 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13748

[startup+12.7016 s]
/proc/loadavg: 0.90 0.95 0.92 2/78 26083
/proc/meminfo: memFree=1774264/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=14764 CPUtime=12.68
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 3095 0 0 0 1263 5 0 0 25 0 1 0 246351012 15118336 3062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 3691 3062 312 324 0 2760 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14764

[startup+25.5017 s]
/proc/loadavg: 0.92 0.95 0.92 2/78 26083
/proc/meminfo: memFree=1773056/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=15504 CPUtime=25.48
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 3282 0 0 0 2540 8 0 0 25 0 1 0 246351012 15876096 3249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 3876 3249 312 324 0 2945 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15504

[startup+51.1019 s]
/proc/loadavg: 0.94 0.96 0.92 2/78 26083
/proc/meminfo: memFree=1770624/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=18016 CPUtime=51.07
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 3918 0 0 0 5093 14 0 0 25 0 1 0 246351012 18448384 3885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 4504 3885 312 324 0 3573 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18016

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.92 2/78 26083
/proc/meminfo: memFree=1767936/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20728 CPUtime=102.26
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4597 0 0 0 10205 21 0 0 25 0 1 0 246351012 21225472 4564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5182 4564 312 324 0 4251 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20728

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 26083
/proc/meminfo: memFree=1767936/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20728 CPUtime=162.25
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4597 0 0 0 16195 30 0 0 25 0 1 0 246351012 21225472 4564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2395912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5182 4564 312 324 0 4251 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20728

[startup+222.302 s]
/proc/loadavg: 1.05 0.99 0.93 2/78 26083
/proc/meminfo: memFree=1767744/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=222.23
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4637 0 0 0 22185 38 0 0 25 0 1 0 246351012 21340160 4604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4604 312 324 0 4279 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20840

[startup+282.302 s]
/proc/loadavg: 1.02 0.99 0.93 2/78 26083
/proc/meminfo: memFree=1767680/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=282.21
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 28169 52 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 20840

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 26083
/proc/meminfo: memFree=1767616/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=342.2
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 34158 62 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20840

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 26083
/proc/meminfo: memFree=1767552/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=402.18
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 40146 72 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 20840

[startup+462.303 s]
/proc/loadavg: 1.00 0.99 0.93 2/78 26083
/proc/meminfo: memFree=1767552/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=462.16
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 46137 79 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 20840

[startup+522.303 s]
/proc/loadavg: 1.00 0.99 0.93 2/84 26261
/proc/meminfo: memFree=1766216/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=522.06
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 52116 90 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 20840

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

[startup+537.501 s]
/proc/loadavg: 1.45 1.09 0.96 3/84 26729
/proc/meminfo: memFree=1738792/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=537.14
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 53621 93 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2392150 0 0 4096 16384 0 0 0 17 0 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 537.14
Current children cumulated vsize (KiB) 20840

[startup+550.301 s]
/proc/loadavg: 1.38 1.08 0.96 2/78 26770
/proc/meminfo: memFree=1740008/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=549.94
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 54899 95 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 549.94
Current children cumulated vsize (KiB) 20840

[startup+563.101 s]
/proc/loadavg: 1.29 1.08 0.96 2/78 26770
/proc/meminfo: memFree=1740096/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=562.74
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56177 97 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 562.74
Current children cumulated vsize (KiB) 20840

[startup+566.302 s]
/proc/loadavg: 1.29 1.08 0.96 2/78 26770
/proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=565.93
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56496 97 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 565.93
Current children cumulated vsize (KiB) 20840

[startup+567.902 s]
/proc/loadavg: 1.27 1.08 0.96 2/78 26770
/proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=567.53
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56655 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 567.53
Current children cumulated vsize (KiB) 20840

[startup+568.706 s]
/proc/loadavg: 1.27 1.08 0.96 2/78 26770
/proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=568.34
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56736 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 568.34
Current children cumulated vsize (KiB) 20840

[startup+569.102 s]
/proc/loadavg: 1.27 1.08 0.96 2/78 26770
/proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=568.73
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56775 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 568.73
Current children cumulated vsize (KiB) 20840

[startup+569.502 s]
/proc/loadavg: 1.27 1.08 0.96 2/78 26770
/proc/meminfo: memFree=1740160/2055920 swapFree=4169244/4192956
[pid=26082] ppid=26080 vsize=20840 CPUtime=569.13
/proc/26082/stat : 26082 (bsolo3.0.16) R 26080 26082 24944 0 -1 4194304 4638 0 0 0 56815 98 0 0 25 0 1 0 246351012 21340160 4605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26082/statm: 5210 4605 313 324 0 4279 0
Current children cumulated CPU time (s) 569.13
Current children cumulated vsize (KiB) 20840

Child status: 0
Real time (s): 569.527
CPU time (s): 569.165
CPU user time (s): 568.179
CPU system time (s): 0.986849
CPU usage (%): 99.9365
Max. virtual memory (cumulated for all children) (KiB): 20900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 568.179
system time used= 0.986849
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= 10
involuntary context switches= 2097

runsolver used 0.435933 second user time and 1.2918 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue May  1 01:53:11 UTC 2007

IDJOB= 429400
IDBENCH= 47906
IDSOLVER= 163
FILE ID= node41/429400-1177984391

PBS_JOBID= 4728011

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/429400-1177984391/instance-429400-1177984391.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-429400-1177984391 -o ROOT/results/node41/solver-429400-1177984391 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429400-1177984391/instance-429400-1177984391.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  947e947c586d02edcb816b66608818b9

RANDOM SEED= 793036407

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node41.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.232
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.232
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:       1785408 kB
Buffers:         27684 kB
Cached:         154096 kB
SwapCached:       2568 kB
Active:          80768 kB
Inactive:       124428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785408 kB
SwapTotal:     4192956 kB
SwapFree:      4169244 kB
Dirty:            6760 kB
Writeback:           0 kB
Mapped:          30908 kB
Slab:            50592 kB
Committed_AS:  3635724 kB
PageTables:       2012 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 node41 on Tue May  1 02:02:41 UTC 2007