Trace number 1879838

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pb? 1798 1798.44

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 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Generic Pseudo-Boolean Learning
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 HOME/instance-1879838-1245240667.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 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.001 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 lower bounding mode.
1797.97/1798.43	c      100     50      172     6714   39     1182    1290    160   5263 0.02
1797.97/1798.43	c      250     50      401    15180   37     2139    1420    389   4716 0.05
1797.97/1798.43	c      475     50      732    27584   37     3519    1563    720   4439 0.11
1797.97/1798.43	c      813     50     1262    47568   37     6046    1720   1250   3834 0.21
1797.97/1798.43	c     1321     50     1150    40319   35     4651    1893   1138   3344 0.40
1797.97/1798.43	c     2084     50     1320    44610   33     5365    2083   1308   3124 0.67
1797.97/1798.43	c     3230     50     2071    74171   35     9369    2292   2059   2777 1.16
1797.97/1798.43	c     4951     50     2237    76653   34     8644    2522   2225   2452 2.02
1797.97/1798.43	c     7535     50     2451    85791   35    11661    2775   2439   2205 3.42
1797.97/1798.43	c    11414     50     1422    50534   35     6660    3053   1410   1930 5.91
1797.97/1798.43	c    17236     50     2458    84338   34    11683    3359   2446   1797 9.59
1797.97/1798.43	c    25973     50     1977    69993   35     9386    3695   1965   1655 15.69
1797.97/1798.43	c    39083     50     3447   129670   37    17343    4065   3435   1470 26.59
1797.97/1798.43	c    58753     50     3077   119330   38    14514    4472   3065   1353 43.40
1797.97/1798.43	c    88264     50     3349   120825   36    16079    4920   3337   1218 72.41
1797.97/1798.43	c   132535     50     3229   119211   36    16407    5413   3217   1098 120.62
1797.97/1798.43	c   198945     50     4595   169720   36    23944    5955   4583   1051 189.26
1797.97/1798.43	c   298566     50     5125   185870   36    25691    6551   5113    977 305.31
1797.97/1798.43	c   448002     50     4603   169460   36    21143    7207   4591    912 491.22
1797.97/1798.43	c   672160     50     3915   141221   36    17794    7928   3903    858 783.22
1797.97/1798.43	c  1008403     50     7868   287813   36    37173    8721   7856    786 1281.65
1797.97/1798.43	c Resources Exceeded
1797.97/1798.43	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.43	c   21  1331880  17696  1350625     6499   212178   6487    740 1798.00
1797.97/1798.43	s UNKNOWN
1797.97/1798.43	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879838-1245240667/watcher-1879838-1245240667 -o /tmp/evaluation-result-1879838-1245240667/solver-1879838-1245240667 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879838-1245240667.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 8283
/proc/meminfo: memFree=1846392/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=26200 CPUtime=0
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 191662314 26828800 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6550 242 197 640 0 5906 0

[startup+0.055636 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 8283
/proc/meminfo: memFree=1846392/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=18652 CPUtime=0.05
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 320 0 0 0 5 0 0 0 18 0 1 0 191662314 19099648 302 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 4663 302 198 640 0 4019 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18652

[startup+0.10164 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 8283
/proc/meminfo: memFree=1846392/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=18912 CPUtime=0.09
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 366 0 0 0 9 0 0 0 18 0 1 0 191662314 19365888 348 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 4728 348 198 640 0 4084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18912

[startup+0.301656 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 8283
/proc/meminfo: memFree=1846392/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=19436 CPUtime=0.29
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 520 0 0 0 29 0 0 0 19 0 1 0 191662314 19902464 502 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 4859 502 198 640 0 4215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19436

[startup+0.701692 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 8283
/proc/meminfo: memFree=1846392/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=19568 CPUtime=0.69
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 550 0 0 0 69 0 0 0 22 0 1 0 191662314 20037632 532 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 4892 532 198 640 0 4248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19568

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1844848/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=19836 CPUtime=1.49
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 621 0 0 0 149 0 0 0 25 0 1 0 191662314 20312064 603 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 4959 603 198 640 0 4315 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19836

[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1844528/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=20096 CPUtime=3.09
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 664 0 0 0 309 0 0 0 25 0 1 0 191662314 20578304 646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5024 646 198 640 0 4380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20096

[startup+6.30118 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1844080/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=20224 CPUtime=6.29
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 715 0 0 0 628 1 0 0 25 0 1 0 191662314 20709376 697 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5056 697 198 640 0 4412 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20224

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1843696/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=20612 CPUtime=12.68
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 801 0 0 0 1266 2 0 0 25 0 1 0 191662314 21106688 783 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5153 783 198 640 0 4509 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20612

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1843376/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=20856 CPUtime=25.48
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 878 0 0 0 2544 4 0 0 25 0 1 0 191662314 21356544 860 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5214 860 198 640 0 4570 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20856

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1842928/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=21368 CPUtime=51.08
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1002 0 0 0 5100 8 0 0 25 0 1 0 191662314 21880832 984 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5342 984 198 640 0 4698 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21368

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1842544/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=21748 CPUtime=102.27
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1099 0 0 0 10214 13 0 0 25 0 1 0 191662314 22269952 1081 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5437 1081 198 640 0 4793 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21748

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1842224/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=22128 CPUtime=162.25
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1175 0 0 0 16206 19 0 0 25 0 1 0 191662314 22659072 1157 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5532 1157 198 640 0 4888 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22128

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1841840/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=22388 CPUtime=222.23
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1255 0 0 0 22198 25 0 0 25 0 1 0 191662314 22925312 1237 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5597 1237 198 640 0 4953 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22388

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1841840/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=22388 CPUtime=282.22
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1260 0 0 0 28191 31 0 0 25 0 1 0 191662314 22925312 1242 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5597 1242 198 640 0 4953 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 22388

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1841392/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=22872 CPUtime=342.21
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1358 0 0 0 34184 37 0 0 25 0 1 0 191662314 23420928 1340 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5718 1340 198 640 0 5074 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 22872

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1841264/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=22872 CPUtime=402.19
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1376 0 0 0 40176 43 0 0 25 0 1 0 191662314 23420928 1358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5718 1358 198 640 0 5074 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 22872

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1841200/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=22976 CPUtime=462.18
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1390 0 0 0 46169 49 0 0 25 0 1 0 191662314 23527424 1372 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5744 1372 198 640 0 5100 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 22976

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1840880/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=23224 CPUtime=522.16
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1471 0 0 0 52161 55 0 0 25 0 1 0 191662314 23781376 1453 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5806 1453 198 640 0 5162 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 23224

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1840752/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=23340 CPUtime=582.15
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1489 0 0 0 58154 61 0 0 25 0 1 0 191662314 23900160 1471 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5835 1471 198 640 0 5191 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 23340

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1840752/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=23340 CPUtime=642.14
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1489 0 0 0 64148 66 0 0 25 0 1 0 191662314 23900160 1471 1992294400 134512640 137136520 4294956256 18446744073709551615 136295552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5835 1471 198 640 0 5191 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 23340

[startup+702.301 s]

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

/proc/meminfo: memFree=1840048/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=23832 CPUtime=1122.02
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1622 0 0 0 112086 116 0 0 25 0 1 0 191662314 24403968 1604 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5958 1604 198 640 0 5314 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 23832

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839984/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=23832 CPUtime=1182.01
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1622 0 0 0 118078 123 0 0 25 0 1 0 191662314 24403968 1604 1992294400 134512640 137136520 4294956256 18446744073709551615 136499606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5958 1604 198 640 0 5314 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 23832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839920/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=23832 CPUtime=1241.99
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1622 0 0 0 124070 129 0 0 25 0 1 0 191662314 24403968 1604 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 5958 1604 198 640 0 5314 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 23832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839536/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24224 CPUtime=1301.98
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1713 0 0 0 130065 133 0 0 25 0 1 0 191662314 24805376 1695 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6056 1695 198 640 0 5412 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 24224

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839408/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24344 CPUtime=1361.97
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 136058 139 0 0 25 0 1 0 191662314 24928256 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6086 1712 198 640 0 5442 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 24344

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839344/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24344 CPUtime=1421.96
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 142051 145 0 0 25 0 1 0 191662314 24928256 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6086 1712 198 640 0 5442 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 24344

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839344/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24344 CPUtime=1481.94
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 148043 151 0 0 25 0 1 0 191662314 24928256 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6086 1712 198 640 0 5442 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 24344

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839280/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24340 CPUtime=1541.92
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 154035 157 0 0 25 0 1 0 191662314 24924160 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6085 1712 198 640 0 5441 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 24340

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839280/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24340 CPUtime=1601.91
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 160028 163 0 0 25 0 1 0 191662314 24924160 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6085 1712 198 640 0 5441 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 24340

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24340 CPUtime=1661.89
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 166021 168 0 0 25 0 1 0 191662314 24924160 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6085 1712 198 640 0 5441 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 24340

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839280/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24336 CPUtime=1721.88
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 172015 173 0 0 25 0 1 0 191662314 24920064 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6084 1712 198 640 0 5440 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 24336

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1781.86
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 178008 178 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 24332

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1791.46
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 178967 179 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 24332

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1794.67
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 179287 180 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 24332

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1796.26
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 179446 180 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 24332

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1797.06
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 179526 180 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 24332

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1797.46
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 179566 180 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 24332

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1797.86
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 179606 180 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 24332

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8284
/proc/meminfo: memFree=1839216/2055920 swapFree=4192952/4192956
[pid=8283] ppid=8281 vsize=24332 CPUtime=1797.97
/proc/8283/stat : 8283 (bsolo) R 8281 8283 8119 0 -1 4194304 1730 0 0 0 179617 180 0 0 25 0 1 0 191662314 24915968 1712 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8283/statm: 6083 1712 198 640 0 5439 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 24332

Child status: 0
Real time (s): 1798.44
CPU time (s): 1798
CPU user time (s): 1796.2
CPU system time (s): 1.80173
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 24348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.2
system time used= 1.80173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1731
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= 2
involuntary context switches= 2768

runsolver used 1.57776 second user time and 3.42048 second system time

The end

Launcher Data 

Begin job on node58 at 2009-06-17 14:11:07
IDJOB=1879838
IDBENCH=2911
IDSOLVER=701
FILE ID=node58/1879838-1245240667
PBS_JOBID= 9372285
Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_4.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879838-1245240667/watcher-1879838-1245240667 -o /tmp/evaluation-result-1879838-1245240667/solver-1879838-1245240667 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879838-1245240667.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= cef055af6c2a22a549e672ed9a55f2c8
RANDOM SEED=1462934453

node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.243
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.243
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:       1846808 kB
Buffers:         24624 kB
Cached:         117356 kB
SwapCached:          4 kB
Active:          34472 kB
Inactive:       120904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846808 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          23240 kB
Slab:            39784 kB
Committed_AS:    87964 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879838-1245240667.opb

Free space on /tmp at the end= 66560 MiB
End job on node58 at 2009-06-17 14:41:06