Trace number 455640

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.16SAT-11 1800.02 1800.66

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.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/455640-1178047055/instance-455640-1178047055.opb
0.00/0.00	c File size is 16429 bytes.
0.01/0.01	c Highest Coefficient sum: 100
0.01/0.01	c Parsing was ok!!
0.01/0.01	c Total parsing time: 0.011 s
0.01/0.01	c Var: 1328 Constr: 2608 1278/102/1228 Lit: 8896 Watch. Lit: 7570
0.01/0.01	c Obj. Vars: 50 (3.76506 % of total variables)
0.39/0.43	c Pre-processing Time: 0.426 s
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1328     2608     8896    3     7570   14540      0      0 0.43
0.39/0.43	c Switching off LPR mode.
0.39/0.43	o -1	0.428
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.429
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.431
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.433
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c        2   1328     2614     9232    3     7592   14707      6      4 0.43
0.39/0.45	c      102   1328     2714    15415    5     7792   16178    106    228 0.45
0.39/0.45	o -5	0.448
0.69/0.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.74	c      122   1328     2735    16550    6     7839   14723    127    271 0.45
0.69/0.74	c      222   1328     2835    22341    7     8039   16196    227    481 0.46
0.69/0.74	c      472   1328     3085    37890   12     8539   17816    477    963 0.49
0.69/0.74	c      947   1328     3560    67840   19     9489   19598    952   1756 0.54
0.69/0.74	c     1760   1328     4373   117014   26    11115   21558   1765   2793 0.63
0.69/0.74	o -6	0.737
87.36/87.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.36/87.49	c     2568   1328     5182   168268   32    12739   14740   2574   3484 0.74
87.36/87.49	c     2668   1328     5282   174975   33    12939   16215   2674   3533 0.76
87.36/87.49	c     2918   1328     5532   194064   35    13439   17837   2924   3665 0.80
87.36/87.49	c     3393   1328     6007   234239   38    14389   19621   3399   3868 0.88
87.36/87.49	c     4206   1328     6820   284927   41    16015   21584   4212   4244 0.99
87.36/87.49	c     5526   1328     8140   366149   44    18655   23743   5532   4382 1.26
87.36/87.49	c     7607   1328    10221   502495   49    22817   26118   7613   4552 1.67
87.36/87.49	c    10830   1328    13444   714190   53    29263   28730  10836   4077 2.66
87.36/87.49	c    15766   1328    18380  1040288   56    39135   31604  15772   3195 4.93
87.36/87.49	c    23272   1328    25886  1537718   59    54147   34765  23278   2479 9.38
87.36/87.49	c    34633   1328    37247  2272025   60    76869   38242  34639   1555 22.27
87.36/87.49	c    51777   1328    26199  1578886   60    54758   42067  23591   1281 40.41
87.36/87.49	c    77596   1328    20224  1328316   65    42808   46274  17616   1046 74.15
87.36/87.49	o -7	87.45
139.43/139.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.43/139.52	c    94005   1328    36634  2469917   67    75635   14673  34026   1074 87.45
139.43/139.52	c    94105   1328    10047   522981   52    22455   16141   7439   1044 90.07
139.43/139.52	c    94355   1328    10297   543045   52    22955   17756   7689   1046 90.14
139.43/139.52	c    94830   1328    10772   580327   53    23905   19532   8164   1050 90.29
139.43/139.52	c    95643   1328    11585   637730   55    25531   21486   8977   1055 90.58
139.43/139.52	c    96963   1328    12905   727686   56    28171   23635  10297   1064 91.10
139.43/139.52	c    99044   1328    14986   867140   57    32333   25999  12378   1079 91.79
139.43/139.52	c   102267   1328    18209  1063231   58    38779   28599  15601   1095 93.38
139.43/139.52	c   107203   1328    23145  1389373   60    48651   31459  20537   1111 96.49
139.43/139.52	c   114709   1328    30651  1900817   62    63663   34605  28043   1100 104.25
139.43/139.52	c   126070   1328    17420   991106   56    37201   38066  14812   1074 117.38
139.43/139.52	c   143214   1328    34564  2034991   58    71489   41873  31956   1111 128.87
139.43/139.52	o -8	139.468
987.84/988.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
987.84/988.20	c   151870   1328    43221  2619335   60    88811   14690  40613   1088 139.47
987.84/988.20	c   151970   1328    10055   509050   50    22472   16160   7447   1034 146.90
987.84/988.20	c   152220   1328    10305   523717   50    22972   17777   7697   1035 146.96
987.84/988.20	c   152695   1328    10780   556754   51    23922   19555   8172   1038 147.09
987.84/988.20	c   153508   1328    11593   606080   52    25548   21511   8985   1041 147.33
987.84/988.20	c   154828   1328    12913   683968   52    28188   23663  10305   1047 147.74
987.84/988.20	c   156910   1328    14995   817284   54    32352   26030  12387   1055 148.60
987.84/988.20	c   160133   1328    18218  1025298   56    38798   28634  15610   1064 150.43
987.84/988.20	c   165069   1328    23154  1364992   58    48670   31498  20546   1075 153.53
987.84/988.20	c   172575   1328    30660  1899947   61    63682   34648  28052   1072 160.84
987.84/988.20	c   183936   1328    17398  1043779   59    37158   38113  14790   1047 175.55
987.84/988.20	c   201080   1328    34542  2232314   64    71446   41925  31934   1042 192.93
987.84/988.20	c   226899   1328    28635  1852548   64    59632   46118  26027   1004 225.84
987.84/988.20	c   265732   1328    31650  1945353   61    65662   50730  29042    952 278.85
987.84/988.20	c   324085   1328    49775  3239564   65   101912   55804  47167    904 358.27
987.84/988.20	c   411717   1328    46721  3281260   70    95804   61385  44113    830 495.74
987.84/988.20	c   543269   1328    26005  1686924   64    54372   67524  23397    725 748.86
987.84/988.20	o -9	987.844
1325.42/1325.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1325.42/1325.95	c   662029   1328    30996  2097755   67    64363   14707  28388    670 987.85
1325.42/1325.95	c   662129   1328    10064   499646   49    22491   16178   7456    668 989.97
1325.42/1325.95	c   662379   1328    10314   514047   49    22991   17796   7706    669 990.08
1325.42/1325.95	c   662854   1328    10789   539741   50    23941   19576   8181    669 990.26
1325.42/1325.95	c   663667   1328    11602   584364   50    25567   21534   8994    669 990.60
1325.42/1325.95	c   664987   1328    12922   662642   51    28207   23688  10314    670 991.21
1325.42/1325.95	c   667068   1328    15003   791774   52    32369   26057  12395    672 992.12
1325.42/1325.95	c   670291   1328    18226   992802   54    38815   28663  15618    674 994.02
1325.42/1325.95	c   675228   1328    23163  1308491   56    48689   31530  20555    677 996.95
1325.42/1325.95	c   682734   1328    30669  1805513   58    63701   34684  28061    681 1001.91
1325.42/1325.95	c   694095   1328    17432   923918   53    37227   38153  14824    682 1017.57
1325.42/1325.95	c   711239   1328    34576  2105708   60    71515   41969  31968    688 1033.50
1325.42/1325.95	c   737058   1328    28720  1675016   58    59803   46166  26112    692 1064.33
1325.42/1325.95	c   775890   1328    31613  1944240   61    65589   50783  29005    701 1106.68
1325.42/1325.95	c   834242   1328    49541  3202057   64   101445   55862  46933    710 1174.81
1325.42/1325.95	c   921874   1328    46407  3369509   72    95177   61449  43799    696 1324.36
1325.42/1325.95	o -10	1325.48
1344.71/1345.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1344.71/1345.22	c   922607   1328    47141  3404483   72    96655   14723  44533    696 1325.48
1344.71/1345.22	c   922707   1328    10072   599385   59    22508   16196   7464    690 1336.38
1344.71/1345.22	c   922957   1328    10322   614346   59    23008   17816   7714    690 1336.45
1344.71/1345.22	c   923432   1328    10797   642557   59    23958   19598   8189    690 1336.52
1344.71/1345.22	c   924245   1328    11610   684888   58    25584   21558   9002    691 1336.61
1344.71/1345.22	c   925565   1328    12930   754778   58    28224   23714  10322    692 1336.84
1344.71/1345.22	c   927646   1328    15011   861062   57    32386   26086  12403    693 1337.26
1344.71/1345.22	c   930869   1328    18234  1030016   56    38832   28695  15626    695 1338.12
1344.71/1345.22	c   935805   1328    23170  1307499   56    48704   31565  20562    698 1340.47
1344.71/1345.22	o -11	1344.74
1799.95/1800.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.64	c   942870   1328    30236  1730435   57    62847   14740  27628    701 1344.74
1799.95/1800.64	c   942970   1328    10080   454796   45    22525   16215   7472    700 1346.09
1799.95/1800.64	c   943220   1328    10330   470815   45    23025   17837   7722    700 1346.17
1799.95/1800.64	c   943695   1328    10805   497762   46    23975   19621   8197    700 1346.28
1799.95/1800.64	c   944508   1328    11618   543952   46    25601   21584   9010    701 1346.49
1799.95/1800.64	c   945828   1328    12938   616958   47    28241   23743  10330    702 1346.83
1799.95/1800.64	c   947909   1328    15019   737141   49    32403   26118  12411    703 1347.56
1799.95/1800.64	c   951132   1328    18242   919573   50    38849   28730  15634    705 1348.89
1799.95/1800.64	c   956068   1328    23178  1190435   51    48721   31604  20570    707 1350.60
1799.95/1800.64	c   963575   1328    30685  1621980   52    63735   34765  28077    710 1355.73
1799.95/1800.64	c   974936   1328    17329   853510   49    37023   38242  14721    712 1368.26
1799.95/1800.64	c   992080   1328    34473  1918593   55    71311   42067  31865    717 1383.37
1799.95/1800.64	c  1017899   1328    28538  1584817   55    59441   46274  25930    718 1416.72
1799.95/1800.64	c  1056731   1328    31449  1875161   59    65263   50902  28841    723 1459.90
1799.95/1800.64	c  1115083   1328    49331  3130921   63   101027   55993  46723    720 1547.97
1799.95/1800.64	c  1202715   1328    46126  2715787   58    94617   61593  43518    718 1673.78
1799.95/1800.64	c Resources Exceeded
1799.95/1800.64	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
1799.95/1800.64	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
1799.95/1800.64	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
1799.95/1800.64	v -x57 -x61 -x91 -x93 -x94 -x99 -x82 -x56 x72 -x87 -x60 -x97 x89 -x78 x63 x85
1799.95/1800.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.64	c   93  1265781    459  1274942    58349  3531064  55741    703 1800.00
1799.95/1800.64	c Objective: -11
1799.95/1800.64	s SATISFIABLE
1799.95/1800.64	c Total time: 1800 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/node20/watcher-455640-1178047055 -o ROOT/results/node20/solver-455640-1178047055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455640-1178047055/instance-455640-1178047055.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.98 3/77 19648
/proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=19568 CPUtime=0
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 252622906 20037632 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 2939 345 291 324 0 2003 0

[startup+0.0122029 s]
/proc/loadavg: 0.88 0.95 0.98 3/77 19648
/proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=4216 CPUtime=0.01
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 444 0 0 0 1 0 0 0 18 0 1 0 252622906 4317184 413 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 1054 414 293 324 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4216

[startup+0.101221 s]
/proc/loadavg: 0.88 0.95 0.98 3/77 19648
/proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=4612 CPUtime=0.09
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 564 0 0 0 9 0 0 0 18 0 1 0 252622906 4722688 528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 1153 528 306 324 0 222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.30126 s]
/proc/loadavg: 0.88 0.95 0.98 3/77 19648
/proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=4612 CPUtime=0.29
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 564 0 0 0 29 0 0 0 19 0 1 0 252622906 4722688 528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8052181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 1153 528 306 324 0 222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612

[startup+0.701341 s]
/proc/loadavg: 0.88 0.95 0.98 3/77 19648
/proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=6688 CPUtime=0.69
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 1097 0 0 0 69 0 0 0 23 0 1 0 252622906 6848512 1061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 1672 1061 313 324 0 741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6688

[startup+1.5015 s]
/proc/loadavg: 0.89 0.95 0.98 2/78 19649
/proc/meminfo: memFree=1828720/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=11084 CPUtime=1.49
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 2189 0 0 0 148 1 0 0 25 0 1 0 252622906 11350016 2153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 2771 2153 313 324 0 1840 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11084

[startup+3.10182 s]
/proc/loadavg: 0.89 0.95 0.98 2/78 19649
/proc/meminfo: memFree=1823984/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=15740 CPUtime=3.09
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 3347 0 0 0 307 2 0 0 25 0 1 0 252622906 16117760 3311 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 3935 3311 313 324 0 3004 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15740

[startup+6.30146 s]
/proc/loadavg: 0.89 0.95 0.98 2/78 19649
/proc/meminfo: memFree=1816704/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=22096 CPUtime=6.29
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 4937 0 0 0 624 5 0 0 25 0 1 0 252622906 22626304 4901 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 5524 4901 313 324 0 4593 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22096

[startup+12.7017 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 19649
/proc/meminfo: memFree=1807648/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=30504 CPUtime=12.68
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 7052 0 0 0 1260 8 0 0 25 0 1 0 252622906 31236096 7016 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 7626 7016 313 324 0 6695 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30504

[startup+25.5013 s]
/proc/loadavg: 0.92 0.96 0.98 2/78 19649
/proc/meminfo: memFree=1798560/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=39324 CPUtime=25.48
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 9255 0 0 0 2535 13 0 0 25 0 1 0 252622906 40267776 9219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 9831 9219 313 324 0 8900 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39324

[startup+51.1014 s]
/proc/loadavg: 0.95 0.96 0.98 2/78 19649
/proc/meminfo: memFree=1795808/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=41792 CPUtime=51.06
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 9901 0 0 0 5090 16 0 0 25 0 1 0 252622906 42795008 9826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 10448 9826 313 324 0 9517 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 41792

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 19649
/proc/meminfo: memFree=1789024/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=48508 CPUtime=102.25
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 11644 0 0 0 10203 22 0 0 25 0 1 0 252622906 49672192 11492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 12127 11492 313 324 0 11196 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 48508

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1788960/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=48504 CPUtime=162.22
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 11720 0 0 0 16193 29 0 0 25 0 1 0 252622906 49668096 11492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 12126 11492 313 324 0 11195 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 48504

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1788960/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=48500 CPUtime=222.21
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 11720 0 0 0 22184 37 0 0 25 0 1 0 252622906 49664000 11492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 12125 11492 313 324 0 11194 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 48500

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1784864/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=52388 CPUtime=282.18
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 12761 0 0 0 28173 45 0 0 25 0 1 0 252622906 53645312 12486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 13097 12486 313 324 0 12166 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 52388

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1780192/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=57060 CPUtime=342.16
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 13956 0 0 0 34164 52 0 0 25 0 1 0 252622906 58429440 13630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 14265 13630 313 324 0 13334 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 57060

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1776544/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=60564 CPUtime=402.15
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 14911 0 0 0 40157 58 0 0 25 0 1 0 252622906 62017536 14529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 15141 14529 313 324 0 14210 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 60564

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1775712/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=61336 CPUtime=462.12
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 15162 0 0 0 46147 65 0 0 25 0 1 0 252622906 62808064 14724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 15334 14724 313 324 0 14403 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 61336

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1772128/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=65340 CPUtime=522.1
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 16145 0 0 0 52137 73 0 0 25 0 1 0 252622906 66908160 15707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 16335 15707 313 324 0 15404 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 65340

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1767456/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=69472 CPUtime=582.08
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 17263 0 0 0 58128 80 0 0 25 0 1 0 252622906 71139328 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 17368 16763 313 324 0 16437 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 69472

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1767392/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=69472 CPUtime=642.06
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 17325 0 0 0 64120 86 0 0 25 0 1 0 252622906 71139328 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 17368 16763 313 324 0 16437 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 69472


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

/proc/meminfo: memFree=1760096/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1121.89
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 112054 135 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 76664

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1760032/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1181.87
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 118046 141 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 76664

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1759968/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1241.85
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 124039 146 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 76664

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1759904/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1301.83
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 130032 151 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 76664

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1759840/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1361.81
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 136022 159 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 76664

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19649
/proc/meminfo: memFree=1759840/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1421.79
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 142013 166 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 76664

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759712/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1481.76
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 148004 172 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 76664

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759712/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1541.74
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 153997 177 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 76664

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759648/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1601.72
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 159990 182 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 76664

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1661.7
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 165981 189 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 76664

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759648/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76664 CPUtime=1721.68
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 171973 195 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19166 18561 313 324 0 18235 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 76664

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1781.66
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 177967 199 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 76656

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1791.26
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 178926 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 76656

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1794.45
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179245 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8052482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 76656

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1797.65
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179565 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 76656

[startup+1799.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1799.24
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179724 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 76656

[startup+1800.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1799.64
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179764 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 76656

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1799.84
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179784 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 76656

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 19651
/proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956
[pid=19648] ppid=19646 vsize=76656 CPUtime=1799.95
/proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179795 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19648/statm: 19164 18559 313 324 0 18233 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 76656

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.02
CPU user time (s): 1797.99
CPU system time (s): 2.02269
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 76684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.02269
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= 37066

runsolver used 1.41179 second user time and 3.86041 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue May  1 19:17:36 UTC 2007

IDJOB= 455640
IDBENCH= 48277
IDSOLVER= 163
FILE ID= node20/455640-1178047055

PBS_JOBID= 4728447

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  3258ae2375db1ca5a9ce9d305f00baf0

RANDOM SEED= 526240818

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1834128 kB
Buffers:         61884 kB
Cached:          64264 kB
SwapCached:      16312 kB
Active:          62876 kB
Inactive:        93120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834128 kB
SwapTotal:     4192956 kB
SwapFree:      4154868 kB
Dirty:            6816 kB
Writeback:           0 kB
Mapped:          35084 kB
Slab:            51280 kB
Committed_AS:  5474484 kB
PageTables:       1756 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 node20 on Tue May  1 19:47:36 UTC 2007