Trace number 3722725

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
PB12: minisatp 1.0-2-g022594c? (TO) 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
MD5SUM2f4fbbd7ac7eea50904b3e0a14134afd
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.004999
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables420
Total number of constraints41
Number of constraints which are clauses21
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
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 Parsing PB file...
0.00/0.00	c Converting 41 PB-constraints to clauses...
0.00/0.00	c   -- Unit propagations: (none)
0.00/0.00	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.00	c   -- Clauses(.)/Splits(s): .....................
0.00/0.00	c ---[  19]---> BDD-cost:   39
0.00/0.00	c ---[  18]---> BDD-cost:   39
0.00/0.00	c ---[  17]---> BDD-cost:   39
0.00/0.00	c ---[  16]---> BDD-cost:   39
0.00/0.00	c ---[  15]---> BDD-cost:   39
0.00/0.00	c ---[  14]---> BDD-cost:   39
0.00/0.00	c ---[  13]---> BDD-cost:   39
0.00/0.00	c ---[  12]---> BDD-cost:   39
0.00/0.00	c ---[  11]---> BDD-cost:   39
0.00/0.00	c ---[  10]---> BDD-cost:   39
0.00/0.00	c ---[   9]---> BDD-cost:   39
0.00/0.00	c ---[   8]---> BDD-cost:   39
0.00/0.00	c ---[   7]---> BDD-cost:   39
0.00/0.00	c ---[   6]---> BDD-cost:   39
0.00/0.00	c ---[   5]---> BDD-cost:   39
0.00/0.00	c ---[   4]---> BDD-cost:   39
0.00/0.00	c ---[   3]---> BDD-cost:   39
0.00/0.00	c ---[   2]---> BDD-cost:   39
0.00/0.00	c ---[   1]---> BDD-cost:   39
0.00/0.00	c ---[   0]---> BDD-cost:   39
0.00/0.00	c ==================================[MINISAT+]==================================
0.00/0.00	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    1941     5420 |     647       0        0    -nan |  0.000 % |
0.00/0.00	c |       100 |    1941     5420 |     711     100     7361    73.6 |  1.667 % |
0.00/0.01	c |       250 |    1941     5420 |     782     250    23074    92.3 |  1.667 % |
0.00/0.01	c |       478 |    1941     5420 |     861     478    46476    97.2 |  1.667 % |
0.00/0.02	c |       815 |    1941     5420 |     947     815    79876    98.0 |  1.667 % |
0.00/0.04	c |      1322 |    1941     5420 |    1041    1322   131186    99.2 |  1.667 % |
0.00/0.07	c |      2081 |    1941     5420 |    1146    1420   178810   125.9 |  1.669 % |
0.00/0.12	c |      3221 |    1941     5420 |    1260    1054   173600   164.7 |  1.667 % |
0.00/0.19	c |      4933 |    1941     5420 |    1386    1048   149270   142.4 |  1.667 % |
0.00/0.32	c |      7495 |    1941     5420 |    1525    1779   343816   193.3 |  1.667 % |
0.00/0.55	c |     11341 |    1941     5420 |    1678    1341   201864   150.5 |  1.667 % |
0.00/0.88	c |     17108 |    1941     5420 |    1845    2158   326240   151.2 |  1.667 % |
1.29/1.35	c |     25757 |    1941     5420 |    2030    1300   181659   139.7 |  1.667 % |
2.20/2.22	c |     38732 |    1941     5420 |    2233    1711   257216   150.3 |  1.667 % |
3.20/3.24	c |     58194 |    1941     5420 |    2456    2917   329599   113.0 |  1.667 % |
4.89/4.99	c |     87386 |    1941     5420 |    2702    2859   382405   133.8 |  1.667 % |
7.39/7.40	c |    131176 |    1941     5420 |    2972    3023   392222   129.7 |  1.667 % |
11.49/11.54	c |    196860 |    1941     5420 |    3270    2402   269824   112.3 |  1.667 % |
16.99/17.03	c |    295387 |    1941     5420 |    3597    3883   456009   117.4 |  1.667 % |
25.08/25.10	c |    443177 |    1941     5420 |    3956    4197   494022   117.7 |  1.667 % |
38.28/38.30	c |    664860 |    1941     5420 |    4352    4620   583979   126.4 |  1.667 % |
58.78/58.80	c |    997389 |    1941     5420 |    4787    4102   545787   133.1 |  1.667 % |
94.47/94.54	c |   1496177 |    1941     5420 |    5266    3807   780898   205.1 |  1.667 % |
151.77/151.89	c |   2244361 |    1941     5420 |    5793    4729   898240   189.9 |  1.667 % |
260.64/260.72	c |   3366637 |    1941     5420 |    6372    5378  1126914   209.5 |  1.667 % |
386.72/386.82	c |   5050048 |    1941     5420 |    7010    6468  1008720   156.0 |  1.667 % |
598.19/598.36	c |   7575164 |    1941     5420 |    7711    6865  1267095   184.6 |  1.667 % |
907.13/907.37	c |  11362840 |    1941     5420 |    8482    7451  1046777   140.5 |  1.667 % |
1407.15/1407.40	c |  17044355 |    1941     5420 |    9330    5650   867316   153.5 |  1.667 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3722725-1338572403/watcher-3722725-1338572403 -o /tmp/evaluation-result-3722725-1338572403/solver-3722725-1338572403 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722725-1338572403.opb 

running on 4 cores: 1,3,5,7

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.03 2.01 1.91 3/178 21464
/proc/meminfo: memFree=31398740/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0

[startup+0.092296 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 21464
/proc/meminfo: memFree=31398740/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10032 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 21464
/proc/meminfo: memFree=31398740/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300269 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 21464
/proc/meminfo: memFree=31398740/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70028 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 21464
/proc/meminfo: memFree=31398740/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.03 2.01 1.91 3/180 21469
/proc/meminfo: memFree=31395756/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=5116 CPUtime=1.49 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 1090 0 0 0 149 0 0 0 20 0 1 0 323367316 5238784 1046 33554432000 4194304 5276501 140734644523808 140734644521992 4397679 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 1279 1046 117 265 0 1011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14264

[startup+3.10032 s]
/proc/loadavg: 2.03 2.01 1.91 3/180 21469
/proc/meminfo: memFree=31394144/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=5900 CPUtime=3.09 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 1293 0 0 0 309 0 0 0 20 0 1 0 323367316 6041600 1249 33554432000 4194304 5276501 140734644523808 140734644522104 4397679 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 1475 1249 117 265 0 1207 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15048

[startup+6.30032 s]
/proc/loadavg: 2.02 2.01 1.91 3/180 21469
/proc/meminfo: memFree=31392904/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=7096 CPUtime=6.29 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 1596 0 0 0 629 0 0 0 20 0 1 0 323367316 7266304 1552 33554432000 4194304 5276501 140734644523808 140734644522056 4394827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 1774 1552 117 265 0 1506 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16244

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.91 3/180 21469
/proc/meminfo: memFree=31391736/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=8732 CPUtime=12.69 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 1979 0 0 0 1269 0 0 0 20 0 1 0 323367316 8941568 1935 33554432000 4194304 5276501 140734644523808 140734644521992 4394737 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 2183 1935 117 265 0 1915 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17880

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.91 3/180 21469
/proc/meminfo: memFree=31389940/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=10408 CPUtime=25.48 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 2396 0 0 0 2548 0 0 0 20 0 1 0 323367316 10657792 2356 33554432000 4194304 5276501 140734644523808 140734644521992 4397161 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 2602 2356 117 265 0 2334 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19556

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.91 3/180 21469
/proc/meminfo: memFree=31386468/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=13852 CPUtime=51.08 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 3217 0 0 0 5108 0 0 0 20 0 1 0 323367316 14184448 3177 33554432000 4194304 5276501 140734644523808 140734644521976 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 3463 3177 117 265 0 3195 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23000

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21469
/proc/meminfo: memFree=31369488/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=19180 CPUtime=102.27 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 4571 0 0 0 10227 0 0 0 20 0 1 0 323367316 19640320 4526 33554432000 4194304 5276501 140734644523808 140734644521800 4399836 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 4795 4526 117 265 0 4527 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28328

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21470
/proc/meminfo: memFree=31351756/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=22328 CPUtime=162.26 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 5319 0 0 0 16226 0 0 0 20 0 1 0 323367316 22863872 5274 33554432000 4194304 5276501 140734644523808 140734644521800 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 5582 5274 117 265 0 5314 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31476

[startup+222.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 21470
/proc/meminfo: memFree=31349228/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=24368 CPUtime=222.25 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 5914 0 0 0 22225 0 0 0 20 0 1 0 323367316 24952832 5788 33554432000 4194304 5276501 140734644523808 140734644521800 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 6092 5788 117 265 0 5824 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 33516

[startup+282.3 s]
/proc/loadavg: 2.08 2.03 1.93 3/179 21470
/proc/meminfo: memFree=31348028/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=25168 CPUtime=282.23 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 6118 0 0 0 28223 0 0 0 20 0 1 0 323367316 25772032 6045 33554432000 4194304 5276501 140734644523808 140734644521992 4400448 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 6292 6045 117 265 0 6024 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 34316

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 21470
/proc/meminfo: memFree=31347656/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=25644 CPUtime=342.22 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 6238 0 0 0 34222 0 0 0 20 0 1 0 323367316 26259456 6165 33554432000 4194304 5276501 140734644523808 140734644521992 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 6411 6165 117 265 0 6143 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 34792

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 21470
/proc/meminfo: memFree=31345672/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=39696 CPUtime=1122.1 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 9583 0 0 0 112209 1 0 0 20 0 1 0 323367316 40648704 9608 33554432000 4194304 5276501 140734644523808 140734644521992 4399958 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 9924 9608 117 265 0 9656 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 48844

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21476
/proc/meminfo: memFree=31333256/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=40536 CPUtime=1182.09 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 9780 0 0 0 118208 1 0 0 20 0 1 0 323367316 41508864 9805 33554432000 4194304 5276501 140734644523808 140734644522104 4396483 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 10134 9805 117 265 0 9866 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 49684

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 21522
/proc/meminfo: memFree=31451004/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=40536 CPUtime=1242.08 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 9803 0 0 0 124207 1 0 0 20 0 1 0 323367316 41508864 9828 33554432000 4194304 5276501 140734644523808 140734644522104 4405251 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 10134 9828 117 265 0 9866 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 49684

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/180 21545
/proc/meminfo: memFree=31446956/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=41104 CPUtime=1302.08 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 9888 0 0 0 130207 1 0 0 20 0 1 0 323367316 42090496 9913 33554432000 4194304 5276501 140734644523808 140734644521992 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 10276 9913 117 265 0 10008 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 50252

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 21546
/proc/meminfo: memFree=31441748/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=41484 CPUtime=1362.06 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 9982 0 0 0 136205 1 0 0 20 0 1 0 323367316 42479616 10007 33554432000 4194304 5276501 140734644523808 140734644521992 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 10371 10007 117 265 0 10103 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 50632

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21546
/proc/meminfo: memFree=31434916/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=42052 CPUtime=1422.06 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10096 0 0 0 142204 2 0 0 20 0 1 0 323367316 43061248 10225 33554432000 4194304 5276501 140734644523808 140734644521992 4394921 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 10513 10225 117 265 0 10245 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 51200

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21546
/proc/meminfo: memFree=31429584/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=43564 CPUtime=1482.05 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10408 0 0 0 148203 2 0 0 20 0 1 0 323367316 44609536 10537 33554432000 4194304 5276501 140734644523808 140734644521992 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 10891 10537 117 265 0 10623 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 52712

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21546
/proc/meminfo: memFree=31424924/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=44280 CPUtime=1542.04 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10597 0 0 0 154202 2 0 0 20 0 1 0 323367316 45342720 10722 33554432000 4194304 5276501 140734644523808 140734644521992 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 11070 10722 117 265 0 10802 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 53428

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21546
/proc/meminfo: memFree=31420952/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=44660 CPUtime=1602.03 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10688 0 0 0 160201 2 0 0 20 0 1 0 323367316 45731840 10813 33554432000 4194304 5276501 140734644523808 140734644521992 4399876 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 11165 10813 117 265 0 10897 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 53808

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21547
/proc/meminfo: memFree=31416176/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=45416 CPUtime=1662.02 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10845 0 0 0 166200 2 0 0 20 0 1 0 323367316 46505984 11054 33554432000 4194304 5276501 140734644523808 140734644521992 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 11354 11054 117 265 0 11086 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 54564

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21547
/proc/meminfo: memFree=31412704/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=45796 CPUtime=1722.01 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10929 0 0 0 172199 2 0 0 20 0 1 0 323367316 46895104 11138 33554432000 4194304 5276501 140734644523808 140734644521992 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 11449 11138 117 265 0 11181 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 54944

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21547
/proc/meminfo: memFree=31408660/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=45988 CPUtime=1782 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10968 0 0 0 178198 2 0 0 20 0 1 0 323367316 47091712 11177 33554432000 4194304 5276501 140734644523808 140734644521992 4399913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 11497 11177 117 265 0 11229 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 55136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 21550
/proc/meminfo: memFree=31407000/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=46176 CPUtime=1800.01 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10993 0 0 0 179999 2 0 0 20 0 1 0 323367316 47284224 11202 33554432000 4194304 5276501 140734644523808 140734644521992 4394792 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 11544 11202 117 265 0 11276 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 55324

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 21550
/proc/meminfo: memFree=31407000/32873844 swapFree=7116/7116
[pid=21464] ppid=21462 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21464/stat : 21464 (minisat+_script) S 21462 21464 19055 0 -1 4202496 384 552 0 0 0 0 0 0 20 0 1 0 323367316 9367552 277 33554432000 4194304 5064252 140736523518432 140736523517344 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21464/statm: 2287 277 236 213 0 72 0
[pid=21468] ppid=21464 vsize=46176 CPUtime=1800.01 cores=1,3,5,7
/proc/21468/stat : 21468 (minisat+_64-bit) R 21464 21464 19055 0 -1 4202496 10993 0 0 0 179999 2 0 0 20 0 1 0 323367316 47284224 11202 33554432000 4194304 5276501 140734644523808 140734644521992 4394792 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 11544 11202 117 265 0 11276 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 55324

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.023996
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 55324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.023996
maximum resident set size= 44812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11943
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= 32
involuntary context switches= 1854

runsolver used 2.58161 second user time and 7.46486 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-01 19:40:03
IDJOB=3722725
IDBENCH=2598
IDSOLVER=2307
FILE ID=node111/3722725-1338572403
RUNJOBID= node111-1338570019-21178
PBS_JOBID= 14635873
Free space on /tmp= 67392 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722725-1338572403/watcher-3722725-1338572403 -o /tmp/evaluation-result-3722725-1338572403/solver-3722725-1338572403 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3722725-1338572403.opb

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

MD5SUM BENCH= 2f4fbbd7ac7eea50904b3e0a14134afd
RANDOM SEED=1691764007

node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31399540 kB
Buffers:          104304 kB
Cached:           259272 kB
SwapCached:         1296 kB
Active:           415236 kB
Inactive:         285928 kB
Active(anon):     338920 kB
Inactive(anon):     1056 kB
Active(file):      76316 kB
Inactive(file):   284872 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100040 kB
Dirty:              2356 kB
Writeback:             0 kB
AnonPages:        317216 kB
Mapped:             9372 kB
Shmem:                 0 kB
Slab:             633580 kB
SReclaimable:      75688 kB
SUnreclaim:       557892 kB
KernelStack:        1496 kB
PageTables:         4884 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     460924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 67388 MiB
End job on node111 at 2012-06-01 20:10:04