Trace number 452865

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.17OPT3 60.4078 60.5171

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
MD5SUM43e5891f3de726e47642c5b88db45e69
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.145977
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 constraints17
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 constraints17
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/452865-1177988570/instance-452865-1177988570.opb
0.00/0.00	c File size is 7241 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
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: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106
0.00/0.00	c Obj. Vars: 7 (1.25 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    560      809     3409    4     2923    4596      0      0 0.01
0.00/0.01	c Switching off LPR mode.
20.18/20.28	c      100    560      909     8589    9     3060    5056    100   7142 0.01
20.18/20.28	c      251    560     1060    15568   14     3354    5562    251  10913 0.02
20.18/20.28	c      477    560     1286    25725   20     3794    6119    477  11925 0.04
20.18/20.28	c      815    560     1624    41604   25     4470    6731    815  11985 0.07
20.18/20.28	c     1323    560     2132    68650   32     5453    7405   1323  12844 0.10
20.18/20.28	c     2086    560     2895   107910   37     7020    8146   2086  10077 0.21
20.18/20.28	c     3232    560     4041   167356   41     9272    8961   3232   9647 0.34
20.18/20.28	c     4953    560     5762   243423   42    12688    9858   4953   7726 0.64
20.18/20.28	c     7538    560     8347   358274   42    17862   10844   7538   5399 1.40
20.18/20.28	c    11417    560     6539   279272   42    14214   11929   5730   4784 2.39
20.18/20.28	c    17239    559    12361   614032   49    25917   13122  11552   4420 3.90
20.18/20.28	c    25978    559     7547   338590   44    16317   14435   6738   3238 8.02
20.18/20.28	c    39088    559    13098   660928   50    27416   15879  12289   2774 14.09
20.18/20.28	o 19	20.268
42.16/42.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.16/42.27	c    54796    556    12153   593593   48    25484    4610  11344   2703 20.27
42.16/42.27	c    54897    556     3221   124571   38     7686    5072   2412   2695 20.37
42.16/42.27	c    55147    556     3471   136606   39     8073    5580   2662   2703 20.40
42.16/42.27	c    55622    556     3946   162679   41     9035    6139   3137   2721 20.44
42.16/42.27	c    56436    556     4760   205412   43    10744    6753   3951   2750 20.52
42.16/42.27	c    57756    556     6080   276479   45    13382    7429   5271   2790 20.70
42.16/42.27	c    59838    556     8162   381727   46    17531    8172   7353   2848 21.00
42.16/42.27	c    63062    556     7246   326890   45    15695    8990   6437   2891 21.81
42.16/42.27	c    67999    556     7381   321126   43    15956    9890   6572   2828 24.04
42.16/42.27	c    75506    556     9429   447125   47    20065   10880   8620   2880 26.21
42.16/42.27	c    86867    544     9418   428683   45    20070   11969   8609   2966 29.29
42.16/42.27	c   104011    534     8224   385463   46    17640   13166   7415   2750 37.82
42.16/42.27	o 9	42.25
47.36/47.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.36/47.42	c   117161    534     7538   335997   44    16284    4606   6729   2773 42.25
47.36/47.42	c   117261    534     3223   140964   43     7652    5067   2414   2772 42.29
47.36/47.42	c   117512    534     3474   153811   44     8154    5574   2665   2777 42.31
47.36/47.42	c   117988    534     3950   178029   45     9100    6132   3141   2785 42.36
47.36/47.42	c   118801    534     4763   219791   46    10708    6746   3954   2799 42.44
47.36/47.42	c   120121    534     6083   288269   47    13376    7421   5274   2816 42.65
47.36/47.42	c   122203    534     8165   390177   47    17541    8164   7356   2824 43.27
47.36/47.42	c   125427    534     7242   315748   43    15643    8981   6433   2804 44.73
47.36/47.42	c   130364    533     7530   323756   42    16265    9880   6721   2796 46.62
47.36/47.42	o 7	47.395
49.16/49.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.16/49.25	c   133414    524    10581   477068   45    22375    4604   9772   2814 47.40
49.16/49.25	c   133515    515     3226   124368   38     7691    5065   2417   2812 47.47
49.16/49.25	c   133765    515     3476   136868   39     8177    5572   2667   2815 47.51
49.16/49.25	c   134240    515     3951   162086   41     9145    6130   3142   2819 47.61
49.16/49.25	c   135054    515     4765   203626   42    10780    6744   3956   2823 47.84
49.16/49.25	c   136374    515     6085   270668   44    13388    7419   5276   2821 48.33
49.16/49.25	o 3	49.221
60.36/60.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.36/60.43	c   138279    515     7991   363748   45    17210    4602   7182   2809 49.22
60.36/60.43	c   138381    496     3228   120123   37     7699    5063   2419   2808 49.28
60.36/60.43	c   138631    496     3478   132860   38     8189    5570   2669   2811 49.30
60.36/60.43	c   139106    496     3953   157277   39     9174    6128   3144   2816 49.39
60.36/60.43	c   139920    496     4767   199015   41    10796    6741   3958   2827 49.49
60.36/60.43	c   141241    496     6088   262667   43    13418    7416   5279   2833 49.84
60.36/60.43	c   143323    496     8170   362197   44    17574    8158   7361   2828 50.67
60.36/60.43	c   146547    496     7105   311856   43    15462    8974   6296   2853 51.36
60.36/60.43	c   151483    493     7468   320911   42    16179    9872   6659   2870 52.78
60.36/60.43	c   158990    485     9927   408501   41    21117   10860   9118   2812 56.54
60.36/60.43	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
60.36/60.43	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
60.36/60.43	v -x60 x61 x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x71 -x72 -x73 -x74 -x75 -x76 -x77
60.36/60.43	v -x120 -x121 x122 -x123 -x124 -x125 -x126 x78 -x79 -x80 -x81 -x82 -x83 x84 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x85 -x86
60.36/60.43	v -x87 -x88 -x89 -x90 -x91 x134 -x135 -x136 -x137 -x138 x139 -x140 x92 x93 -x94 -x95 -x96 -x97 -x98 -x141 -x142 -x143 -x144 -x145
60.36/60.43	v -x146 -x147 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 -x149 -x150 -x151 -x152 -x153 -x154 x106 -x107 -x108 -x109 -x110
60.36/60.43	v x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 x165 -x166 -x167 -x168
60.36/60.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
60.36/60.43	c   50   163828   1943   175775     9241   342838   8432   2712 60.40
60.36/60.43	c Objective: 3
60.36/60.43	s OPTIMUM FOUND
60.36/60.43	c Total time: 60.401 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/node10/watcher-452865-1177988570 -o ROOT/results/node10/solver-452865-1177988570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452865-1177988570/instance-452865-1177988570.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.00 1.00 1.00 3/77 22183
/proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=3932 CPUtime=0
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 274894514 4026368 348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 983 349 290 324 0 51 0

[startup+0.053623 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22183
/proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=4580 CPUtime=0.04
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 555 0 0 0 4 0 0 0 18 0 1 0 274894514 4689920 523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 1145 523 310 324 0 215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4580

[startup+0.102633 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22183
/proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=5100 CPUtime=0.09
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 688 0 0 0 9 0 0 0 18 0 1 0 274894514 5222400 656 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 1275 656 310 324 0 345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5100

[startup+0.301682 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22183
/proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=6388 CPUtime=0.29
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 1012 0 0 0 29 0 0 0 19 0 1 0 274894514 6541312 980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 1597 980 310 324 0 667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6388

[startup+0.701762 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22183
/proc/meminfo: memFree=1703624/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=7936 CPUtime=0.69
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 1397 0 0 0 69 0 0 0 22 0 1 0 274894514 8126464 1365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 1984 1365 310 324 0 1054 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7936

[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1698560/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=9756 CPUtime=1.49
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 1842 0 0 0 148 1 0 0 25 0 1 0 274894514 9990144 1810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 2439 1810 310 324 0 1509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9756

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1696192/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=12216 CPUtime=3.09
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 2464 0 0 0 308 1 0 0 25 0 1 0 274894514 12509184 2432 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9339030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 3054 2432 310 324 0 2124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12216

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1692544/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=14520 CPUtime=6.29
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3035 0 0 0 627 2 0 0 25 0 1 0 274894514 14868480 3003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 3630 3003 310 324 0 2700 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14520

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1691072/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=15824 CPUtime=12.68
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3366 0 0 0 1266 2 0 0 25 0 1 0 274894514 16203776 3334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 3956 3334 310 324 0 3026 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15824

[startup+25.5021 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1689920/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=16996 CPUtime=25.48
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 2546 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 4249 3627 311 324 0 3319 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16996

[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1689920/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=16996 CPUtime=51.06
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5104 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 4249 3627 311 324 0 3319 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 16996

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

[startup+57.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=16996 CPUtime=57.46
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5744 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 4249 3627 311 324 0 3319 0
Current children cumulated CPU time (s) 57.46
Current children cumulated vsize (KiB) 16996

[startup+59.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=16996 CPUtime=59.06
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5904 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 4249 3627 311 324 0 3319 0
Current children cumulated CPU time (s) 59.06
Current children cumulated vsize (KiB) 16996

[startup+59.9015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=16996 CPUtime=59.85
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 5983 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 4249 3627 311 324 0 3319 0
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (KiB) 16996

[startup+60.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=16996 CPUtime=60.25
/proc/22183/stat : 22183 (bsolo3.0.17) R 22181 22183 20151 0 -1 4194304 3659 0 0 0 6023 2 0 0 25 0 1 0 274894514 17403904 3627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22183/statm: 4249 3627 311 324 0 3319 0
Current children cumulated CPU time (s) 60.25
Current children cumulated vsize (KiB) 16996

[startup+60.5056 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22184
/proc/meminfo: memFree=1689984/2055920 swapFree=4145504/4192956
[pid=22183] ppid=22181 vsize=0 CPUtime=60.4
/proc/22183/stat : 22183 (bsolo3.0.17) D 22181 22183 20151 0 -1 4194308 3663 0 0 0 6037 3 0 0 25 0 1 0 274894514 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/22183/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 60.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 60.5171
CPU time (s): 60.4078
CPU user time (s): 60.3758
CPU system time (s): 0.031995
CPU usage (%): 99.8194
Max. virtual memory (cumulated for all children) (KiB): 16996

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

runsolver used 0.051992 second user time and 0.12698 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue May  1 03:02:50 UTC 2007

IDJOB= 452865
IDBENCH= 47932
IDSOLVER= 199
FILE ID= node10/452865-1177988570

PBS_JOBID= 4728131

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452865-1177988570/instance-452865-1177988570.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-452865-1177988570 -o ROOT/results/node10/solver-452865-1177988570 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452865-1177988570/instance-452865-1177988570.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  43e5891f3de726e47642c5b88db45e69

RANDOM SEED= 412541016

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.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.259
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.259
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:       1704032 kB
Buffers:         32424 kB
Cached:         220504 kB
SwapCached:      15808 kB
Active:         104352 kB
Inactive:       181252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1704032 kB
SwapTotal:     4192956 kB
SwapFree:      4145504 kB
Dirty:            6800 kB
Writeback:           0 kB
Mapped:          30776 kB
Slab:            51916 kB
Committed_AS:  3860300 kB
PageTables:       1712 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 node10 on Tue May  1 03:03:51 UTC 2007