Trace number 349959

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 1800.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
MD5SUMcef055af6c2a22a549e672ed9a55f2c8
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 variables51
Total number of constraints13
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 constraints12
Minimum length of a constraint1
Maximum length of a constraint50
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 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4459
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/349959-1176729254/instance-349959-1176729254.opb
0.00/0.00	c File size is 4881 bytes.
0.00/0.00	c Highest Coefficient sum: 4459
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 51 Constr: 13 1/0/12 Lit: 587 Watch. Lit: 199
0.00/0.00	c Obj. Vars: 1 (1.96078 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     50       12      586   48      200    1172      0      0 0.00
0.00/0.00	c Switching off LPR mode.
1799.93/1800.46	c      100     50      112     4382   39      522    1290    100  12500 0.01
1799.93/1800.46	c      251     50      263    10032   38      822    1420    251  15687 0.02
1799.93/1800.46	c      477     50      489    18530   37     1273    1563    477  14906 0.03
1799.93/1800.46	c      815     50      827    31580   38     1946    1720    815  14051 0.06
1799.93/1800.46	c     1323     50     1335    50571   37     2965    1893   1323  12027 0.11
1799.93/1800.46	c     2086     50     1120    40523   36     2536    2083   1108  11155 0.19
1799.93/1800.46	c     3232     50     1187    44061   37     2677    2292   1175   9914 0.33
1799.93/1800.46	c     4954     50     1727    63423   36     3760    2522   1715   9656 0.51
1799.93/1800.46	c     7538     50     1711    62749   36     3731    2775   1699   9170 0.82
1799.93/1800.46	c    11418     50     2750   103133   37     5803    3053   2738   8476 1.35
1799.93/1800.46	c    17240     50     2331    91092   39     4956    3359   2319   7748 2.23
1799.93/1800.46	c    25977     50     2518    97286   38     5346    3695   2506   7185 3.62
1799.93/1800.46	c    39087     50     2485    96453   38     5270    4065   2473   6748 5.79
1799.93/1800.46	c    58757     50     3568   136806   38     7442    4472   3556   6299 9.33
1799.93/1800.46	c    88267     50     3601   138398   38     7505    4920   3589   5943 14.85
1799.93/1800.46	c   132537     50     2982   117001   39     6261    5413   2970   5607 23.64
1799.93/1800.46	c   198947     50     3671   139560   38     7648    5955   3659   5358 37.12
1799.93/1800.46	c   298567     50     3951   156725   39     8207    6551   3939   4887 61.09
1799.93/1800.46	c   448002     50     4537   175965   38     9380    7207   4525   4382 102.22
1799.93/1800.46	c   672161     50     6917   267830   38    14133    7928   6905   3973 169.15
1799.93/1800.46	c  1008404     50     7400   294979   39    15106    8721   7388   3627 277.99
1799.93/1800.46	c  1512776     50     6634   256489   38    13575    9594   6622   3346 452.09
1799.93/1800.46	c  2269340     50     4909   189523   38    10119   10554   4897   3061 741.31
1799.93/1800.46	c  3404192     50     8780   337126   38    17859   11610   8768   2777 1225.59
1799.93/1800.46	c Resources Exceeded
1799.93/1800.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.46	c   24  4630114   3731  4634331     8826   351593   8814   2572 1800.00
1799.93/1800.46	s UNKNOWN
1799.93/1800.46	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/node27/watcher-349959-1176729254 -o ROOT/results/node27/solver-349959-1176729254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349959-1176729254/instance-349959-1176729254.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2833
/proc/meminfo: memFree=1795624/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19556 CPUtime=0
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 85621345 20025344 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4889 335 282 324 0 3956 0

[startup+0.0398471 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2833
/proc/meminfo: memFree=1795624/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=12124 CPUtime=0.03
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 480 0 0 0 3 0 0 0 18 0 1 0 85621345 12414976 446 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3031 446 312 324 0 2100 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12124

[startup+0.101853 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2833
/proc/meminfo: memFree=1795624/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=12516 CPUtime=0.09
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 583 0 0 0 9 0 0 0 18 0 1 0 85621345 12816384 549 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3129 549 312 324 0 2198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12516

[startup+0.301875 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2833
/proc/meminfo: memFree=1795624/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=12908 CPUtime=0.29
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 700 0 0 0 29 0 0 0 19 0 1 0 85621345 13217792 666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3227 666 312 324 0 2296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12908

[startup+0.701914 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2833
/proc/meminfo: memFree=1795624/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=13296 CPUtime=0.69
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 775 0 0 0 69 0 0 0 22 0 1 0 85621345 13615104 741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3324 741 312 324 0 2393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13296

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1793696/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=13556 CPUtime=1.49
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 864 0 0 0 148 1 0 0 25 0 1 0 85621345 13881344 830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3389 830 312 324 0 2458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13556

[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1793312/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=13816 CPUtime=3.08
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 923 0 0 0 307 1 0 0 25 0 1 0 85621345 14147584 889 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3454 889 312 324 0 2523 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13816

[startup+6.30148 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 2834
/proc/meminfo: memFree=1792736/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=14340 CPUtime=6.29
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1032 0 0 0 627 2 0 0 25 0 1 0 85621345 14684160 998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3585 998 312 324 0 2654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14340

[startup+12.7011 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 2834
/proc/meminfo: memFree=1792224/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=14588 CPUtime=12.69
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1102 0 0 0 1265 4 0 0 25 0 1 0 85621345 14938112 1068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3647 1068 312 324 0 2716 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14588

[startup+25.5014 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 2834
/proc/meminfo: memFree=1791712/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=15100 CPUtime=25.48
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1243 0 0 0 2540 8 0 0 25 0 1 0 85621345 15462400 1209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3775 1209 312 324 0 2844 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15100

[startup+51.101 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 2834
/proc/meminfo: memFree=1791328/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=15464 CPUtime=51.07
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1338 0 0 0 5091 16 0 0 25 0 1 0 85621345 15835136 1304 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3866 1304 312 324 0 2935 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15464

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 2834
/proc/meminfo: memFree=1790944/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=15844 CPUtime=102.27
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1436 0 0 0 10197 30 0 0 25 0 1 0 85621345 16224256 1402 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 3961 1402 312 324 0 3030 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15844

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1790560/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=16232 CPUtime=162.25
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1522 0 0 0 16182 43 0 0 25 0 1 0 85621345 16621568 1488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4058 1488 312 324 0 3127 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 16232

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1790048/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=16704 CPUtime=222.23
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1639 0 0 0 22165 58 0 0 25 0 1 0 85621345 17104896 1605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4176 1605 312 324 0 3245 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16704

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1789536/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=17224 CPUtime=282.21
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1765 0 0 0 28148 73 0 0 25 0 1 0 85621345 17637376 1731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4306 1731 312 324 0 3375 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 17224

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1789536/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=17224 CPUtime=342.2
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1775 0 0 0 34134 86 0 0 25 0 1 0 85621345 17637376 1741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4306 1741 312 324 0 3375 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 17224

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1789472/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=17284 CPUtime=402.19
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1786 0 0 0 40119 100 0 0 25 0 1 0 85621345 17698816 1752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4321 1752 312 324 0 3390 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 17284

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1789024/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=17740 CPUtime=462.17
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1888 0 0 0 46104 113 0 0 25 0 1 0 85621345 18165760 1854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4435 1854 312 324 0 3504 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 17740

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1788960/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=17740 CPUtime=522.16
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1899 0 0 0 52090 126 0 0 25 0 1 0 85621345 18165760 1865 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4435 1865 312 324 0 3504 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 17740

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1788896/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=17740 CPUtime=582.14
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1908 0 0 0 58074 140 0 0 25 0 1 0 85621345 18165760 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4435 1874 312 324 0 3504 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 17740

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2834
/proc/meminfo: memFree=1788896/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=17740 CPUtime=642.13
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 1908 0 0 0 64060 153 0 0 25 0 1 0 85621345 18165760 1874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4435 1874 312 324 0 3504 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 17740


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

/proc/meminfo: memFree=1788128/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=18392 CPUtime=1122.01
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2067 0 0 0 111953 248 0 0 25 0 1 0 85621345 18833408 2033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4598 2033 312 324 0 3667 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 18392

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1788128/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=18392 CPUtime=1181.99
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2067 0 0 0 117940 259 0 0 25 0 1 0 85621345 18833408 2033 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4598 2033 312 324 0 3667 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 18392

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787680/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=18884 CPUtime=1241.97
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2177 0 0 0 123927 270 0 0 25 0 1 0 85621345 19337216 2143 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4721 2143 312 324 0 3790 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 18884

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787424/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19104 CPUtime=1301.96
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2231 0 0 0 129916 280 0 0 25 0 1 0 85621345 19562496 2197 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4776 2197 312 324 0 3845 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 19104

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787424/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19100 CPUtime=1361.95
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2231 0 0 0 135905 290 0 0 25 0 1 0 85621345 19558400 2197 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4775 2197 312 324 0 3844 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 19100

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787424/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19024 CPUtime=1421.93
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2231 0 0 0 141895 298 0 0 25 0 1 0 85621345 19480576 2197 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4756 2197 312 324 0 3825 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 19024

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787360/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19020 CPUtime=1481.91
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2231 0 0 0 147882 309 0 0 25 0 1 0 85621345 19476480 2196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4755 2196 312 324 0 3824 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 19020

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787360/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19020 CPUtime=1541.9
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2231 0 0 0 153869 321 0 0 25 0 1 0 85621345 19476480 2196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4755 2196 312 324 0 3824 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 19020

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787360/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19020 CPUtime=1601.88
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2231 0 0 0 159856 332 0 0 25 0 1 0 85621345 19476480 2196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4755 2196 312 324 0 3824 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 19020

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787296/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19148 CPUtime=1661.87
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 165845 342 0 0 25 0 1 0 85621345 19607552 2214 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4787 2214 312 324 0 3856 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 19148

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787296/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19148 CPUtime=1721.85
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 171833 352 0 0 25 0 1 0 85621345 19607552 2214 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4787 2214 312 324 0 3856 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 19148

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787296/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1781.84
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 177818 366 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 19084

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787232/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1791.44
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 178777 367 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 19084

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787232/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1794.64
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 179096 368 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 19084

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787232/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1797.83
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 179415 368 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 19084

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787232/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1798.63
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 179495 368 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134558821 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 19084

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787232/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1799.43
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 179575 368 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 19084

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787232/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1799.83
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 179615 368 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 19084

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2836
/proc/meminfo: memFree=1787232/2055920 swapFree=4184636/4192956
[pid=2833] ppid=2831 vsize=19084 CPUtime=1799.93
/proc/2833/stat : 2833 (bsolo3.0.16) R 2831 2833 1893 0 -1 4194304 2249 0 0 0 179625 368 0 0 25 0 1 0 85621345 19542016 2212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2833/statm: 4771 2212 312 324 0 3840 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 19084

Child status: 0
Real time (s): 1800.46
CPU time (s): 1800
CPU user time (s): 1796.32
CPU system time (s): 3.68744
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 19148

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

runsolver used 1.15982 second user time and 3.78842 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 16 13:14:14 UTC 2007

IDJOB= 349959
IDBENCH= 2911
IDSOLVER= 163
FILE ID= node27/349959-1176729254

PBS_JOBID= 4559489

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  cef055af6c2a22a549e672ed9a55f2c8

RANDOM SEED= 872141622

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1796032 kB
Buffers:         19076 kB
Cached:         173792 kB
SwapCached:       2904 kB
Active:          53384 kB
Inactive:       151460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1796032 kB
SwapTotal:     4192956 kB
SwapFree:      4184636 kB
Dirty:            4384 kB
Writeback:           0 kB
Mapped:          18452 kB
Slab:            41060 kB
Committed_AS:  1568540 kB
PageTables:       1412 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= 66514 MiB

End job on node27 on Mon Apr 16 13:44:15 UTC 2007