Trace number 1879475

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbOPT3 771.33 771.521

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=137-P1=127-P2=347-B.opb
MD5SUMac77720b7f5b87daca561007155fe585
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 benchmark3.21651
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 variables54
Total number of constraints5
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 constraints5
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)162
Sum of products size (including duplicates)324
Number of different products162
Sum of products size324

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Generic Pseudo-Boolean Learning
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 HOME/instance-1879475-1245244087.opb
0.00/0.00	c File size is 11884 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 216 Constr: 331 162/0/169 Lit: 1377 Watch. Lit: 848
0.00/0.00	c Obj. Vars: 9 (4.16667 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    216      331     1377    4     1185    1835      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
8.19/8.26	c      100    216      531    15876   29     5747    2019    200   2777 0.04
8.19/8.26	c      250    216      797    35853   44    10698    2221    466   1213 0.21
8.19/8.26	c      476    216     1183    69759   58    14181    2444    852   1300 0.37
8.19/8.26	c      814    216     1837   120735   65    21993    2689   1506    920 0.88
8.19/8.26	c     1325    216     2792   195307   69    45421    2958   2461    633 2.09
8.19/8.26	c     2089    216     2499   178322   71    22066    3254   2168    593 3.52
8.19/8.26	c     3236    216     3019   212295   70    51440    3580   2688    498 6.49
8.19/8.26	o 17
8.39/8.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.48	c     4161    216     2616   191534   73    22761    1853   2285    503 8.26
8.39/8.48	c     4262    172     1448    94145   65    11332    2039   1117    510 8.36
8.39/8.48	o 3
771.30/771.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
771.30/771.51	c     4400    172     1688   111727   66    15770    1845   1357    518 8.48
771.30/771.51	c     4500    127     1883   126511   67    19059    2030   1552    524 8.58
771.30/771.51	c     4750    127     2364   162155   68    29947    2234   2033    531 8.93
771.30/771.51	c     5225    127     1991   122886   61    19566    2458   1660    534 9.78
771.30/771.51	c     6039    127     2195   141024   64    28433    2704   1864    529 11.41
771.30/771.51	c     7360    127     1706   104589   61    20616    2975   1375    494 14.88
771.30/771.51	c     9444    127     2396   158837   66    35087    3273   2065    452 20.89
771.30/771.51	c    12668    127     3160   219597   69    58606    3601   2829    375 33.74
771.30/771.51	c    17604    127     2745   188989   68    44480    3962   2414    357 49.29
771.30/771.51	c    25110    127     3971   285009   71    57678    4359   3640    288 87.14
771.30/771.51	c    36471    127     4118   298872   72    68877    4795   3787    235 154.60
771.30/771.51	c    53615    127     2929   211010   72    46081    5275   2598    203 263.69
771.30/771.51	c    79435    127     3260   229253   70    51344    5803   2929    178 444.93
771.30/771.51	c   118267    121     4090   285348   69    74945    6384   3759    165 713.49
771.30/771.51	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 x55 x56 -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 -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 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 
771.30/771.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
771.30/771.51	c   23   125030    762   127475     6241   422157   5910    162 771.33
771.30/771.51	c Objective: 3
771.30/771.51	s OPTIMUM FOUND
771.30/771.51	c Total time: 771.326 s

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879475-1245244087/watcher-1879475-1245244087 -o /tmp/evaluation-result-1879475-1245244087/solver-1879475-1245244087 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879475-1245244087.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 7237
/proc/meminfo: memFree=1799592/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=10708 CPUtime=0
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 192008916 10964992 256 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 2677 256 191 640 0 2033 0

[startup+0.0566691 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 7237
/proc/meminfo: memFree=1799592/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=11100 CPUtime=0.05
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 380 0 0 0 5 0 0 0 18 0 1 0 192008916 11366400 361 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 2775 361 197 640 0 2131 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11100

[startup+0.102673 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 7237
/proc/meminfo: memFree=1799592/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=11232 CPUtime=0.09
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 402 0 0 0 9 0 0 0 18 0 1 0 192008916 11501568 383 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 2808 383 197 640 0 2164 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11232

[startup+0.301691 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 7237
/proc/meminfo: memFree=1799592/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=11888 CPUtime=0.29
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 565 0 0 0 29 0 0 0 19 0 1 0 192008916 12173312 546 1992294400 134512640 137136520 4294956256 18446744073709551615 136502442 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 2972 546 197 640 0 2328 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11888

[startup+0.70273 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 7237
/proc/meminfo: memFree=1799592/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=12676 CPUtime=0.69
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 755 0 0 0 69 0 0 0 23 0 1 0 192008916 12980224 736 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 3169 736 197 640 0 2525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12676

[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1796704/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=13996 CPUtime=1.49
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 1093 0 0 0 149 0 0 0 25 0 1 0 192008916 14331904 1074 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 3499 1074 198 640 0 2855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13996

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1795232/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=15560 CPUtime=3.09
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 1500 0 0 0 308 1 0 0 25 0 1 0 192008916 15933440 1481 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 3890 1481 198 640 0 3246 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15560

[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1793832/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=15956 CPUtime=6.29
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 1597 0 0 0 627 2 0 0 25 0 1 0 192008916 16338944 1578 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 3989 1578 198 640 0 3345 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15956

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1792872/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=16876 CPUtime=12.69
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 1810 0 0 0 1267 2 0 0 25 0 1 0 192008916 17281024 1791 1992294400 134512640 137136520 4294956256 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 4219 1791 198 640 0 3575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16876

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1792872/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=16872 CPUtime=25.48
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 1810 0 0 0 2546 2 0 0 25 0 1 0 192008916 17276928 1791 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 4218 1791 198 640 0 3574 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16872

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1792680/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=17136 CPUtime=51.08
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 1899 0 0 0 5104 4 0 0 25 0 1 0 192008916 17547264 1880 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 4284 1880 198 640 0 3640 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17136

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1791528/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=18188 CPUtime=102.27
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2160 0 0 0 10221 6 0 0 25 0 1 0 192008916 18624512 2141 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 4547 2141 198 640 0 3903 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18188

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1790632/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=19108 CPUtime=162.25
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2382 0 0 0 16217 8 0 0 25 0 1 0 192008916 19566592 2363 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 4777 2363 198 640 0 4133 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19108

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1790312/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=19492 CPUtime=222.24
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2477 0 0 0 22213 11 0 0 25 0 1 0 192008916 19959808 2458 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 4873 2458 198 640 0 4229 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 19492

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1790120/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=19756 CPUtime=282.22
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2538 0 0 0 28209 13 0 0 25 0 1 0 192008916 20230144 2519 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 4939 2519 198 640 0 4295 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19756

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1789608/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=20144 CPUtime=342.2
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2646 0 0 0 34205 15 0 0 25 0 1 0 192008916 20627456 2627 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5036 2627 198 640 0 4392 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20144

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1789352/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=20404 CPUtime=402.19
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2711 0 0 0 40202 17 0 0 25 0 1 0 192008916 20893696 2692 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5101 2692 198 640 0 4457 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 20404

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1789288/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=20408 CPUtime=462.17
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2712 0 0 0 46198 19 0 0 25 0 1 0 192008916 20897792 2693 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5102 2693 198 640 0 4458 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 20408

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1788328/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21328 CPUtime=522.16
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2940 0 0 0 52194 22 0 0 25 0 1 0 192008916 21839872 2921 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5332 2921 198 640 0 4688 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 21328

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1788264/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21328 CPUtime=582.15
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2940 0 0 0 58191 24 0 0 25 0 1 0 192008916 21839872 2921 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5332 2921 198 640 0 4688 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 21328

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1788264/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21328 CPUtime=642.13
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2940 0 0 0 64188 25 0 0 25 0 1 0 192008916 21839872 2921 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5332 2921 198 640 0 4688 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 21328

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1788072/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21328 CPUtime=702.12
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2940 0 0 0 70184 28 0 0 25 0 1 0 192008916 21839872 2921 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5332 2921 198 640 0 4688 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 21328

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1787944/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21588 CPUtime=762.1
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2997 0 0 0 76181 29 0 0 25 0 1 0 192008916 22106112 2978 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5397 2978 198 640 0 4753 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 21588

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

[startup+767.901 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1787944/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21588 CPUtime=767.7
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2997 0 0 0 76740 30 0 0 25 0 1 0 192008916 22106112 2978 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5397 2978 198 640 0 4753 0
Current children cumulated CPU time (s) 767.7
Current children cumulated vsize (KiB) 21588

[startup+769.502 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1787944/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21588 CPUtime=769.3
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2997 0 0 0 76900 30 0 0 25 0 1 0 192008916 22106112 2978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5397 2978 198 640 0 4753 0
Current children cumulated CPU time (s) 769.3
Current children cumulated vsize (KiB) 21588

[startup+770.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1787944/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21588 CPUtime=770.1
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2997 0 0 0 76980 30 0 0 25 0 1 0 192008916 22106112 2978 1992294400 134512640 137136520 4294956256 18446744073709551615 136500556 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5397 2978 198 640 0 4753 0
Current children cumulated CPU time (s) 770.1
Current children cumulated vsize (KiB) 21588

[startup+771.107 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1787944/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21588 CPUtime=770.91
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2997 0 0 0 77061 30 0 0 25 0 1 0 192008916 22106112 2978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5397 2978 198 640 0 4753 0
Current children cumulated CPU time (s) 770.91
Current children cumulated vsize (KiB) 21588

[startup+771.502 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7238
/proc/meminfo: memFree=1787944/2055920 swapFree=4181660/4192956
[pid=7237] ppid=7235 vsize=21588 CPUtime=771.3
/proc/7237/stat : 7237 (bsolo) R 7235 7237 6484 0 -1 4194304 2997 0 0 0 77100 30 0 0 25 0 1 0 192008916 22106112 2978 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7237/statm: 5397 2978 198 640 0 4753 0
Current children cumulated CPU time (s) 771.3
Current children cumulated vsize (KiB) 21588

Child status: 0
Real time (s): 771.521
CPU time (s): 771.33
CPU user time (s): 771.024
CPU system time (s): 0.305953
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 21588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 771.024
system time used= 0.305953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2999
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= 2
involuntary context switches= 1519

runsolver used 0.611906 second user time and 2.19966 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-17 15:08:07
IDJOB=1879475
IDBENCH=48025
IDSOLVER=701
FILE ID=node18/1879475-1245244087
PBS_JOBID= 9372320
Free space on /tmp= 66172 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=137-P1=127-P2=347-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879475-1245244087/watcher-1879475-1245244087 -o /tmp/evaluation-result-1879475-1245244087/solver-1879475-1245244087 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879475-1245244087.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ac77720b7f5b87daca561007155fe585
RANDOM SEED=767205681

node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.236
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.236
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:       1800072 kB
Buffers:         39336 kB
Cached:         143704 kB
SwapCached:       5592 kB
Active:          72656 kB
Inactive:       118312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800072 kB
SwapTotal:     4192956 kB
SwapFree:      4181660 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          13044 kB
Slab:            50896 kB
Committed_AS:   171076 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879475-1245244087.opb

Free space on /tmp at the end= 66168 MiB
End job on node18 at 2009-06-17 15:20:59