Trace number 455646

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.17SAT (TO)-11 1800.06 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

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.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455646-1178047183/instance-455646-1178047183.opb
0.00/0.00	c File size is 16429 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.008 s
0.00/0.01	c Var: 1328 Constr: 2608 1278/102/1228 Lit: 8896 Watch. Lit: 7570
0.00/0.01	c Obj. Vars: 50 (3.76506 % of total variables)
0.39/0.42	c Pre-processing Time: 0.424 s
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   1328     2608     8896    3     7570   14540      0      0 0.42
0.39/0.42	c Switching off LPR mode.
0.39/0.43	o -1	0.425
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1328     2609     8946    3     7573   14573      1      0 0.43
0.39/0.43	o -2	0.426
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1328     2610     8996    3     7577   14623      2      0 0.43
0.39/0.43	o -3	0.427
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1328     2611     9046    3     7582   14690      3      0 0.43
0.39/0.43	o -4	0.428
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        2   1328     2614     9232    3     7592   14707      6      4 0.43
0.39/0.44	c      102   1328     2714    15415    5     7792   16178    106    231 0.44
0.39/0.44	o -5	0.443
0.69/0.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.73	c      122   1328     2735    16550    6     7839   14723    127    274 0.44
0.69/0.73	c      222   1328     2835    22341    7     8039   16196    227    486 0.46
0.69/0.73	c      472   1328     3085    37890   12     8539   17816    477    973 0.48
0.69/0.73	c      947   1328     3560    67840   19     9489   19598    952   1776 0.53
0.69/0.73	c     1760   1328     4373   117014   26    11115   21558   1765   2816 0.62
0.69/0.73	o -6	0.73
87.25/87.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.25/87.38	c     2568   1328     5182   168268   32    12739   14740   2574   3512 0.73
87.25/87.38	c     2668   1328     5282   174975   33    12939   16215   2674   3562 0.75
87.25/87.38	c     2918   1328     5532   194064   35    13439   17837   2924   3693 0.79
87.25/87.38	c     3393   1328     6007   234239   38    14389   19621   3399   3900 0.87
87.25/87.38	c     4206   1328     6820   284927   41    16015   21584   4212   4278 0.98
87.25/87.38	c     5526   1328     8140   366149   44    18655   23743   5532   4424 1.25
87.25/87.38	c     7607   1328    10221   502495   49    22817   26118   7613   4599 1.65
87.25/87.38	c    10830   1328    13444   714190   53    29263   28730  10836   4121 2.63
87.25/87.38	c    15766   1328    18380  1040288   56    39135   31604  15772   3227 4.88
87.25/87.38	c    23272   1328    25886  1537718   59    54147   34765  23278   2495 9.33
87.25/87.38	c    34633   1328    37247  2272025   60    76869   38242  34639   1560 22.19
87.25/87.38	c    51777   1328    26199  1578886   60    54758   42067  23591   1280 40.43
87.25/87.38	c    77596   1328    20224  1328316   65    42808   46274  17616   1046 74.13
87.25/87.38	o -7	87.342
139.24/139.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.24/139.34	c    94005   1328    36634  2469917   67    75635   14673  34026   1076 87.34
139.24/139.34	c    94105   1328    10047   522981   52    22455   16141   7439   1045 89.97
139.24/139.34	c    94355   1328    10297   543045   52    22955   17756   7689   1047 90.04
139.24/139.34	c    94830   1328    10772   580327   53    23905   19532   8164   1051 90.19
139.24/139.34	c    95643   1328    11585   637730   55    25531   21486   8977   1057 90.48
139.24/139.34	c    96963   1328    12905   727686   56    28171   23635  10297   1065 90.99
139.24/139.34	c    99044   1328    14986   867140   57    32333   25999  12378   1080 91.68
139.24/139.34	c   102267   1328    18209  1063231   58    38779   28599  15601   1096 93.29
139.24/139.34	c   107203   1328    23145  1389373   60    48651   31459  20537   1112 96.39
139.24/139.34	c   114709   1328    30651  1900817   62    63663   34605  28043   1101 104.09
139.24/139.34	c   126070   1328    17420   991106   56    37201   38066  14812   1075 117.26
139.24/139.34	c   143214   1328    34564  2034991   58    71489   41873  31956   1112 128.68
139.24/139.34	o -8	139.28
986.23/986.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
986.23/986.69	c   151870   1328    43221  2619335   60    88811   14690  40613   1090 139.28
986.23/986.69	c   151970   1328    10055   509050   50    22472   16160   7447   1035 146.79
986.23/986.69	c   152220   1328    10305   523717   50    22972   17777   7697   1036 146.85
986.23/986.69	c   152695   1328    10780   556754   51    23922   19555   8172   1038 146.97
986.23/986.69	c   153508   1328    11593   606080   52    25548   21511   8985   1042 147.21
986.23/986.69	c   154828   1328    12913   683968   52    28188   23663  10305   1048 147.62
986.23/986.69	c   156910   1328    14995   817284   54    32352   26030  12387   1056 148.48
986.23/986.69	c   160133   1328    18218  1025298   56    38798   28634  15610   1065 150.30
986.23/986.69	c   165069   1328    23154  1364992   58    48670   31498  20546   1076 153.41
986.23/986.69	c   172575   1328    30660  1899947   61    63682   34648  28052   1073 160.69
986.23/986.69	c   183936   1328    17398  1043779   59    37158   38113  14790   1048 175.39
986.23/986.69	c   201080   1328    34542  2232314   64    71446   41925  31934   1043 192.70
986.23/986.69	c   226899   1328    28635  1852548   64    59632   46118  26027   1005 225.55
986.23/986.69	c   265732   1328    31650  1945353   61    65662   50730  29042    954 278.47
986.23/986.69	c   324085   1328    49775  3239564   65   101912   55804  47167    905 357.74
986.23/986.69	c   411717   1328    46721  3281260   70    95804   61385  44113    831 495.08
986.23/986.69	c   543269   1328    26005  1686924   64    54372   67524  23397    726 747.65
986.23/986.69	o -9	986.33
1323.50/1324.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1323.50/1324.10	c   662029   1328    30996  2097755   67    64363   14707  28388    671 986.33
1323.50/1324.10	c   662129   1328    10064   499646   49    22491   16178   7456    669 988.46
1323.50/1324.10	c   662379   1328    10314   514047   49    22991   17796   7706    670 988.57
1323.50/1324.10	c   662854   1328    10789   539741   50    23941   19576   8181    670 988.76
1323.50/1324.10	c   663667   1328    11602   584364   50    25567   21534   8994    670 989.09
1323.50/1324.10	c   664987   1328    12922   662642   51    28207   23688  10314    671 989.70
1323.50/1324.10	c   667068   1328    15003   791774   52    32369   26057  12395    673 990.60
1323.50/1324.10	c   670291   1328    18226   992802   54    38815   28663  15618    675 992.52
1323.50/1324.10	c   675228   1328    23163  1308491   56    48689   31530  20555    678 995.43
1323.50/1324.10	c   682734   1328    30669  1805513   58    63701   34684  28061    682 1000.37
1323.50/1324.10	c   694095   1328    17432   923918   53    37227   38153  14824    683 1016.14
1323.50/1324.10	c   711239   1328    34576  2105708   60    71515   41969  31968    689 1032.01
1323.60/1324.10	c   737058   1328    28720  1675016   58    59803   46166  26112    693 1062.79
1323.60/1324.10	c   775890   1328    31613  1944240   61    65589   50783  29005    702 1105.10
1323.60/1324.10	c   834242   1328    49541  3202057   64   101445   55862  46933    711 1173.03
1323.60/1324.10	c   921874   1328    46407  3369509   72    95177   61449  43799    697 1322.50
1323.60/1324.10	o -10	1323.61
1342.79/1343.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1342.79/1343.34	c   922607   1328    47141  3404483   72    96655   14723  44533    697 1323.61
1342.79/1343.34	c   922707   1328    10072   599385   59    22508   16196   7464    691 1334.53
1342.79/1343.34	c   922957   1328    10322   614346   59    23008   17816   7714    691 1334.61
1342.79/1343.34	c   923432   1328    10797   642557   59    23958   19598   8189    691 1334.68
1342.79/1343.34	c   924245   1328    11610   684888   58    25584   21558   9002    692 1334.77
1342.79/1343.34	c   925565   1328    12930   754778   58    28224   23714  10322    693 1334.99
1342.79/1343.34	c   927646   1328    15011   861062   57    32386   26086  12403    694 1335.41
1342.79/1343.34	c   930869   1328    18234  1030016   56    38832   28695  15626    696 1336.26
1342.79/1343.34	c   935805   1328    23170  1307499   56    48704   31565  20562    699 1338.60
1342.79/1343.34	o -11	1342.84
1800.04/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.71	c   942870   1328    30236  1730435   57    62847   14740  27628    702 1342.84
1800.04/1800.71	c   942970   1328    10080   454796   45    22525   16215   7472    701 1344.19
1800.04/1800.71	c   943220   1328    10330   470815   45    23025   17837   7722    701 1344.27
1800.04/1800.71	c   943695   1328    10805   497762   46    23975   19621   8197    701 1344.38
1800.04/1800.71	c   944508   1328    11618   543952   46    25601   21584   9010    702 1344.59
1800.04/1800.71	c   945828   1328    12938   616958   47    28241   23743  10330    703 1344.92
1800.04/1800.71	c   947909   1328    15019   737141   49    32403   26118  12411    704 1345.66
1800.04/1800.71	c   951132   1328    18242   919573   50    38849   28730  15634    706 1346.97
1800.04/1800.71	c   956068   1328    23178  1190435   51    48721   31604  20570    708 1348.68
1800.04/1800.71	c   963575   1328    30685  1621980   52    63735   34765  28077    711 1353.81
1800.04/1800.71	c   974936   1328    17329   853510   49    37023   38242  14721    713 1366.37
1800.04/1800.71	c   992080   1328    34473  1918593   55    71311   42067  31865    718 1381.46
1800.04/1800.71	c  1017899   1328    28538  1584817   55    59441   46274  25930    719 1414.89
1800.04/1800.71	c  1056731   1328    31449  1875161   59    65263   50902  28841    724 1458.04
1800.04/1800.71	c  1115083   1328    49331  3130921   63   101027   55993  46723    721 1545.95
1800.04/1800.71	c  1202715   1328    46126  2715787   58    94617   61593  43518    719 1671.64
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	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
1800.04/1800.71	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x52 -x84 -x75 -x77 x64 -x88 -x76
1800.04/1800.71	v -x79 -x86 -x95 -x58 -x59 -x67 -x96 -x51 x55 x65 -x54 -x53 x92 x100 -x68 -x69 -x80 -x62 -x66 -x70 -x74 -x90 x98 x73 -x83 -x71 -x81
1800.04/1800.71	v -x57 -x61 -x91 -x93 -x94 -x99 -x82 -x56 x72 -x87 -x60 -x97 x89 -x78 x63 x85
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   93  1266835    460  1275996    59403  3599296  56795    703 1800.05
1800.04/1800.71	c Objective: -11
1800.04/1800.71	s SATISFIABLE
1800.04/1800.71	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-11

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node46/watcher-455646-1178047183 -o ROOT/results/node46/solver-455646-1178047183 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455646-1178047183/instance-455646-1178047183.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 14544
/proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=3828 CPUtime=0
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 159401313 3919872 140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7798879 0 0 4096 0 0 0 0 17 1 0 0
/proc/14544/statm: 957 143 120 324 0 15 0

[startup+0.0405711 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 14544
/proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=4612 CPUtime=0.03
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 561 0 0 0 3 0 0 0 18 0 1 0 159401313 4722688 526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 1153 526 305 324 0 223 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4612

[startup+0.101582 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 14544
/proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=4612 CPUtime=0.09
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 159401313 4722688 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 1153 527 305 324 0 223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301618 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 14544
/proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=4612 CPUtime=0.29
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 562 0 0 0 29 0 0 0 19 0 1 0 159401313 4722688 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 1153 527 305 324 0 223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612

[startup+0.701692 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 14544
/proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=6816 CPUtime=0.69
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 1102 0 0 0 69 0 0 0 23 0 1 0 159401313 6979584 1067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 1704 1067 311 324 0 774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6816

[startup+1.50184 s]
/proc/loadavg: 0.91 0.95 0.97 2/79 14545
/proc/meminfo: memFree=1816488/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=11216 CPUtime=1.49
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 2204 0 0 0 148 1 0 0 25 0 1 0 159401313 11485184 2169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 2804 2169 311 324 0 1874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11216

[startup+3.10114 s]
/proc/loadavg: 0.91 0.95 0.97 2/79 14545
/proc/meminfo: memFree=1811688/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=15740 CPUtime=3.09
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 3355 0 0 0 307 2 0 0 25 0 1 0 159401313 16117760 3320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 3935 3320 311 324 0 3005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15740

[startup+6.30173 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1804200/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=22224 CPUtime=6.29
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 4959 0 0 0 625 4 0 0 25 0 1 0 159401313 22757376 4924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 5556 4924 311 324 0 4626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22224

[startup+12.7029 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1795000/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=30636 CPUtime=12.68
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 7062 0 0 0 1262 6 0 0 25 0 1 0 159401313 31371264 7027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 7659 7027 311 324 0 6729 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30636

[startup+25.5013 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1785720/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=39456 CPUtime=25.48
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 9276 0 0 0 2539 9 0 0 25 0 1 0 159401313 40402944 9241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 9864 9241 311 324 0 8934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39456

[startup+51.102 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1783096/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=41792 CPUtime=51.06
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 9898 0 0 0 5096 10 0 0 25 0 1 0 159401313 42795008 9824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 10448 9824 311 324 0 9518 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 41792

[startup+102.306 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1776376/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=48508 CPUtime=102.25
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 11641 0 0 0 10213 12 0 0 25 0 1 0 159401313 49672192 11490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 12127 11490 311 324 0 11197 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 48508

[startup+162.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1776312/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=48504 CPUtime=162.23
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 11717 0 0 0 16210 13 0 0 25 0 1 0 159401313 49668096 11490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 12126 11490 311 324 0 11196 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 48504

[startup+222.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1776312/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=48500 CPUtime=222.2
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 11717 0 0 0 22207 13 0 0 25 0 1 0 159401313 49664000 11490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 12125 11490 311 324 0 11195 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 48500

[startup+282.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1772152/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=52388 CPUtime=282.18
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 12758 0 0 0 28203 15 0 0 25 0 1 0 159401313 53645312 12484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 13097 12484 311 324 0 12167 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 52388

[startup+342.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1767544/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=57060 CPUtime=342.16
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 13953 0 0 0 34200 16 0 0 25 0 1 0 159401313 58429440 13628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 14265 13628 311 324 0 13335 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 57060

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1763960/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=60564 CPUtime=402.14
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 14908 0 0 0 40196 18 0 0 25 0 1 0 159401313 62017536 14527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 15141 14527 311 324 0 14211 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 60564

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1763128/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=61336 CPUtime=462.12
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 15159 0 0 0 46193 19 0 0 25 0 1 0 159401313 62808064 14722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 15334 14722 311 324 0 14404 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 61336

[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1759416/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=65468 CPUtime=522.09
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 16197 0 0 0 52189 20 0 0 25 0 1 0 159401313 67039232 15760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551033 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 16367 15760 311 324 0 15437 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 65468

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1755000/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=69472 CPUtime=582.07
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 17260 0 0 0 58186 21 0 0 25 0 1 0 159401313 71139328 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 17368 16761 311 324 0 16438 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 69472

[startup+642.302 s]
/proc/loadavg: 1.00 0.97 0.98 2/79 14545
/proc/meminfo: memFree=1754936/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=69472 CPUtime=642.06
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 17322 0 0 0 64184 22 0 0 25 0 1 0 159401313 71139328 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 17368 16761 311 324 0 16438 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 69472


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

[startup+882.302 s]
/proc/loadavg: 1.07 0.99 0.98 2/79 14545
/proc/meminfo: memFree=1750584/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=73880 CPUtime=881.97
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 18545 0 0 0 88173 24 0 0 25 0 1 0 159401313 75653120 17854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 18470 17854 311 324 0 17540 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 73880

[startup+942.302 s]
/proc/loadavg: 1.09 1.00 0.99 2/79 14545
/proc/meminfo: memFree=1750648/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=73880 CPUtime=941.94
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 18545 0 0 0 94170 24 0 0 25 0 1 0 159401313 75653120 17854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 18470 17854 311 324 0 17540 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 73880

[startup+1002.3 s]
/proc/loadavg: 1.09 1.02 0.99 2/79 14545
/proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76680 CPUtime=1001.92
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 100167 25 0 0 25 0 1 0 159401313 78520320 18560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19170 18560 311 324 0 18240 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 76680

[startup+1062.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/79 14545
/proc/meminfo: memFree=1747896/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76668 CPUtime=1061.89
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 106164 25 0 0 25 0 1 0 159401313 78508032 18560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19167 18560 311 324 0 18237 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 76668

[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/79 14547
/proc/meminfo: memFree=1747704/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1121.88
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 112162 26 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 76664

[startup+1182.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/79 14547
/proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1181.85
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 118159 26 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 76664

[startup+1242.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/79 14547
/proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1241.84
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 124157 27 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 76664

[startup+1302.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/79 14547
/proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1301.81
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 130154 27 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 76664

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 14547
/proc/meminfo: memFree=1747896/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1361.79
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 136152 27 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 76664

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 14547
/proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1421.77
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 142149 28 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 76664

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1481.74
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 148146 28 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 76664

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1541.72
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 154144 28 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8228348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 76664

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1601.7
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 160141 29 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 76664

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1661.68
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 166139 29 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 76664

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76664 CPUtime=1721.66
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 172136 30 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19166 18559 311 324 0 18236 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 76664

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76656 CPUtime=1781.64
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 178134 30 0 0 25 0 1 0 159401313 78495744 18557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19164 18557 311 324 0 18234 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 76656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76656 CPUtime=1800.04
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 179974 30 0 0 25 0 1 0 159401313 78495744 18557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19164 18557 311 324 0 18234 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 76656

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14547
/proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956
[pid=14544] ppid=14542 vsize=76656 CPUtime=1800.04
/proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 179974 30 0 0 25 0 1 0 159401313 78495744 18557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14544/statm: 19164 18557 311 324 0 18234 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 76656

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.06
CPU user time (s): 1799.74
CPU system time (s): 0.319951
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 76852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 37992

runsolver used 1.75373 second user time and 4.35934 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue May  1 19:19:43 UTC 2007

IDJOB= 455646
IDBENCH= 48277
IDSOLVER= 199
FILE ID= node46/455646-1178047183

PBS_JOBID= 4728453

Free space on /tmp= 66214 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455646-1178047183/instance-455646-1178047183.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-455646-1178047183 -o ROOT/results/node46/solver-455646-1178047183 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455646-1178047183/instance-455646-1178047183.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  3258ae2375db1ca5a9ce9d305f00baf0

RANDOM SEED= 325552756

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.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:       1821960 kB
Buffers:         76276 kB
Cached:          74108 kB
SwapCached:       2820 kB
Active:         131516 kB
Inactive:        43344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1821960 kB
SwapTotal:     4192956 kB
SwapFree:      4159404 kB
Dirty:            6620 kB
Writeback:           0 kB
Mapped:          31004 kB
Slab:            44464 kB
Committed_AS:  5093304 kB
PageTables:       1992 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= 66214 MiB

End job on node46 on Tue May  1 19:49:46 UTC 2007