Trace number 3462481

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb
MD5SUM98317fc891a56a06b9f6f284bcd4ad38
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.70598
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462481-1307181027.opb
0.00/0.00	c File size is 11660 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386
0.00/0.00	c Obj. Vars: 9 (1.04167 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    864     1321     5535    4     4761    7398      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
1797.91/1797.98	c      100    864     1517    15396   10     5257    8138    196   5000 0.02
1797.91/1797.98	c      250    864     1775    33378   18     5802    8952    454   5319 0.05
1797.91/1797.98	c      475    864     2224    66650   29     6951    9848    903   5864 0.08
1797.91/1797.98	c      814    864     2870   115184   40     8792   10833   1549   5426 0.15
1797.91/1797.98	c     1323    864     3832   184487   48    11165   11917   2511   5108 0.26
1797.91/1797.98	c     2088    864     5355   294779   55    15138   13109   4034   4500 0.46
1797.91/1797.98	c     3234    864     7530   454928   60    20625   14420   6209   4162 0.78
1797.91/1797.98	c     4955    864    10774   671742   62    29082   15863   9453   4125 1.20
1797.91/1797.98	c     7540    864    15625   973421   62    41894   17450  14304   3237 2.33
1797.91/1797.98	c    11419    864    13648   855868   62    35427   19196  12327   2817 4.05
1797.91/1797.98	c    17242    864    15179  1011284   66    40508   21116  13858   2583 6.67
1797.91/1797.98	c    25980    864    21549  1261659   58    58251   23228  20228   2338 11.11
1797.91/1797.98	c    39090    864    23355  1410355   60    60386   25551  22034   1854 21.07
1797.91/1797.98	c    58761    864    21681  1466356   67    56191   28107  20360   1688 34.81
1797.91/1797.98	c    88271    864    19345  1386081   71    49432   30918  18024   1445 61.06
1797.91/1797.98	c   132541    864    25624  1815438   70    71983   34010  24303   1470 90.12
1797.91/1797.98	c   198952    864    32998  2392130   72    87409   37412  31677   1352 147.07
1797.91/1797.98	c   298573    863    31505  2013149   63    81595   41154  30184   1163 256.65
1797.91/1797.98	c   448008    862    28804  1935862   67    72736   45270  27483    995 450.24
1797.91/1797.98	c   672167    862    35579  2427016   68    93200   49798  34258    883 761.12
1797.91/1797.98	c  1008411    862    22401  1411658   63    59405   54778  21080    817 1234.16
1797.91/1797.98	c Resources Exceeded
1797.91/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1797.98	c   21  1402795   8671  1432522    43576  2875934  42255    780 1798.00
1797.91/1797.98	s UNKNOWN
1797.91/1797.98	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462481-1307181027/watcher-3462481-1307181027 -o /tmp/evaluation-result-3462481-1307181027/solver-3462481-1307181027 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462481-1307181027.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 9732
/proc/meminfo: memFree=29680912/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=11192 CPUtime=0 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 405 0 0 0 0 0 0 0 25 0 1 0 829702441 11460608 356 33554432000 134512640 137138936 4291372448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 2798 356 192 642 0 2154 0

[startup+0.0322271 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 9732
/proc/meminfo: memFree=29680912/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=11320 CPUtime=0.02 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 435 0 0 0 2 0 0 0 25 0 1 0 829702441 11591680 386 33554432000 134512640 137138936 4291372448 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 2830 386 192 642 0 2186 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11320

[startup+0.100221 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 9732
/proc/meminfo: memFree=29680912/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=12088 CPUtime=0.09 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 648 0 0 0 9 0 0 0 25 0 1 0 829702441 12378112 599 33554432000 134512640 137138936 4291372448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 3022 599 192 642 0 2378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12088

[startup+0.300176 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 9732
/proc/meminfo: memFree=29680912/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=14140 CPUtime=0.29 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 1149 0 0 0 29 0 0 0 25 0 1 0 829702441 14479360 1100 33554432000 134512640 137138936 4291372448 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 3535 1100 192 642 0 2891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14140

[startup+0.701107 s]
/proc/loadavg: 2.00 2.01 2.00 2/400 9732
/proc/meminfo: memFree=29680912/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=17208 CPUtime=0.69 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 1900 0 0 0 69 0 0 0 25 0 1 0 829702441 17620992 1851 33554432000 134512640 137138936 4291372448 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 4302 1851 192 642 0 3658 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17208

[startup+1.50097 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9733
/proc/meminfo: memFree=29671476/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=21780 CPUtime=1.49 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 3043 0 0 0 149 0 0 0 25 0 1 0 829702441 22302720 2994 33554432000 134512640 137138936 4291372448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 5445 2994 192 642 0 4801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21780

[startup+3.10062 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9733
/proc/meminfo: memFree=29665276/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=28660 CPUtime=3.09 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 4774 0 0 0 308 1 0 0 25 0 1 0 829702441 29347840 4725 33554432000 134512640 137138936 4291372448 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 7165 4725 192 642 0 6521 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28660

[startup+6.30112 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9733
/proc/meminfo: memFree=29659460/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=30772 CPUtime=6.29 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 5306 0 0 0 627 2 0 0 25 0 1 0 829702441 31510528 5257 33554432000 134512640 137138936 4291372448 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 7693 5257 192 642 0 7049 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30772

[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9733
/proc/meminfo: memFree=29654476/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=32836 CPUtime=12.69 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 5825 0 0 0 1266 3 0 0 25 0 1 0 829702441 33624064 5776 33554432000 134512640 137138936 4291372448 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 8209 5776 192 642 0 7565 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32836

[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9734
/proc/meminfo: memFree=29650384/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=35388 CPUtime=25.48 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 6471 0 0 0 2544 4 0 0 25 0 1 0 829702441 36237312 6422 33554432000 134512640 137138936 4291372448 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9732/statm: 8847 6422 192 642 0 8203 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35388

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9734
/proc/meminfo: memFree=29639872/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=42608 CPUtime=51.08 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 8274 0 0 0 5101 7 0 0 25 0 1 0 829702441 43630592 8225 33554432000 134512640 137138936 4291372448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9732/statm: 10652 8225 192 642 0 10008 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42608

[startup+102.315 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9736
/proc/meminfo: memFree=29628444/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=46736 CPUtime=102.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 9312 0 0 0 10218 12 0 0 25 0 1 0 829702441 47857664 9229 33554432000 134512640 137138936 4291372448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9732/statm: 11684 9229 192 642 0 11040 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 46736

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 9737
/proc/meminfo: memFree=29613664/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=52028 CPUtime=162.26 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 10672 0 0 0 16209 17 0 0 25 0 1 0 829702441 53276672 10552 33554432000 134512640 137138936 4291372448 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 13007 10552 192 642 0 12363 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 52028

[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 9739
/proc/meminfo: memFree=29607208/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=52028 CPUtime=222.27 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 10672 0 0 0 22205 22 0 0 25 0 1 0 829702441 53276672 10552 33554432000 134512640 137138936 4291372448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 13007 10552 192 642 0 12363 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 52028

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 9794
/proc/meminfo: memFree=30009372/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=51872 CPUtime=282.27 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 10675 0 0 0 28201 26 0 0 25 0 1 0 829702441 53116928 10545 33554432000 134512640 137138936 4291372448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 12968 10545 192 642 0 12324 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 51872

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/401 9877
/proc/meminfo: memFree=29985484/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=52032 CPUtime=342.27 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 10724 0 0 0 34197 30 0 0 25 0 1 0 829702441 53280768 10553 33554432000 134512640 137138936 4291372448 18446744073709551615 134618464 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 13008 10553 192 642 0 12364 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 52032

[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/401 9879
/proc/meminfo: memFree=29980484/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=53696 CPUtime=402.27 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 11140 0 0 0 40191 36 0 0 25 0 1 0 829702441 54984704 10969 33554432000 134512640 137138936 4291372448 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 13424 10969 192 642 0 12780 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 53696

[startup+462.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/401 9880
/proc/meminfo: memFree=29973524/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=54452 CPUtime=462.28 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 11329 0 0 0 46188 40 0 0 25 0 1 0 829702441 55758848 11158 33554432000 134512640 137138936 4291372448 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 13613 11158 192 642 0 12969 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 54452

[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 9882
/proc/meminfo: memFree=29971768/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=57212 CPUtime=522.28 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 12064 0 0 0 52183 45 0 0 25 0 1 0 829702441 58585088 11848 33554432000 134512640 137138936 4291372448 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 14303 11848 192 642 0 13659 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 57212

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 9883
/proc/meminfo: memFree=29960820/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=57212 CPUtime=582.28 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 12064 0 0 0 58179 49 0 0 25 0 1 0 829702441 58585088 11848 33554432000 134512640 137138936 4291372448 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 14303 11848 192 642 0 13659 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 57212

[startup+642.301 s]

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

/proc/meminfo: memFree=29938092/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=68608 CPUtime=1062.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 14963 0 0 0 106147 83 0 0 25 0 1 0 829702441 70254592 14697 33554432000 134512640 137138936 4291372448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 17152 14697 192 642 0 16508 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 68608

[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/401 9910
/proc/meminfo: memFree=29938196/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=68072 CPUtime=1122.29 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 14963 0 0 0 112143 86 0 0 25 0 1 0 829702441 69705728 14595 33554432000 134512640 137138936 4291372448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 17018 14595 192 642 0 16374 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 68072

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 9911
/proc/meminfo: memFree=29937924/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=68072 CPUtime=1182.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 14963 0 0 0 118138 92 0 0 25 0 1 0 829702441 69705728 14595 33554432000 134512640 137138936 4291372448 18446744073709551615 134618122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 17018 14595 192 642 0 16374 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 68072

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9913
/proc/meminfo: memFree=29938404/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=67528 CPUtime=1242.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 14963 0 0 0 124134 96 0 0 25 0 1 0 829702441 69148672 14459 33554432000 134512640 137138936 4291372448 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 16882 14459 192 642 0 16238 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 67528

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9915
/proc/meminfo: memFree=29937148/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=68516 CPUtime=1302.31 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 15742 0 0 0 130130 101 0 0 25 0 1 0 829702441 70160384 14696 33554432000 134512640 137138936 4291372448 18446744073709551615 134542960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 17129 14696 192 642 0 16485 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 68516

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9916
/proc/meminfo: memFree=29938120/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=68812 CPUtime=1362.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 15794 0 0 0 136126 104 0 0 25 0 1 0 829702441 70463488 14748 33554432000 134512640 137138936 4291372448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 17203 14748 192 642 0 16559 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 68812

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9918
/proc/meminfo: memFree=29937980/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=68984 CPUtime=1422.31 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 15837 0 0 0 142124 107 0 0 25 0 1 0 829702441 70639616 14791 33554432000 134512640 137138936 4291372448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 17246 14791 192 642 0 16602 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 68984

[startup+1482.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/401 9919
/proc/meminfo: memFree=29934360/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=72688 CPUtime=1482.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16763 0 0 0 148119 111 0 0 25 0 1 0 829702441 74432512 15717 33554432000 134512640 137138936 4291372448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18172 15717 192 642 0 17528 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 72688

[startup+1542.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/401 9921
/proc/meminfo: memFree=29934344/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=73088 CPUtime=1542.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 154115 115 0 0 25 0 1 0 829702441 74842112 15817 33554432000 134512640 137138936 4291372448 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18272 15817 192 642 0 17628 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 73088

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 9923
/proc/meminfo: memFree=29933696/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=73088 CPUtime=1602.3 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 160110 120 0 0 25 0 1 0 829702441 74842112 15817 33554432000 134512640 137138936 4291372448 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18272 15817 192 642 0 17628 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 73088

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/401 9924
/proc/meminfo: memFree=29932928/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=73088 CPUtime=1662.31 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 166107 124 0 0 25 0 1 0 829702441 74842112 15817 33554432000 134512640 137138936 4291372448 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18272 15817 192 642 0 17628 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 73088

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 9926
/proc/meminfo: memFree=29932792/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=73088 CPUtime=1722.31 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 172102 129 0 0 25 0 1 0 829702441 74842112 15817 33554432000 134512640 137138936 4291372448 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18272 15817 192 642 0 17628 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 73088

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9927
/proc/meminfo: memFree=29931896/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=73088 CPUtime=1782.31 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 178099 132 0 0 25 0 1 0 829702441 74842112 15817 33554432000 134512640 137138936 4291372448 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18272 15817 192 642 0 17628 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 73088

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9927
/proc/meminfo: memFree=29932640/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=72592 CPUtime=1785.5 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 178418 132 0 0 25 0 1 0 829702441 74334208 15725 33554432000 134512640 137138936 4291372448 18446744073709551615 134544858 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18148 15725 192 642 0 17504 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 72592

[startup+1791.92 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9928
/proc/meminfo: memFree=29932636/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=72592 CPUtime=1791.93 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 179060 133 0 0 25 0 1 0 829702441 74334208 15725 33554432000 134512640 137138936 4291372448 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18148 15725 192 642 0 17504 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 72592

[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9928
/proc/meminfo: memFree=29932512/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=72592 CPUtime=1795.12 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 179379 133 0 0 25 0 1 0 829702441 74334208 15725 33554432000 134512640 137138936 4291372448 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18148 15725 192 642 0 17504 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 72592

[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9928
/proc/meminfo: memFree=29932632/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=72592 CPUtime=1796.71 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 179538 133 0 0 25 0 1 0 829702441 74334208 15725 33554432000 134512640 137138936 4291372448 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18148 15725 192 642 0 17504 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 72592

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9928
/proc/meminfo: memFree=29932632/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=72592 CPUtime=1797.51 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 179618 133 0 0 25 0 1 0 829702441 74334208 15725 33554432000 134512640 137138936 4291372448 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18148 15725 192 642 0 17504 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 72592

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9928
/proc/meminfo: memFree=29932632/32950904 swapFree=56615552/67111528
[pid=9732] ppid=9730 vsize=72592 CPUtime=1797.91 cores=0,2,4,6
/proc/9732/stat : 9732 (bsolo) R 9730 9732 8078 0 -1 4202496 16863 0 0 0 179658 133 0 0 25 0 1 0 829702441 74334208 15725 33554432000 134512640 137138936 4291372448 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9732/statm: 18148 15725 192 642 0 17504 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 72592

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798
CPU user time (s): 1796.66
CPU system time (s): 1.3408
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 73088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.66
system time used= 1.3408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16863
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= 5
involuntary context switches= 3818

runsolver used 7.03593 second user time and 15.8526 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 11:50:27
IDJOB=3462481
IDBENCH=47897
IDSOLVER=1955
FILE ID=node121/3462481-1307181027
RUNJOBID= node121-1307174965-9241
PBS_JOBID= 13508819
Free space on /tmp= 73952 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462481-1307181027/watcher-3462481-1307181027 -o /tmp/evaluation-result-3462481-1307181027/solver-3462481-1307181027 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462481-1307181027.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 98317fc891a56a06b9f6f284bcd4ad38
RANDOM SEED=1638603880

node121.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29681192 kB
Buffers:        324368 kB
Cached:         468868 kB
SwapCached:       9896 kB
Active:        2593592 kB
Inactive:       414944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29681192 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            3936 kB
Writeback:           0 kB
AnonPages:     2212536 kB
Mapped:          13884 kB
Slab:           141608 kB
PageTables:      52628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83904124 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73952 MiB
End job on node121 at 2011-06-04 12:20:25