Trace number 429764

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16OPT3 60.5608 60.5829

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.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/429764-1177988527/instance-429764-1177988527.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.39/20.42	c      100    560      909     8589    9     3060    5056    100   7142 0.01
20.39/20.42	c      251    560     1060    15568   14     3354    5562    251  10458 0.02
20.39/20.42	c      477    560     1286    25725   20     3794    6119    477  11634 0.04
20.39/20.42	c      815    560     1624    41604   25     4470    6731    815  11811 0.07
20.39/20.42	c     1323    560     2132    68650   32     5453    7405   1323  12721 0.10
20.39/20.42	c     2086    560     2895   107910   37     7020    8146   2086   9933 0.21
20.39/20.42	c     3232    560     4041   167356   41     9272    8961   3232   9533 0.34
20.39/20.42	c     4953    560     5762   243423   42    12688    9858   4953   7550 0.66
20.39/20.42	c     7538    560     8347   358274   42    17862   10844   7538   5242 1.44
20.39/20.42	c    11417    560     6539   279272   42    14214   11929   5730   4663 2.45
20.39/20.42	c    17239    559    12361   614032   49    25917   13122  11552   4330 3.98
20.39/20.42	c    25978    559     7547   338590   44    16317   14435   6738   3180 8.17
20.39/20.42	c    39088    559    13098   660928   50    27416   15879  12289   2743 14.25
20.39/20.42	o 19	20.408
42.47/42.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.47/42.54	c    54796    556    12153   593593   48    25484    4610  11344   2685 20.41
42.47/42.54	c    54897    556     3221   124571   38     7686    5072   2412   2676 20.51
42.47/42.54	c    55147    556     3471   136606   39     8073    5580   2662   2684 20.54
42.47/42.54	c    55622    556     3946   162679   41     9035    6139   3137   2702 20.58
42.47/42.54	c    56436    556     4760   205412   43    10744    6753   3951   2731 20.66
42.47/42.54	c    57756    556     6080   276479   45    13382    7429   5271   2770 20.84
42.47/42.54	c    59838    556     8162   381727   46    17531    8172   7353   2828 21.16
42.47/42.54	c    63062    556     7246   326890   45    15695    8990   6437   2870 21.97
42.47/42.54	c    67999    556     7381   321126   43    15956    9890   6572   2807 24.22
42.47/42.54	c    75506    556     9429   447125   47    20065   10880   8620   2859 26.41
42.47/42.54	c    86867    544     9418   428683   45    20070   11969   8609   2941 29.53
42.47/42.54	c   104011    534     8224   385463   46    17640   13166   7415   2730 38.09
42.47/42.54	o 9	42.532
47.67/47.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.67/47.73	c   117161    534     7538   335997   44    16284    4606   6729   2754 42.53
47.67/47.73	c   117261    534     3223   140964   43     7652    5067   2414   2754 42.57
47.67/47.73	c   117512    534     3474   153811   44     8154    5574   2665   2759 42.59
47.67/47.73	c   117988    534     3950   178029   45     9100    6132   3141   2767 42.64
47.67/47.73	c   118801    534     4763   219791   46    10708    6746   3954   2780 42.73
47.67/47.73	c   120121    534     6083   288269   47    13376    7421   5274   2797 42.94
47.67/47.73	c   122203    534     8165   390177   47    17541    8164   7356   2805 43.56
47.67/47.73	c   125427    534     7242   315748   43    15643    8981   6433   2785 45.03
47.67/47.73	c   130364    533     7530   323756   42    16265    9880   6721   2777 46.93
47.67/47.73	o 7	47.715
49.48/49.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.48/49.56	c   133414    524    10581   477068   45    22375    4604   9772   2796 47.72
49.48/49.56	c   133515    515     3226   124368   38     7691    5065   2417   2794 47.78
49.48/49.56	c   133765    515     3476   136868   39     8177    5572   2667   2796 47.83
49.48/49.56	c   134240    515     3951   162086   41     9145    6130   3142   2800 47.93
49.48/49.56	c   135054    515     4765   203626   42    10780    6744   3956   2804 48.16
49.48/49.56	c   136374    515     6085   270668   44    13388    7419   5276   2802 48.66
49.48/49.56	o 3	49.547
60.47/60.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.47/60.57	c   138279    515     7991   363748   45    17210    4602   7182   2790 49.55
60.47/60.57	c   138381    496     3228   120123   37     7699    5063   2419   2789 49.60
60.47/60.57	c   138631    496     3478   132860   38     8189    5570   2669   2793 49.63
60.47/60.57	c   139106    496     3953   157277   39     9174    6128   3144   2798 49.72
60.47/60.57	c   139920    496     4767   199015   41    10796    6741   3958   2808 49.82
60.47/60.57	c   141241    496     6088   262667   43    13418    7416   5279   2815 50.16
60.47/60.57	c   143323    496     8170   362197   44    17574    8158   7361   2811 50.98
60.47/60.57	c   146547    496     7105   311856   43    15462    8974   6296   2836 51.66
60.47/60.57	c   151483    493     7468   320911   42    16179    9872   6659   2854 53.06
60.47/60.57	c   158990    485     9927   408501   41    21117   10860   9118   2802 56.74
60.47/60.57	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.47/60.57	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.47/60.57	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.47/60.57	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.47/60.57	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.47/60.57	v -x146 -x147 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 -x149 -x150 -x151 -x152 -x153 -x154 x106 -x107 -x108 -x109 -x110
60.47/60.57	v x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 x164 x165 -x166 -x167 -x168
60.47/60.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
60.47/60.57	c   50   163828   1943   175775     9241   342838   8432   2705 60.55
60.47/60.57	c Objective: 3
60.47/60.57	s OPTIMUM FOUND
60.47/60.57	c Total time: 60.555 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/node9/watcher-429764-1177988527 -o ROOT/results/node9/solver-429764-1177988527 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429764-1177988527/instance-429764-1177988527.opb 

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 25969
/proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=3932 CPUtime=0
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 380 0 0 0 0 0 0 0 18 0 1 0 274890321 4026368 349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 983 349 292 324 0 50 0

[startup+0.074438 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 25969
/proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=4840 CPUtime=0.07
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 606 0 0 0 7 0 0 0 18 0 1 0 274890321 4956160 573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 1210 574 312 324 0 279 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4840

[startup+0.102441 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 25969
/proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=5100 CPUtime=0.09
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 686 0 0 0 9 0 0 0 18 0 1 0 274890321 5222400 653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 1275 653 312 324 0 344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5100

[startup+0.301466 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 25969
/proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=6388 CPUtime=0.29
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 1008 0 0 0 29 0 0 0 19 0 1 0 274890321 6541312 975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 1597 975 312 324 0 666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6388

[startup+0.701508 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 25969
/proc/meminfo: memFree=1759496/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=7936 CPUtime=0.69
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 1388 0 0 0 69 0 0 0 22 0 1 0 274890321 8126464 1355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 1984 1355 312 324 0 1053 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7936

[startup+1.5016 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1754688/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=9624 CPUtime=1.49
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 1825 0 0 0 148 1 0 0 25 0 1 0 274890321 9854976 1792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 2406 1792 312 324 0 1475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9624

[startup+3.10178 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1752512/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=12216 CPUtime=3.09
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 2467 0 0 0 307 2 0 0 25 0 1 0 274890321 12509184 2434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 3054 2434 312 324 0 2123 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12216

[startup+6.30114 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1748416/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=14520 CPUtime=6.28
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3038 0 0 0 626 2 0 0 25 0 1 0 274890321 14868480 3005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 3630 3005 312 324 0 2699 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14520

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1747224/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=15824 CPUtime=12.69
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3369 0 0 0 1265 4 0 0 25 0 1 0 274890321 16203776 3336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 3956 3336 312 324 0 3025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15824

[startup+25.5023 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1746200/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=16996 CPUtime=25.48
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 2541 7 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 4249 3629 313 324 0 3318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16996

[startup+51.1022 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=16996 CPUtime=51.07
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5094 13 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 4249 3629 313 324 0 3318 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16996

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

[startup+57.5019 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=16996 CPUtime=57.47
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5733 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 4249 3629 313 324 0 3318 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 16996

[startup+59.1011 s]
/proc/loadavg: 0.97 0.97 0.99 3/78 25970
/proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=16996 CPUtime=59.07
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5893 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 4249 3629 313 324 0 3318 0
Current children cumulated CPU time (s) 59.07
Current children cumulated vsize (KiB) 16996

[startup+59.9022 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=16996 CPUtime=59.87
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 5973 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 4249 3629 313 324 0 3318 0
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (KiB) 16996

[startup+60.3012 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1746264/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=16996 CPUtime=60.27
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 6013 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 4249 3629 313 324 0 3318 0
Current children cumulated CPU time (s) 60.27
Current children cumulated vsize (KiB) 16996

[startup+60.5043 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 25970
/proc/meminfo: memFree=1746328/2055920 swapFree=4145484/4192956
[pid=25969] ppid=25967 vsize=16996 CPUtime=60.47
/proc/25969/stat : 25969 (bsolo3.0.16) R 25967 25969 23781 0 -1 4194304 3662 0 0 0 6033 14 0 0 25 0 1 0 274890321 17403904 3629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25969/statm: 4249 3629 313 324 0 3318 0
Current children cumulated CPU time (s) 60.47
Current children cumulated vsize (KiB) 16996

Child status: 0
Real time (s): 60.5829
CPU time (s): 60.5608
CPU user time (s): 60.4088
CPU system time (s): 0.151976
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 16996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.4088
system time used= 0.151976
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= 129

runsolver used 0.044993 second user time and 0.141978 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue May  1 03:02:08 UTC 2007

IDJOB= 429764
IDBENCH= 47932
IDSOLVER= 163
FILE ID= node9/429764-1177988527

PBS_JOBID= 4728196

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=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.16 -t1800 -m1800 /tmp/evaluation/429764-1177988527/instance-429764-1177988527.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-429764-1177988527 -o ROOT/results/node9/solver-429764-1177988527 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429764-1177988527/instance-429764-1177988527.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  43e5891f3de726e47642c5b88db45e69

RANDOM SEED= 711384017

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1760096 kB
Buffers:         43256 kB
Cached:         163452 kB
SwapCached:      15448 kB
Active:         103440 kB
Inactive:       126948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760096 kB
SwapTotal:     4192956 kB
SwapFree:      4145484 kB
Dirty:            6748 kB
Writeback:           0 kB
Mapped:          30600 kB
Slab:            51000 kB
Committed_AS:  6767976 kB
PageTables:       1788 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 node9 on Tue May  1 03:03:08 UTC 2007