Trace number 1878402

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 cl? 1798 1798.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
MD5SUM6c673f615af1912eadc68b4290958076
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 variables61
Total number of constraints15
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 constraints14
Minimum length of a constraint1
Maximum length of a constraint60
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 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4944
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: Clause 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-1878402-1245174098.opb
0.00/0.00	c File size is 6852 bytes.
0.00/0.00	c Highest Coefficient sum: 4944
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 61 Constr: 15 1/0/14 Lit: 835 Watch. Lit: 281
0.00/0.00	c Obj. Vars: 1 (1.63934 % 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     60       14      834   59      284    1668      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.91/1798.98	c      100     60      114     5478   48      643    1835    100  10000 0.01
1797.91/1798.98	c      250     60      264    12160   46      942    2019    250  11363 0.02
1797.91/1798.98	c      475     60      489    22548   46     1391    2221    475  11309 0.04
1797.91/1798.98	c      813     60      827    38301   46     2071    2444    813  11136 0.07
1797.91/1798.98	c     1321     60     1335    61655   46     3085    2689   1321  10484 0.13
1797.91/1798.98	c     2084     60     2098    95523   45     4602    2958   2084   9738 0.21
1797.91/1798.98	c     3231     60     1717    78483   45     3863    3254   1703   8827 0.37
1797.91/1798.98	c     4952     60     1774    84700   47     3965    3580   1760   8225 0.60
1797.91/1798.98	c     7536     60     2530   120064   47     5479    3939   2516   7528 1.00
1797.91/1798.98	c    11415     60     2382   116046   48     5193    4333   2368   6905 1.65
1797.91/1798.98	c    17237     60     3783   182094   48     7989    4767   3769   6465 2.67
1797.91/1798.98	c    25975     60     2807   135546   48     6051    5244   2793   6060 4.29
1797.91/1798.98	c    39086     60     5243   245802   46    10901    5769   5229   5624 6.95
1797.91/1798.98	c    58756     60     4444   205952   46     9306    6346   4430   5375 10.93
1797.91/1798.98	c    88266     60     4989   242098   48    10409    6981   4975   4654 18.96
1797.91/1798.98	c   132536     60     6838   331872   48    14110    7680   6824   4118 32.18
1797.91/1798.98	c   198947     60     7281   344338   47    14990    8449   7267   3810 52.21
1797.91/1798.98	c   298567     60     4578   211040   46     9565    9294   4564   3753 79.55
1797.91/1798.98	c   448002     60     8731   393454   45    17870   10224   8717   3590 124.76
1797.91/1798.98	c   672160     60     6282   277981   44    12971   11247   6268   3389 198.31
1797.91/1798.98	c  1008403     60     8367   397504   47    17163   12372   8353   2963 340.24
1797.91/1798.98	c  1512774     60     8456   390518   46    17335   13610   8442   2714 557.31
1797.91/1798.98	c  2269338     60    12115   589010   48    24660   14972  12101   2378 954.10
1797.91/1798.98	c  3404189     60    10565   508601   48    21559   16470  10551   2162 1574.19
1797.91/1798.98	c Resources Exceeded
1797.91/1798.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.98	c   24  3738020  76364  3817470    13332   630743  13318   2078 1798.00
1797.91/1798.98	s UNKNOWN
1797.91/1798.98	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-1878402-1245174098/watcher-1878402-1245174098 -o /tmp/evaluation-result-1878402-1245174098/solver-1878402-1245174098 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878402-1245174098.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/65 18860
/proc/meminfo: memFree=1837456/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=26200 CPUtime=0
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 185008508 26828800 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6550 242 196 640 0 5906 0

[startup+0.0128191 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18860
/proc/meminfo: memFree=1837456/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=18516 CPUtime=0.01
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 275 0 0 0 1 0 0 0 18 0 1 0 185008508 18960384 257 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 4629 257 196 640 0 3985 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18516

[startup+0.101835 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18860
/proc/meminfo: memFree=1837456/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=19160 CPUtime=0.09
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 445 0 0 0 9 0 0 0 18 0 1 0 185008508 19619840 427 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 4790 427 196 640 0 4146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19160

[startup+0.301874 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18860
/proc/meminfo: memFree=1837456/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=20316 CPUtime=0.29
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 734 0 0 0 29 0 0 0 19 0 1 0 185008508 20803584 716 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 5079 716 196 640 0 4435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20316

[startup+0.701952 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 18860
/proc/meminfo: memFree=1837456/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=20832 CPUtime=0.7
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 845 0 0 0 69 1 0 0 23 0 1 0 185008508 21331968 827 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 5208 827 196 640 0 4564 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 20832

[startup+1.50212 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1834632/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=21344 CPUtime=1.49
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 980 0 0 0 148 1 0 0 25 0 1 0 185008508 21856256 962 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 5336 962 196 640 0 4692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21344

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1833864/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=21988 CPUtime=3.09
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 1136 0 0 0 307 2 0 0 25 0 1 0 185008508 22515712 1118 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 5497 1118 196 640 0 4853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21988

[startup+6.30105 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1833096/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=22248 CPUtime=6.29
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 1222 0 0 0 624 5 0 0 25 0 1 0 185008508 22781952 1204 1992294400 134512640 137136520 4294956256 18446744073709551615 134544595 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 5562 1204 196 640 0 4918 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22248

[startup+12.7013 s]
/proc/loadavg: 1.22 1.05 1.02 2/66 18861
/proc/meminfo: memFree=1832456/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=23020 CPUtime=12.68
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 1412 0 0 0 1260 8 0 0 25 0 1 0 185008508 23572480 1394 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 5755 1394 196 640 0 5111 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23020

[startup+25.5018 s]
/proc/loadavg: 1.19 1.05 1.01 2/66 18861
/proc/meminfo: memFree=1831880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=23640 CPUtime=25.48
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 1553 0 0 0 2537 11 0 0 25 0 1 0 185008508 24207360 1535 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 5910 1535 196 640 0 5266 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23640

[startup+51.1018 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 18861
/proc/meminfo: memFree=1831368/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=24124 CPUtime=51.07
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 1670 0 0 0 5088 19 0 0 25 0 1 0 185008508 24702976 1652 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6031 1652 196 640 0 5387 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24124

[startup+102.302 s]
/proc/loadavg: 1.05 1.03 1.01 2/66 18861
/proc/meminfo: memFree=1830280/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=25120 CPUtime=102.24
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 1942 0 0 0 10190 34 0 0 25 0 1 0 185008508 25722880 1924 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6280 1924 196 640 0 5636 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 25120

[startup+162.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 18861
/proc/meminfo: memFree=1829832/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=25564 CPUtime=162.21
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2033 0 0 0 16169 52 0 0 25 0 1 0 185008508 26177536 2015 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6391 2015 196 640 0 5747 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 25564

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 18861
/proc/meminfo: memFree=1828872/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=26464 CPUtime=222.18
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2276 0 0 0 22149 69 0 0 25 0 1 0 185008508 27099136 2258 1992294400 134512640 137136520 4294956256 18446744073709551615 134575447 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18860/statm: 6616 2258 196 640 0 5972 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 26464

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 18861
/proc/meminfo: memFree=1828808/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=26592 CPUtime=282.13
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2299 0 0 0 28132 81 0 0 25 0 1 0 185008508 27230208 2281 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6648 2281 196 640 0 6004 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 26592

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 18861
/proc/meminfo: memFree=1828104/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=27236 CPUtime=342.11
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2465 0 0 0 34115 96 0 0 25 0 1 0 185008508 27889664 2447 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6809 2447 196 640 0 6165 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 27236

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1828104/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=27236 CPUtime=402.08
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2470 0 0 0 40100 108 0 0 25 0 1 0 185008508 27889664 2452 1992294400 134512640 137136520 4294956256 18446744073709551615 136502052 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6809 2452 196 640 0 6165 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 27236

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1827976/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=27440 CPUtime=462.04
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2514 0 0 0 46086 118 0 0 25 0 1 0 185008508 28098560 2496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6860 2496 196 640 0 6216 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 27440

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1827912/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=27440 CPUtime=522
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2514 0 0 0 52069 131 0 0 25 0 1 0 185008508 28098560 2496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 6860 2496 196 640 0 6216 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 27440

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1827016/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=28332 CPUtime=581.96
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2753 0 0 0 58052 144 0 0 25 0 1 0 185008508 29011968 2718 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7083 2718 196 640 0 6439 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 28332

[startup+642.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18861
/proc/meminfo: memFree=1826952/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=28384 CPUtime=641.93
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 2764 0 0 0 64037 156 0 0 25 0 1 0 185008508 29065216 2729 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7096 2729 196 640 0 6452 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 28384

[startup+702.303 s]

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

/proc/meminfo: memFree=1825288/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=29576 CPUtime=1181.64
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3067 0 0 0 117904 260 0 0 25 0 1 0 185008508 30285824 3032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543898 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7394 3032 196 640 0 6750 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 29576

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1825288/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=29576 CPUtime=1241.6
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3067 0 0 0 123890 270 0 0 25 0 1 0 185008508 30285824 3032 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7394 3032 196 640 0 6750 0
Current children cumulated CPU time (s) 1241.6
Current children cumulated vsize (KiB) 29576

[startup+1302.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1825288/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=29576 CPUtime=1301.57
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3073 0 0 0 129877 280 0 0 25 0 1 0 185008508 30285824 3038 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7394 3038 196 640 0 6750 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 29576

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1825224/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=29576 CPUtime=1361.53
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3073 0 0 0 135861 292 0 0 25 0 1 0 185008508 30285824 3038 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7394 3038 196 640 0 6750 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 29576

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1825224/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=29576 CPUtime=1421.5
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3073 0 0 0 141847 303 0 0 25 0 1 0 185008508 30285824 3038 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7394 3038 196 640 0 6750 0
Current children cumulated CPU time (s) 1421.5
Current children cumulated vsize (KiB) 29576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1825224/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=29564 CPUtime=1481.47
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3073 0 0 0 147834 313 0 0 25 0 1 0 185008508 30273536 3036 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7391 3036 196 640 0 6747 0
Current children cumulated CPU time (s) 1481.47
Current children cumulated vsize (KiB) 29564

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1825224/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=29552 CPUtime=1541.44
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3073 0 0 0 153820 324 0 0 25 0 1 0 185008508 30261248 3033 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7388 3033 196 640 0 6744 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 29552

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1824136/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30748 CPUtime=1601.4
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3365 0 0 0 159804 336 0 0 25 0 1 0 185008508 31485952 3325 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7687 3325 196 640 0 7043 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 30748

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1824072/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30868 CPUtime=1661.38
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3386 0 0 0 165792 346 0 0 25 0 1 0 185008508 31608832 3346 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7717 3346 196 640 0 7073 0
Current children cumulated CPU time (s) 1661.38
Current children cumulated vsize (KiB) 30868

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1824008/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30868 CPUtime=1721.34
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3401 0 0 0 171777 357 0 0 25 0 1 0 185008508 31608832 3361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7717 3361 196 640 0 7073 0
Current children cumulated CPU time (s) 1721.34
Current children cumulated vsize (KiB) 30868

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1781.31
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 177764 367 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (KiB) 30944

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

[startup+1783.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1782.41
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 177874 367 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 30944

[startup+1789.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1788.81
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 178513 368 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1788.81
Current children cumulated vsize (KiB) 30944

[startup+1793 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1792.02
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 178833 369 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1792.02
Current children cumulated vsize (KiB) 30944

[startup+1796.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1795.21
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 179152 369 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1795.21
Current children cumulated vsize (KiB) 30944

[startup+1797.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1796.81
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 179311 370 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 30944

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1797.61
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 179391 370 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 30944

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1797.81
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 179411 370 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 30944

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18869
/proc/meminfo: memFree=1823880/2055920 swapFree=4192812/4192956
[pid=18860] ppid=18858 vsize=30944 CPUtime=1797.91
/proc/18860/stat : 18860 (bsolo) R 18858 18860 18475 0 -1 4194304 3407 0 0 0 179421 370 0 0 25 0 1 0 185008508 31686656 3367 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18860/statm: 7736 3367 196 640 0 7092 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 30944

Child status: 0
Real time (s): 1798.99
CPU time (s): 1798
CPU user time (s): 1794.3
CPU system time (s): 3.70744
CPU usage (%): 99.9454
Max. virtual memory (cumulated for all children) (KiB): 30952

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

runsolver used 2.29165 second user time and 3.72543 second system time

The end

Launcher Data 

Begin job on node77 at 2009-06-16 19:41:38
IDJOB=1878402
IDBENCH=2894
IDSOLVER=700
FILE ID=node77/1878402-1245174098
PBS_JOBID= 9363869
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 6c673f615af1912eadc68b4290958076
RANDOM SEED=1175325690

node77.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.263
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.263
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1837944 kB
Buffers:         19460 kB
Cached:         121368 kB
SwapCached:          0 kB
Active:          36660 kB
Inactive:       117460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          23096 kB
Slab:            49880 kB
Committed_AS:   113892 kB
PageTables:       1376 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-1878402-1245174098.opb

Free space on /tmp at the end= 66316 MiB
End job on node77 at 2009-06-16 20:11:37