Trace number 431514

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 1772.98 1773.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb
MD5SUMea08c66c9e8e41f4a763233d2f14489d
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.266959
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 variables135
Total number of constraints11
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 constraints11
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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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/431514-1178006937/instance-431514-1178006937.opb
0.00/0.00	c File size is 7079 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.003 s
0.00/0.00	c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117
0.00/0.00	c Obj. Vars: 9 (1.66667 % 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    540      826     3456    4     2973    4616      0      0 0.01
0.00/0.01	c Switching off LPR mode.
822.69/822.93	c      101    540      927    10429   11     3138    5078    101   5315 0.02
822.69/822.93	c      251    540     1077    21623   20     3411    5586    251   8366 0.03
822.69/822.93	c      476    540     1302    40579   31     3777    6145    476   9333 0.05
822.69/822.93	c      815    540     1641    66800   40     4532    6760    815   8763 0.09
822.69/822.93	c     1323    540     2149   114059   53     5446    7437   1323   9450 0.14
822.69/822.93	c     2086    540     2912   177315   60     6963    8181   2086   8619 0.24
822.69/822.93	c     3233    540     4059   267026   65     9212    9000   3233   6792 0.48
822.69/822.93	c     4954    540     5780   401058   69    12673    9901   4954   5225 0.95
822.69/822.93	c     7539    540     8365   600663   71    17817   10892   7539   3628 2.08
822.69/822.93	c    11419    540     6719   455488   67    14545   11982   5893   2397 4.76
822.69/822.93	c    17242    540    12542   962290   76    26294   13181  11716   2630 6.55
822.69/822.93	c    25981    540     7418   544108   73    16006   14500   6592   3021 8.60
822.69/822.93	c    39091    540    13093  1026535   78    27282   15951  12267   2472 15.81
822.69/822.93	c    58761    540    16522  1188975   71    34137   17547  15696   2079 28.26
822.69/822.93	c    88272    540    10109   769052   76    21404   19302   9283   1672 52.77
822.69/822.93	c   132543    540    15394  1086220   70    31982   21233  14568   1390 95.33
822.69/822.93	c   198954    540    15317  1216159   79    31788   23357  14491   1247 159.50
822.69/822.93	c   298575    540    11839   828423   69    24758   25693  11013   1121 266.29
822.69/822.93	c   448010    540    13244  1039680   78    27723   28263  12418    971 461.39
822.69/822.93	c   672169    539    13619   993877   72    28441   31090  12793    849 791.52
822.69/822.93	o 3	822.727
1772.96/1773.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1772.96/1773.40	c   689458    539    30909  2386653   77    63061    4634  30083    838 822.73
1772.96/1773.40	c   689559    519     3246   197538   60     7710    5098   2420    837 823.75
1772.96/1773.40	c   689809    519     3496   218421   62     8202    5608   2670    837 823.79
1772.96/1773.40	c   690284    519     3971   258073   64     9090    6169   3145    837 823.85
1772.96/1773.40	c   691098    519     4785   329831   68    10718    6786   3959    838 824.01
1772.96/1773.40	c   692419    519     6106   445912   73    13333    7465   5280    840 824.24
1772.96/1773.40	c   694501    519     8188   623511   76    17578    8212   7362    842 824.77
1772.96/1773.40	c   697724    476     7189   545330   75    15635    9034   6363    845 825.70
1772.96/1773.40	c   702660    466     7372   550687   74    15919    9938   6546    849 827.43
1772.96/1773.40	c   710166    466     9450   731084   77    20062   10932   8624    856 829.27
1772.96/1773.40	c   721528    466     9587   715115   74    20361   12026   8761    862 837.00
1772.96/1773.40	c   738673    450     7787   555587   71    16732   13229   6961    871 847.16
1772.96/1773.40	c   764493    450    13305   975746   73    27826   14552  12479    883 865.60
1772.96/1773.40	c   803326    449    14365  1050757   73    29941   16008  13539    899 892.87
1772.96/1773.40	c   861678    449    13792  1109507   80    28804   17609  12966    923 932.67
1772.96/1773.40	c   949311    449    11369   828914   72    23936   19370  10543    922 1029.16
1772.96/1773.40	c  1080863    449    12898   998660   77    26952   21308  12072    926 1166.47
1772.96/1773.40	c  1278297    448    15038  1164363   77    31330   23439  14212    900 1419.98
1772.96/1773.40	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
1772.96/1773.40	v 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 -x57 -x58 -x59
1772.96/1773.40	v -x60 -x61 -x62 -x63 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x100 -x101 -x102 -x103
1772.96/1773.40	v -x104 -x105 -x106 -x107 -x108 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1772.96/1773.40	v x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132
1772.96/1773.40	v -x133 -x134 -x135
1772.96/1773.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1772.96/1773.40	c   38  1537392   4792  1555360    21016  1477633  20190    867 1772.97
1772.96/1773.40	c Objective: 3
1772.96/1773.40	s OPTIMUM FOUND
1772.96/1773.40	c Total time: 1772.97 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/node51/watcher-431514-1178006937 -o ROOT/results/node51/solver-431514-1178006937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431514-1178006937/instance-431514-1178006937.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.88 0.94 0.98 3/64 4593
/proc/meminfo: memFree=1813704/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=3932 CPUtime=0
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 155538851 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 983 348 291 324 0 50 0

[startup+0.0771931 s]
/proc/loadavg: 0.88 0.94 0.98 3/64 4593
/proc/meminfo: memFree=1813704/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=4976 CPUtime=0.07
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 643 0 0 0 7 0 0 0 18 0 1 0 155538851 5095424 610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 1244 611 312 324 0 313 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4976

[startup+0.101194 s]
/proc/loadavg: 0.88 0.94 0.98 3/64 4593
/proc/meminfo: memFree=1813704/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=5108 CPUtime=0.09
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 155538851 5230592 663 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 1277 663 312 324 0 346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5108

[startup+0.301212 s]
/proc/loadavg: 0.88 0.94 0.98 3/64 4593
/proc/meminfo: memFree=1813704/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=6916 CPUtime=0.29
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 1148 0 0 0 28 1 0 0 19 0 1 0 155538851 7081984 1115 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 1729 1115 312 324 0 798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6916

[startup+0.701248 s]
/proc/loadavg: 0.88 0.94 0.98 3/64 4593
/proc/meminfo: memFree=1813704/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=8844 CPUtime=0.69
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 1632 0 0 0 68 1 0 0 22 0 1 0 155538851 9056256 1599 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 2211 1599 312 324 0 1280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8844

[startup+1.50132 s]
/proc/loadavg: 0.88 0.94 0.98 2/65 4594
/proc/meminfo: memFree=1807360/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=11292 CPUtime=1.49
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 2250 0 0 0 148 1 0 0 25 0 1 0 155538851 11563008 2217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 2823 2217 312 324 0 1892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11292

[startup+3.10246 s]
/proc/loadavg: 0.88 0.94 0.98 2/65 4594
/proc/meminfo: memFree=1804544/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=14132 CPUtime=3.09
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 2943 0 0 0 307 2 0 0 25 0 1 0 155538851 14471168 2910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 3533 2910 312 324 0 2602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14132

[startup+6.30175 s]
/proc/loadavg: 0.89 0.94 0.98 2/65 4594
/proc/meminfo: memFree=1800768/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=16824 CPUtime=6.29
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 3609 0 0 0 626 3 0 0 25 0 1 0 155538851 17227776 3576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 4206 3576 312 324 0 3275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16824

[startup+12.7013 s]
/proc/loadavg: 0.90 0.94 0.98 2/65 4594
/proc/meminfo: memFree=1795816/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=21344 CPUtime=12.69
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 4752 0 0 0 1263 6 0 0 25 0 1 0 155538851 21856256 4719 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 5336 4719 312 324 0 4405 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21344

[startup+25.5015 s]
/proc/loadavg: 0.92 0.94 0.98 2/65 4594
/proc/meminfo: memFree=1794344/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=22892 CPUtime=25.49
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 5149 0 0 0 2540 9 0 0 25 0 1 0 155538851 23441408 5116 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 5723 5116 312 324 0 4792 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22892

[startup+51.1018 s]
/proc/loadavg: 0.95 0.95 0.98 2/65 4594
/proc/meminfo: memFree=1791848/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=25388 CPUtime=51.08
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 5759 0 0 0 5095 13 0 0 25 0 1 0 155538851 25997312 5726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 6347 5726 312 324 0 5416 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25388

[startup+102.305 s]
/proc/loadavg: 0.97 0.95 0.98 2/65 4596
/proc/meminfo: memFree=1788968/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=28288 CPUtime=102.26
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 6492 0 0 0 10205 21 0 0 25 0 1 0 155538851 28966912 6455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 7072 6455 312 324 0 6141 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28288

[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.98 2/65 4596
/proc/meminfo: memFree=1786600/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=32404 CPUtime=162.25
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 7522 0 0 0 16195 30 0 0 25 0 1 0 155538851 33181696 7485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 8101 7485 312 324 0 7170 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32404

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.98 2/65 4596
/proc/meminfo: memFree=1784040/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=33160 CPUtime=222.23
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 7734 0 0 0 22188 35 0 0 25 0 1 0 155538851 33955840 7684 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 8290 7684 312 324 0 7359 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 33160

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4596
/proc/meminfo: memFree=1784040/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=33164 CPUtime=282.22
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 7734 0 0 0 28180 42 0 0 25 0 1 0 155538851 33959936 7684 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 8291 7684 312 324 0 7360 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 33164

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4596
/proc/meminfo: memFree=1783976/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=33168 CPUtime=342.2
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 7735 0 0 0 34173 47 0 0 25 0 1 0 155538851 33964032 7685 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 8292 7685 312 324 0 7361 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 33168

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4596
/proc/meminfo: memFree=1783976/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=33168 CPUtime=402.19
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 7735 0 0 0 40166 53 0 0 25 0 1 0 155538851 33964032 7685 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3059342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 8292 7685 312 324 0 7361 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 33168

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4596
/proc/meminfo: memFree=1781672/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=35468 CPUtime=462.17
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 8313 0 0 0 46158 59 0 0 25 0 1 0 155538851 36319232 8261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 8867 8261 312 324 0 7936 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 35468

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4596
/proc/meminfo: memFree=1779752/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=37404 CPUtime=522.16
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 8795 0 0 0 52150 66 0 0 25 0 1 0 155538851 38301696 8743 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9351 8743 312 324 0 8420 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 37404

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4596
/proc/meminfo: memFree=1779752/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=37376 CPUtime=582.15
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 8795 0 0 0 58144 71 0 0 25 0 1 0 155538851 38273024 8738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9344 8738 312 324 0 8413 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 37376

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4596
/proc/meminfo: memFree=1779752/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=37372 CPUtime=642.14
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 8795 0 0 0 64136 78 0 0 25 0 1 0 155538851 38268928 8737 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9343 8737 312 324 0 8412 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 37372


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

/proc/meminfo: memFree=1778984/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1182
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 118055 145 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 38044

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4596
/proc/meminfo: memFree=1778984/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1241.99
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 124049 150 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 38044

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4596
/proc/meminfo: memFree=1778984/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1301.97
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 130040 157 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 38044

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4596
/proc/meminfo: memFree=1778984/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1361.96
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 136031 165 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 38044

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1421.95
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 142024 171 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 38044

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/65 4596
/proc/meminfo: memFree=1778984/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1481.92
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 148017 175 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 38044

[startup+1542.3 s]
/proc/loadavg: 1.04 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1541.92
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 154009 183 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 38044

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1601.9
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 160002 188 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 38044

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1661.88
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 165993 195 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 38044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1721.87
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 171985 202 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 38044

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

[startup+1740.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1740.26
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 173822 204 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1740.26
Current children cumulated vsize (KiB) 38044

[startup+1753.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1753.07
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 175101 206 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1753.07
Current children cumulated vsize (KiB) 38044

[startup+1766.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1765.86
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 176379 207 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1765.86
Current children cumulated vsize (KiB) 38044

[startup+1769.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1769.06
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 176698 208 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1769.06
Current children cumulated vsize (KiB) 38044

[startup+1771.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1770.66
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 176858 208 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1770.66
Current children cumulated vsize (KiB) 38044

[startup+1772.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1772.26
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 177017 209 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1772.26
Current children cumulated vsize (KiB) 38044

[startup+1773.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1772.67
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 177058 209 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1772.67
Current children cumulated vsize (KiB) 38044

[startup+1773.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1772.86
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 177077 209 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1772.86
Current children cumulated vsize (KiB) 38044

[startup+1773.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 4596
/proc/meminfo: memFree=1778920/2055920 swapFree=4183264/4192956
[pid=4593] ppid=4591 vsize=38044 CPUtime=1772.96
/proc/4593/stat : 4593 (bsolo3.0.16) R 4591 4593 3199 0 -1 4194304 9020 0 0 0 177087 209 0 0 25 0 1 0 155538851 38957056 8904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4593/statm: 9511 8904 313 324 0 8580 0
Current children cumulated CPU time (s) 1772.96
Current children cumulated vsize (KiB) 38044

Child status: 0
Real time (s): 1773.41
CPU time (s): 1772.98
CPU user time (s): 1770.88
CPU system time (s): 2.09768
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 38044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.88
system time used= 2.09768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9021
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= 10
involuntary context switches= 1168

runsolver used 1.40479 second user time and 3.44348 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue May  1 08:08:57 UTC 2007

IDJOB= 431514
IDBENCH= 48057
IDSOLVER= 163
FILE ID= node51/431514-1178006937

PBS_JOBID= 4728269

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=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431514-1178006937/instance-431514-1178006937.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-431514-1178006937 -o ROOT/results/node51/solver-431514-1178006937 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431514-1178006937/instance-431514-1178006937.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  ea08c66c9e8e41f4a763233d2f14489d

RANDOM SEED= 337650720

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1814048 kB
Buffers:         25708 kB
Cached:         143052 kB
SwapCached:       3552 kB
Active:          38412 kB
Inactive:       140048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1814048 kB
SwapTotal:     4192956 kB
SwapFree:      4183264 kB
Dirty:            6740 kB
Writeback:           0 kB
Mapped:          15496 kB
Slab:            49324 kB
Committed_AS:  4470968 kB
PageTables:       1408 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 node51 on Tue May  1 08:38:31 UTC 2007