Trace number 2657341

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 Cl? 1798 1798.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
MD5SUM4618b6422bdc12197131d1d37f567363
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 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3589
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.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657341-1276600813.opb
0.00/0.00	c File size is 3356 bytes.
0.00/0.00	c Highest Coefficient sum: 3589
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: 395 Watch. Lit: 135
0.00/0.00	c Obj. Vars: 1 (2.43902 % 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     40       10      394   39      140     788      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.90/1798.50	c      100     40      110     3309   30      423     867    100  14285 0.01
1797.90/1798.50	c      251     40      261     7676   29      729     954    251  15687 0.02
1797.90/1798.50	c      476     40      486    13874   28     1167    1050    476  15866 0.03
1797.90/1798.50	c      814     40      824    23265   28     1847    1156    814  15960 0.05
1797.90/1798.50	c     1322     40      734    20553   28     1661    1272    724  14853 0.09
1797.90/1798.50	c     2085     40      844    24478   29     1890    1400    834  13993 0.15
1797.90/1798.50	c     3231     40     1273    37037   29     2742    1541   1263  13406 0.24
1797.90/1798.50	c     4952     40     1407    41272   29     3020    1696   1397  12536 0.40
1797.90/1798.50	c     7536     40     1377    40835   29     2958    1866   1367  11683 0.65
1797.90/1798.50	c    11415     40     1429    42727   29     3070    2053   1419  10986 1.04
1797.90/1798.50	c    17238     40     2007    60831   30     4223    2259   1997  10504 1.64
1797.90/1798.50	c    25975     40     1487    43975   29     3179    2485   1477   9710 2.67
1797.90/1798.50	c    39085     40     1917    58005   30     4046    2734   1907   9117 4.29
1797.90/1798.50	c    58755     40     2081    63959   30     4370    3008   2071   8830 6.65
1797.90/1798.50	c    88265     40     2492    75787   30     5190    3309   2482   8127 10.86
1797.90/1798.50	c   132535     40     3077    92399   30     6357    3640   3067   7527 17.61
1797.90/1798.50	c   198947     40     3042    91936   30     6292    4005   3032   7231 27.51
1797.90/1798.50	c   298568     40     3283    98047   29     6775    4406   3273   6785 44.00
1797.90/1798.50	c   448004     40     3451   105590   30     7112    4847   3441   6296 71.16
1797.90/1798.50	c   672162     40     4805   147129   30     9819    5332   4795   5880 114.31
1797.90/1798.50	c  1008406     40     4648   145168   31     9504    5866   4638   5554 181.53
1797.90/1798.50	c  1512777     40     3078    94810   30     6365    6453   3068   5271 286.97
1797.90/1798.50	c  2269340     40     5435   166362   30    11072    7099   5425   4914 461.74
1797.90/1798.50	c  3404192     40     3649   111093   30     7507    7809   3639   4467 761.94
1797.90/1798.50	c  5106476     40     4695   141261   30     9595    8590   4685   4082 1250.92
1797.90/1798.50	c Resources Exceeded
1797.90/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.50	c   25  6718596  59413  6779142     5409   166241   5399   3736 1798.00
1797.90/1798.50	s UNKNOWN
1797.90/1798.50	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-2657341-1276600813/watcher-2657341-1276600813 -o /tmp/evaluation-result-2657341-1276600813/solver-2657341-1276600813 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657341-1276600813.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/105 9244
/proc/meminfo: memFree=1545872/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=18600 CPUtime=0
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 328 0 0 0 0 0 0 0 25 0 1 0 1374827 19046400 245 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4650 245 190 642 0 4006 0

[startup+0.0130711 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9244
/proc/meminfo: memFree=1545872/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=18600 CPUtime=0.01
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 331 0 0 0 1 0 0 0 25 0 1 0 1374827 19046400 248 1992294400 134512640 137138936 4291047360 18446744073709551615 134543071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4650 248 190 642 0 4006 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18600

[startup+0.101067 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9244
/proc/meminfo: memFree=1545872/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=19116 CPUtime=0.09
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 455 0 0 0 9 0 0 0 25 0 1 0 1374827 19574784 372 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4779 372 190 642 0 4135 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19116

[startup+0.301092 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9244
/proc/meminfo: memFree=1545872/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=19244 CPUtime=0.29
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 506 0 0 0 29 0 0 0 25 0 1 0 1374827 19705856 423 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4811 423 190 642 0 4167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19244

[startup+0.701141 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9244
/proc/meminfo: memFree=1545872/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=19372 CPUtime=0.69
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 544 0 0 0 69 0 0 0 25 0 1 0 1374827 19836928 461 1992294400 134512640 137138936 4291047360 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4843 461 190 642 0 4199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19372

[startup+1.50024 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9245
/proc/meminfo: memFree=1544624/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=19632 CPUtime=1.49
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 581 0 0 0 148 1 0 0 25 0 1 0 1374827 20103168 498 1992294400 134512640 137138936 4291047360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4908 498 190 642 0 4264 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19632

[startup+3.10044 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9245
/proc/meminfo: memFree=1544128/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=19760 CPUtime=3.08
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 634 0 0 0 306 2 0 0 25 0 1 0 1374827 20234240 551 1992294400 134512640 137138936 4291047360 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4940 551 190 642 0 4296 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19760

[startup+6.30084 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9245
/proc/meminfo: memFree=1543756/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=19888 CPUtime=6.28
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 672 0 0 0 623 5 0 0 25 0 1 0 1374827 20365312 589 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 4972 589 190 642 0 4328 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19888

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9245
/proc/meminfo: memFree=1543384/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=20152 CPUtime=12.68
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 740 0 0 0 1259 9 0 0 25 0 1 0 1374827 20635648 657 1992294400 134512640 137138936 4291047360 18446744073709551615 134574252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5038 657 190 642 0 4394 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20152

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9245
/proc/meminfo: memFree=1543384/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=20400 CPUtime=25.48
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 784 0 0 0 2528 20 0 0 25 0 1 0 1374827 20889600 701 1992294400 134512640 137138936 4291047360 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5100 701 190 642 0 4456 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20400

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9245
/proc/meminfo: memFree=1543012/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=20776 CPUtime=51.08
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 883 0 0 0 5071 37 0 0 25 0 1 0 1374827 21274624 800 1992294400 134512640 137138936 4291047360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5194 800 190 642 0 4550 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20776

[startup+102.309 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 9247
/proc/meminfo: memFree=1542640/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=21032 CPUtime=102.27
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 942 0 0 0 10161 66 0 0 25 0 1 0 1374827 21536768 859 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5258 859 190 642 0 4614 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21032

[startup+162.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/106 9249
/proc/meminfo: memFree=1542268/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=21292 CPUtime=162.24
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1007 0 0 0 16124 100 0 0 25 0 1 0 1374827 21803008 924 1992294400 134512640 137138936 4291047360 18446744073709551615 134542960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5323 924 190 642 0 4679 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21292

[startup+222.301 s]
/proc/loadavg: 1.12 1.04 1.00 2/106 9251
/proc/meminfo: memFree=1541896/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=21548 CPUtime=222.23
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1089 0 0 0 22091 132 0 0 25 0 1 0 1374827 22065152 1006 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5387 1006 190 642 0 4743 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21548

[startup+282.301 s]
/proc/loadavg: 1.12 1.05 1.00 2/106 9253
/proc/meminfo: memFree=1541896/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=21548 CPUtime=282.21
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1089 0 0 0 28056 165 0 0 25 0 1 0 1374827 22065152 1006 1992294400 134512640 137138936 4291047360 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5387 1006 190 642 0 4743 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21548

[startup+342.302 s]
/proc/loadavg: 1.10 1.05 1.00 2/106 9253
/proc/meminfo: memFree=1541648/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=21912 CPUtime=342.19
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1165 0 0 0 34023 196 0 0 25 0 1 0 1374827 22437888 1082 1992294400 134512640 137138936 4291047360 18446744073709551615 134618509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5478 1082 190 642 0 4834 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 21912

[startup+402.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/106 9255
/proc/meminfo: memFree=1541524/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=21888 CPUtime=402.18
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1167 0 0 0 39994 224 0 0 25 0 1 0 1374827 22413312 1084 1992294400 134512640 137138936 4291047360 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5472 1084 190 642 0 4828 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 21888

[startup+462.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 9257
/proc/meminfo: memFree=1541524/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22148 CPUtime=462.16
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1220 0 0 0 45966 250 0 0 25 0 1 0 1374827 22679552 1137 1992294400 134512640 137138936 4291047360 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5537 1137 190 642 0 4893 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 22148

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 9259
/proc/meminfo: memFree=1541276/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22148 CPUtime=522.14
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1228 0 0 0 51934 280 0 0 25 0 1 0 1374827 22679552 1145 1992294400 134512640 137138936 4291047360 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5537 1145 190 642 0 4893 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 22148

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 9261
/proc/meminfo: memFree=1541276/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22148 CPUtime=582.12
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1239 0 0 0 57904 308 0 0 25 0 1 0 1374827 22679552 1156 1992294400 134512640 137138936 4291047360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5537 1156 190 642 0 4893 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 22148

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 9261
/proc/meminfo: memFree=1541152/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22236 CPUtime=642.12
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1241 0 0 0 63878 334 0 0 25 0 1 0 1374827 22769664 1158 1992294400 134512640 137138936 4291047360 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5559 1158 190 642 0 4915 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 22236

[startup+702.302 s]

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

/proc/meminfo: memFree=1540160/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22552 CPUtime=1121.97
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1334 0 0 0 111668 529 0 0 25 0 1 0 1374827 23093248 1251 1992294400 134512640 137138936 4291047360 18446744073709551615 134542912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5638 1251 190 642 0 4994 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 22552

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9280
/proc/meminfo: memFree=1540160/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22552 CPUtime=1181.96
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1338 0 0 0 117641 555 0 0 25 0 1 0 1374827 23093248 1255 1992294400 134512640 137138936 4291047360 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5638 1255 190 642 0 4994 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 22552

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9280
/proc/meminfo: memFree=1539912/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22552 CPUtime=1241.94
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1338 0 0 0 123614 580 0 0 25 0 1 0 1374827 23093248 1255 1992294400 134512640 137138936 4291047360 18446744073709551615 136520969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5638 1255 190 642 0 4994 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 22552

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9282
/proc/meminfo: memFree=1539788/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22928 CPUtime=1301.94
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1422 0 0 0 129591 603 0 0 25 0 1 0 1374827 23478272 1339 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5732 1339 190 642 0 5088 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 22928

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9284
/proc/meminfo: memFree=1539664/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22928 CPUtime=1361.91
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1429 0 0 0 135565 626 0 0 25 0 1 0 1374827 23478272 1346 1992294400 134512640 137138936 4291047360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5732 1346 190 642 0 5088 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 22928

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9286
/proc/meminfo: memFree=1539664/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22928 CPUtime=1421.9
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1435 0 0 0 141541 649 0 0 25 0 1 0 1374827 23478272 1352 1992294400 134512640 137138936 4291047360 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5732 1352 190 642 0 5088 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 22928

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9288
/proc/meminfo: memFree=1539664/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22928 CPUtime=1481.87
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1435 0 0 0 147517 670 0 0 25 0 1 0 1374827 23478272 1352 1992294400 134512640 137138936 4291047360 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5732 1352 190 642 0 5088 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 22928

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9288
/proc/meminfo: memFree=1539664/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22928 CPUtime=1541.86
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1435 0 0 0 153495 691 0 0 25 0 1 0 1374827 23478272 1352 1992294400 134512640 137138936 4291047360 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5732 1352 190 642 0 5088 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 22928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9290
/proc/meminfo: memFree=1539540/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22928 CPUtime=1601.85
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1435 0 0 0 159472 713 0 0 25 0 1 0 1374827 23478272 1352 1992294400 134512640 137138936 4291047360 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5732 1352 190 642 0 5088 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 22928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9292
/proc/meminfo: memFree=1539540/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=23008 CPUtime=1661.83
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 165450 733 0 0 25 0 1 0 1374827 23560192 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5752 1356 190 642 0 5108 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 23008

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9294
/proc/meminfo: memFree=1539416/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22992 CPUtime=1721.82
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 171425 757 0 0 25 0 1 0 1374827 23543808 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134544477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5748 1356 190 642 0 5104 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 22992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1781.79
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 177401 778 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134542402 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 22984

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1791.4
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 178359 781 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 22984

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1794.6
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 178677 783 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 22984

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1796.2
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 178836 784 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 22984

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1796.99
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 178915 784 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 22984

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1797.4
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 178955 785 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 22984

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1797.79
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 178994 785 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 22984

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9296
/proc/meminfo: memFree=1539292/2059040 swapFree=4192956/4192956
[pid=9244] ppid=9242 vsize=22984 CPUtime=1797.9
/proc/9244/stat : 9244 (bsolo_pb10) R 9242 9244 2316 0 -1 4202496 1439 0 0 0 179005 785 0 0 25 0 1 0 1374827 23535616 1356 1992294400 134512640 137138936 4291047360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9244/statm: 5746 1356 190 642 0 5102 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 22984

Child status: 0
Real time (s): 1798.5
CPU time (s): 1798
CPU user time (s): 1790.15
CPU system time (s): 7.85581
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 23064

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

runsolver used 2.81457 second user time and 8.64468 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-15 13:20:13
IDJOB=2657341
IDBENCH=2903
IDSOLVER=1163
FILE ID=node088/2657341-1276600813
PBS_JOBID= 11173546
Free space on /tmp= 62564 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657341-1276600813/watcher-2657341-1276600813 -o /tmp/evaluation-result-2657341-1276600813/solver-2657341-1276600813 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657341-1276600813.opb

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

MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363
RANDOM SEED=1627757381

node088.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.217
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1546276 kB
Buffers:         49964 kB
Cached:         336540 kB
SwapCached:          0 kB
Active:         188100 kB
Inactive:       258280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1546276 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3892 kB
Writeback:           0 kB
AnonPages:       59856 kB
Mapped:          15472 kB
Slab:            44700 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182240 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node088 at 2010-06-15 13:50:11