Trace number 3362132

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 934.669 234.202

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
MD5SUMe7acb1f64be7eb3ff1367dad08444685
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark179.191
Satisfiable
(Un)Satisfiability was proved
Number of variables25631
Number of clauses142227
Sum of the clauses size317942
Maximum clause length49
Minimum clause length1
Number of clauses of size 1224
Number of clauses of size 2125320
Number of clauses of size 313034
Number of clauses of size 42438
Number of clauses of size 5163
Number of clauses of size over 51048

Solver Data 

0.00/0.00	c Parsing...
0.00/0.05	c ==============================================================================
0.00/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |  141997   317706 |   42599       0        0     nan |  0.000 % |
0.00/0.39	c |         0 |  125436   284873 |      --       0       --      -- |     --   | -15197/-29805
0.00/0.39	c ==============================================================================
0.00/0.39	c Result  :   #vars: 19609   #clauses: 125436   #literals: 284873
0.00/0.39	c CPU time:   0.382941 s
0.00/0.39	c ==============================================================================
934.31/234.18	c This is ManySAT 1.1 : 4 thread(s) on 8 core(s).
934.31/234.18	c ============================[ Problem Statistics ]=============================
934.31/234.18	c |                                                                             |
934.31/234.18	c threadId              : 3
934.31/234.18	c restarts              : 626
934.31/234.18	c conflicts             : 551987         (591 /sec)
934.31/234.18	c decisions             : 785014         (2.03 % random) (841 /sec)
934.31/234.18	c propagations          : 425572255      (455879 /sec)
934.31/234.18	c conflict literals     : 49603785       (52.13 % deleted)
934.31/234.18	c Memory used           : 303.50 MB
934.31/234.18	c CPU time              : 933.521 s
934.31/234.18	
934.31/234.18	c --->m=4, e=8, aimd=1, HOME/29126_many.cnf	time: 233.38	conflicts: 551987       
934.31/234.19	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-3362132-1305299938/watcher-3362132-1305299938 -o /tmp/evaluation-result-3362132-1305299938/solver-3362132-1305299938 -C 40000 -W 5100 -M 31000 manysat.sh HOME/instance-3362132-1305299938.cnf aimd 1 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.63 3.73 3.76 1/277 29126
/proc/meminfo: memFree=18928288/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 328 0 0 0 0 0 0 0 24 0 1 0 641591948 8908800 249 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 249 209 178 0 68 0

[startup+0.102064 s]
/proc/loadavg: 3.63 3.73 3.76 1/277 29126
/proc/meminfo: memFree=18928288/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 328 0 0 0 0 0 0 0 24 0 1 0 641591948 8908800 249 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201048 s]
/proc/loadavg: 3.63 3.73 3.76 1/277 29126
/proc/meminfo: memFree=18928288/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 328 0 0 0 0 0 0 0 24 0 1 0 641591948 8908800 249 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301032 s]
/proc/loadavg: 3.63 3.73 3.76 1/277 29126
/proc/meminfo: memFree=18928288/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 328 0 0 0 0 0 0 0 24 0 1 0 641591948 8908800 249 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700939 s]
/proc/loadavg: 3.63 3.73 3.76 1/277 29126
/proc/meminfo: memFree=18928288/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 8700

[startup+1.50081 s]
/proc/loadavg: 3.63 3.73 3.76 5/282 29132
/proc/meminfo: memFree=18887700/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=76436 CPUtime=3.74 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 10948 0 0 0 370 4 0 0 18 0 4 0 641591994 78270464 10899 33554432000 134512640 135305190 4292529136 18446744073709551615 134528139 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/29129/statm: 19109 10900 84 194 0 18913 0
[pid=29129/tid=29130] ppid=29126 vsize=76564 CPUtime=0.89 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 583 0 0 0 89 0 0 0 18 0 4 0 641592008 78401536 10901 33554432000 134512640 135305190 4292529136 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=76564 CPUtime=0.89 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 692 0 0 0 89 0 0 0 18 0 4 0 641592008 78401536 10901 33554432000 134512640 135305190 4292529136 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=76564 CPUtime=0.89 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 877 0 0 0 89 0 0 0 18 0 4 0 641592008 78401536 10901 33554432000 134512640 135305190 4292529136 18446744073709551615 134565634 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 85136

[startup+3.10053 s]
/proc/loadavg: 3.63 3.73 3.76 5/282 29132
/proc/meminfo: memFree=18874112/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=91824 CPUtime=10.13 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 14694 0 0 0 1006 7 0 0 18 0 4 0 641591994 94027776 14645 33554432000 134512640 135305190 4292529136 18446744073709551615 134551651 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/29129/statm: 22956 14645 84 194 0 22760 0
[pid=29129/tid=29130] ppid=29126 vsize=91824 CPUtime=2.49 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 1418 0 0 0 248 1 0 0 18 0 4 0 641592008 94027776 14645 33554432000 134512640 135305190 4292529136 18446744073709551615 134528791 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=91824 CPUtime=2.49 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 1398 0 0 0 248 1 0 0 18 0 4 0 641592008 94027776 14645 33554432000 134512640 135305190 4292529136 18446744073709551615 134528536 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=91824 CPUtime=2.49 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 1902 0 0 0 248 1 0 0 19 0 4 0 641592008 94027776 14645 33554432000 134512640 135305190 4292529136 18446744073709551615 134528319 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 100524

[startup+6.30096 s]
/proc/loadavg: 3.66 3.74 3.76 5/282 29133
/proc/meminfo: memFree=18847960/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=119320 CPUtime=22.92 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 21493 0 0 0 2282 10 0 0 25 0 4 0 641591994 122183680 21444 33554432000 134512640 135305190 4292529136 18446744073709551615 134551919 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/29129/statm: 29830 21444 84 194 0 29634 0
[pid=29129/tid=29130] ppid=29126 vsize=119320 CPUtime=5.7 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 2964 0 0 0 568 2 0 0 18 0 4 0 641592008 122183680 21445 33554432000 134512640 135305190 4292529136 18446744073709551615 134557493 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=119320 CPUtime=5.69 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 2549 0 0 0 568 1 0 0 18 0 4 0 641592008 122183680 21445 33554432000 134512640 135305190 4292529136 18446744073709551615 134840070 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=119320 CPUtime=5.69 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 3845 0 0 0 567 2 0 0 19 0 4 0 641592008 122183680 21445 33554432000 134512640 135305190 4292529136 18446744073709551615 134551793 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.37
Current children cumulated vsize (KiB) 128020

[startup+12.7008 s]
/proc/loadavg: 3.69 3.74 3.76 5/282 29133
/proc/meminfo: memFree=18824440/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=139300 CPUtime=48.51 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 26524 0 0 0 4836 15 0 0 18 0 4 0 641591994 142643200 26475 33554432000 134512640 135305190 4292529136 18446744073709551615 134551860 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/29129/statm: 34825 26475 84 194 0 34629 0
[pid=29129/tid=29130] ppid=29126 vsize=139300 CPUtime=12.09 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 4002 0 0 0 1206 3 0 0 18 0 4 0 641592008 142643200 26475 33554432000 134512640 135305190 4292529136 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=139300 CPUtime=12.09 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 3792 0 0 0 1207 2 0 0 18 0 4 0 641592008 142643200 26475 33554432000 134512640 135305190 4292529136 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=139300 CPUtime=12.08 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 5377 0 0 0 1204 4 0 0 25 0 4 0 641592008 142643200 26475 33554432000 134512640 135305190 4292529136 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48.96
Current children cumulated vsize (KiB) 148000

[startup+25.5005 s]
/proc/loadavg: 3.76 3.75 3.76 5/282 29133
/proc/meminfo: memFree=18781396/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=181168 CPUtime=99.69 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 36727 0 0 0 9948 21 0 0 21 0 4 0 641591994 185516032 36678 33554432000 134512640 135305190 4292529136 18446744073709551615 134837724 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/29129/statm: 45292 36678 84 194 0 45096 0
[pid=29129/tid=29130] ppid=29126 vsize=181168 CPUtime=24.88 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 6290 0 0 0 2485 3 0 0 18 0 4 0 641592008 185516032 36678 33554432000 134512640 135305190 4292529136 18446744073709551615 134528237 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=181168 CPUtime=24.88 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 5564 0 0 0 2485 3 0 0 18 0 4 0 641592008 185516032 36678 33554432000 134512640 135305190 4292529136 18446744073709551615 134541909 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=181168 CPUtime=24.88 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 8444 0 0 0 2482 6 0 0 18 0 4 0 641592008 185516032 36678 33554432000 134512640 135305190 4292529136 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (KiB) 189868

[startup+51.101 s]
/proc/loadavg: 3.84 3.77 3.77 5/282 29134
/proc/meminfo: memFree=18756936/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=205368 CPUtime=202.05 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 42558 0 0 0 20176 29 0 0 21 0 4 0 641591994 210296832 42509 33554432000 134512640 135305190 4292529136 18446744073709551615 134528768 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/29129/statm: 51342 42509 84 194 0 51146 0
[pid=29129/tid=29130] ppid=29126 vsize=205368 CPUtime=50.47 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 7382 0 0 0 5042 5 0 0 18 0 4 0 641592008 210296832 42509 33554432000 134512640 135305190 4292529136 18446744073709551615 134528794 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=205368 CPUtime=50.48 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 7342 0 0 0 5044 4 0 0 18 0 4 0 641592008 210296832 42509 33554432000 134512640 135305190 4292529136 18446744073709551615 134528319 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=205368 CPUtime=50.47 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 9950 0 0 0 5038 9 0 0 25 0 4 0 641592008 210296832 42509 33554432000 134512640 135305190 4292529136 18446744073709551615 134551691 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.5
Current children cumulated vsize (KiB) 214068

[startup+102.301 s]
/proc/loadavg: 3.93 3.81 3.78 5/282 29135
/proc/meminfo: memFree=18703084/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=260336 CPUtime=406.81 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 55854 0 0 0 40631 50 0 0 25 0 4 0 641591994 266584064 55790 33554432000 134512640 135305190 4292529136 18446744073709551615 134528310 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/29129/statm: 65084 55790 84 194 0 64888 0
[pid=29129/tid=29130] ppid=29126 vsize=260336 CPUtime=101.66 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 10903 0 0 0 10155 11 0 0 22 0 4 0 641592008 266584064 55790 33554432000 134512640 135305190 4292529136 18446744073709551615 134528548 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=260336 CPUtime=101.68 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 10330 0 0 0 10160 8 0 0 18 0 4 0 641592008 266584064 55790 33554432000 134512640 135305190 4292529136 18446744073709551615 134530636 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=260336 CPUtime=101.65 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13035 0 0 0 10151 14 0 0 25 0 4 0 641592008 266584064 55790 33554432000 134512640 135305190 4292529136 18446744073709551615 134528224 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.26
Current children cumulated vsize (KiB) 269036

[startup+162.301 s]
/proc/loadavg: 4.02 3.85 3.79 5/282 29137
/proc/meminfo: memFree=18678644/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=286508 CPUtime=646.7 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 62096 0 0 0 64612 58 0 0 25 0 4 0 641591994 293384192 62032 33554432000 134512640 135305190 4292529136 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/29129/statm: 71627 62032 84 194 0 71431 0
[pid=29129/tid=29130] ppid=29126 vsize=286508 CPUtime=161.63 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 12387 0 0 0 16150 13 0 0 25 0 4 0 641592008 293384192 62032 33554432000 134512640 135305190 4292529136 18446744073709551615 134528851 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=286508 CPUtime=161.65 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 12049 0 0 0 16155 10 0 0 19 0 4 0 641592008 293384192 62032 33554432000 134512640 135305190 4292529136 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=286508 CPUtime=161.63 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 14579 0 0 0 16146 17 0 0 20 0 4 0 641592008 293384192 62032 33554432000 134512640 135305190 4292529136 18446744073709551615 134528301 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.15
Current children cumulated vsize (KiB) 295208

[startup+222.311 s]
/proc/loadavg: 4.05 3.89 3.81 5/282 29138
/proc/meminfo: memFree=18663248/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=304392 CPUtime=886.71 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 65943 0 0 0 88606 65 0 0 25 0 4 0 641591994 311697408 65876 33554432000 134512640 135305190 4292529136 18446744073709551615 134528571 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/29129/statm: 76098 65876 84 194 0 75902 0
[pid=29129/tid=29130] ppid=29126 vsize=304392 CPUtime=221.63 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13075 0 0 0 22149 14 0 0 25 0 4 0 641592008 311697408 65876 33554432000 134512640 135305190 4292529136 18446744073709551615 134528442 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=304392 CPUtime=221.66 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13506 0 0 0 22154 12 0 0 23 0 4 0 641592008 311697408 65876 33554432000 134512640 135305190 4292529136 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=304392 CPUtime=221.63 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 15494 0 0 0 22144 19 0 0 20 0 4 0 641592008 311697408 65876 33554432000 134512640 135305190 4292529136 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.16
Current children cumulated vsize (KiB) 313092

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

[startup+224.001 s]
/proc/loadavg: 4.05 3.89 3.81 5/282 29138
/proc/meminfo: memFree=18663124/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=304536 CPUtime=893.48 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 65996 0 0 0 89283 65 0 0 25 0 4 0 641591994 311844864 65929 33554432000 134512640 135305190 4292529136 18446744073709551615 134558291 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/29129/statm: 76134 65929 84 194 0 75938 0
[pid=29129/tid=29130] ppid=29126 vsize=304536 CPUtime=223.32 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13075 0 0 0 22318 14 0 0 25 0 4 0 641592008 311844864 65929 33554432000 134512640 135305190 4292529136 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=304536 CPUtime=223.35 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13550 0 0 0 22323 12 0 0 25 0 4 0 641592008 311844864 65929 33554432000 134512640 135305190 4292529136 18446744073709551615 134528442 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=304536 CPUtime=223.32 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 15503 0 0 0 22313 19 0 0 25 0 4 0 641592008 311844864 65929 33554432000 134512640 135305190 4292529136 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 893.93
Current children cumulated vsize (KiB) 313236

[startup+230.401 s]
/proc/loadavg: 4.04 3.89 3.81 5/282 29139
/proc/meminfo: memFree=18659016/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=309236 CPUtime=919.08 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 67088 0 0 0 91841 67 0 0 25 0 4 0 641591994 316657664 67021 33554432000 134512640 135305190 4292529136 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/29129/statm: 77309 67021 84 194 0 77113 0
[pid=29129/tid=29130] ppid=29126 vsize=309236 CPUtime=229.71 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13204 0 0 0 22957 14 0 0 25 0 4 0 641592008 316657664 67021 33554432000 134512640 135305190 4292529136 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=309236 CPUtime=229.75 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 14016 0 0 0 22963 12 0 0 18 0 4 0 641592008 316657664 67021 33554432000 134512640 135305190 4292529136 18446744073709551615 134528402 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=309236 CPUtime=229.72 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 15765 0 0 0 22952 20 0 0 18 0 4 0 641592008 316657664 67021 33554432000 134512640 135305190 4292529136 18446744073709551615 134569845 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 919.53
Current children cumulated vsize (KiB) 317936

[startup+232.001 s]
/proc/loadavg: 4.04 3.89 3.81 5/282 29139
/proc/meminfo: memFree=18658520/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=309908 CPUtime=925.46 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 67211 0 0 0 92479 67 0 0 25 0 4 0 641591994 317345792 67144 33554432000 134512640 135305190 4292529136 18446744073709551615 134557940 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/29129/statm: 77477 67144 84 194 0 77281 0
[pid=29129/tid=29130] ppid=29126 vsize=309908 CPUtime=231.31 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13225 0 0 0 23117 14 0 0 19 0 4 0 641592008 317345792 67144 33554432000 134512640 135305190 4292529136 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=309908 CPUtime=231.35 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 14095 0 0 0 23123 12 0 0 21 0 4 0 641592008 317345792 67144 33554432000 134512640 135305190 4292529136 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=309908 CPUtime=231.31 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 15765 0 0 0 23111 20 0 0 19 0 4 0 641592008 317345792 67144 33554432000 134512640 135305190 4292529136 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 925.91
Current children cumulated vsize (KiB) 318608

[startup+233.601 s]
/proc/loadavg: 4.04 3.89 3.81 5/282 29139
/proc/meminfo: memFree=18658148/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=310712 CPUtime=931.86 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 67342 0 0 0 93119 67 0 0 25 0 4 0 641591994 318169088 67275 33554432000 134512640 135305190 4292529136 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/29129/statm: 77678 67275 84 194 0 77482 0
[pid=29129/tid=29130] ppid=29126 vsize=310712 CPUtime=232.91 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13252 0 0 0 23277 14 0 0 18 0 4 0 641592008 318169088 67275 33554432000 134512640 135305190 4292529136 18446744073709551615 134529611 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=310712 CPUtime=232.95 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 14177 0 0 0 23283 12 0 0 18 0 4 0 641592008 318169088 67275 33554432000 134512640 135305190 4292529136 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=310712 CPUtime=232.91 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 15765 0 0 0 23271 20 0 0 18 0 4 0 641592008 318169088 67275 33554432000 134512640 135305190 4292529136 18446744073709551615 134528332 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 932.31
Current children cumulated vsize (KiB) 319412

[startup+234 s]
/proc/loadavg: 4.04 3.89 3.81 5/282 29139
/proc/meminfo: memFree=18658148/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8700 CPUtime=0.45 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 355 5677 0 0 0 0 44 1 20 0 1 0 641591948 8908800 252 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/29126/statm: 2175 252 209 178 0 68 0
[pid=29129] ppid=29126 vsize=310784 CPUtime=933.46 cores=0-7
/proc/29129/stat : 29129 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202496 67353 0 0 0 93279 67 0 0 25 0 4 0 641591994 318242816 67286 33554432000 134512640 135305190 4292529136 18446744073709551615 134528418 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/29129/statm: 77696 67286 84 194 0 77500 0
[pid=29129/tid=29130] ppid=29126 vsize=310784 CPUtime=233.31 cores=0-7
/proc/29129/task/29130/stat : 29130 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 13252 0 0 0 23317 14 0 0 18 0 4 0 641592008 318242816 67286 33554432000 134512640 135305190 4292529136 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=29129/tid=29131] ppid=29126 vsize=310784 CPUtime=233.35 cores=0-7
/proc/29129/task/29131/stat : 29131 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 14188 0 0 0 23323 12 0 0 19 0 4 0 641592008 318242816 67286 33554432000 134512640 135305190 4292529136 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=29129/tid=29132] ppid=29126 vsize=310784 CPUtime=233.31 cores=0-7
/proc/29129/task/29132/stat : 29132 (manysat1.1_stat) R 29126 29126 28797 0 -1 4202560 15765 0 0 0 23311 20 0 0 18 0 4 0 641592008 318242816 67286 33554432000 134512640 135305190 4292529136 18446744073709551615 134528410 0 0 4096 3 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 933.91
Current children cumulated vsize (KiB) 319484

[startup+234.2 s]
/proc/loadavg: 4.04 3.89 3.81 5/282 29139
/proc/meminfo: memFree=18658148/32951124 swapFree=66457188/67111528
[pid=29126] ppid=29124 vsize=8704 CPUtime=934.66 cores=0-7
/proc/29126/stat : 29126 (manysat.sh) S 29124 29126 28797 0 -1 4202496 385 73052 0 0 0 0 93396 70 17 0 1 0 641591948 8912896 257 33554432000 4194304 4922060 140736640401776 18446744073709551615 232335711365 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29126/statm: 2176 257 213 178 0 69 0
Current children cumulated CPU time (s) 934.66
Current children cumulated vsize (KiB) 8704

Child status: 20
Real time (s): 234.202
CPU time (s): 934.669
CPU user time (s): 933.966
CPU system time (s): 0.702893
CPU usage (%): 399.087
Max. virtual memory (cumulated for all children) (KiB): 319484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 933.966
system time used= 0.702893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73618
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= 8433
involuntary context switches= 1522

runsolver used 0.58791 second user time and 1.55176 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-13 17:18:58
IDJOB=3362132
IDBENCH=82433
IDSOLVER=1839
FILE ID=node132/3362132-1305299938
RUNJOBID= node132-1305296392-28811
PBS_JOBID= 13321421
Free space on /tmp= 48056 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3362132-1305299938/watcher-3362132-1305299938 -o /tmp/evaluation-result-3362132-1305299938/solver-3362132-1305299938 -C 40000 -W 5100 -M 31000  manysat.sh HOME/instance-3362132-1305299938.cnf aimd 1

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= e7acb1f64be7eb3ff1367dad08444685
RANDOM SEED=529386092

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:     32951124 kB
MemFree:      18928444 kB
Buffers:        217500 kB
Cached:        8151248 kB
SwapCached:       6904 kB
Active:        4679508 kB
Inactive:      8932480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18928444 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:            3528 kB
Writeback:           0 kB
AnonPages:     5241104 kB
Mapped:          18648 kB
Slab:           322108 kB
PageTables:      24424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34734872 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 48052 MiB
End job on node132 at 2011-05-13 17:22:52