Trace number 1876974

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
MD5SUM487945ea0e229650aa78cf341d4ff673
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 constraint59
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 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4465
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: 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-1876974-1245174518.opb
0.00/0.00	c File size is 6706 bytes.
0.00/0.00	c Highest Coefficient sum: 4465
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: 819 Watch. Lit: 267
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      818   58      270    1636      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.97/1798.42	c      100     60      131     6192   47      923    1800    117   5263 0.02
1797.97/1798.42	c      250     60      285    12889   45     1232    1981    271   5555 0.04
1797.97/1798.42	c      476     60      515    22648   43     1732    2180    501   5666 0.08
1797.97/1798.42	c      815     60      867    38257   44     2585    2399    853   5699 0.14
1797.97/1798.42	c     1323     60     1398    61790   44     3774    2639   1384   5727 0.23
1797.97/1798.42	c     2086     60     2225    98287   44     5735    2903   2211   5475 0.38
1797.97/1798.42	c     3232     60     2091    95176   45     6821    3194   2077   4995 0.65
1797.97/1798.42	c     4953     60     2406   109428   45     6952    3514   2392   4515 1.10
1797.97/1798.42	c     7537     60     3316   146285   44     7421    3866   3302   4420 1.71
1797.97/1798.42	c    11417     60     3763   176449   46    10783    4253   3749   4180 2.73
1797.97/1798.42	c    17239     60     3671   168960   46     9999    4679   3657   3882 4.44
1797.97/1798.42	c    25976     60     3412   152562   44     8243    5147   3398   3825 6.79
1797.97/1798.42	c    39086     60     4143   178119   42     9566    5662   4129   3774 10.35
1797.97/1798.42	c    58757     60     5525   251193   45    13833    6229   5511   3561 16.50
1797.97/1798.42	c    88267     60     3719   170729   45     9380    6852   3705   3185 27.71
1797.97/1798.42	c   132538     60     3896   179966   46    14965    7538   3882   2686 49.34
1797.97/1798.42	c   198949     60     5870   271615   46    16887    8292   5856   2505 79.42
1797.97/1798.42	c   298570     60     6505   289229   44    17641    9122   6491   2282 130.80
1797.97/1798.42	c   448005     60     6759   320950   47    30965   10035   6745   1951 229.55
1797.97/1798.42	c   672164     60     5189   243745   46    19419   11039   5175   1495 449.60
1797.97/1798.42	c  1008409     60    10130   471352   46    37931   12143  10116   1435 702.69
1797.97/1798.42	c  1512780     60     9525   457691   48    47697   13358   9511   1190 1271.22
1797.97/1798.42	c Resources Exceeded
1797.97/1798.42	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.42	c   22  1887711  26792  1915562    12562   601185  12548   1049 1798.00
1797.97/1798.42	s UNKNOWN
1797.97/1798.42	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-1876974-1245174518/watcher-1876974-1245174518 -o /tmp/evaluation-result-1876974-1245174518/solver-1876974-1245174518 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876974-1245174518.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 1448
/proc/meminfo: memFree=1856752/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=26200 CPUtime=0
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 185052808 26828800 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6550 242 197 640 0 5906 0

[startup+0.0907029 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1448
/proc/meminfo: memFree=1856752/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=18776 CPUtime=0.08
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 348 0 0 0 8 0 0 0 18 0 1 0 185052808 19226624 330 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 4694 330 198 640 0 4050 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18776

[startup+0.101703 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1448
/proc/meminfo: memFree=1856752/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=18904 CPUtime=0.09
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 360 0 0 0 9 0 0 0 18 0 1 0 185052808 19357696 342 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 4726 342 198 640 0 4082 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18904

[startup+0.30172 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1448
/proc/meminfo: memFree=1856752/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=19676 CPUtime=0.29
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 562 0 0 0 29 0 0 0 19 0 1 0 185052808 20148224 544 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 4919 544 198 640 0 4275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19676

[startup+0.701752 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1448
/proc/meminfo: memFree=1856752/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=20572 CPUtime=0.69
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 778 0 0 0 69 0 0 0 23 0 1 0 185052808 21065728 760 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 5143 760 198 640 0 4499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20572

[startup+1.50282 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1449
/proc/meminfo: memFree=1854120/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=20960 CPUtime=1.49
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 888 0 0 0 148 1 0 0 25 0 1 0 185052808 21463040 870 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 5240 870 198 640 0 4596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20960

[startup+3.10195 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1449
/proc/meminfo: memFree=1853608/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=21584 CPUtime=3.09
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 1049 0 0 0 308 1 0 0 25 0 1 0 185052808 22102016 1031 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 5396 1031 198 640 0 4752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21584

[startup+6.30121 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1449
/proc/meminfo: memFree=1852776/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=21840 CPUtime=6.29
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 1103 0 0 0 626 3 0 0 25 0 1 0 185052808 22364160 1085 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 5460 1085 198 640 0 4816 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21840

[startup+12.7017 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 1449
/proc/meminfo: memFree=1852072/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=22484 CPUtime=12.69
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 1272 0 0 0 1264 5 0 0 25 0 1 0 185052808 23023616 1254 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 5621 1254 198 640 0 4977 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22484

[startup+25.5018 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 1449
/proc/meminfo: memFree=1851432/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=23128 CPUtime=25.49
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 1442 0 0 0 2540 9 0 0 25 0 1 0 185052808 23683072 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 5782 1424 198 640 0 5138 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23128

[startup+51.1019 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 1449
/proc/meminfo: memFree=1850920/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=24004 CPUtime=51.08
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 1641 0 0 0 5094 14 0 0 25 0 1 0 185052808 24580096 1623 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6001 1623 198 640 0 5357 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24004

[startup+102.305 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 1449
/proc/meminfo: memFree=1849896/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=24648 CPUtime=102.27
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 1826 0 0 0 10202 25 0 0 25 0 1 0 185052808 25239552 1808 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6162 1808 198 640 0 5518 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24648

[startup+162.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 1451
/proc/meminfo: memFree=1849128/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=25400 CPUtime=162.25
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 1994 0 0 0 16188 37 0 0 25 0 1 0 185052808 26009600 1976 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6350 1976 198 640 0 5706 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 25400

[startup+222.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 1451
/proc/meminfo: memFree=1848936/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=25492 CPUtime=222.23
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2035 0 0 0 22176 47 0 0 25 0 1 0 185052808 26103808 2017 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6373 2017 198 640 0 5729 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25492

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1451
/proc/meminfo: memFree=1847848/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=26628 CPUtime=282.22
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2301 0 0 0 28168 54 0 0 25 0 1 0 185052808 27267072 2283 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6657 2283 198 640 0 6013 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26628

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1451
/proc/meminfo: memFree=1847848/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=26620 CPUtime=342.21
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2301 0 0 0 34159 62 0 0 25 0 1 0 185052808 27258880 2283 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6655 2283 198 640 0 6011 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 26620

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1451
/proc/meminfo: memFree=1847848/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=26612 CPUtime=402.2
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2301 0 0 0 40148 72 0 0 25 0 1 0 185052808 27250688 2283 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6653 2283 198 640 0 6009 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 26612

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1451
/proc/meminfo: memFree=1847784/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=26616 CPUtime=462.18
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2312 0 0 0 46138 80 0 0 25 0 1 0 185052808 27254784 2294 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6654 2294 198 640 0 6010 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 26616

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1451
/proc/meminfo: memFree=1847528/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=26852 CPUtime=522.17
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2374 0 0 0 52127 90 0 0 25 0 1 0 185052808 27496448 2356 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6713 2356 198 640 0 6069 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 26852

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1451
/proc/meminfo: memFree=1847336/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=27096 CPUtime=582.15
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2418 0 0 0 58116 99 0 0 25 0 1 0 185052808 27746304 2400 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6774 2400 198 640 0 6130 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 27096

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1451
/proc/meminfo: memFree=1847272/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=27096 CPUtime=642.14
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2435 0 0 0 64105 109 0 0 25 0 1 0 185052808 27746304 2417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 6774 2417 198 640 0 6130 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 27096

[startup+702.302 s]

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

/proc/meminfo: memFree=1845544/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=28552 CPUtime=1122.02
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2794 0 0 0 112031 171 0 0 25 0 1 0 185052808 29237248 2776 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7138 2776 198 640 0 6494 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 28552

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1845544/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=28552 CPUtime=1182.01
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2794 0 0 0 118023 178 0 0 25 0 1 0 185052808 29237248 2776 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7138 2776 198 640 0 6494 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 28552

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1845480/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=28552 CPUtime=1241.99
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2794 0 0 0 124013 186 0 0 25 0 1 0 185052808 29237248 2776 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7138 2776 198 640 0 6494 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 28552

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844648/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29292 CPUtime=1301.98
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2983 0 0 0 130005 193 0 0 25 0 1 0 185052808 29995008 2965 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7323 2965 198 640 0 6679 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 29292

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844584/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29392 CPUtime=1361.97
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2994 0 0 0 135996 201 0 0 25 0 1 0 185052808 30097408 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7348 2976 198 640 0 6704 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 29392

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844584/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29388 CPUtime=1421.96
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2994 0 0 0 141990 206 0 0 25 0 1 0 185052808 30093312 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7347 2976 198 640 0 6703 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 29388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844584/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29384 CPUtime=1481.94
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2994 0 0 0 147979 215 0 0 25 0 1 0 185052808 30089216 2976 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7346 2976 198 640 0 6702 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 29384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844584/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29384 CPUtime=1541.92
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 2997 0 0 0 153970 222 0 0 25 0 1 0 185052808 30089216 2979 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7346 2979 198 640 0 6702 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 29384

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844520/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29384 CPUtime=1601.91
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3002 0 0 0 159962 229 0 0 25 0 1 0 185052808 30089216 2984 1992294400 134512640 137136520 4294956256 18446744073709551615 136500598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7346 2984 198 640 0 6702 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 29384

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844264/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1661.9
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 165955 235 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 29640

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844264/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1721.89
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 171947 242 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 29640

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1781.87
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 177939 248 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 29640

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 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1791.47
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 178898 249 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 29640

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1794.67
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 179218 249 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 29640

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1796.26
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 179377 249 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 29640

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1797.06
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 179457 249 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 29640

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1797.46
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 179497 249 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 29640

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1797.86
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 179537 249 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 29640

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1457
/proc/meminfo: memFree=1844136/2055920 swapFree=4191900/4192956
[pid=1448] ppid=1446 vsize=29640 CPUtime=1797.97
/proc/1448/stat : 1448 (bsolo) R 1446 1448 1197 0 -1 4194304 3063 0 0 0 179548 249 0 0 25 0 1 0 185052808 30351360 3045 1992294400 134512640 137136520 4294956256 18446744073709551615 134544550 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1448/statm: 7410 3045 198 640 0 6766 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 29640

Child status: 0
Real time (s): 1798.43
CPU time (s): 1798
CPU user time (s): 1795.5
CPU system time (s): 2.50162
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 29640

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

runsolver used 1.3408 second user time and 3.79442 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-16 19:48:38
IDJOB=1876974
IDBENCH=2900
IDSOLVER=699
FILE ID=node3/1876974-1245174518
PBS_JOBID= 9363879
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673
RANDOM SEED=2009183072

node3.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.236
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.236
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:       1857104 kB
Buffers:         40096 kB
Cached:          88164 kB
SwapCached:        260 kB
Active:          29836 kB
Inactive:       111624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857104 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          21756 kB
Slab:            43312 kB
Committed_AS:   154136 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-1876974-1245174518.opb

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