Trace number 349868

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.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
MD5SUMdc0a3aac3e055af09a2312e5ef9f2aef
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 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5346
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/349868-1176724628/instance-349868-1176724628.opb
0.00/0.00	c File size is 8963 bytes.
0.00/0.00	c Highest Coefficient sum: 5346
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: 1099 Watch. Lit: 355
0.00/0.00	c Obj. Vars: 1 (1.40845 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 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     1098   68      357    2196      0      0 0.01
0.00/0.00	c Switching off LPR mode.
1799.92/1800.57	c      100     70      116     6334   54      753    2416    100   8333 0.01
1799.92/1800.57	c      250     70      266    14233   53     1064    2658    250  10000 0.03
1799.92/1800.57	c      476     70      492    26076   53     1517    2924    476  10347 0.05
1799.92/1800.57	c      814     70      830    43936   52     2194    3217    814  10303 0.08
1799.92/1800.57	c     1322     70     1338    70089   52     3203    3539   1322   9792 0.14
1799.92/1800.57	c     2085     70     2101   109302   52     4721    3893   2085   9308 0.22
1799.92/1800.57	c     3231     70     3247   171343   52     7035    4283   3231   8138 0.40
1799.92/1800.57	c     4952     70     2773   142709   51     6066    4712   2757   7413 0.67
1799.92/1800.57	c     7537     70     2948   153384   52     6430    5184   2932   6883 1.09
1799.92/1800.57	c    11416     70     4178   226667   54     8906    5703   4162   6420 1.78
1799.92/1800.57	c    17238     70     4204   236599   56     8960    6274   4188   5525 3.12
1799.92/1800.57	c    25975     70     3367   183094   54     7278    6902   3351   4585 5.66
1799.92/1800.57	c    39085     70     5959   338352   56    12464    7593   5943   4095 9.54
1799.92/1800.57	c    58756     70     6378   358128   56    13315    8353   6362   3654 16.08
1799.92/1800.57	c    88266     70     6328   339610   53    13212    9189   6312   3180 27.75
1799.92/1800.57	c   132536     70     8777   503003   57    18112   10108   8761   2840 46.66
1799.92/1800.57	c   198946     70     8854   498099   56    18267   11119   8838   2520 78.94
1799.92/1800.57	c   298567     70     7490   415199   55    15527   12231   7474   2230 133.87
1799.92/1800.57	c   448003     70     9044   521099   57    18647   13455   9028   1984 225.70
1799.92/1800.57	c   672161     70     9532   549702   57    19618   14801   9516   1781 377.31
1799.92/1800.57	c  1008404     70    10528   598461   56    21609   16282  10512   1627 619.79
1799.92/1800.57	c  1512775     70    15251   864200   56    31053   17911  15235   1463 1033.81
1799.92/1800.57	c  2269338     70    15431   874364   56    31418   19703  15415   1303 1741.45
1799.92/1800.57	c Resources Exceeded
1799.92/1800.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.92/1800.57	c   23  2332006   1756  2334463    18701  1059166  18685   1295 1800.00
1799.92/1800.57	s UNKNOWN
1799.92/1800.57	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/node63/watcher-349868-1176724628 -o ROOT/results/node63/solver-349868-1176724628 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349868-1176724628/instance-349868-1176724628.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.93 1.00 0.99 3/64 12357
/proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=19560 CPUtime=0
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 148452734 20029440 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 4890 335 282 324 0 3956 0

[startup+0.0469631 s]
/proc/loadavg: 0.93 1.00 0.99 3/64 12357
/proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=12124 CPUtime=0.04
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 494 0 0 0 4 0 0 0 18 0 1 0 148452734 12414976 459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 3031 459 312 324 0 2100 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12124

[startup+0.101967 s]
/proc/loadavg: 0.93 1.00 0.99 3/64 12357
/proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=12516 CPUtime=0.09
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 598 0 0 0 9 0 0 0 18 0 1 0 148452734 12816384 563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 3129 563 312 324 0 2198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12516

[startup+0.301988 s]
/proc/loadavg: 0.93 1.00 0.99 3/64 12357
/proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=13808 CPUtime=0.29
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 913 0 0 0 29 0 0 0 19 0 1 0 148452734 14139392 878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 3452 878 312 324 0 2521 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13808

[startup+0.701032 s]
/proc/loadavg: 0.93 1.00 0.99 3/64 12357
/proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=15100 CPUtime=0.68
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1249 0 0 0 68 0 0 0 22 0 1 0 148452734 15462400 1214 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 3775 1214 312 324 0 2844 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15100

[startup+1.50112 s]
/proc/loadavg: 0.93 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1779628/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=15876 CPUtime=1.48
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1444 0 0 0 147 1 0 0 25 0 1 0 148452734 16257024 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 3969 1409 312 324 0 3038 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15876

[startup+3.10129 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1778348/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=16528 CPUtime=3.09
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1600 0 0 0 307 2 0 0 25 0 1 0 148452734 16924672 1565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 4132 1565 312 324 0 3201 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16528

[startup+6.30163 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1777772/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=17044 CPUtime=6.29
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1717 0 0 0 626 3 0 0 25 0 1 0 148452734 17453056 1682 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 4261 1682 312 324 0 3330 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17044

[startup+12.7013 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1776684/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=18208 CPUtime=12.69
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2013 0 0 0 1264 5 0 0 25 0 1 0 148452734 18644992 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 4552 1978 312 324 0 3621 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18208

[startup+25.5017 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1776172/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=18728 CPUtime=25.48
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2140 0 0 0 2541 7 0 0 25 0 1 0 148452734 19177472 2105 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 4682 2105 312 324 0 3751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18728

[startup+51.1014 s]
/proc/loadavg: 0.97 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1774444/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=20380 CPUtime=51.08
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2561 0 0 0 5096 12 0 0 25 0 1 0 148452734 20869120 2526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 5095 2526 312 324 0 4164 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20380

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1773676/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=21248 CPUtime=102.27
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2779 0 0 0 10206 21 0 0 25 0 1 0 148452734 21757952 2744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 5312 2744 312 324 0 4381 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21248

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1772780/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=22080 CPUtime=162.25
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2995 0 0 0 16194 31 0 0 25 0 1 0 148452734 22609920 2960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 5520 2960 312 324 0 4589 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22080

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12358
/proc/meminfo: memFree=1772780/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=22052 CPUtime=222.23
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2995 0 0 0 22183 40 0 0 25 0 1 0 148452734 22581248 2954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 5513 2954 312 324 0 4582 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22052

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/71 12536
/proc/meminfo: memFree=1770100/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=23300 CPUtime=282.13
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3306 0 0 0 28163 50 0 0 25 0 1 0 148452734 23859200 3265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 5825 3265 312 324 0 4894 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 23300

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1771044/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=23376 CPUtime=342.09
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3324 0 0 0 34151 58 0 0 25 0 1 0 148452734 23937024 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 5844 3283 312 324 0 4913 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 23376

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1770212/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=24364 CPUtime=402.08
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3555 0 0 0 40141 67 0 0 25 0 1 0 148452734 24948736 3514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6091 3514 312 324 0 5160 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 24364

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1770276/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=24356 CPUtime=462.07
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3555 0 0 0 46132 75 0 0 25 0 1 0 148452734 24940544 3514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6089 3514 312 324 0 5158 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 24356

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1770276/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=24348 CPUtime=522.05
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3555 0 0 0 52122 83 0 0 25 0 1 0 148452734 24932352 3514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6087 3514 312 324 0 5156 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 24348

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1770212/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=24436 CPUtime=582.03
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3573 0 0 0 58110 93 0 0 25 0 1 0 148452734 25022464 3532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6109 3532 312 324 0 5178 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 24436

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1769068/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=25500 CPUtime=642.02
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3847 0 0 0 64100 102 0 0 25 0 1 0 148452734 26112000 3806 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6375 3806 312 324 0 5444 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 25500


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

/proc/meminfo: memFree=1767276/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27256 CPUtime=1061.91
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4300 0 0 0 106038 153 0 0 25 0 1 0 148452734 27910144 4247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6814 4247 312 324 0 5883 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 27256

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767212/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27340 CPUtime=1121.89
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 112028 161 0 0 25 0 1 0 148452734 27996160 4267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6835 4267 312 324 0 5904 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 27340

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767212/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27332 CPUtime=1181.87
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 118019 168 0 0 25 0 1 0 148452734 27987968 4267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6833 4267 312 324 0 5902 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 27332

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27272 CPUtime=1241.86
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 124011 175 0 0 25 0 1 0 148452734 27926528 4259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6818 4259 312 324 0 5887 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 27272

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27268 CPUtime=1301.85
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 130003 182 0 0 25 0 1 0 148452734 27922432 4258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6817 4258 312 324 0 5886 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 27268

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27264 CPUtime=1361.83
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 135994 189 0 0 25 0 1 0 148452734 27918336 4257 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6816 4257 312 324 0 5885 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 27264

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27260 CPUtime=1421.82
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 141987 195 0 0 25 0 1 0 148452734 27914240 4256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6815 4256 312 324 0 5884 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 27260

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27252 CPUtime=1481.8
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 147977 203 0 0 25 0 1 0 148452734 27906048 4254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3403468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6813 4254 312 324 0 5882 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 27252

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27248 CPUtime=1541.78
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 153969 209 0 0 25 0 1 0 148452734 27901952 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6812 4253 312 324 0 5881 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 27248

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27244 CPUtime=1601.77
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 159960 217 0 0 25 0 1 0 148452734 27897856 4252 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6811 4252 312 324 0 5880 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 27244

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27244 CPUtime=1661.76
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 165951 225 0 0 25 0 1 0 148452734 27897856 4252 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6811 4252 312 324 0 5880 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 27244

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=27240 CPUtime=1721.74
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 171941 233 0 0 25 0 1 0 148452734 27893760 4251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 6810 4251 312 324 0 5879 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 27240

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=28364 CPUtime=1781.72
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4598 0 0 0 177933 239 0 0 25 0 1 0 148452734 29044736 4529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 7091 4529 312 324 0 6160 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 28364

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

[startup+1791.9 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=28364 CPUtime=1791.32
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4598 0 0 0 178892 240 0 0 25 0 1 0 148452734 29044736 4529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 7091 4529 312 324 0 6160 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 28364

[startup+1795.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=28440 CPUtime=1794.52
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179212 240 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 7110 4538 312 324 0 6179 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 28440

[startup+1798.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=28440 CPUtime=1797.72
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179531 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 7110 4538 312 324 0 6179 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 28440

[startup+1799.9 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=28440 CPUtime=1799.32
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179691 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 7110 4538 312 324 0 6179 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (KiB) 28440

[startup+1800.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=28440 CPUtime=1799.72
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179731 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 7110 4538 312 324 0 6179 0
Current children cumulated CPU time (s) 1799.72
Current children cumulated vsize (KiB) 28440

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 12556
/proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956
[pid=12357] ppid=12355 vsize=28440 CPUtime=1799.92
/proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179751 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12357/statm: 7110 4538 312 324 0 6179 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 28440

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.01
CPU user time (s): 1797.59
CPU system time (s): 2.41963
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 28440

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

runsolver used 1.2998 second user time and 3.67444 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Mon Apr 16 11:57:08 UTC 2007

IDJOB= 349868
IDBENCH= 2893
IDSOLVER= 163
FILE ID= node63/349868-1176724628

PBS_JOBID= 4559498

Free space on /tmp= 66550 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_3.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349868-1176724628/instance-349868-1176724628.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-349868-1176724628 -o ROOT/results/node63/solver-349868-1176724628 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349868-1176724628/instance-349868-1176724628.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  dc0a3aac3e055af09a2312e5ef9f2aef

RANDOM SEED= 616178640

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1784012 kB
Buffers:         16024 kB
Cached:         184732 kB
SwapCached:       2564 kB
Active:          95264 kB
Inactive:       116016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784012 kB
SwapTotal:     4192956 kB
SwapFree:      4184508 kB
Dirty:            4392 kB
Writeback:           0 kB
Mapped:          16824 kB
Slab:            46568 kB
Committed_AS:  1922344 kB
PageTables:       1460 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= 66550 MiB

End job on node63 on Mon Apr 16 12:27:09 UTC 2007