Trace number 429428

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 670.859 671.157

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb
MD5SUM3f50fdda997abfe5e5c5cddf7b7c1313
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.172973
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 variables168
Total number of constraints15
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 constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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/429428-1177984641/instance-429428-1177984641.opb
0.00/0.00	c File size is 8048 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    616      918     3856    4     3312    5173      0      0 0.01
0.00/0.01	c Switching off LPR mode.
108.15/108.20	c      100    616     1018     9734    9     3477    5691    100   5555 0.02
108.15/108.20	c      251    616     1169    18988   16     3781    6261    251   9296 0.03
108.15/108.20	c      477    616     1395    32977   23     4200    6888    477  10840 0.04
108.15/108.20	c      817    616     1735    54263   31     4851    7577    817  11347 0.07
108.15/108.20	c     1325    616     2243    85988   38     5791    8335   1325  10037 0.13
108.15/108.20	c     2089    616     3007   132098   43     7316    9169   2089   8356 0.25
108.15/108.20	c     3236    616     4154   201523   48     9630   10086   3236   6784 0.48
108.15/108.20	c     4957    616     5875   304115   51    13035   11095   4957   5017 0.99
108.15/108.20	c     7541    616     8459   491590   58    18198   12205   7541   4931 1.53
108.15/108.20	c    11420    616    12338   745869   60    26060   13426  11420   4285 2.67
108.15/108.20	c    17242    616    11323   657463   58    23988   14769  10405   2989 5.77
108.15/108.20	c    25980    616    12279   736092   59    25853   16246  11361   2836 9.16
108.15/108.20	c    39090    616    16905  1064402   62    35123   17871  15987   2522 15.49
108.15/108.20	c    58760    616    17934  1038411   57    37243   19659  17016   2113 27.80
108.15/108.20	c    88271    616    16518  1092244   66    34291   21625  15600   1937 45.55
108.15/108.20	c   132542    616    15664   876488   55    32597   23788  14746   1691 78.35
108.15/108.20	o 97	108.168
381.26/381.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
381.26/381.57	c   167765    616    24488  1831375   74    50219    5189  23570   1550 108.17
381.26/381.57	c   167865    616     3614   205584   56     8635    5708   2696   1545 108.59
381.26/381.57	c   168115    616     3864   223198   57     9151    6279   2946   1547 108.62
381.26/381.57	c   168591    616     4340   254087   58     9940    6907   3422   1551 108.68
381.26/381.57	c   169404    616     5153   307639   59    11572    7598   4235   1557 108.77
381.26/381.57	c   170725    616     6474   401476   62    14226    8358   5556   1566 108.99
381.26/381.57	c   172806    616     8555   549301   64    18375    9194   7637   1578 109.46
381.26/381.57	c   176030    616     7070   412750   58    15390   10114   6152   1595 110.32
381.26/381.57	c   180966    616     6889   359080   52    14982   11126   5971   1613 112.16
381.26/381.57	c   188472    616     8354   494007   59    17978   12239   7436   1657 113.68
381.26/381.57	c   199833    616     7039   380939   54    15303   13463   6121   1672 119.45
381.26/381.57	c   216977    616     9844   610892   62    20977   14810   8926   1681 129.04
381.26/381.57	c   242796    616    12392   745685   60    26131   16292  11474   1724 140.83
381.26/381.57	c   281629    615     9066   546217   60    19470   17922   8148   1751 160.76
381.26/381.57	c   339982    605    10663   618365   57    22670   19715   9745   1648 206.18
381.26/381.57	c   427614    605    16202  1077623   66    33731   21687  15284   1529 279.55
381.26/381.57	o 57	381.344
438.25/438.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
438.25/438.51	c   537294    602    13395   918311   68    28160    5187  12477   1408 381.35
438.25/438.51	c   537394    602     3618   191506   52     8657    5706   2700   1408 381.56
438.25/438.51	c   537647    602     3871   208856   53     9147    6277   2953   1408 381.59
438.25/438.51	c   538123    602     4347   240569   55    10099    6905   3429   1410 381.64
438.25/438.51	c   538936    602     5160   294034   56    11718    7596   4242   1411 381.79
438.25/438.51	c   540256    602     6480   380019   58    14343    8356   5562   1413 382.17
438.25/438.51	c   542337    602     8561   518260   60    18519    9192   7643   1416 382.93
438.25/438.51	c   545560    602     7108   405158   57    15598   10112   6190   1418 384.64
438.25/438.51	c   550497    602     6598   383358   58    14565   11124   5680   1426 385.96
438.25/438.51	c   558004    602     8422   491803   58    18170   12237   7504   1433 389.25
438.25/438.51	c   569366    592     7043   398783   56    15518   13461   6125   1450 392.52
438.25/438.51	c   586510    592    10289   615805   59    21943   14808   9371   1463 400.71
438.25/438.51	c   612329    591    13604   798451   58    28610   16289  12686   1466 417.59
438.25/438.51	o 25	438.277
650.40/650.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
650.40/650.79	c   641412    591     9088   532109   58    19544    5185   8170   1463 438.28
650.40/650.79	c   641513    591     3620   172546   47     8622    5704   2702   1463 438.36
650.40/650.79	c   641764    591     3871   189026   48     9037    6275   2953   1463 438.39
650.40/650.79	c   642240    591     4347   220350   50    10002    6903   3429   1464 438.46
650.40/650.79	c   643055    591     5162   272879   52    11626    7594   4244   1466 438.60
650.40/650.79	c   644376    591     6483   355983   54    14285    8354   5565   1468 438.93
650.40/650.79	c   646459    591     8566   483408   56    18439    9190   7648   1470 439.68
650.40/650.79	c   649682    591     7104   387820   54    15510   10110   6186   1473 440.98
650.40/650.79	c   654619    581     6907   363822   52    15205   11122   5989   1474 443.92
650.40/650.79	c   662127    581     8287   463311   55    17905   12235   7369   1478 447.87
650.40/650.79	c   673488    581     7256   403017   55    15871   13459   6338   1478 455.56
650.40/650.79	c   690632    581    10049   620575   61    21363   14805   9131   1486 464.59
650.40/650.79	c   716452    581    13342   759697   56    28008   16286  12424   1477 484.86
650.40/650.79	c   755285    581     9697   453464   46    20726   17915   8779   1471 513.31
650.40/650.79	c   813637    580    13429   787018   58    28217   19707  12511   1420 572.80
650.40/650.79	o 3	650.5
670.80/671.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
670.80/671.15	c   889991    580    18695  1305414   69    38788    5183  17777   1368 650.50
670.80/671.15	c   890091    560     3623   217047   59     8629    5702   2705   1368 650.64
670.80/671.15	c   890342    538     3874   233004   60     9117    6273   2956   1368 650.67
670.80/671.15	c   890817    538     4349   263995   60    10063    6901   3431   1368 650.74
670.80/671.15	c   891631    538     5163   312047   60    11711    7592   4245   1369 650.90
670.80/671.15	c   892952    538     6484   391327   60    14374    8352   5566   1371 651.30
670.80/671.15	c   895033    538     8565   523343   61    18463    9188   7647   1372 652.11
670.80/671.15	c   898257    538     7060   389833   55    15513   10107   6142   1374 653.60
670.80/671.15	c   903194    529     6808   360818   52    15025   11118   5890   1375 656.70
670.80/671.15	c   910701    529     8654   424907   49    18719   12230   7736   1376 661.55
670.80/671.15	c   922062    526     7571   359459   47    16535   13454   6653   1377 669.31
670.80/671.15	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 -x31
670.80/671.15	v -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 x41 x42 -x43 x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 x59
670.80/671.15	v x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76
670.80/671.15	v -x77 -x78 -x79 -x80 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132
670.80/671.15	v -x133 -x134 -x135 -x136 x89 x90 -x91 -x92 -x93 -x94 x95 x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 -x99 -x100
670.80/671.15	v -x101 -x102 x103 x104 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x153 -x154
670.80/671.15	v -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
670.80/671.15	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
670.80/671.15	c   71   924624   8779   960690    10133   477143   9215   1378 670.85
670.80/671.15	c Objective: 3
670.80/671.15	s OPTIMUM FOUND
670.80/671.15	c Total time: 670.852 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/node55/watcher-429428-1177984641 -o ROOT/results/node55/solver-429428-1177984641 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429428-1177984641/instance-429428-1177984641.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.93 1.01 0.99 3/64 13607
/proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=19556 CPUtime=0
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 246374176 20025344 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 4889 344 290 324 0 3956 0

[startup+0.013738 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 13607
/proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=4324 CPUtime=0
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 480 0 0 0 0 0 0 0 18 0 1 0 246374176 4427776 447 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 1081 447 309 324 0 150 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4324

[startup+0.101747 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 13607
/proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=5104 CPUtime=0.09
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 246374176 5226496 669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 1276 670 312 324 0 345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5104

[startup+0.301764 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 13607
/proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=6264 CPUtime=0.29
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 985 0 0 0 29 0 0 0 19 0 1 0 246374176 6414336 952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 1566 952 312 324 0 635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6264

[startup+0.701802 s]
/proc/loadavg: 0.93 1.01 0.99 3/64 13607
/proc/meminfo: memFree=1411820/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=7816 CPUtime=0.69
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 1368 0 0 0 68 1 0 0 23 0 1 0 246374176 8003584 1335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 1954 1335 312 324 0 1023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7816

[startup+1.50188 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 13608
/proc/meminfo: memFree=1406948/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=10924 CPUtime=1.48
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 2157 0 0 0 146 2 0 0 25 0 1 0 246374176 11186176 2124 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 2731 2124 312 324 0 1800 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10924

[startup+3.10103 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 13608
/proc/meminfo: memFree=1402084/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=15572 CPUtime=3.09
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 3301 0 0 0 305 4 0 0 25 0 1 0 246374176 15945728 3268 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 3893 3268 312 324 0 2962 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15572

[startup+6.30133 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 13608
/proc/meminfo: memFree=1398372/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=16868 CPUtime=6.29
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 3630 0 0 0 624 5 0 0 25 0 1 0 246374176 17272832 3597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 4217 3597 312 324 0 3286 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16868

[startup+12.7019 s]
/proc/loadavg: 0.94 1.01 0.99 2/65 13608
/proc/meminfo: memFree=1395308/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=20036 CPUtime=12.68
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 4420 0 0 0 1261 7 0 0 25 0 1 0 246374176 20516864 4387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 5009 4387 312 324 0 4078 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20036

[startup+25.5011 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 13608
/proc/meminfo: memFree=1393260/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=22100 CPUtime=25.48
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 4952 0 0 0 2538 10 0 0 25 0 1 0 246374176 22630400 4919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 5525 4919 312 324 0 4594 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22100

[startup+51.1016 s]
/proc/loadavg: 0.97 1.00 0.99 2/65 13608
/proc/meminfo: memFree=1389420/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=26036 CPUtime=51.07
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 5936 0 0 0 5093 14 0 0 25 0 1 0 246374176 26660864 5903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7283053 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 6509 5903 312 324 0 5578 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26036

[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/65 13608
/proc/meminfo: memFree=1386540/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=28776 CPUtime=102.26
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6615 0 0 0 10205 21 0 0 25 0 1 0 246374176 29466624 6582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7194 6582 312 324 0 6263 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28776

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 13608
/proc/meminfo: memFree=1385068/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30252 CPUtime=162.24
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 16190 34 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7563 6949 313 324 0 6632 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 30252

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/71 13634
/proc/meminfo: memFree=1383804/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30252 CPUtime=222.22
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 22177 45 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7563 6949 313 324 0 6632 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 30252

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 3/73 14203
/proc/meminfo: memFree=1382124/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30252 CPUtime=282.11
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 28156 55 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7282388 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13607/statm: 7563 6949 313 324 0 6632 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 30252

[startup+342.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 14282
/proc/meminfo: memFree=1383844/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30252 CPUtime=342.08
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 34142 66 0 0 25 0 1 0 246374176 30978048 6949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7563 6949 313 324 0 6632 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 30252

[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 14282
/proc/meminfo: memFree=1384036/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=402.06
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 40128 78 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 30204

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384036/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=462.05
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 46118 87 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 30204

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384100/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=522.03
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 52106 97 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 30204

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384164/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=582.01
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 58096 105 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 30204

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=642
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 64090 110 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 30204

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

[startup+652.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=652.4
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 65128 112 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 652.4
Current children cumulated vsize (KiB) 30204

[startup+659.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=658.8
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 65766 114 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 658.8
Current children cumulated vsize (KiB) 30204

[startup+665.506 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=665.2
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66405 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 665.2
Current children cumulated vsize (KiB) 30204

[startup+668.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=668.39
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66724 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 668.39
Current children cumulated vsize (KiB) 30204

[startup+670.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=669.99
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66884 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (KiB) 30204

[startup+670.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=670.39
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66924 115 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 670.39
Current children cumulated vsize (KiB) 30204

[startup+671.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14282
/proc/meminfo: memFree=1384236/2055920 swapFree=4184544/4192956
[pid=13607] ppid=13605 vsize=30204 CPUtime=670.8
/proc/13607/stat : 13607 (bsolo3.0.16) R 13605 13607 21313 0 -1 4194304 6982 0 0 0 66964 116 0 0 25 0 1 0 246374176 30928896 6946 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13607/statm: 7551 6946 313 324 0 6620 0
Current children cumulated CPU time (s) 670.8
Current children cumulated vsize (KiB) 30204

Child status: 0
Real time (s): 671.157
CPU time (s): 670.859
CPU user time (s): 669.693
CPU system time (s): 1.16582
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 30252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.693
system time used= 1.16582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6983
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= 11
involuntary context switches= 1186

runsolver used 0.52192 second user time and 1.37279 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Tue May  1 01:57:21 UTC 2007

IDJOB= 429428
IDBENCH= 47908
IDSOLVER= 163
FILE ID= node55/429428-1177984641

PBS_JOBID= 4728100

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=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429428-1177984641/instance-429428-1177984641.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-429428-1177984641 -o ROOT/results/node55/solver-429428-1177984641 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429428-1177984641/instance-429428-1177984641.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  3f50fdda997abfe5e5c5cddf7b7c1313

RANDOM SEED= 855257527

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1412292 kB
Buffers:         72256 kB
Cached:         480344 kB
SwapCached:       2552 kB
Active:          82268 kB
Inactive:       484212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1412292 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            6592 kB
Writeback:           0 kB
Mapped:          20112 kB
Slab:            63224 kB
Committed_AS:  1804824 kB
PageTables:       1392 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 node55 on Tue May  1 02:08:33 UTC 2007