Trace number 3386437

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) 984.344 338.825

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
MD5SUM6c2d25eda70423643946d76935ceb950
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1512832
Number of clauses8233086
Sum of the clauses size19530286
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 28165680
Number of clauses of size 31280
Number of clauses of size 41600
Number of clauses of size 51600
Number of clauses of size over 562080

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

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: 10.96 11.14 11.16 9/394 6372
/proc/meminfo: memFree=12009340/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=18216 CPUtime=0 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 350 0 0 0 0 0 0 0 22 0 1 0 669566900 18653184 288 33554432000 4194304 4625164 140736093818704 18446744073709551615 271550810131 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6372/statm: 4554 288 247 106 0 57 0

[startup+0.115481 s]
/proc/loadavg: 10.96 11.14 11.16 9/394 6372
/proc/meminfo: memFree=12009340/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=336980 CPUtime=0.09 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 27388 0 0 0 6 3 0 0 22 0 1 0 669566900 345067520 27326 33554432000 4194304 4625164 140736093818704 18446744073709551615 4204064 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6372/statm: 84245 27326 299 106 0 79748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 336980

[startup+0.217461 s]
/proc/loadavg: 10.96 11.14 11.16 9/394 6372
/proc/meminfo: memFree=12009340/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=338644 CPUtime=0.19 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 28408 0 0 0 15 4 0 0 23 0 1 0 669566900 346771456 27668 33554432000 4194304 4625164 140736093818704 18446744073709551615 4257248 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6372/statm: 84661 27668 299 106 0 80164 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 338644

[startup+0.300448 s]
/proc/loadavg: 10.96 11.14 11.16 9/394 6372
/proc/meminfo: memFree=12009340/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=340260 CPUtime=0.27 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 29162 0 0 0 23 4 0 0 23 0 1 0 669566900 348426240 28061 33554432000 4194304 4625164 140736093818704 18446744073709551615 271550156344 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6372/statm: 85065 28061 299 106 0 80568 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 340260

[startup+0.700375 s]
/proc/loadavg: 10.96 11.14 11.16 9/394 6372
/proc/meminfo: memFree=12009340/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=361284 CPUtime=0.66 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 40645 0 0 0 60 6 0 0 25 0 1 0 669566900 369954816 32416 33554432000 4194304 4625164 140736093818704 18446744073709551615 4586005 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6372/statm: 90321 32416 299 106 0 85824 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 361284

[startup+1.50023 s]
/proc/loadavg: 10.96 11.14 11.16 9/395 6373
/proc/meminfo: memFree=11749684/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=426664 CPUtime=1.46 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 72896 0 0 0 132 14 0 0 25 0 1 0 669566900 436903936 45179 33554432000 4194304 4625164 140736093818704 18446744073709551615 4585971 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6372/statm: 106666 45179 299 106 0 102169 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 426664

[startup+3.10094 s]
/proc/loadavg: 10.96 11.14 11.16 9/395 6373
/proc/meminfo: memFree=11590996/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=537028 CPUtime=3.04 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 130897 0 0 0 280 24 0 0 25 0 1 0 669566900 549916672 68563 33554432000 4194304 4625164 140736093818704 18446744073709551615 271550156382 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/6372/statm: 134257 68563 299 106 0 129760 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 537028

[startup+6.30036 s]
/proc/loadavg: 10.72 11.08 11.14 12/398 6376
/proc/meminfo: memFree=8070224/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=1367912 CPUtime=10.14 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 286188 0 0 0 977 37 0 0 25 0 4 0 669566900 1400741888 223852 33554432000 4194304 4625164 140736093818704 18446744073709551615 4390546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 341978 223852 362 106 0 337481 0
[pid=6372/tid=6374] ppid=6370 vsize=1367912 CPUtime=2.65 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 4683 0 0 0 265 0 0 0 25 0 4 0 669567244 1400741888 223852 33554432000 4194304 4625164 140736093818704 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=1367912 CPUtime=1.28 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 4493 0 0 0 128 0 0 0 25 0 4 0 669567244 1400741888 223852 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=1367912 CPUtime=1.32 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 7985 0 0 0 132 0 0 0 25 0 4 0 669567244 1400741888 223852 33554432000 4194304 4625164 140736093818704 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.14
Current children cumulated vsize (KiB) 1367912

[startup+12.7002 s]
/proc/loadavg: 10.74 11.08 11.14 12/398 6376
/proc/meminfo: memFree=10107336/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=1367912 CPUtime=26.06 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 286341 0 0 0 2569 37 0 0 25 0 4 0 669566900 1400741888 224005 33554432000 4194304 4625164 140736093818704 18446744073709551615 4390560 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6372/statm: 341978 224005 362 106 0 337481 0
[pid=6372/tid=6374] ppid=6370 vsize=1367912 CPUtime=6.55 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 4683 0 0 0 655 0 0 0 25 0 4 0 669567244 1400741888 224005 33554432000 4194304 4625164 140736093818704 18446744073709551615 4478002 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=1367912 CPUtime=4.48 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 4496 0 0 0 448 0 0 0 25 0 4 0 669567244 1400741888 224005 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=1367912 CPUtime=6.93 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 7985 0 0 0 693 0 0 0 25 0 4 0 669567244 1400741888 224005 33554432000 4194304 4625164 140736093818704 18446744073709551615 4477972 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.06
Current children cumulated vsize (KiB) 1367912

[startup+25.5009 s]
/proc/loadavg: 10.80 11.08 11.14 12/398 6376
/proc/meminfo: memFree=9300680/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=1395608 CPUtime=57.89 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 310284 0 0 0 5749 40 0 0 25 0 4 0 669566900 1429102592 238393 33554432000 4194304 4625164 140736093818704 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6372/statm: 348902 238393 363 106 0 344405 0
[pid=6372/tid=6374] ppid=6370 vsize=1395608 CPUtime=12.94 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 15659 0 0 0 1293 1 0 0 25 0 4 0 669567244 1429102592 238393 33554432000 4194304 4625164 140736093818704 18446744073709551615 4288719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=1395608 CPUtime=10.89 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 4571 0 0 0 1089 0 0 0 25 0 4 0 669567244 1429102592 238393 33554432000 4194304 4625164 140736093818704 18446744073709551615 4479584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=1395608 CPUtime=19.57 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 12985 0 0 0 1956 1 0 0 25 0 4 0 669567244 1429102592 238393 33554432000 4194304 4625164 140736093818704 18446744073709551615 4562619 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 57.89
Current children cumulated vsize (KiB) 1395608

[startup+51.1012 s]
/proc/loadavg: 11.00 11.10 11.15 12/398 6377
/proc/meminfo: memFree=7734472/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=1515968 CPUtime=121.37 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 370218 0 0 0 12089 48 0 0 25 0 4 0 669566900 1552351232 264409 33554432000 4194304 4625164 140736093818704 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 378992 264409 363 106 0 374495 0
[pid=6372/tid=6374] ppid=6370 vsize=1515968 CPUtime=25.86 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 23351 0 0 0 2583 3 0 0 25 0 4 0 669567244 1552351232 264409 33554432000 4194304 4625164 140736093818704 18446744073709551615 4467219 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=1515968 CPUtime=26.39 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 6590 0 0 0 2639 0 0 0 25 0 4 0 669567244 1552351232 264410 33554432000 4194304 4625164 140736093818704 18446744073709551615 271550198469 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=1515968 CPUtime=38.52 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 23563 0 0 0 3850 2 0 0 25 0 4 0 669567244 1552351232 264412 33554432000 4194304 4625164 140736093818704 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 121.37
Current children cumulated vsize (KiB) 1515968

[startup+102.301 s]
/proc/loadavg: 11.57 11.23 11.18 12/398 6408
/proc/meminfo: memFree=14377860/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=3718720 CPUtime=259.15 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 1589268 0 0 0 25700 215 0 0 25 0 4 0 669566900 3807969280 723918 33554432000 4194304 4625164 140736093818704 18446744073709551615 4360200 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 929680 723918 585 106 0 925183 0
[pid=6372/tid=6374] ppid=6370 vsize=3718720 CPUtime=55.08 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 59894 0 0 0 5496 12 0 0 25 0 4 0 669567244 3807969280 723918 33554432000 4194304 4625164 140736093818704 18446744073709551615 4464658 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=3718720 CPUtime=65.25 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 31232 0 0 0 6520 5 0 0 25 0 4 0 669567244 3807969280 723918 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317215 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=3718720 CPUtime=83.86 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 45489 0 0 0 8380 6 0 0 25 0 4 0 669567244 3807969280 723918 33554432000 4194304 4625164 140736093818704 18446744073709551615 4554582 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 259.15
Current children cumulated vsize (KiB) 3718720

[startup+162.301 s]
/proc/loadavg: 11.38 11.23 11.18 12/398 6410
/proc/meminfo: memFree=10318596/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=6669188 CPUtime=438.29 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 3266463 0 0 0 43353 476 0 0 25 0 4 0 669566900 6829248512 1319663 33554432000 4194304 4625164 140736093818704 18446744073709551615 4360194 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 1667297 1319663 391 106 0 1662800 0
[pid=6372/tid=6374] ppid=6370 vsize=6669188 CPUtime=101.25 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88388 0 0 0 10106 19 0 0 25 0 4 0 669567244 6829248512 1319663 33554432000 4194304 4625164 140736093818704 18446744073709551615 4469213 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=6669188 CPUtime=123.67 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35411 0 0 0 12361 6 0 0 25 0 4 0 669567244 6829248512 1319663 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=6669188 CPUtime=128.78 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 48789 0 0 0 12871 7 0 0 25 0 4 0 669567244 6829248512 1319663 33554432000 4194304 4625164 140736093818704 18446744073709551615 4554602 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 438.29
Current children cumulated vsize (KiB) 6669188

[startup+222.315 s]
/proc/loadavg: 11.71 11.34 11.22 12/398 6446
/proc/meminfo: memFree=9861660/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=9351736 CPUtime=633.24 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 4808419 0 0 0 62584 740 0 0 25 0 4 0 669566900 9576177664 1909031 33554432000 4194304 4625164 140736093818704 18446744073709551615 271550198817 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6372/statm: 2337934 1909032 391 106 0 2333437 0
[pid=6372/tid=6374] ppid=6370 vsize=9351736 CPUtime=157.49 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88416 0 0 0 15730 19 0 0 25 0 4 0 669567244 9576177664 1909032 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=9351736 CPUtime=183.55 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35413 0 0 0 18347 8 0 0 25 0 4 0 669567244 9576177664 1909033 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=9351736 CPUtime=173.3 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 51942 0 0 0 17323 7 0 0 25 0 4 0 669567244 9576177664 1909033 33554432000 4194304 4625164 140736093818704 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 633.24
Current children cumulated vsize (KiB) 9351736

[startup+282.3 s]
/proc/loadavg: 11.37 11.31 11.21 12/398 6447
/proc/meminfo: memFree=8138136/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=10203704 CPUtime=816.31 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 5370010 0 0 0 80769 862 0 0 25 0 4 0 669566900 10448592896 2335592 33554432000 4194304 4625164 140736093818704 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2550926 2335592 391 106 0 2546429 0
[pid=6372/tid=6374] ppid=6370 vsize=10203704 CPUtime=217.48 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88483 0 0 0 21729 19 0 0 25 0 4 0 669567244 10448592896 2335592 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=10203704 CPUtime=243.53 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 24345 8 0 0 25 0 4 0 669567244 10448592896 2335592 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=10203704 CPUtime=206.76 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 76806 0 0 0 20665 11 0 0 25 0 4 0 669567244 10448592896 2335592 33554432000 4194304 4625164 140736093818704 18446744073709551615 4552966 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 816.31
Current children cumulated vsize (KiB) 10203704

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

[startup+307.201 s]
/proc/loadavg: 11.40 11.31 11.22 12/398 6448
/proc/meminfo: memFree=7393708/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=11001912 CPUtime=890.68 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 6776105 0 0 0 88002 1066 0 0 25 0 4 0 669566900 11265957888 2513696 33554432000 4194304 4625164 140736093818704 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2750478 2513696 391 106 0 2745981 0
[pid=6372/tid=6374] ppid=6370 vsize=11001912 CPUtime=242.38 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88484 0 0 0 24219 19 0 0 25 0 4 0 669567244 11265957888 2513696 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=11001912 CPUtime=268.43 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 26835 8 0 0 25 0 4 0 669567244 11265957888 2513696 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=11001912 CPUtime=219.06 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 84675 0 0 0 21893 13 0 0 25 0 4 0 669567244 11265957888 2513696 33554432000 4194304 4625164 140736093818704 18446744073709551615 4554548 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 890.68
Current children cumulated vsize (KiB) 11001912

[startup+320 s]
/proc/loadavg: 11.39 11.31 11.22 12/398 6448
/proc/meminfo: memFree=7087260/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=11132984 CPUtime=928.93 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 6884274 0 0 0 91802 1091 0 0 25 0 4 0 669566900 11400175616 2597498 33554432000 4194304 4625164 140736093818704 18446744073709551615 4360345 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2783246 2597498 391 106 0 2778749 0
[pid=6372/tid=6374] ppid=6370 vsize=11132984 CPUtime=255.18 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88484 0 0 0 25499 19 0 0 25 0 4 0 669567244 11400175616 2597498 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=11132984 CPUtime=281.23 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 28115 8 0 0 25 0 4 0 669567244 11400175616 2597498 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317543 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=11132984 CPUtime=225.36 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 89150 0 0 0 22522 14 0 0 25 0 4 0 669567244 11400175616 2597498 33554432000 4194304 4625164 140736093818704 18446744073709551615 271550235021 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 928.93
Current children cumulated vsize (KiB) 11132984

[startup+326.4 s]
/proc/loadavg: 11.36 11.31 11.22 12/398 6448
/proc/meminfo: memFree=7015828/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=11198520 CPUtime=948.05 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 6897965 0 0 0 93710 1095 0 0 25 0 4 0 669566900 11467284480 2606894 33554432000 4194304 4625164 140736093818704 18446744073709551615 4392037 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2799630 2606894 391 106 0 2795133 0
[pid=6372/tid=6374] ppid=6370 vsize=11198520 CPUtime=261.58 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88484 0 0 0 26139 19 0 0 25 0 4 0 669567244 11467284480 2606894 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=11198520 CPUtime=287.63 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 28755 8 0 0 25 0 4 0 669567244 11467284480 2606894 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=11198520 CPUtime=228.56 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 91261 0 0 0 22841 15 0 0 25 0 4 0 669567244 11467284480 2606894 33554432000 4194304 4625164 140736093818704 18446744073709551615 4554631 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 948.05
Current children cumulated vsize (KiB) 11198520

[startup+332.801 s]
/proc/loadavg: 11.41 11.32 11.22 12/398 6449
/proc/meminfo: memFree=6974660/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=11198520 CPUtime=967.17 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 6909180 0 0 0 95617 1100 0 0 25 0 4 0 669566900 11467284480 2615330 33554432000 4194304 4625164 140736093818704 18446744073709551615 4390549 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2799630 2615330 395 106 0 2795133 0
[pid=6372/tid=6374] ppid=6370 vsize=11198520 CPUtime=267.98 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88484 0 0 0 26779 19 0 0 25 0 4 0 669567244 11467284480 2615330 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330825 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=11198520 CPUtime=294.03 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 29395 8 0 0 25 0 4 0 669567244 11467284480 2615330 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317326 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=11198520 CPUtime=231.7 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 92977 0 0 0 23155 15 0 0 25 0 4 0 669567244 11467284480 2615330 33554432000 4194304 4625164 140736093818704 18446744073709551615 4334920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 967.17
Current children cumulated vsize (KiB) 11198520

[startup+336.001 s]
/proc/loadavg: 11.38 11.32 11.22 12/398 6449
/proc/meminfo: memFree=6822388/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=11264056 CPUtime=976.72 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 6963991 0 0 0 96560 1112 0 0 25 0 4 0 669566900 11534393344 2660374 33554432000 4194304 4625164 140736093818704 18446744073709551615 4360345 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2816014 2660374 395 106 0 2811517 0
[pid=6372/tid=6374] ppid=6370 vsize=11264056 CPUtime=271.18 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88491 0 0 0 27099 19 0 0 25 0 4 0 669567244 11534393344 2660374 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330621 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=11264056 CPUtime=297.23 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 29715 8 0 0 25 0 4 0 669567244 11534393344 2660374 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317528 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=11264056 CPUtime=233.26 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 92977 0 0 0 23311 15 0 0 25 0 4 0 669567244 11534393344 2660374 33554432000 4194304 4625164 140736093818704 18446744073709551615 4562619 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 976.72
Current children cumulated vsize (KiB) 11264056

[startup+337.6 s]
/proc/loadavg: 11.38 11.32 11.22 12/398 6449
/proc/meminfo: memFree=6759644/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=11352128 CPUtime=981.51 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 7002955 0 0 0 97033 1118 0 0 25 0 4 0 669566900 11624579072 2683239 33554432000 4194304 4625164 140736093818704 18446744073709551615 4381962 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2838032 2683239 396 106 0 2833535 0
[pid=6372/tid=6374] ppid=6370 vsize=11352128 CPUtime=272.78 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88491 0 0 0 27259 19 0 0 25 0 4 0 669567244 11624579072 2683239 33554432000 4194304 4625164 140736093818704 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=11352128 CPUtime=298.83 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 29875 8 0 0 25 0 4 0 669567244 11624579072 2683239 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=11352128 CPUtime=234.06 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 92977 0 0 0 23391 15 0 0 25 0 4 0 669567244 11624579072 2683239 33554432000 4194304 4625164 140736093818704 18446744073709551615 4554582 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 981.51
Current children cumulated vsize (KiB) 11352128

[startup+338.401 s]
/proc/loadavg: 11.51 11.34 11.23 12/398 6449
/proc/meminfo: memFree=6703472/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=11352128 CPUtime=983.9 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) R 6370 6372 5970 0 -1 4202496 7016567 0 0 0 97269 1121 0 0 25 0 4 0 669566900 11624579072 2694183 33554432000 4194304 4625164 140736093818704 18446744073709551615 4360205 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 2838032 2694183 393 106 0 2833535 0
[pid=6372/tid=6374] ppid=6370 vsize=11352128 CPUtime=273.58 cores=0,2,4,6
/proc/6372/task/6374/stat : 6374 (SArTagnan) R 6370 6372 5970 0 -1 4202560 88491 0 0 0 27339 19 0 0 25 0 4 0 669567244 11624579072 2694183 33554432000 4194304 4625164 140736093818704 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6372/tid=6375] ppid=6370 vsize=11352128 CPUtime=299.63 cores=0,2,4,6
/proc/6372/task/6375/stat : 6375 (SArTagnan) R 6370 6372 5970 0 -1 4202560 35477 0 0 0 29955 8 0 0 25 0 4 0 669567244 11624579072 2694183 33554432000 4194304 4625164 140736093818704 18446744073709551615 4317225 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=11352128 CPUtime=234.46 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4202560 92979 0 0 0 23431 15 0 0 25 0 4 0 669567244 11624579072 2694183 33554432000 4194304 4625164 140736093818704 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 983.9
Current children cumulated vsize (KiB) 11352128

[startup+338.801 s]
/proc/loadavg: 11.51 11.34 11.23 9/396 6449
/proc/meminfo: memFree=17029216/32951124 swapFree=67056796/67111528
[pid=6372] ppid=6370 vsize=0 CPUtime=984.32 cores=0,2,4,6
/proc/6372/stat : 6372 (SArTagnan) Z 6370 6372 5970 0 -1 4202524 7016962 0 0 0 97271 1161 0 0 25 0 2 0 669566900 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/6372/statm: 0 0 0 0 0 0 0
[pid=6372/tid=6376] ppid=6370 vsize=0 CPUtime=234.86 cores=0,2,4,6
/proc/6372/task/6376/stat : 6376 (SArTagnan) R 6370 6372 5970 0 -1 4203588 92979 0 0 0 23431 55 0 0 25 0 2 0 669567244 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 984.32
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 338.825
CPU time (s): 984.344
CPU user time (s): 972.717
CPU system time (s): 11.6272
CPU usage (%): 290.517
Max. virtual memory (cumulated for all children) (KiB): 15617020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 972.717
system time used= 11.6272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7016962
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= 20255
involuntary context switches= 10615

runsolver used 1.25481 second user time and 3.06653 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-16 23:01:30
IDJOB=3386437
IDBENCH=82404
IDSOLVER=1871
FILE ID=node133/3386437-1305579685
RUNJOBID= node133-1305576779-5988
PBS_JOBID= 13350209
Free space on /tmp= 73196 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386437-1305579685/watcher-3386437-1305579685 -o /tmp/evaluation-result-3386437-1305579685/solver-3386437-1305579685 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386437-1305579685.cnf -threads=4

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

MD5SUM BENCH= 6c2d25eda70423643946d76935ceb950
RANDOM SEED=1751809514

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:      12009496 kB
Buffers:        300924 kB
Cached:        4375528 kB
SwapCached:       7668 kB
Active:       17705924 kB
Inactive:      2908420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12009496 kB
SwapTotal:    67111528 kB
SwapFree:     67056796 kB
Dirty:          165796 kB
Writeback:           0 kB
AnonPages:    15935872 kB
Mapped:          32360 kB
Slab:           204588 kB
PageTables:      56456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 91188624 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= 73224 MiB
End job on node133 at 2011-05-16 23:07:09