Trace number 3362099

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
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20UNSAT 436.365 111.11

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
MD5SUM17407fc59aa2b679b7792ae0656704b9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.5967
Satisfiable
(Un)Satisfiability was proved
Number of variables66084
Number of clauses1060536
Sum of the clauses size2420856
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21023120
Number of clauses of size 32880
Number of clauses of size 413320
Number of clauses of size 55760
Number of clauses of size over 514760

Solver Data 

0.00/0.00	c Parsing...
0.00/0.29	c ==============================================================================
0.00/0.29	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.29	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.29	c ==============================================================================
0.00/0.29	c |         0 |  686878  1572305 |  206063       0        0     nan |  0.000 % |
1.19/1.22	c |         0 |  487097  1134995 |      --       0       --      -- |     --   | -35/-52
1.19/1.22	c ==============================================================================
1.19/1.22	c Result  :   #vars: 35876   #clauses: 487097   #literals: 1134995
1.19/1.22	c CPU time:   1.19482 s
1.19/1.22	c ==============================================================================
436.04/111.07	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
436.04/111.07	c ============================[ Problem Statistics ]=============================
436.04/111.07	c |                                                                             |
436.04/111.07	c threadId              : 0
436.04/111.07	c restarts              : 418
436.04/111.07	c conflicts             : 47536          (109 /sec)
436.04/111.07	c decisions             : 769206         (1.41 % random) (1771 /sec)
436.04/111.07	c propagations          : 184646098      (425014 /sec)
436.04/111.07	c conflict literals     : 34377036       (28.66 % deleted)
436.04/111.07	c Memory used           : 653.77 MB
436.04/111.07	c CPU time              : 434.447 s
436.04/111.07	
436.04/111.07	c --->m=4, e=8, aimd=1, HOME/11093_many.cnf	time: 108.612	conflicts: 47536        
436.04/111.10	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3362099-1305299013/watcher-3362099-1305299013 -o /tmp/evaluation-result-3362099-1305299013/solver-3362099-1305299013 -C 4800 -W 1300 -M 15500 manysat.sh HOME/instance-3362099-1305299013.cnf aimd 1 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.62 7.99 7.56 6/356 11093
/proc/meminfo: memFree=4280524/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 329 0 0 0 0 0 0 0 23 0 1 0 641498419 8908800 249 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11093/statm: 2175 249 209 178 0 68 0

[startup+0.081342 s]
/proc/loadavg: 7.62 7.99 7.56 6/356 11093
/proc/meminfo: memFree=4280524/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 329 0 0 0 0 0 0 0 23 0 1 0 641498419 8908800 249 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11093/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100337 s]
/proc/loadavg: 7.62 7.99 7.56 6/356 11093
/proc/meminfo: memFree=4280524/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 329 0 0 0 0 0 0 0 23 0 1 0 641498419 8908800 249 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11093/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300301 s]
/proc/loadavg: 7.62 7.99 7.56 6/356 11093
/proc/meminfo: memFree=4280524/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 329 0 0 0 0 0 0 0 23 0 1 0 641498419 8908800 249 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11093/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700221 s]
/proc/loadavg: 7.62 7.99 7.56 6/356 11093
/proc/meminfo: memFree=4280524/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 329 0 0 0 0 0 0 0 23 0 1 0 641498419 8908800 249 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11093/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.501 s]
/proc/loadavg: 7.62 7.99 7.56 6/358 11095
/proc/meminfo: memFree=4227940/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8700

[startup+3.10069 s]
/proc/loadavg: 7.62 7.99 7.56 9/361 11099
/proc/meminfo: memFree=4161576/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=152368 CPUtime=5.01 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 28765 0 0 0 496 5 0 0 19 0 4 0 641498566 156024832 28684 33554432000 134512640 135305190 4292360608 18446744073709551615 134551983 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 38092 28684 84 194 0 37896 0
[pid=11096/tid=11097] ppid=11093 vsize=152368 CPUtime=1.13 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 577 0 0 0 113 0 0 0 25 0 4 0 641498614 156024832 28684 33554432000 134512640 135305190 4292360608 18446744073709551615 134551804 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=152368 CPUtime=1.13 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 481 0 0 0 113 0 0 0 19 0 4 0 641498614 156024832 28684 33554432000 134512640 135305190 4292360608 18446744073709551615 134551804 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=152368 CPUtime=1.13 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 547 0 0 0 113 0 0 0 19 0 4 0 641498614 156024832 28684 33554432000 134512640 135305190 4292360608 18446744073709551615 134528341 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 161068

[startup+6.30108 s]
/proc/loadavg: 7.81 8.02 7.57 9/361 11099
/proc/meminfo: memFree=4138760/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=173736 CPUtime=17.77 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 34352 0 0 0 1770 7 0 0 25 0 4 0 641498566 177905664 34271 33554432000 134512640 135305190 4292360608 18446744073709551615 134551671 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 43434 34271 84 194 0 43238 0
[pid=11096/tid=11097] ppid=11093 vsize=173736 CPUtime=4.31 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 1820 0 0 0 431 0 0 0 25 0 4 0 641498614 177905664 34271 33554432000 134512640 135305190 4292360608 18446744073709551615 134551751 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=173736 CPUtime=4.33 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 2173 0 0 0 433 0 0 0 25 0 4 0 641498614 177905664 34271 33554432000 134512640 135305190 4292360608 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=173736 CPUtime=4.32 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 1732 0 0 0 432 0 0 0 25 0 4 0 641498614 177905664 34271 33554432000 134512640 135305190 4292360608 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19.23
Current children cumulated vsize (KiB) 182436

[startup+12.7009 s]
/proc/loadavg: 7.83 8.02 7.57 9/361 11100
/proc/meminfo: memFree=4097048/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=216224 CPUtime=43.29 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 44610 0 0 0 4319 10 0 0 25 0 4 0 641498566 221413376 44529 33554432000 134512640 135305190 4292360608 18446744073709551615 134528480 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 54056 44529 84 194 0 53860 0
[pid=11096/tid=11097] ppid=11093 vsize=216224 CPUtime=10.72 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 4132 0 0 0 1071 1 0 0 25 0 4 0 641498614 221413376 44529 33554432000 134512640 135305190 4292360608 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=216224 CPUtime=10.72 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 4960 0 0 0 1071 1 0 0 25 0 4 0 641498614 221413376 44529 33554432000 134512640 135305190 4292360608 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=216224 CPUtime=10.73 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 4153 0 0 0 1072 1 0 0 25 0 4 0 641498614 221413376 44529 33554432000 134512640 135305190 4292360608 18446744073709551615 134551854 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 44.75
Current children cumulated vsize (KiB) 224924

[startup+25.5004 s]
/proc/loadavg: 7.87 8.02 7.58 9/361 11100
/proc/meminfo: memFree=4004288/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=304784 CPUtime=94.34 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 66821 0 0 0 9419 15 0 0 25 0 4 0 641498566 312098816 66740 33554432000 134512640 135305190 4292360608 18446744073709551615 134551694 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 76196 66740 84 194 0 76000 0
[pid=11096/tid=11097] ppid=11093 vsize=304784 CPUtime=23.51 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 10114 0 0 0 2350 1 0 0 25 0 4 0 641498614 312098816 66740 33554432000 134512640 135305190 4292360608 18446744073709551615 134551712 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=304784 CPUtime=23.53 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 10440 0 0 0 2350 3 0 0 25 0 4 0 641498614 312098816 66740 33554432000 134512640 135305190 4292360608 18446744073709551615 134551697 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=304784 CPUtime=23.52 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 9034 0 0 0 2350 2 0 0 25 0 4 0 641498614 312098816 66740 33554432000 134512640 135305190 4292360608 18446744073709551615 134551681 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 95.8
Current children cumulated vsize (KiB) 313484

[startup+51.1005 s]
/proc/loadavg: 7.99 8.03 7.59 11/362 11104
/proc/meminfo: memFree=3835168/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=459948 CPUtime=196.33 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 105563 0 0 0 19607 26 0 0 25 0 4 0 641498566 470986752 105482 33554432000 134512640 135305190 4292360608 18446744073709551615 134528480 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 114987 105482 84 194 0 114791 0
[pid=11096/tid=11097] ppid=11093 vsize=459948 CPUtime=49.11 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 19983 0 0 0 4907 4 0 0 25 0 4 0 641498614 470986752 105482 33554432000 134512640 135305190 4292360608 18446744073709551615 134551639 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=459948 CPUtime=49.13 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 21231 0 0 0 4907 6 0 0 25 0 4 0 641498614 470986752 105482 33554432000 134512640 135305190 4292360608 18446744073709551615 134528195 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=459948 CPUtime=48.99 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 16824 0 0 0 4894 5 0 0 25 0 4 0 641498614 470986752 105482 33554432000 134512640 135305190 4292360608 18446744073709551615 134557150 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 197.79
Current children cumulated vsize (KiB) 468648

[startup+102.313 s]
/proc/loadavg: 8.16 8.08 7.63 9/361 11105
/proc/meminfo: memFree=3624980/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=669456 CPUtime=399.9 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 157942 0 0 0 39949 41 0 0 25 0 4 0 641498566 685522944 157861 33554432000 134512640 135305190 4292360608 18446744073709551615 134838145 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 167364 157861 84 194 0 167168 0
[pid=11096/tid=11097] ppid=11093 vsize=669456 CPUtime=99.76 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) S 11093 11093 10773 0 -1 4202560 33332 0 0 0 9969 7 0 0 25 0 4 0 641498614 685522944 157861 33554432000 134512640 135305190 4292360608 18446744073709551615 134694990 0 0 4096 3 18446604442715233152 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=669456 CPUtime=100.33 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) S 11093 11093 10773 0 -1 4202560 35993 0 0 0 10023 10 0 0 25 0 4 0 641498614 685522944 157861 33554432000 134512640 135305190 4292360608 18446744073709551615 134694990 0 0 4096 3 18446604442715233152 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=669456 CPUtime=100.08 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 29438 0 0 0 10000 8 0 0 25 0 4 0 641498614 685522944 157861 33554432000 134512640 135305190 4292360608 18446744073709551615 134551854 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 401.36
Current children cumulated vsize (KiB) 678156

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

[startup+105.501 s]
/proc/loadavg: 8.14 8.08 7.63 9/361 11105
/proc/meminfo: memFree=3623616/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=669456 CPUtime=412.64 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 157948 0 0 0 41223 41 0 0 25 0 4 0 641498566 685522944 157867 33554432000 134512640 135305190 4292360608 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 167364 157867 84 194 0 167168 0
[pid=11096/tid=11097] ppid=11093 vsize=669456 CPUtime=102.95 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 33334 0 0 0 10288 7 0 0 25 0 4 0 641498614 685522944 157867 33554432000 134512640 135305190 4292360608 18446744073709551615 134528559 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=669456 CPUtime=103.53 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 35995 0 0 0 10343 10 0 0 25 0 4 0 641498614 685522944 157867 33554432000 134512640 135305190 4292360608 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=669456 CPUtime=103.28 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 29440 0 0 0 10320 8 0 0 25 0 4 0 641498614 685522944 157867 33554432000 134512640 135305190 4292360608 18446744073709551615 134528224 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 414.1
Current children cumulated vsize (KiB) 678156

[startup+108.7 s]
/proc/loadavg: 8.14 8.08 7.63 9/361 11105
/proc/meminfo: memFree=3622748/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=669456 CPUtime=425.39 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 157950 0 0 0 42498 41 0 0 25 0 4 0 641498566 685522944 157869 33554432000 134512640 135305190 4292360608 18446744073709551615 134530552 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 167364 157869 84 194 0 167168 0
[pid=11096/tid=11097] ppid=11093 vsize=669456 CPUtime=106.14 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 33334 0 0 0 10607 7 0 0 25 0 4 0 641498614 685522944 157869 33554432000 134512640 135305190 4292360608 18446744073709551615 134528512 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=669456 CPUtime=106.72 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 35997 0 0 0 10662 10 0 0 25 0 4 0 641498614 685522944 157869 33554432000 134512640 135305190 4292360608 18446744073709551615 134551793 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=669456 CPUtime=106.47 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 29440 0 0 0 10639 8 0 0 25 0 4 0 641498614 685522944 157869 33554432000 134512640 135305190 4292360608 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 426.85
Current children cumulated vsize (KiB) 678156

[startup+110.301 s]
/proc/loadavg: 8.13 8.08 7.64 9/361 11105
/proc/meminfo: memFree=3622500/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=669456 CPUtime=431.76 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 157952 0 0 0 43135 41 0 0 25 0 4 0 641498566 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528539 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 167364 157871 84 194 0 167168 0
[pid=11096/tid=11097] ppid=11093 vsize=669456 CPUtime=107.74 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 33334 0 0 0 10767 7 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=669456 CPUtime=108.32 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 35998 0 0 0 10822 10 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=669456 CPUtime=108.07 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 29441 0 0 0 10799 8 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 433.22
Current children cumulated vsize (KiB) 678156

[startup+110.701 s]
/proc/loadavg: 8.13 8.08 7.64 9/361 11105
/proc/meminfo: memFree=3622500/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=669456 CPUtime=433.36 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 157952 0 0 0 43295 41 0 0 25 0 4 0 641498566 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 167364 157871 84 194 0 167168 0
[pid=11096/tid=11097] ppid=11093 vsize=669456 CPUtime=108.14 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 33334 0 0 0 10807 7 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134557478 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=669456 CPUtime=108.72 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 35998 0 0 0 10862 10 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134551703 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=669456 CPUtime=108.47 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 29441 0 0 0 10839 8 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528987 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 434.82
Current children cumulated vsize (KiB) 678156

[startup+110.901 s]
/proc/loadavg: 8.13 8.08 7.64 9/361 11105
/proc/meminfo: memFree=3622500/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=669456 CPUtime=434.16 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 157952 0 0 0 43375 41 0 0 25 0 4 0 641498566 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528350 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 167364 157871 84 194 0 167168 0
[pid=11096/tid=11097] ppid=11093 vsize=669456 CPUtime=108.34 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 33334 0 0 0 10827 7 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=669456 CPUtime=108.92 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 35998 0 0 0 10882 10 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528562 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=669456 CPUtime=108.67 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 29441 0 0 0 10859 8 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134551712 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 435.62
Current children cumulated vsize (KiB) 678156

[startup+111.001 s]
/proc/loadavg: 8.13 8.08 7.64 9/361 11105
/proc/meminfo: memFree=3622620/32950928 swapFree=67056568/67111528
[pid=11093] ppid=11091 vsize=8700 CPUtime=1.46 cores=0,2,4,6
/proc/11093/stat : 11093 (manysat.sh) S 11091 11093 10773 0 -1 4202496 357 15793 0 0 0 0 142 4 18 0 1 0 641498419 8908800 252 33554432000 4194304 4922060 140736483843552 18446744073709551615 239476513925 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11093/statm: 2175 252 209 178 0 68 0
[pid=11096] ppid=11093 vsize=669456 CPUtime=434.58 cores=0,2,4,6
/proc/11096/stat : 11096 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202496 157952 0 0 0 43417 41 0 0 25 0 4 0 641498566 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528237 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/11096/statm: 167364 157871 84 194 0 167168 0
[pid=11096/tid=11097] ppid=11093 vsize=669456 CPUtime=108.45 cores=0,2,4,6
/proc/11096/task/11097/stat : 11097 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 33334 0 0 0 10838 7 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=11096/tid=11098] ppid=11093 vsize=669456 CPUtime=109.03 cores=0,2,4,6
/proc/11096/task/11098/stat : 11098 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 35998 0 0 0 10893 10 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528136 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=11096/tid=11099] ppid=11093 vsize=669456 CPUtime=108.78 cores=0,2,4,6
/proc/11096/task/11099/stat : 11099 (manysat1.1_stat) R 11093 11093 10773 0 -1 4202560 29441 0 0 0 10870 8 0 0 25 0 4 0 641498614 685522944 157871 33554432000 134512640 135305190 4292360608 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 436.04
Current children cumulated vsize (KiB) 678156

Child status: 20
Real time (s): 111.11
CPU time (s): 436.365
CPU user time (s): 435.872
CPU system time (s): 0.492925
CPU usage (%): 392.734
Max. virtual memory (cumulated for all children) (KiB): 678156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 435.872
system time used= 0.492925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174327
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= 1674
involuntary context switches= 2067

runsolver used 0.364944 second user time and 0.863868 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-13 17:03:34
IDJOB=3362099
IDBENCH=82410
IDSOLVER=1838
FILE ID=node148/3362099-1305299013
RUNJOBID= node148-1305296390-10791
PBS_JOBID= 13321405
Free space on /tmp= 30280 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3362099-1305299013/watcher-3362099-1305299013 -o /tmp/evaluation-result-3362099-1305299013/solver-3362099-1305299013 -C 4800 -W 1300 -M 15500  manysat.sh HOME/instance-3362099-1305299013.cnf aimd 1

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

MD5SUM BENCH= 17407fc59aa2b679b7792ae0656704b9
RANDOM SEED=129682234

node148.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.854
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.70
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.854
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.75
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.854
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.854
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.75
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.854
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.854
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.854
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       4280680 kB
Buffers:        269504 kB
Cached:       24280604 kB
SwapCached:       8488 kB
Active:       11186976 kB
Inactive:     16692780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       4280680 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           19132 kB
Writeback:           0 kB
AnonPages:     3327468 kB
Mapped:          27676 kB
Slab:           697668 kB
PageTables:      29604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 85118948 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= 30276 MiB
End job on node148 at 2011-05-13 17:05:25