Trace number 349894

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.16? 1800.01 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
MD5SUMccdf85c0efcf9b688264aa74ef25462f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5830
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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/349894-1176725890/instance-349894-1176725890.opb
0.00/0.00	c File size is 9107 bytes.
0.00/0.00	c Highest Coefficient sum: 5830
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 71 Constr: 17 1/0/16 Lit: 1119 Watch. Lit: 363
0.00/0.00	c Obj. Vars: 1 (1.40845 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     70       16     1118   69      370    2236      0      0 0.00
0.00/0.00	c Switching off LPR mode.
1799.96/1800.53	c      100     70      116     6371   54      760    2460    100   9090 0.01
1799.96/1800.53	c      250     70      266    14598   54     1071    2707    250  11363 0.02
1799.96/1800.53	c      475     70      491    26741   54     1527    2978    475  11875 0.04
1799.96/1800.53	c      814     70      830    45585   54     2212    3276    814  11464 0.07
1799.96/1800.53	c     1323     70     1339    73538   54     3236    3604   1323  10844 0.12
1799.96/1800.53	c     2086     70     2102   115045   54     4745    3965   2086  10175 0.20
1799.96/1800.53	c     3232     70     3248   178179   54     7031    4362   3232   8505 0.38
1799.96/1800.53	c     4954     70     2735   153492   56     6035    4799   2719   7026 0.70
1799.96/1800.53	c     7539     70     2865   162672   56     6278    5279   2849   5790 1.30
1799.96/1800.53	c    11418     70     4060   230225   56     8692    5807   4044   5434 2.10
1799.96/1800.53	c    17240     70     3965   227999   57     8504    6388   3949   4886 3.53
1799.96/1800.53	c    25977     70     6197   359126   57    12966    7027   6181   4410 5.89
1799.96/1800.53	c    39087     70     5043   289387   57    10646    7730   5027   3819 10.23
1799.96/1800.53	c    58758     70     5135   295227   57    10840    8504   5119   3356 17.51
1799.96/1800.53	c    88268     70     4554   263620   57     9658    9355   4538   3033 29.09
1799.96/1800.53	c   132538     70     6298   361741   57    13165   10291   6282   2691 49.24
1799.96/1800.53	c   198948     70     5168   293465   56    10909   11321   5152   2441 81.48
1799.96/1800.53	c   298568     70     7692   447610   58    15954   12454   7676   2169 137.65
1799.96/1800.53	c   448004     70     6537   379217   58    13640   13700   6521   1970 227.35
1799.96/1800.53	c   672162     70     9836   572187   58    20238   15071   9820   1815 370.31
1799.96/1800.53	c  1008405     70    12304   718047   58    25180   16579  12288   1598 630.86
1799.96/1800.53	c  1512776     70    16340   932194   57    33249   18237  16324   1436 1052.74
1799.96/1800.53	c  2269339     70    11939   689840   57    24442   20061  11923   1271 1784.95
1799.96/1800.53	c Resources Exceeded
1799.96/1800.53	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.53	c   23  2286344    292  2287336    18856  1076327  18840   1270 1800.00
1799.96/1800.53	s UNKNOWN
1799.96/1800.53	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-349894-1176725890 -o ROOT/results/node11/solver-349894-1176725890 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349894-1176725890/instance-349894-1176725890.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.98 3/77 21478
/proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=19560 CPUtime=0
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 113637949 20029440 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 4890 335 282 324 0 3956 0

[startup+0.086572 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 21478
/proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=12512 CPUtime=0.08
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 593 0 0 0 8 0 0 0 18 0 1 0 113637949 12812288 558 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 3128 558 312 324 0 2197 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12512

[startup+0.101574 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 21478
/proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=12644 CPUtime=0.09
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 625 0 0 0 9 0 0 0 18 0 1 0 113637949 12947456 590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 3161 590 312 324 0 2230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12644

[startup+0.301598 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 21478
/proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=14060 CPUtime=0.29
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 964 0 0 0 29 0 0 0 19 0 1 0 113637949 14397440 929 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 3515 929 312 324 0 2584 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14060

[startup+0.701646 s]
/proc/loadavg: 0.91 0.97 0.98 3/77 21478
/proc/meminfo: memFree=1519176/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=15356 CPUtime=0.69
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1313 0 0 0 69 0 0 0 22 0 1 0 113637949 15724544 1278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 3839 1278 312 324 0 2908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15356

[startup+1.50274 s]
/proc/loadavg: 0.91 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1515328/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=15868 CPUtime=1.49
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1420 0 0 0 148 1 0 0 25 0 1 0 113637949 16248832 1385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 3967 1385 312 324 0 3036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15868

[startup+3.10193 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1514368/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=16764 CPUtime=3.09
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1640 0 0 0 308 1 0 0 25 0 1 0 113637949 17166336 1605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 4191 1605 312 324 0 3260 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16764

[startup+6.30131 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1513152/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=17800 CPUtime=6.29
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 1924 0 0 0 626 3 0 0 25 0 1 0 113637949 18227200 1889 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 4450 1889 312 324 0 3519 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17800

[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1512064/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=18420 CPUtime=12.69
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2056 0 0 0 1265 4 0 0 25 0 1 0 113637949 18862080 2021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 4605 2021 312 324 0 3674 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18420

[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1511360/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=19064 CPUtime=25.48
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2233 0 0 0 2541 7 0 0 25 0 1 0 113637949 19521536 2198 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 4766 2198 312 324 0 3835 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19064

[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1510464/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=20612 CPUtime=51.08
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2610 0 0 0 5096 12 0 0 25 0 1 0 113637949 21106688 2575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 5153 2575 312 324 0 4222 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20612

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1508864/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=21584 CPUtime=102.27
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 2865 0 0 0 10206 21 0 0 25 0 1 0 113637949 22102016 2830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 5396 2830 312 324 0 4465 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21584

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1507968/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=22460 CPUtime=162.24
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3080 0 0 0 16194 30 0 0 25 0 1 0 113637949 22999040 3045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 5615 3045 312 324 0 4684 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22460

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1507776/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=22588 CPUtime=222.22
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3109 0 0 0 22181 41 0 0 25 0 1 0 113637949 23130112 3074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 5647 3074 312 324 0 4716 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22588

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1506624/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=23696 CPUtime=282.21
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3395 0 0 0 28171 50 0 0 25 0 1 0 113637949 24264704 3360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 5924 3360 312 324 0 4993 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 23696

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1506560/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=23696 CPUtime=342.19
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3395 0 0 0 34160 59 0 0 25 0 1 0 113637949 24264704 3360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 5924 3360 312 324 0 4993 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 23696

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1505536/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=24704 CPUtime=402.17
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3639 0 0 0 40149 68 0 0 25 0 1 0 113637949 25296896 3604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6176 3604 312 324 0 5245 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 24704

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 21479
/proc/meminfo: memFree=1505536/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=24696 CPUtime=462.15
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3639 0 0 0 46138 77 0 0 25 0 1 0 113637949 25288704 3604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6174 3604 312 324 0 5243 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 24696

[startup+522.302 s]
/proc/loadavg: 1.06 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1505472/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=24696 CPUtime=522.14
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3649 0 0 0 52129 85 0 0 25 0 1 0 113637949 25288704 3614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6174 3614 312 324 0 5243 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 24696

[startup+582.302 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1505408/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=24800 CPUtime=582.12
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3666 0 0 0 58118 94 0 0 25 0 1 0 113637949 25395200 3631 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6200 3631 312 324 0 5269 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 24800

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1504192/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=26056 CPUtime=642.11
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 3979 0 0 0 64109 102 0 0 25 0 1 0 113637949 26681344 3944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6514 3944 312 324 0 5583 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 26056


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

/proc/meminfo: memFree=1502976/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27212 CPUtime=1061.97
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4275 0 0 0 106037 160 0 0 25 0 1 0 113637949 27865088 4237 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6803 4237 312 324 0 5872 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 27212

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1502784/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27372 CPUtime=1121.96
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4311 0 0 0 112027 169 0 0 25 0 1 0 113637949 28028928 4273 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6843 4273 312 324 0 5912 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 27372

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1502464/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27644 CPUtime=1181.95
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 118018 177 0 0 25 0 1 0 113637949 28307456 4344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6911 4344 312 324 0 5980 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 27644

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1502400/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27600 CPUtime=1241.92
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 124007 185 0 0 25 0 1 0 113637949 28262400 4341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6900 4341 312 324 0 5969 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 27600

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1502400/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27588 CPUtime=1301.91
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 129998 193 0 0 25 0 1 0 113637949 28250112 4338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6897 4338 312 324 0 5966 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 27588

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1502336/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27584 CPUtime=1361.89
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 135986 203 0 0 25 0 1 0 113637949 28246016 4337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6896 4337 312 324 0 5965 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 27584

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21479
/proc/meminfo: memFree=1502400/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27568 CPUtime=1421.88
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 141978 210 0 0 25 0 1 0 113637949 28229632 4333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6892 4333 312 324 0 5961 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 27568

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1502336/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27564 CPUtime=1481.85
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 147967 218 0 0 25 0 1 0 113637949 28225536 4332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6891 4332 312 324 0 5960 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 27564

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1502336/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27564 CPUtime=1541.84
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4382 0 0 0 153959 225 0 0 25 0 1 0 113637949 28225536 4332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6891 4332 312 324 0 5960 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 27564

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1502208/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27752 CPUtime=1601.82
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4415 0 0 0 159951 231 0 0 25 0 1 0 113637949 28418048 4365 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6938 4365 312 324 0 6007 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 27752

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1502272/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27688 CPUtime=1661.8
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4415 0 0 0 165942 238 0 0 25 0 1 0 113637949 28352512 4363 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8412936 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6922 4363 312 324 0 5991 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 27688

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1502208/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27672 CPUtime=1721.79
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4415 0 0 0 171933 246 0 0 25 0 1 0 113637949 28336128 4359 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6918 4359 312 324 0 5987 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 27672

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1502144/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=27760 CPUtime=1781.76
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4436 0 0 0 177923 253 0 0 25 0 1 0 113637949 28426240 4380 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 6940 4380 312 324 0 6009 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 27760

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=28800 CPUtime=1791.36
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 178881 255 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 7200 4636 312 324 0 6269 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 28800

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=28800 CPUtime=1794.56
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179200 256 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 7200 4636 312 324 0 6269 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 28800

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=28800 CPUtime=1797.77
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179520 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 7200 4636 312 324 0 6269 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 28800

[startup+1799.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=28800 CPUtime=1799.36
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179679 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 7200 4636 312 324 0 6269 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 28800

[startup+1800.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=28800 CPUtime=1799.76
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179719 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 7200 4636 312 324 0 6269 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (KiB) 28800

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 21481
/proc/meminfo: memFree=1501120/2055920 swapFree=4146520/4192956
[pid=21478] ppid=21476 vsize=28800 CPUtime=1799.96
/proc/21478/stat : 21478 (bsolo3.0.16) R 21476 21478 20703 0 -1 4194304 4692 0 0 0 179739 257 0 0 25 0 1 0 113637949 29491200 4636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21478/statm: 7200 4636 312 324 0 6269 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 28800

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.01
CPU user time (s): 1797.43
CPU system time (s): 2.57761
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 28800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.43
system time used= 2.57761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4693
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= 11
involuntary context switches= 2741

runsolver used 2.17567 second user time and 4.23236 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Mon Apr 16 12:18:10 UTC 2007

IDJOB= 349894
IDBENCH= 2898
IDSOLVER= 163
FILE ID= node11/349894-1176725890

PBS_JOBID= 4559465

Free space on /tmp= 66374 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349894-1176725890/instance-349894-1176725890.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-349894-1176725890 -o ROOT/results/node11/solver-349894-1176725890 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349894-1176725890/instance-349894-1176725890.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  ccdf85c0efcf9b688264aa74ef25462f

RANDOM SEED= 806053251

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1519648 kB
Buffers:         34604 kB
Cached:         431536 kB
SwapCached:      15504 kB
Active:         271520 kB
Inactive:       219752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1519648 kB
SwapTotal:     4192956 kB
SwapFree:      4146520 kB
Dirty:            4408 kB
Writeback:           0 kB
Mapped:          31636 kB
Slab:            30396 kB
Committed_AS:  6123832 kB
PageTables:       1852 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= 66374 MiB

End job on node11 on Mon Apr 16 12:48:11 UTC 2007