Trace number 3478885

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 NameAnswerCPU timeWall clock time
bsolo 3.2? 1798.06 1797.98

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-41.opb
MD5SUM6dbd851a0ecde886abe8c814571be968
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark42.5875
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5690
Total number of constraints119124
Number of constraints which are clauses106682
Number of constraints which are cardinality constraints (but not clauses)434
Number of constraints which are nor clauses,nor cardinality constraints12008
Minimum length of a constraint2
Maximum length of a constraint162
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 163
Number of bits of the biggest sum of numbers8
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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3478885-1307441391.opb
0.00/0.00	c File size is 5021168 bytes.
0.29/0.31	c Highest Coefficient sum: 163
0.29/0.31	c Parsing was ok!!
0.29/0.31	c Total parsing time: 0.315 s
0.29/0.33	c Var: 5690 Constr: 119348 106904/436/12008 Lit: 466240 Watch. Lit: 240922
0.29/0.33	c Obj. Vars: 0 (0 % of total variables)
3.79/3.81	c Pre-processing Time: 3.812 s
3.79/3.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.81	c        0   5690   117410   456552    3   249054  162585      0      0 3.81
3.79/3.81	c Switching off lower bounding mode.
1797.97/1797.94	c      101   5690   117612   461947    3   247835  178844    202     26 3.86
1797.97/1797.94	c      251   5690   117912   469343    3   248250  196729    502     63 3.94
1797.97/1797.94	c      476   5690   118358   481845    4   246934  216402    948    116 4.09
1797.97/1797.94	c      815   5690   119036   501055    4   248251  238043   1626    190 4.27
1797.97/1797.94	c     1323   5690   119946   552267    4   248141  261848   2536    289 4.58
1797.97/1797.94	c     2086   5690   121468   602593    4   251064  288033   4058    414 5.03
1797.97/1797.94	c     3233   5690   123755   677771    5   255910  316837   6345    558 5.79
1797.97/1797.94	c     4954   5690   127072   777482    6   262869  348521   9662    734 6.75
1797.97/1797.94	c     7540   5690   132215   942761    7   273171  383374  14805    770 9.79
1797.97/1797.94	c    11419   5690   139462  1274841    9   287346  421712  22052    976 11.69
1797.97/1797.94	c    17241   5690   151005  1765552   11   310834  463884  33595    867 19.87
1797.97/1797.94	c    25978   5690   167734  2550527   15   343983  510273  50324    913 28.43
1797.97/1797.94	c    39090   5689   191681  3427243   17   391759  561301  74271    609 64.09
1797.97/1797.94	c    58760   5689   229289  5602072   24   467096  617432 111879    621 94.56
1797.97/1797.94	c    88270   5688   281236  8135945   28   572997  679176 163826    487 181.25
1797.97/1797.94	c   132540   5687   358436 15266808   42   726140  747094 241026    359 369.03
1797.97/1797.94	c   198950   5687   483736 24580042   50   977144  821804 366326    325 611.78
1797.97/1797.94	c   298570   5686   666253 51105856   76  1341336  903985 548843    212 1407.40
1797.97/1797.94	c Resources Exceeded
1797.97/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1797.94	c   18   343684 176320  3132248   745419 57819428 628009    191 1798.03
1797.97/1797.94	s UNKNOWN
1797.97/1797.94	c Total time: 1798.03 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-3478885-1307441391/watcher-3478885-1307441391 -o /tmp/evaluation-result-3478885-1307441391/solver-3478885-1307441391 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478885-1307441391.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.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=16108 CPUtime=0 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 1 0 855735839 16494592 369 33554432000 134512640 137138936 4293495600 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 4027 369 203 642 0 2157 0

[startup+0.0801929 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=19652 CPUtime=0.07 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 1570 0 0 0 7 0 0 0 25 0 1 0 855735839 20123648 1524 33554432000 134512640 137138936 4293495600 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 4913 1526 480 642 0 3043 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19652

[startup+0.101188 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=20612 CPUtime=0.09 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 1909 0 0 0 9 0 0 0 25 0 1 0 855735839 21106688 1863 33554432000 134512640 137138936 4293495600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 5153 1863 564 642 0 3283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20612

[startup+0.301149 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=29884 CPUtime=0.29 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 4975 0 0 0 29 0 0 0 25 0 1 0 855735839 30601216 4929 33554432000 134512640 137138936 4293495600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 7471 4929 1330 642 0 5601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29884

[startup+0.701068 s]
/proc/loadavg: 2.08 2.05 2.01 2/517 11403
/proc/meminfo: memFree=20618928/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=39648 CPUtime=0.69 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 8720 0 0 0 68 1 0 0 25 0 1 0 855735839 40599552 7448 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9912 7448 185 642 0 9268 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39648

[startup+1.50091 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 11404
/proc/meminfo: memFree=20589036/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=39648 CPUtime=1.49 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 8722 0 0 0 146 3 0 0 25 0 1 0 855735839 40599552 7450 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9912 7450 185 642 0 9268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39648

[startup+3.10059 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 11404
/proc/meminfo: memFree=20587548/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=39648 CPUtime=3.09 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 8725 0 0 0 304 5 0 0 25 0 1 0 855735839 40599552 7453 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9912 7453 185 642 0 9268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39648

[startup+6.30095 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 11404
/proc/meminfo: memFree=20592128/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=36316 CPUtime=6.29 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 11417 0 0 0 618 11 0 0 25 0 1 0 855735839 37187584 6634 33554432000 134512640 137138936 4293495600 18446744073709551615 134578520 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 9079 6634 192 642 0 8435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36316

[startup+12.7007 s]
/proc/loadavg: 2.07 2.05 2.01 3/518 11405
/proc/meminfo: memFree=20580396/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=45244 CPUtime=12.69 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 13663 0 0 0 1253 16 0 0 25 0 1 0 855735839 46329856 8880 33554432000 134512640 137138936 4293495600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 11311 8880 192 642 0 10667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45244

[startup+25.5011 s]
/proc/loadavg: 2.21 2.08 2.02 3/518 11405
/proc/meminfo: memFree=20562792/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=59592 CPUtime=25.49 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 17250 0 0 0 2527 22 0 0 25 0 1 0 855735839 61022208 12467 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 14898 12467 192 642 0 14254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59592

[startup+51.101 s]
/proc/loadavg: 2.14 2.07 2.01 3/518 11406
/proc/meminfo: memFree=20539176/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=73464 CPUtime=51.09 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 20719 0 0 0 5084 25 0 0 25 0 1 0 855735839 75227136 15936 33554432000 134512640 137138936 4293495600 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 18366 15936 192 642 0 17722 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73464

[startup+102.32 s]
/proc/loadavg: 2.12 2.08 2.01 3/518 11407
/proc/meminfo: memFree=20478892/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=111852 CPUtime=102.32 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 30302 0 0 0 10196 36 0 0 25 0 1 0 855735839 114536448 25519 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 27963 25519 192 642 0 27319 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 111852

[startup+162.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/518 11409
/proc/meminfo: memFree=20429256/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=135700 CPUtime=162.3 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 36275 0 0 0 16184 46 0 0 25 0 1 0 855735839 138956800 31492 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 33925 31492 192 642 0 33281 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 135700

[startup+222.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/518 11410
/proc/meminfo: memFree=20382100/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=161788 CPUtime=222.3 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 42802 0 0 0 22176 54 0 0 25 0 1 0 855735839 165670912 38019 33554432000 134512640 137138936 4293495600 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 40447 38019 192 642 0 39803 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 161788

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11412
/proc/meminfo: memFree=20324772/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=198856 CPUtime=282.31 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 52067 0 0 0 28167 64 0 0 25 0 1 0 855735839 203628544 47284 33554432000 134512640 137138936 4293495600 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 49714 47284 192 642 0 49070 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 198856

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 11413
/proc/meminfo: memFree=20268192/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=232976 CPUtime=342.3 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 60598 0 0 0 34162 68 0 0 25 0 1 0 855735839 238567424 55815 33554432000 134512640 137138936 4293495600 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 58244 55815 192 642 0 57600 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232976

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11415
/proc/meminfo: memFree=20223140/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=255952 CPUtime=402.31 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 66341 0 0 0 40157 74 0 0 25 0 1 0 855735839 262094848 61558 33554432000 134512640 137138936 4293495600 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 63988 61558 192 642 0 63344 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 255952

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11417
/proc/meminfo: memFree=20169416/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=281992 CPUtime=462.31 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 72851 0 0 0 46149 82 0 0 25 0 1 0 855735839 288759808 68068 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 70498 68068 192 642 0 69854 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 281992

[startup+522.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/518 11418
/proc/meminfo: memFree=20105520/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=322332 CPUtime=522.32 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 82917 0 0 0 52138 94 0 0 25 0 1 0 855735839 330067968 78134 33554432000 134512640 137138936 4293495600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 80583 78134 192 642 0 79939 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 322332

[startup+582.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/518 11420
/proc/meminfo: memFree=20045588/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=360164 CPUtime=582.32 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 92373 0 0 0 58127 105 0 0 25 0 1 0 855735839 368807936 87590 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 90041 87590 192 642 0 89397 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 360164

[startup+642.301 s]

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

/proc/meminfo: memFree=20700328/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=579728 CPUtime=1062.34 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 147288 0 0 0 106093 141 0 0 25 0 1 0 855735839 593641472 142505 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 144932 142505 192 642 0 144288 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 579728

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 11461
/proc/meminfo: memFree=20667316/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=602184 CPUtime=1122.34 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 152897 0 0 0 112091 143 0 0 25 0 1 0 855735839 616636416 148114 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 150546 148114 192 642 0 149902 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 602184

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11463
/proc/meminfo: memFree=20629836/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=630236 CPUtime=1182.35 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 159894 0 0 0 118087 148 0 0 25 0 1 0 855735839 645361664 155111 33554432000 134512640 137138936 4293495600 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 157559 155111 192 642 0 156915 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 630236

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11464
/proc/meminfo: memFree=20593592/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=658268 CPUtime=1242.35 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 166928 0 0 0 124083 152 0 0 25 0 1 0 855735839 674066432 162145 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 164567 162145 192 642 0 163923 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 658268

[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 11466
/proc/meminfo: memFree=20553376/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=687040 CPUtime=1302.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 174102 0 0 0 130079 157 0 0 25 0 1 0 855735839 703528960 169319 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 171760 169319 192 642 0 171116 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 687040

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 11468
/proc/meminfo: memFree=20515280/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=716668 CPUtime=1362.35 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 181499 0 0 0 136074 161 0 0 25 0 1 0 855735839 733868032 176716 33554432000 134512640 137138936 4293495600 18446744073709551615 134599652 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 179167 176716 192 642 0 178523 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 716668

[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 11469
/proc/meminfo: memFree=20454496/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=742180 CPUtime=1422.38 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 187886 0 0 0 142072 166 0 0 25 0 1 0 855735839 759992320 183103 33554432000 134512640 137138936 4293495600 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 185545 183103 192 642 0 184901 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 742180

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11471
/proc/meminfo: memFree=20380060/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=757296 CPUtime=1482.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 191665 0 0 0 148067 169 0 0 25 0 1 0 855735839 775471104 186882 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 189324 186882 192 642 0 188680 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 757296

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 11472
/proc/meminfo: memFree=20311476/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=770168 CPUtime=1542.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 194883 0 0 0 154064 172 0 0 25 0 1 0 855735839 788652032 190100 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 192542 190100 192 642 0 191898 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 770168

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 11474
/proc/meminfo: memFree=20242860/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=788292 CPUtime=1602.36 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 199406 0 0 0 160061 175 0 0 25 0 1 0 855735839 807211008 194623 33554432000 134512640 137138936 4293495600 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 197073 194623 192 642 0 196429 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 788292

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11476
/proc/meminfo: memFree=20191612/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=795152 CPUtime=1662.37 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 201130 0 0 0 166059 178 0 0 25 0 1 0 855735839 814235648 196347 33554432000 134512640 137138936 4293495600 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 198788 196347 192 642 0 198144 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 795152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11477
/proc/meminfo: memFree=20144832/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=807732 CPUtime=1722.37 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 204265 0 0 0 172056 181 0 0 25 0 1 0 855735839 827117568 199482 33554432000 134512640 137138936 4293495600 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 201933 199482 192 642 0 201289 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 807732

[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20076480/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=830104 CPUtime=1782.37 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 209867 0 0 0 178051 186 0 0 25 0 1 0 855735839 850026496 205084 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 207526 205084 192 642 0 206882 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 830104

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

[startup+1785.5 s]
/proc/loadavg: 2.09 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20074868/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=831244 CPUtime=1785.58 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210170 0 0 0 178371 187 0 0 25 0 1 0 855735839 851193856 205387 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 207811 205387 192 642 0 207167 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (KiB) 831244

[startup+1791.92 s]
/proc/loadavg: 2.08 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20066660/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=832652 CPUtime=1792 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210517 0 0 0 179013 187 0 0 25 0 1 0 855735839 852635648 205734 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208163 205734 192 642 0 207519 0
Current children cumulated CPU time (s) 1792
Current children cumulated vsize (KiB) 832652

[startup+1795.1 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20062196/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=832752 CPUtime=1795.19 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210542 0 0 0 179332 187 0 0 25 0 1 0 855735839 852738048 205759 33554432000 134512640 137138936 4293495600 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208188 205759 192 642 0 207544 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 832752

[startup+1796.7 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20061700/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=833080 CPUtime=1796.78 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210611 0 0 0 179491 187 0 0 25 0 1 0 855735839 853073920 205828 33554432000 134512640 137138936 4293495600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208270 205828 192 642 0 207626 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 833080

[startup+1797.5 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20060832/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=833180 CPUtime=1797.58 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210648 0 0 0 179571 187 0 0 25 0 1 0 855735839 853176320 205865 33554432000 134512640 137138936 4293495600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208295 205865 192 642 0 207651 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 833180

[startup+1797.9 s]
/proc/loadavg: 2.07 2.03 2.01 3/518 11479
/proc/meminfo: memFree=20060832/32950928 swapFree=34259960/67111528
[pid=11403] ppid=11401 vsize=833280 CPUtime=1797.97 cores=0,2,4,6
/proc/11403/stat : 11403 (bsolo) R 11401 11403 11029 0 -1 4202496 210674 0 0 0 179610 187 0 0 25 0 1 0 855735839 853278720 205891 33554432000 134512640 137138936 4293495600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11403/statm: 208320 205891 192 642 0 207676 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 833280

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.06
CPU user time (s): 1796.15
CPU system time (s): 1.90971
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 833280

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

runsolver used 9.70552 second user time and 20.5789 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-07 12:09:52
IDJOB=3478885
IDBENCH=89755
IDSOLVER=1955
FILE ID=node149/3478885-1307441391
RUNJOBID= node149-1307436781-11047
PBS_JOBID= 13519939
Free space on /tmp= 73728 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-41.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478885-1307441391/watcher-3478885-1307441391 -o /tmp/evaluation-result-3478885-1307441391/solver-3478885-1307441391 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3478885-1307441391.opb

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

MD5SUM BENCH= 6dbd851a0ecde886abe8c814571be968
RANDOM SEED=1507326381

node149.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.806
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.61
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.806
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	: 5332.83
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.806
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.83
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.806
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.73
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.806
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.806
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.75
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.806
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.82
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.806
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:     32950928 kB
MemFree:      20619084 kB
Buffers:        346196 kB
Cached:        3392900 kB
SwapCached:     123196 kB
Active:        1344380 kB
Inactive:     10649152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20619084 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            9116 kB
Writeback:           0 kB
AnonPages:     8155760 kB
Mapped:          18732 kB
Slab:           149556 kB
PageTables:     119332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173889708 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= 73772 MiB
End job on node149 at 2011-06-07 12:39:50