Trace number 454260

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-46 1800.01 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_2.opb
MD5SUM5255c8da63867fe6fe080ca048384827
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-48
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -48
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint10
Maximum length of a constraint19
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2492
Sum of products size (including duplicates)4984
Number of different products1246
Sum of products size2492

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/454260-1178023409/instance-454260-1178023409.opb
0.00/0.00	c File size is 32297 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.02	c Var: 2692 Constr: 5384 2692/200/2492 Lit: 19936 Watch. Lit: 14952
0.00/0.02	c Obj. Vars: 200 (7.42942 % of total variables)
0.00/0.04	c Pre-processing Time: 0.038 s
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    200     1246     3738    3     2492     415      0      0 0.04
0.00/0.04	c Switching off LPR mode.
0.00/0.04	o -42	0.039
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    200     1247     3938    3     2536    1415      1      0 0.04
0.00/0.04	o -43	0.045
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c       64    200     1312    14054   10     2709    1415     66   1422 0.04
0.19/0.27	c      164    200     1412    29472   20     2909    1557    166   2928 0.06
0.19/0.27	c      414    200     1662    67907   40     3409    1713    416   4813 0.09
0.19/0.27	c      890    200     2138   141157   66     4361    1885    892   5973 0.15
0.19/0.27	c     1704    200     2952   266271   90     5989    2074   1706   6334 0.27
0.19/0.27	o -44	0.271
4.59/4.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.64	c     1704    200     2953   266471   90     6035    1415   1707   6264 0.27
4.59/4.64	c     1805    200     3054   281899   92     6237    1557   1808   6311 0.29
4.59/4.64	c     2055    200     3304   320159   96     6737    1713   2058   6362 0.32
4.59/4.64	c     2532    200     3781   393086  103     7691    1885   2535   6221 0.41
4.59/4.64	c     3345    200     4594   517425  112     9317    2074   3348   6092 0.55
4.59/4.64	c     4665    200     2284   162327   71     4612    2282   1038   5368 0.87
4.59/4.64	c     6746    200     4365   480155  110     8774    2511   3119   5274 1.28
4.59/4.64	c     9969    200     3669   373414  101     7382    2763   2423   4779 2.09
4.59/4.64	c    14905    200     4562   509296  111     9168    3040   3316   4183 3.56
4.59/4.64	o -45	4.638
800.79/801.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
800.79/801.06	c    19134    200     4605   517743  112     9299    1415   3359   4124 4.64
800.79/801.06	c    19234    200     4705   532945  113     9499    1557   3459   4130 4.66
800.79/801.06	c    19486    200     4957   571123  115    10003    1713   3711   4155 4.69
800.79/801.06	c    19961    200     5432   643248  118    10953    1885   4186   4098 4.87
800.79/801.06	c    20774    200     2647   216502   81     5339    2074   1401   4054 5.12
800.79/801.06	c    22095    200     3968   416639  104     7981    2282   2722   4097 5.39
800.79/801.06	c    24178    200     2388   176825   74     4821    2511   1142   4088 5.91
800.79/801.06	c    27401    200     5611   664677  118    11267    2763   4365   4046 6.77
800.79/801.06	c    32337    200     6501   800375  123    13047    3040   5255   3648 8.86
800.79/801.06	c    39845    200     5657   671385  118    11359    3345   4411   3538 11.26
800.79/801.06	c    51207    200     4025   425467  105     8095    3680   2779   3233 15.83
800.79/801.06	c    68351    200     3190   297723   93     6425    4049   1944   2909 23.49
800.79/801.06	c    94171    200     5582   660784  118    11209    4454   4336   2716 34.66
800.79/801.06	c   133003    200     5342   624158  116    10729    4900   4096   2454 54.20
800.79/801.06	c   191355    200     7500   952533  127    15045    5391   6254   2109 90.71
800.79/801.06	c   278988    200     4151   443486  106     8347    5931   2905   1941 143.69
800.79/801.06	c   410540    200     6478   796470  122    13001    6525   5232   1748 234.81
800.79/801.06	c   607973    200     8606  1117774  129    17257    7178   7360   1662 365.79
800.79/801.06	c   904225    200     5131   592327  115    10307    7896   3885   1577 573.22
800.79/801.06	o -46	800.856
1799.93/1800.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.56	c  1170926    200     7704   981541  127    15499    1415   6458   1462 800.86
1799.93/1800.56	c  1171027    200     2056   126218   61     4158    1557    810   1462 800.95
1799.93/1800.56	c  1171278    200     2307   164031   71     4660    1713   1061   1462 800.99
1799.93/1800.56	c  1171753    200     2782   235686   84     5610    1885   1536   1462 801.05
1799.93/1800.56	c  1172567    200     3596   358288   99     7238    2074   2350   1463 801.17
1799.93/1800.56	c  1173888    200     4917   557608  113     9880    2282   3671   1464 801.43
1799.93/1800.56	c  1175970    200     3202   298584   93     6450    2511   1956   1466 801.89
1799.93/1800.56	c  1179193    200     2517   194840   77     5080    2763   1271   1468 802.94
1799.93/1800.56	c  1184130    200     3415   330219   96     6876    3040   2169   1472 804.37
1799.93/1800.56	c  1191637    200     6751   832551  123    13548    3345   5505   1475 807.42
1799.93/1800.56	c  1203000    200     5105   584830  114    10256    3680   3859   1481 811.97
1799.93/1800.56	c  1220145    200     4262   457182  107     8570    4049   3016   1490 818.55
1799.93/1800.56	c  1245964    200     6674   819915  122    13394    4454   5428   1495 833.32
1799.93/1800.56	c  1284797    200     6424   782243  121    12894    4900   5178   1505 853.34
1799.93/1800.56	c  1343149    200     8570  1105707  129    17186    5391   7324   1516 885.84
1799.93/1800.56	c  1430781    200     5200   599689  115    10446    5931   3954   1502 952.09
1799.93/1800.56	c  1562334    200     7539   951631  126    15124    6525   6293   1507 1036.40
1799.93/1800.56	c  1759767    200     9902  1304969  131    19850    7178   8656   1526 1153.13
1799.93/1800.56	c  2056020    200     6397   778354  121    12840    7896   5151   1488 1381.47
1799.93/1800.56	c  2500503    200     8411  1083497  128    16868    8686   7165   1440 1735.64
1799.93/1800.56	c Resources Exceeded
1799.93/1800.56	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
1799.93/1800.56	v -x30 -x31 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
1799.93/1800.56	v -x57 -x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1799.93/1800.56	v -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 x98 -x99 -x100 x101 -x102 x103 x104 x105 -x106 -x107 -x108
1799.93/1800.56	v -x109 -x110 -x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 x126 -x127 -x128 x129 -x130
1799.93/1800.56	v x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152
1799.93/1800.56	v -x153 -x154 -x155 -x156 x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 x172 -x173
1799.93/1800.56	v -x174 x175 x176 x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195
1799.93/1800.56	v -x196 x197 -x198 -x199 -x200
1799.93/1800.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.56	c   54  2589441 351941  3080860     6428   783059   5182   1438 1800.00
1799.93/1800.56	c Objective: -46
1799.93/1800.56	s SATISFIABLE
1799.93/1800.56	c Total time: 1800 s

Verifier Data (download as text)

OK	-46

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-454260-1178023409 -o ROOT/results/node18/solver-454260-1178023409 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454260-1178023409/instance-454260-1178023409.opb 

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


[startup+0 s]
/proc/loadavg: 1.01 0.99 0.99 3/77 27661
/proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=11768 CPUtime=0
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 250258308 12050432 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 2942 342 288 324 0 2003 0

[startup+0.0871191 s]
/proc/loadavg: 1.01 0.99 0.99 3/77 27661
/proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=6084 CPUtime=0.07
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 918 0 0 0 7 0 0 0 18 0 1 0 250258308 6230016 879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 1521 879 312 324 0 590 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6084

[startup+0.102121 s]
/proc/loadavg: 1.01 0.99 0.99 3/77 27661
/proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=6216 CPUtime=0.09
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 250258308 6365184 936 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 1554 936 313 324 0 623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6216

[startup+0.302141 s]
/proc/loadavg: 1.01 0.99 0.99 3/77 27661
/proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=8724 CPUtime=0.29
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 1594 0 0 0 29 0 0 0 19 0 1 0 250258308 8933376 1555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 2181 1555 313 324 0 1250 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8724

[startup+0.701178 s]
/proc/loadavg: 1.01 0.99 0.99 3/77 27661
/proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=13248 CPUtime=0.69
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 2718 0 0 0 68 1 0 0 23 0 1 0 250258308 13565952 2679 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8302222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 3312 2679 313 324 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13248

[startup+1.50126 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1775096/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=14148 CPUtime=1.49
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 2964 0 0 0 148 1 0 0 25 0 1 0 250258308 14487552 2925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 3537 2925 313 324 0 2606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14148

[startup+3.10141 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1773816/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=15696 CPUtime=3.09
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 3346 0 0 0 307 2 0 0 25 0 1 0 250258308 16072704 3307 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 3924 3307 313 324 0 2993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15696

[startup+6.30172 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1772728/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=15196 CPUtime=6.29
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 3490 0 0 0 625 4 0 0 25 0 1 0 250258308 15560704 3188 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 3799 3188 313 324 0 2868 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15196

[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1772224/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=16864 CPUtime=12.69
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 3886 0 0 0 1263 6 0 0 25 0 1 0 250258308 17268736 3584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 4216 3584 313 324 0 3285 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16864

[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1771456/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=18272 CPUtime=25.48
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 4245 0 0 0 2540 8 0 0 25 0 1 0 250258308 18710528 3943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 4568 3943 313 324 0 3637 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18272

[startup+51.101 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1770048/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=19148 CPUtime=51.07
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 4462 0 0 0 5094 13 0 0 25 0 1 0 250258308 19607552 4160 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 4787 4160 313 324 0 3856 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19148

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1768192/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=21040 CPUtime=102.27
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 4935 0 0 0 10204 23 0 0 25 0 1 0 250258308 21544960 4633 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 5260 4633 313 324 0 4329 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21040

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1767040/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=22140 CPUtime=162.24
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5212 0 0 0 16190 34 0 0 25 0 1 0 250258308 22671360 4910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 5535 4910 313 324 0 4604 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22140

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1767040/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=22132 CPUtime=222.23
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5212 0 0 0 22178 45 0 0 25 0 1 0 250258308 22663168 4910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 5533 4910 313 324 0 4602 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22132

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1765760/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=23396 CPUtime=282.21
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5521 0 0 0 28164 57 0 0 25 0 1 0 250258308 23957504 5217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 5849 5217 313 324 0 4918 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 23396

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1765760/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=23360 CPUtime=342.2
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5522 0 0 0 34153 67 0 0 25 0 1 0 250258308 23920640 5218 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 5840 5218 313 324 0 4909 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23360

[startup+402.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24644 CPUtime=402.19
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5852 0 0 0 40141 78 0 0 25 0 1 0 250258308 25235456 5548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6161 5548 313 324 0 5230 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 24644

[startup+462.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24644 CPUtime=462.17
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5854 0 0 0 46128 89 0 0 25 0 1 0 250258308 25235456 5550 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6161 5550 313 324 0 5230 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 24644

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24700 CPUtime=522.16
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5857 0 0 0 52116 100 0 0 25 0 1 0 250258308 25292800 5553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6175 5553 313 324 0 5244 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 24700

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1763008/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26116 CPUtime=582.14
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6217 0 0 0 58103 111 0 0 25 0 1 0 250258308 26742784 5913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6529 5913 313 324 0 5598 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 26116

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27662
/proc/meminfo: memFree=1762944/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26116 CPUtime=642.13
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6220 0 0 0 64093 120 0 0 25 0 1 0 250258308 26742784 5916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6529 5916 313 324 0 5598 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 26116


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

/proc/meminfo: memFree=1763384/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24496 CPUtime=1061.98
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6225 0 0 0 105998 200 0 0 25 0 1 0 250258308 25083904 5513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6124 5513 313 324 0 5193 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 24496

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27860
/proc/meminfo: memFree=1764544/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24452 CPUtime=1121.9
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6225 0 0 0 111978 212 0 0 25 0 1 0 250258308 25038848 5502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6113 5502 313 324 0 5182 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 24452

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27860
/proc/meminfo: memFree=1764480/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24580 CPUtime=1181.88
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6245 0 0 0 117967 221 0 0 25 0 1 0 250258308 25169920 5522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6145 5522 313 324 0 5214 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 24580

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27860
/proc/meminfo: memFree=1764480/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24580 CPUtime=1241.87
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6245 0 0 0 123957 230 0 0 25 0 1 0 250258308 25169920 5522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6145 5522 313 324 0 5214 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 24580

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27860
/proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24580 CPUtime=1301.86
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6245 0 0 0 129946 240 0 0 25 0 1 0 250258308 25169920 5522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6145 5522 313 324 0 5214 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 24580

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27860
/proc/meminfo: memFree=1764480/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=24568 CPUtime=1361.84
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6250 0 0 0 135932 252 0 0 25 0 1 0 250258308 25157632 5527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6142 5527 313 324 0 5211 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 24568

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27860
/proc/meminfo: memFree=1763008/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26060 CPUtime=1421.83
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 141921 262 0 0 25 0 1 0 250258308 26685440 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6515 5893 313 324 0 5584 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 26060

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 27860
/proc/meminfo: memFree=1763008/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26044 CPUtime=1481.81
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 147910 271 0 0 25 0 1 0 250258308 26669056 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6511 5893 313 324 0 5580 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 26044

[startup+1542.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 27860
/proc/meminfo: memFree=1762944/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26040 CPUtime=1541.8
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 153899 281 0 0 25 0 1 0 250258308 26664960 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6510 5893 313 324 0 5579 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 26040

[startup+1602.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 27860
/proc/meminfo: memFree=1763072/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26024 CPUtime=1601.78
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 159887 291 0 0 25 0 1 0 250258308 26648576 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6506 5893 313 324 0 5575 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 26024

[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1763072/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26024 CPUtime=1661.77
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 165874 303 0 0 25 0 1 0 250258308 26648576 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6506 5893 313 324 0 5575 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 26024

[startup+1722.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 27860
/proc/meminfo: memFree=1763072/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=26024 CPUtime=1721.75
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 171862 313 0 0 25 0 1 0 250258308 26648576 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6506 5893 313 324 0 5575 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 26024

[startup+1782.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=27604 CPUtime=1781.74
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 177851 323 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6901 6281 313 324 0 5970 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 27604

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

[startup+1791.91 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=27604 CPUtime=1791.33
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 178809 324 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8293934 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6901 6281 313 324 0 5970 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 27604

[startup+1795.1 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=27604 CPUtime=1794.54
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179129 325 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6901 6281 313 324 0 5970 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 27604

[startup+1798.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=27604 CPUtime=1797.73
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179448 325 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6901 6281 313 324 0 5970 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 27604

[startup+1799.9 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=27604 CPUtime=1799.33
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179607 326 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6901 6281 313 324 0 5970 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 27604

[startup+1800.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=27604 CPUtime=1799.73
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179647 326 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6901 6281 313 324 0 5970 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 27604

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 27860
/proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956
[pid=27661] ppid=27659 vsize=27604 CPUtime=1799.93
/proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179667 326 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27661/statm: 6901 6281 313 324 0 5970 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 27604

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.01
CPU user time (s): 1796.74
CPU system time (s): 3.2665
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 27648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.74
system time used= 3.2665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7010
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= 37826

runsolver used 1.47278 second user time and 3.78742 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue May  1 12:43:29 UTC 2007

IDJOB= 454260
IDBENCH= 48185
IDSOLVER= 163
FILE ID= node18/454260-1178023409

PBS_JOBID= 4728370

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/mis/normalized-mis_200_10_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454260-1178023409/instance-454260-1178023409.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-454260-1178023409 -o ROOT/results/node18/solver-454260-1178023409 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454260-1178023409/instance-454260-1178023409.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  5255c8da63867fe6fe080ca048384827

RANDOM SEED= 332709445

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1786008 kB
Buffers:         62620 kB
Cached:         115708 kB
SwapCached:      14452 kB
Active:         141408 kB
Inactive:        60660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786008 kB
SwapTotal:     4192956 kB
SwapFree:      4147196 kB
Dirty:            6800 kB
Writeback:           0 kB
Mapped:          30180 kB
Slab:            53324 kB
Committed_AS:  7796104 kB
PageTables:       1776 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 node18 on Tue May  1 13:13:30 UTC 2007