Trace number 1876979

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? 1798 1798.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_1.opb
MD5SUMae75c4a4fdafb98542bd11b7f7eecd54
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 variables41
Total number of constraints11
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 constraints10
Minimum length of a constraint1
Maximum length of a constraint40
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 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3258
Number of bits of the biggest sum of numbers12
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: Cardinality Constraint 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-1876979-1245176119.opb
0.00/0.00	c File size is 3384 bytes.
0.00/0.00	c Highest Coefficient sum: 3258
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 41 Constr: 11 1/0/10 Lit: 399 Watch. Lit: 137
0.00/0.00	c Obj. Vars: 1 (2.43902 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     40       10      398   39      142     796      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.95/1798.64	c      100     40      118     3554   30      521     876    108   9090 0.01
1797.95/1798.64	c      251     40      296     8794   29     1042     964    286   8964 0.03
1797.95/1798.64	c      476     40      597    17674   29     2232    1061    587   8814 0.05
1797.95/1798.64	c      814     40      542    16476   30     1295    1168    532   7980 0.10
1797.95/1798.64	c     1323     40     1171    34894   29     3438    1285   1161   7969 0.17
1797.95/1798.64	c     2086     40      777    22466   28     1930    1414    767   7697 0.27
1797.95/1798.64	c     3232     40     1364    38950   28     3566    1556   1354   7658 0.42
1797.95/1798.64	c     4953     40      898    24880   27     2059    1712    888   7305 0.68
1797.95/1798.64	c     7538     40     1515    45963   30     4257    1884   1505   6890 1.09
1797.95/1798.64	c    11417     40     1272    37454   29     3569    2073   1262   6771 1.69
1797.95/1798.64	c    17239     40     1529    45729   29     5056    2281   1519   6097 2.83
1797.95/1798.64	c    25980     40     2073    64073   30     6449    2510   2063   5717 4.54
1797.95/1798.64	c    39090     40     1821    56361   30     5830    2762   1811   5300 7.38
1797.95/1798.64	c    58761     40     2528    77251   30     8543    3039   2518   4978 11.80
1797.95/1798.64	c    88272     40     2143    65065   30     6754    3343   2133   4719 18.70
1797.95/1798.64	c   132543     40     2302    69419   30     6744    3678   2292   4444 29.82
1797.95/1798.64	c   198954     40     2123    65052   30     6364    4046   2113   4138 48.07
1797.95/1798.64	c   298574     40     2252    68394   30     6962    4451   2242   3878 76.97
1797.95/1798.64	c   448010     40     4327   132261   30    13848    4897   4317   3599 124.47
1797.95/1798.64	c   672168     40     3935   117660   29    11907    5387   3925   3325 202.12
1797.95/1798.64	c  1008411     40     4593   141607   30    15761    5926   4583   3088 326.54
1797.95/1798.64	c  1512782     40     3520   106114   30    10851    6519   3510   2878 525.60
1797.95/1798.64	c  2269347     40     5120   157542   30    16148    7171   5110   2621 865.77
1797.95/1798.64	c  3404198     40     6837   206284   30    21030    7889   6827   2387 1425.72
1797.95/1798.64	c Resources Exceeded
1797.95/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.64	c   24  4049047  61478  4112236     6127   186792   6117   2251 1798.00
1797.95/1798.64	s UNKNOWN
1797.95/1798.64	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-1876979-1245176119/watcher-1876979-1245176119 -o /tmp/evaluation-result-1876979-1245176119/solver-1876979-1245176119 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876979-1245176119.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 1.00 3/64 8737
/proc/meminfo: memFree=1911536/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=26200 CPUtime=0
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185212504 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 134616989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 6550 241 198 640 0 5906 0

[startup+0.0286331 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8737
/proc/meminfo: memFree=1911536/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=18516 CPUtime=0.02
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 288 0 0 0 2 0 0 0 18 0 1 0 185212504 18960384 271 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 4629 271 198 640 0 3985 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18516

[startup+0.101647 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8737
/proc/meminfo: memFree=1911536/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=19036 CPUtime=0.09
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 400 0 0 0 9 0 0 0 18 0 1 0 185212504 19492864 383 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 4759 383 198 640 0 4115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19036

[startup+0.301681 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8737
/proc/meminfo: memFree=1911536/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=19036 CPUtime=0.29
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 423 0 0 0 29 0 0 0 19 0 1 0 185212504 19492864 406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 4759 406 198 640 0 4115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19036

[startup+0.701753 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8737
/proc/meminfo: memFree=1911536/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=19164 CPUtime=0.69
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 449 0 0 0 69 0 0 0 23 0 1 0 185212504 19623936 432 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 4791 432 198 640 0 4147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19164

[startup+1.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1910376/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=19420 CPUtime=1.49
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 498 0 0 0 148 1 0 0 25 0 1 0 185212504 19886080 481 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 4855 481 198 640 0 4211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19420

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1909928/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=19680 CPUtime=3.09
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 564 0 0 0 307 2 0 0 25 0 1 0 185212504 20152320 547 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 4920 547 198 640 0 4276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19680

[startup+6.30176 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1909672/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=19808 CPUtime=6.29
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 609 0 0 0 626 3 0 0 25 0 1 0 185212504 20283392 592 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 4952 592 198 640 0 4308 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19808

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1909360/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=20072 CPUtime=12.69
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 667 0 0 0 1263 6 0 0 25 0 1 0 185212504 20553728 650 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5018 650 198 640 0 4374 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20072

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1909168/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=20316 CPUtime=25.48
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 718 0 0 0 2537 11 0 0 25 0 1 0 185212504 20803584 701 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5079 701 198 640 0 4435 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20316

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1908784/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=20700 CPUtime=51.08
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 814 0 0 0 5089 19 0 0 25 0 1 0 185212504 21196800 797 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5175 797 198 640 0 4531 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20700

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1908464/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=20944 CPUtime=102.25
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 881 0 0 0 10192 33 0 0 25 0 1 0 185212504 21446656 864 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5236 864 198 640 0 4592 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 20944

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1908208/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=21192 CPUtime=162.23
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 942 0 0 0 16177 46 0 0 25 0 1 0 185212504 21700608 925 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5298 925 198 640 0 4654 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21192

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907888/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=21452 CPUtime=222.21
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1012 0 0 0 22159 62 0 0 25 0 1 0 185212504 21966848 995 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5363 995 198 640 0 4719 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 21452

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907824/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=21452 CPUtime=282.18
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1013 0 0 0 28142 76 0 0 25 0 1 0 185212504 21966848 996 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5363 996 198 640 0 4719 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 21452

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907632/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=21708 CPUtime=342.17
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1065 0 0 0 34126 91 0 0 25 0 1 0 185212504 22228992 1048 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5427 1048 198 640 0 4783 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 21708

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907504/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=21704 CPUtime=402.15
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1081 0 0 0 40111 104 0 0 25 0 1 0 185212504 22224896 1064 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5426 1064 198 640 0 4782 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 21704

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907504/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=21704 CPUtime=462.12
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1081 0 0 0 46096 116 0 0 25 0 1 0 185212504 22224896 1064 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5426 1064 198 640 0 4782 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 21704

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907440/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=21704 CPUtime=522.11
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1088 0 0 0 52081 130 0 0 25 0 1 0 185212504 22224896 1071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5426 1071 198 640 0 4782 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 21704

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907056/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22092 CPUtime=582.08
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1171 0 0 0 58066 142 0 0 25 0 1 0 185212504 22622208 1154 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5523 1154 198 640 0 4879 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 22092

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1907056/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22092 CPUtime=642.06
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1171 0 0 0 64053 153 0 0 25 0 1 0 185212504 22622208 1154 1992294400 134512640 137136520 4294956256 18446744073709551615 134556190 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5523 1154 198 640 0 4879 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 22092

[startup+702.302 s]

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

/proc/meminfo: memFree=1906544/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22460 CPUtime=1121.89
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1262 0 0 0 111940 249 0 0 25 0 1 0 185212504 22999040 1245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5615 1245 198 640 0 4971 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 22460

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1906480/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22460 CPUtime=1181.87
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1262 0 0 0 117927 260 0 0 25 0 1 0 185212504 22999040 1245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5615 1245 198 640 0 4971 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 22460

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1906416/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22460 CPUtime=1241.85
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1269 0 0 0 123916 269 0 0 25 0 1 0 185212504 22999040 1252 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5615 1252 198 640 0 4971 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 22460

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1906416/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22460 CPUtime=1301.83
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1269 0 0 0 129903 280 0 0 25 0 1 0 185212504 22999040 1252 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5615 1252 198 640 0 4971 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 22460

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1906352/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22460 CPUtime=1361.81
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1269 0 0 0 135889 292 0 0 25 0 1 0 185212504 22999040 1252 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5615 1252 198 640 0 4971 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 22460

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1906352/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22460 CPUtime=1421.79
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1269 0 0 0 141875 304 0 0 25 0 1 0 185212504 22999040 1252 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5615 1252 198 640 0 4971 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 22460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905904/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1481.77
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1361 0 0 0 147863 314 0 0 25 0 1 0 185212504 23359488 1344 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1344 198 640 0 5059 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 22812

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905904/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1541.74
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1361 0 0 0 153850 324 0 0 25 0 1 0 185212504 23359488 1344 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1344 198 640 0 5059 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 22812

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905840/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1601.72
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1361 0 0 0 159837 335 0 0 25 0 1 0 185212504 23359488 1344 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1344 198 640 0 5059 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 22812

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905840/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1661.7
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1361 0 0 0 165823 347 0 0 25 0 1 0 185212504 23359488 1344 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1344 198 640 0 5059 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 22812

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905840/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1721.67
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1361 0 0 0 171810 357 0 0 25 0 1 0 185212504 23359488 1344 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1344 198 640 0 5059 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 22812

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1781.66
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 177799 367 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 22812

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1791.26
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 178757 369 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 22812

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1794.45
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 179076 369 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 22812

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1796.05
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 179236 369 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 22812

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1796.84
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 179315 369 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 22812

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1797.65
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 179395 370 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 22812

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1797.85
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 179415 370 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 22812

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8738
/proc/meminfo: memFree=1905776/2055920 swapFree=4180860/4192956
[pid=8737] ppid=8735 vsize=22812 CPUtime=1797.95
/proc/8737/stat : 8737 (bsolo) R 8735 8737 8198 0 -1 4194304 1365 0 0 0 179425 370 0 0 25 0 1 0 185212504 23359488 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8737/statm: 5703 1348 198 640 0 5059 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 22812

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798
CPU user time (s): 1794.3
CPU system time (s): 3.70244
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 22812

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

runsolver used 1.61575 second user time and 3.35249 second system time

The end

Launcher Data 

Begin job on node12 at 2009-06-16 20:15:19
IDJOB=1876979
IDBENCH=2913
IDSOLVER=699
FILE ID=node12/1876979-1245176119
PBS_JOBID= 9363884
Free space on /tmp= 66236 MiB

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

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

MD5SUM BENCH= ae75c4a4fdafb98542bd11b7f7eecd54
RANDOM SEED=244018663

node12.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.281
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.281
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:       1911952 kB
Buffers:         34668 kB
Cached:          60456 kB
SwapCached:       6264 kB
Active:          52216 kB
Inactive:        51232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1911952 kB
SwapTotal:     4192956 kB
SwapFree:      4180860 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          13500 kB
Slab:            26508 kB
Committed_AS:   175908 kB
PageTables:       1380 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-1876979-1245176119.opb

Free space on /tmp at the end= 66232 MiB
End job on node12 at 2009-06-16 20:45:18