Trace number 3386434

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
SArTagnan 2011-05-15 (fixed)? (exit code) 942.23 369.805

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
MD5SUMf52ec4dacdcf65c3aedb61fb46ade01b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1119.56
Satisfiable
(Un)Satisfiability was proved
Number of variables153284
Number of clauses2473656
Sum of the clauses size5647736
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22387280
Number of clauses of size 36720
Number of clauses of size 431080
Number of clauses of size 513440
Number of clauses of size over 534440

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3386434-1305579388/watcher-3386434-1305579388 -o /tmp/evaluation-result-3386434-1305579388/solver-3386434-1305579388 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386434-1305579388.cnf -threads=4 

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

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: 10.99 11.20 11.18 5/388 6268
/proc/meminfo: memFree=17477708/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=31088 CPUtime=0 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 2543 0 0 0 0 0 0 0 23 0 1 0 669536797 31834112 2481 33554432000 4194304 4625164 140736571192144 18446744073709551615 4295708 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/6268/statm: 7772 2493 291 106 0 3275 0

[startup+0.102157 s]
/proc/loadavg: 10.99 11.20 11.18 5/388 6268
/proc/meminfo: memFree=17477708/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=91028 CPUtime=0.09 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 3980 0 0 0 9 0 0 0 24 0 1 0 669536797 93212672 3488 33554432000 4194304 4625164 140736571192144 18446744073709551615 4340576 0 0 4096 2 0 0 0 17 7 0 0 0
/proc/6268/statm: 22757 3488 299 106 0 18260 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 91028

[startup+0.200141 s]
/proc/loadavg: 10.99 11.20 11.18 5/388 6268
/proc/meminfo: memFree=17477708/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=97660 CPUtime=0.19 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 7407 0 0 0 18 1 0 0 24 0 1 0 669536797 100003840 4932 33554432000 4194304 4625164 140736571192144 18446744073709551615 4585887 0 0 4096 2 0 0 0 17 7 0 0 0
/proc/6268/statm: 24415 4932 299 106 0 19918 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 97660

[startup+0.301123 s]
/proc/loadavg: 10.99 11.20 11.18 5/388 6268
/proc/meminfo: memFree=17477708/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=113460 CPUtime=0.29 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 11142 0 0 0 28 1 0 0 25 0 1 0 669536797 116183040 7432 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550234951 0 0 4096 2 0 0 0 17 7 0 0 0
/proc/6268/statm: 28365 7432 299 106 0 23868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 113460

[startup+0.701058 s]
/proc/loadavg: 10.99 11.20 11.18 5/388 6268
/proc/meminfo: memFree=17477708/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=132004 CPUtime=0.69 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 25299 0 0 0 65 4 0 0 25 0 1 0 669536797 135172096 12789 33554432000 4194304 4625164 140736571192144 18446744073709551615 4586027 0 0 4096 2 0 0 0 17 7 0 0 0
/proc/6268/statm: 33001 12789 299 106 0 28504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132004

[startup+1.50091 s]
/proc/loadavg: 10.99 11.20 11.18 8/391 6286
/proc/meminfo: memFree=17312020/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=343628 CPUtime=2.78 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 59594 0 0 0 271 7 0 0 25 0 4 0 669536797 351875072 47083 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550204930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 85907 47083 335 106 0 81410 0
[pid=6268/tid=6284] ppid=6266 vsize=343628 CPUtime=0.32 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 495 0 0 0 32 0 0 0 25 0 4 0 669536881 351875072 47083 33554432000 4194304 4625164 140736571192144 18446744073709551615 4478002 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=343628 CPUtime=0.65 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 493 0 0 0 65 0 0 0 25 0 4 0 669536881 351875072 47083 33554432000 4194304 4625164 140736571192144 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=343628 CPUtime=0.65 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 1024 0 0 0 65 0 0 0 25 0 4 0 669536881 351875072 47083 33554432000 4194304 4625164 140736571192144 18446744073709551615 4479584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 343628

[startup+3.10062 s]
/proc/loadavg: 10.99 11.20 11.18 9/392 6290
/proc/meminfo: memFree=17278028/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=343628 CPUtime=7.57 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 60323 0 0 0 750 7 0 0 25 0 4 0 669536797 351875072 47812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4390615 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 85907 47812 336 106 0 81410 0
[pid=6268/tid=6284] ppid=6266 vsize=343628 CPUtime=1.12 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 495 0 0 0 112 0 0 0 25 0 4 0 669536881 351875072 47812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4490625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=343628 CPUtime=2.25 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 520 0 0 0 225 0 0 0 25 0 4 0 669536881 351875072 47812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4464422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=343628 CPUtime=2.25 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 1546 0 0 0 225 0 0 0 25 0 4 0 669536881 351875072 47812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4562168 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 343628

[startup+6.30104 s]
/proc/loadavg: 10.75 11.14 11.17 9/392 6290
/proc/meminfo: memFree=17134724/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=413012 CPUtime=17.13 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 70147 0 0 0 1705 8 0 0 25 0 4 0 669536797 422924288 55828 33554432000 4194304 4625164 140736571192144 18446744073709551615 4381798 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 103253 55828 377 106 0 98756 0
[pid=6268/tid=6284] ppid=6266 vsize=413012 CPUtime=2.47 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 979 0 0 0 247 0 0 0 25 0 4 0 669536881 422924288 55828 33554432000 4194304 4625164 140736571192144 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=413012 CPUtime=5.45 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 1230 0 0 0 545 0 0 0 25 0 4 0 669536881 422924288 55828 33554432000 4194304 4625164 140736571192144 18446744073709551615 4465717 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=413012 CPUtime=5.45 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 3695 0 0 0 545 0 0 0 25 0 4 0 669536881 422924288 55828 33554432000 4194304 4625164 140736571192144 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 17.13
Current children cumulated vsize (KiB) 413012

[startup+12.7009 s]
/proc/loadavg: 10.53 11.09 11.15 13/398 6299
/proc/meminfo: memFree=16367388/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=468520 CPUtime=36.25 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 106325 0 0 0 3611 14 0 0 25 0 4 0 669536797 479764480 68636 33554432000 4194304 4625164 140736571192144 18446744073709551615 4390572 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 117130 68636 345 106 0 112633 0
[pid=6268/tid=6284] ppid=6266 vsize=468520 CPUtime=5.59 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 2322 0 0 0 559 0 0 0 25 0 4 0 669536881 479764480 68636 33554432000 4194304 4625164 140736571192144 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=468520 CPUtime=11.84 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 5874 0 0 0 1184 0 0 0 25 0 4 0 669536881 479764480 68636 33554432000 4194304 4625164 140736571192144 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=468520 CPUtime=11.85 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 15557 0 0 0 1183 2 0 0 25 0 4 0 669536881 479764480 68636 33554432000 4194304 4625164 140736571192144 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 36.25
Current children cumulated vsize (KiB) 468520

[startup+25.5006 s]
/proc/loadavg: 10.78 11.12 11.16 13/398 6299
/proc/meminfo: memFree=16025188/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=837200 CPUtime=71.35 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 301154 0 0 0 7098 37 0 0 25 0 4 0 669536797 857292800 137153 33554432000 4194304 4625164 140736571192144 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 209300 137153 359 106 0 204803 0
[pid=6268/tid=6284] ppid=6266 vsize=837200 CPUtime=13.16 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 12900 0 0 0 1315 1 0 0 25 0 4 0 669536881 857292800 137153 33554432000 4194304 4625164 140736571192144 18446744073709551615 4288814 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=837200 CPUtime=22.04 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 21442 0 0 0 2201 3 0 0 25 0 4 0 669536881 857292800 137153 33554432000 4194304 4625164 140736571192144 18446744073709551615 4317339 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=837200 CPUtime=22.99 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 43180 0 0 0 2293 6 0 0 25 0 4 0 669536881 857292800 137153 33554432000 4194304 4625164 140736571192144 18446744073709551615 4559918 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 71.35
Current children cumulated vsize (KiB) 837200

[startup+51.1009 s]
/proc/loadavg: 10.85 11.11 11.15 13/398 6300
/proc/meminfo: memFree=15650188/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=1058196 CPUtime=125.15 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 437060 0 0 0 12460 55 0 0 25 0 4 0 669536797 1083592704 193574 33554432000 4194304 4625164 140736571192144 18446744073709551615 4390688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 264549 193574 365 106 0 260052 0
[pid=6268/tid=6284] ppid=6266 vsize=1058196 CPUtime=26.24 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 21969 0 0 0 2621 3 0 0 25 0 4 0 669536881 1083592704 193574 33554432000 4194304 4625164 140736571192144 18446744073709551615 4467683 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=1058196 CPUtime=34.55 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 26874 0 0 0 3451 4 0 0 25 0 4 0 669536881 1083592704 193574 33554432000 4194304 4625164 140736571192144 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=1058196 CPUtime=38.29 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 71021 0 0 0 3820 9 0 0 25 0 4 0 669536881 1083592704 193574 33554432000 4194304 4625164 140736571192144 18446744073709551615 4278640 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 125.15
Current children cumulated vsize (KiB) 1058196

[startup+102.301 s]
/proc/loadavg: 11.11 11.14 11.16 12/398 6331
/proc/meminfo: memFree=15660840/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=1811004 CPUtime=262.02 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 875544 0 0 0 26073 129 0 0 25 0 4 0 669536797 1854468096 378709 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550198817 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6268/statm: 452751 378709 375 106 0 448254 0
[pid=6268/tid=6284] ppid=6266 vsize=1811004 CPUtime=60.71 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 40000 0 0 0 6064 7 0 0 25 0 4 0 669536881 1854468096 378709 33554432000 4194304 4625164 140736571192144 18446744073709551615 4352017 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=1811004 CPUtime=73.25 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 53431 0 0 0 7315 10 0 0 25 0 4 0 669536881 1854468096 378709 33554432000 4194304 4625164 140736571192144 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=1811004 CPUtime=79.64 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 117551 0 0 0 7948 16 0 0 25 0 4 0 669536881 1854468096 378709 33554432000 4194304 4625164 140736571192144 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 262.02
Current children cumulated vsize (KiB) 1811004

[startup+162.301 s]
/proc/loadavg: 11.38 11.20 11.18 12/398 6333
/proc/meminfo: memFree=12328524/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=4492340 CPUtime=432.48 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 2457679 0 0 0 42904 344 0 0 21 0 4 0 669536797 4600156160 964812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4360561 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6268/statm: 1123085 964812 357 106 0 1118588 0
[pid=6268/tid=6284] ppid=6266 vsize=4492340 CPUtime=106.21 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 75530 0 0 0 10609 12 0 0 25 0 4 0 669536881 4600156160 964812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4278495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=4492340 CPUtime=120.82 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 109255 0 0 0 12064 18 0 0 25 0 4 0 669536881 4600156160 964812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4352262 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=4492340 CPUtime=128.6 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 168605 0 0 0 12835 25 0 0 25 0 4 0 669536881 4600156160 964812 33554432000 4194304 4625164 140736571192144 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 432.48
Current children cumulated vsize (KiB) 4492340

[startup+222.315 s]
/proc/loadavg: 11.30 11.21 11.18 11/398 6335
/proc/meminfo: memFree=7221540/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=6052172 CPUtime=562.18 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) D 6266 6268 5970 0 -1 4202496 3361533 0 0 0 55757 461 0 0 18 0 4 0 669536797 6197424128 1224603 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 1513043 1224603 357 106 0 1508546 0
[pid=6268/tid=6284] ppid=6266 vsize=6052172 CPUtime=161.9 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 82339 0 0 0 16177 13 0 0 25 0 4 0 669536881 6197424128 1224603 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=6052172 CPUtime=178.69 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 109696 0 0 0 17851 18 0 0 25 0 4 0 669536881 6197424128 1224603 33554432000 4194304 4625164 140736571192144 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=6052172 CPUtime=135 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 185045 0 0 0 13473 27 0 0 25 0 4 0 669536881 6197424128 1224603 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550234992 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 562.18
Current children cumulated vsize (KiB) 6052172

[startup+282.301 s]
/proc/loadavg: 11.19 11.18 11.18 11/398 6345
/proc/meminfo: memFree=3645688/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=6117708 CPUtime=684.07 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) D 6266 6268 5970 0 -1 4202496 3437636 0 0 0 67933 474 0 0 18 0 4 0 669536797 6264532992 1277782 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6268/statm: 1529427 1277782 357 106 0 1524930 0
[pid=6268/tid=6284] ppid=6266 vsize=6117708 CPUtime=221.87 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 82339 0 0 0 22174 13 0 0 25 0 4 0 669536881 6264532992 1277782 33554432000 4194304 4625164 140736571192144 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=6117708 CPUtime=237.81 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 109696 0 0 0 23763 18 0 0 25 0 4 0 669536881 6264532992 1277782 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=6117708 CPUtime=135.86 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 187029 0 0 0 13559 27 0 0 25 0 4 0 669536881 6264532992 1277782 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550235021 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.07
Current children cumulated vsize (KiB) 6117708

[startup+342.301 s]
/proc/loadavg: 10.92 11.09 11.14 12/398 6377
/proc/meminfo: memFree=8395628/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=9081640 CPUtime=860.87 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 5477474 0 0 0 85324 763 0 0 19 0 4 0 669536797 9299599360 2078593 33554432000 4194304 4625164 140736571192144 18446744073709551615 4360345 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 2270410 2078593 357 106 0 2265913 0
[pid=6268/tid=6284] ppid=6266 vsize=9081640 CPUtime=278.88 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 99213 0 0 0 27872 16 0 0 25 0 4 0 669536881 9299599360 2078593 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=9081640 CPUtime=292.53 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 125357 0 0 0 29233 20 0 0 25 0 4 0 669536881 9299599360 2078593 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=9081640 CPUtime=171.52 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 252465 0 0 0 17116 36 0 0 25 0 4 0 669536881 9299599360 2078593 33554432000 4194304 4625164 140736571192144 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 860.87
Current children cumulated vsize (KiB) 9081640

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

[startup+345.6 s]
/proc/loadavg: 11.00 11.11 11.15 12/398 6377
/proc/meminfo: memFree=7063620/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=15209540 CPUtime=870.72 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 5858258 0 0 0 86264 808 0 0 25 0 4 0 669536797 15574568960 2435602 33554432000 4194304 4625164 140736571192144 18446744073709551615 271550234992 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6268/statm: 3802385 2435602 357 106 0 3797888 0
[pid=6268/tid=6284] ppid=6266 vsize=15209540 CPUtime=280.54 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 101506 0 0 0 28038 16 0 0 25 0 4 0 669536881 15574568960 2435602 33554432000 4194304 4625164 140736571192144 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=15209540 CPUtime=295.83 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 125357 0 0 0 29563 20 0 0 25 0 4 0 669536881 15574568960 2435602 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=15209540 CPUtime=174.82 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 259728 0 0 0 17445 37 0 0 25 0 4 0 669536881 15574568960 2435602 33554432000 4194304 4625164 140736571192144 18446744073709551615 4334277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 870.72
Current children cumulated vsize (KiB) 15209540

[startup+358.401 s]
/proc/loadavg: 11.16 11.13 11.16 12/398 6377
/proc/meminfo: memFree=7241940/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=10496448 CPUtime=908.97 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 7012107 0 0 0 89926 971 0 0 25 0 4 0 669536797 10748362752 2325664 33554432000 4194304 4625164 140736571192144 18446744073709551615 4360194 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6268/statm: 2624112 2325664 356 106 0 2619615 0
[pid=6268/tid=6284] ppid=6266 vsize=10496448 CPUtime=292.16 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 102279 0 0 0 29200 16 0 0 25 0 4 0 669536881 10748362752 2325664 33554432000 4194304 4625164 140736571192144 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=10496448 CPUtime=308.61 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 125499 0 0 0 30841 20 0 0 25 0 4 0 669536881 10748362752 2325664 33554432000 4194304 4625164 140736571192144 18446744073709551615 4278495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=10496448 CPUtime=182.17 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 276526 0 0 0 18177 40 0 0 25 0 4 0 669536881 10748362752 2325664 33554432000 4194304 4625164 140736571192144 18446744073709551615 4334473 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 908.97
Current children cumulated vsize (KiB) 10496448

[startup+364.801 s]
/proc/loadavg: 11.14 11.13 11.15 13/398 6377
/proc/meminfo: memFree=6535276/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=10700084 CPUtime=928.08 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 7164476 0 0 0 91816 992 0 0 20 0 4 0 669536797 10956886016 2427464 33554432000 4194304 4625164 140736571192144 18446744073709551615 4360205 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/6268/statm: 2675021 2427464 356 106 0 2670524 0
[pid=6268/tid=6284] ppid=6266 vsize=10700084 CPUtime=296.84 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 105559 0 0 0 29667 17 0 0 25 0 4 0 669536881 10956886016 2427464 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=10700084 CPUtime=314.02 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 132866 0 0 0 31381 21 0 0 25 0 4 0 669536881 10956886016 2427464 33554432000 4194304 4625164 140736571192144 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=10700084 CPUtime=187.77 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 294950 0 0 0 18734 43 0 0 25 0 4 0 669536881 10956886016 2427464 33554432000 4194304 4625164 140736571192144 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 928.08
Current children cumulated vsize (KiB) 10700084

[startup+368 s]
/proc/loadavg: 11.14 11.13 11.15 12/398 6378
/proc/meminfo: memFree=6308108/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=10766308 CPUtime=937.63 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 7237596 0 0 0 92760 1003 0 0 25 0 4 0 669536797 11024699392 2475192 33554432000 4194304 4625164 140736571192144 18446744073709551615 4360200 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6268/statm: 2691577 2475192 356 106 0 2687080 0
[pid=6268/tid=6284] ppid=6266 vsize=10766308 CPUtime=298.63 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 105891 0 0 0 29846 17 0 0 25 0 4 0 669536881 11024699392 2475192 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330630 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=10766308 CPUtime=317.18 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 141246 0 0 0 31696 22 0 0 25 0 4 0 669536881 11024699392 2475193 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=10766308 CPUtime=190.67 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 307089 0 0 0 19023 44 0 0 25 0 4 0 669536881 11024699392 2475199 33554432000 4194304 4625164 140736571192144 18446744073709551615 4554582 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 937.63
Current children cumulated vsize (KiB) 10766308

[startup+368.8 s]
/proc/loadavg: 11.14 11.13 11.15 12/398 6378
/proc/meminfo: memFree=6225152/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=10766308 CPUtime=940.02 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) R 6266 6268 5970 0 -1 4202496 7257370 0 0 0 92996 1006 0 0 25 0 4 0 669536797 11024699392 2488742 33554432000 4194304 4625164 140736571192144 18446744073709551615 4360561 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6268/statm: 2691577 2488752 356 106 0 2687080 0
[pid=6268/tid=6284] ppid=6266 vsize=10766308 CPUtime=299.43 cores=1,3,5,7
/proc/6268/task/6284/stat : 6284 (SArTagnan) R 6266 6268 5970 0 -1 4202560 105891 0 0 0 29926 17 0 0 25 0 4 0 669536881 11024699392 2488758 33554432000 4194304 4625164 140736571192144 18446744073709551615 4330600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6268/tid=6285] ppid=6266 vsize=10766308 CPUtime=317.97 cores=1,3,5,7
/proc/6268/task/6285/stat : 6285 (SArTagnan) R 6266 6268 5970 0 -1 4202560 141246 0 0 0 31775 22 0 0 25 0 4 0 669536881 11024699392 2488759 33554432000 4194304 4625164 140736571192144 18446744073709551615 4331184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=10766308 CPUtime=191.07 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4202560 308306 0 0 0 19063 44 0 0 25 0 4 0 669536881 11024699392 2488759 33554432000 4194304 4625164 140736571192144 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 940.02
Current children cumulated vsize (KiB) 10766308

[startup+369.601 s]
/proc/loadavg: 11.12 11.13 11.15 9/396 6378
/proc/meminfo: memFree=11104512/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=0 CPUtime=942.02 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) Z 6266 6268 5970 0 -1 4202524 7272647 0 0 0 93174 1028 0 0 25 0 2 0 669536797 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6268/statm: 0 0 0 0 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=0 CPUtime=191.58 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4203588 308787 0 0 0 19093 65 0 0 25 0 2 0 669536881 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 0

[startup+369.801 s]
/proc/loadavg: 11.12 11.13 11.15 9/396 6378
/proc/meminfo: memFree=11104512/32951124 swapFree=67056796/67111528
[pid=6268] ppid=6266 vsize=0 CPUtime=942.21 cores=1,3,5,7
/proc/6268/stat : 6268 (SArTagnan) Z 6266 6268 5970 0 -1 4202524 7272647 0 0 0 93174 1047 0 0 25 0 2 0 669536797 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6268/statm: 0 0 0 0 0 0 0
[pid=6268/tid=6286] ppid=6266 vsize=0 CPUtime=191.77 cores=1,3,5,7
/proc/6268/task/6286/stat : 6286 (SArTagnan) R 6266 6268 5970 0 -1 4203588 308787 0 0 0 19093 84 0 0 25 0 2 0 669536881 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 369.805
CPU time (s): 942.23
CPU user time (s): 931.748
CPU system time (s): 10.4814
CPU usage (%): 254.791
Max. virtual memory (cumulated for all children) (KiB): 15209540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 931.748
system time used= 10.4814
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7272647
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= 29334
involuntary context switches= 11908

runsolver used 1.37079 second user time and 3.34749 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-16 22:56:29
IDJOB=3386434
IDBENCH=82363
IDSOLVER=1871
FILE ID=node133/3386434-1305579388
RUNJOBID= node133-1305576779-5989
PBS_JOBID= 13350209
Free space on /tmp= 73344 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386434-1305579388/watcher-3386434-1305579388 -o /tmp/evaluation-result-3386434-1305579388/solver-3386434-1305579388 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386434-1305579388.cnf -threads=4

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=465791559

node133.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.834
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.834
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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:      17477988 kB
Buffers:        326484 kB
Cached:        4570300 kB
SwapCached:       7668 kB
Active:       11856876 kB
Inactive:      3303736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17477988 kB
SwapTotal:    67111528 kB
SwapFree:     67056796 kB
Dirty:           60544 kB
Writeback:           0 kB
AnonPages:    10262832 kB
Mapped:          31772 kB
Slab:           203048 kB
PageTables:      45004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 84933768 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= 73196 MiB
End job on node133 at 2011-05-16 23:02:39