Trace number 3285633

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-03-24? (exit code) 1649.67 413.635

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
MD5SUM732b9c9b0d44d6a9e75489b2f5004165
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 variables95456
Number of clauses477186
Sum of the clauses size1137161
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2470925
Number of clauses of size 31500
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54550

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: 935)

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-3285633-1304062687/watcher-3285633-1304062687 -o /tmp/evaluation-result-3285633-1304062687/solver-3285633-1304062687 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3285633-1304062687.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: 7.68 7.76 7.76 6/180 12251
/proc/meminfo: memFree=23795956/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=20728 CPUtime=0 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 821 0 0 0 0 0 0 0 25 0 1 0 517867434 21225472 759 33554432000 4194304 4623224 140736170940000 18446744073709551615 4296444 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/12251/statm: 5182 771 290 105 0 686 0

[startup+0.0876381 s]
/proc/loadavg: 7.68 7.76 7.76 6/180 12251
/proc/meminfo: memFree=23795956/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=40888 CPUtime=0.07 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 3902 0 0 0 7 0 0 0 25 0 1 0 517867434 41869312 2850 33554432000 4194304 4623224 140736170940000 18446744073709551615 251814240000 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/12251/statm: 10222 2851 301 105 0 5726 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 40888

[startup+0.100633 s]
/proc/loadavg: 7.68 7.76 7.76 6/180 12251
/proc/meminfo: memFree=23795956/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=42396 CPUtime=0.09 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 4633 0 0 0 9 0 0 0 25 0 1 0 517867434 43413504 3040 33554432000 4194304 4623224 140736170940000 18446744073709551615 4354631 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/12251/statm: 10599 3041 301 105 0 6103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42396

[startup+0.301448 s]
/proc/loadavg: 7.68 7.76 7.76 6/180 12251
/proc/meminfo: memFree=23795956/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=242192 CPUtime=0.7 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 15359 0 0 0 68 2 0 0 25 0 4 0 517867434 248004608 12823 33554432000 4194304 4623224 140736170940000 18446744073709551615 4412527 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 60548 12823 335 105 0 56052 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 242192

[startup+0.700538 s]
/proc/loadavg: 7.68 7.76 7.76 6/180 12251
/proc/meminfo: memFree=23795956/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=247496 CPUtime=2.29 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 18867 0 0 0 227 2 0 0 25 0 4 0 517867434 253435904 16185 33554432000 4194304 4623224 140736170940000 18446744073709551615 4412804 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 61874 16185 342 105 0 57378 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 247496

[startup+1.5004 s]
/proc/loadavg: 7.68 7.76 7.76 9/184 12255
/proc/meminfo: memFree=23642652/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=272904 CPUtime=5.49 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 37528 0 0 0 544 5 0 0 25 0 4 0 517867434 279453696 27591 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510181 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 68226 27591 369 105 0 63730 0
[pid=12251/tid=12253] ppid=12249 vsize=272904 CPUtime=1.32 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1515 0 0 0 132 0 0 0 25 0 4 0 517867451 279453696 27592 33554432000 4194304 4623224 140736170940000 18446744073709551615 4463061 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=272904 CPUtime=1.33 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 2006 0 0 0 133 0 0 0 25 0 4 0 517867451 279453696 27593 33554432000 4194304 4623224 140736170940000 18446744073709551615 4278641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=272904 CPUtime=1.33 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1658 0 0 0 133 0 0 0 25 0 4 0 517867451 279453696 27593 33554432000 4194304 4623224 140736170940000 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 272904

[startup+3.10114 s]
/proc/loadavg: 7.68 7.76 7.76 9/184 12255
/proc/meminfo: memFree=22522064/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=368188 CPUtime=11.89 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 53307 0 0 0 1181 8 0 0 25 0 4 0 517867434 377024512 35686 33554432000 4194304 4623224 140736170940000 18446744073709551615 4508304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 92047 35686 476 105 0 87551 0
[pid=12251/tid=12253] ppid=12249 vsize=368188 CPUtime=2.91 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 2801 0 0 0 291 0 0 0 25 0 4 0 517867451 377024512 35686 33554432000 4194304 4623224 140736170940000 18446744073709551615 4463039 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=368188 CPUtime=2.92 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 3844 0 0 0 292 0 0 0 25 0 4 0 517867451 377024512 35686 33554432000 4194304 4623224 140736170940000 18446744073709551615 4462989 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=368188 CPUtime=2.93 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 3807 0 0 0 293 0 0 0 25 0 4 0 517867451 377024512 35686 33554432000 4194304 4623224 140736170940000 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 368188

[startup+6.3006 s]
/proc/loadavg: 7.70 7.76 7.76 9/184 12255
/proc/meminfo: memFree=23116560/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=390488 CPUtime=24.66 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 74801 0 0 0 2455 11 0 0 25 0 4 0 517867434 399859712 45924 33554432000 4194304 4623224 140736170940000 18446744073709551615 4360030 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 97622 45924 348 105 0 93126 0
[pid=12251/tid=12253] ppid=12249 vsize=390488 CPUtime=6.1 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 5849 0 0 0 609 1 0 0 25 0 4 0 517867451 399859712 45924 33554432000 4194304 4623224 140736170940000 18446744073709551615 4275813 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=390488 CPUtime=6.13 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 5959 0 0 0 612 1 0 0 25 0 4 0 517867451 399859712 45924 33554432000 4194304 4623224 140736170940000 18446744073709551615 4376617 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=390488 CPUtime=6.13 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 9793 0 0 0 612 1 0 0 25 0 4 0 517867451 399859712 45924 33554432000 4194304 4623224 140736170940000 18446744073709551615 251813907418 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.66
Current children cumulated vsize (KiB) 390488

[startup+12.7005 s]
/proc/loadavg: 7.73 7.77 7.76 9/184 12255
/proc/meminfo: memFree=21877688/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=1239956 CPUtime=50.21 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 516363 0 0 0 4943 78 0 0 25 0 4 0 517867434 1269714944 246769 33554432000 4194304 4623224 140736170940000 18446744073709551615 4412279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 309989 246769 620 105 0 305493 0
[pid=12251/tid=12253] ppid=12249 vsize=1239956 CPUtime=12.46 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 23097 0 0 0 1243 3 0 0 25 0 4 0 517867451 1269714944 246769 33554432000 4194304 4623224 140736170940000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=1239956 CPUtime=12.51 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 21818 0 0 0 1248 3 0 0 25 0 4 0 517867451 1269714944 246769 33554432000 4194304 4623224 140736170940000 18446744073709551615 4289794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=1239956 CPUtime=12.52 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 24806 0 0 0 1250 2 0 0 25 0 4 0 517867451 1269714944 246769 33554432000 4194304 4623224 140736170940000 18446744073709551615 4545710 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 1239956

[startup+25.5004 s]
/proc/loadavg: 7.86 7.79 7.77 9/184 12256
/proc/meminfo: memFree=19866904/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=2072336 CPUtime=101.25 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 979686 0 0 0 9979 146 0 0 19 0 4 0 517867434 2122072064 391139 33554432000 4194304 4623224 140736170940000 18446744073709551615 4509971 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 518084 391139 346 105 0 513588 0
[pid=12251/tid=12253] ppid=12249 vsize=2072336 CPUtime=25.14 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 35005 0 0 0 2507 7 0 0 19 0 4 0 517867451 2122072064 391139 33554432000 4194304 4623224 140736170940000 18446744073709551615 4463067 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=2072336 CPUtime=25.28 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 37465 0 0 0 2522 6 0 0 19 0 4 0 517867451 2122072064 391139 33554432000 4194304 4623224 140736170940000 18446744073709551615 4278645 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=2072336 CPUtime=25.31 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 28264 0 0 0 2528 3 0 0 25 0 4 0 517867451 2122072064 391139 33554432000 4194304 4623224 140736170940000 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 2072336

[startup+51.1011 s]
/proc/loadavg: 7.90 7.81 7.77 9/184 12257
/proc/meminfo: memFree=17033956/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=2338088 CPUtime=203.51 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 1084789 0 0 0 20182 169 0 0 25 0 4 0 517867434 2394202112 468962 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 584522 468962 344 105 0 580026 0
[pid=12251/tid=12253] ppid=12249 vsize=2338088 CPUtime=50.61 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 57416 0 0 0 5047 14 0 0 25 0 4 0 517867451 2394202112 468962 33554432000 4194304 4623224 140736170940000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=2338088 CPUtime=50.89 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 44674 0 0 0 5081 8 0 0 25 0 4 0 517867451 2394202112 468962 33554432000 4194304 4623224 140736170940000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=2338088 CPUtime=50.9 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 50333 0 0 0 5084 6 0 0 25 0 4 0 517867451 2394202112 468962 33554432000 4194304 4623224 140736170940000 18446744073709551615 4558038 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 2338088

[startup+102.306 s]
/proc/loadavg: 8.00 7.85 7.79 9/184 12288
/proc/meminfo: memFree=23163596/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=3480552 CPUtime=407.99 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 1851244 0 0 0 40496 303 0 0 25 0 4 0 517867434 3564085248 743789 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 870138 743789 544 105 0 865642 0
[pid=12251/tid=12253] ppid=12249 vsize=3480552 CPUtime=101.7 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 76855 0 0 0 10151 19 0 0 25 0 4 0 517867451 3564085248 743789 33554432000 4194304 4623224 140736170940000 18446744073709551615 4357758 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=3480552 CPUtime=102.08 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 84584 0 0 0 10187 21 0 0 25 0 4 0 517867451 3564085248 743789 33554432000 4194304 4623224 140736170940000 18446744073709551615 4317150 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=3480552 CPUtime=101.89 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 224631 0 0 0 10156 33 0 0 25 0 4 0 517867451 3564085248 743789 33554432000 4194304 4623224 140736170940000 18446744073709551615 4568779 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 3480552

[startup+162.3 s]
/proc/loadavg: 8.11 7.91 7.81 9/184 12289
/proc/meminfo: memFree=19166916/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=6158004 CPUtime=647.55 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 3505745 0 0 0 64197 558 0 0 25 0 4 0 517867434 6305796096 1203225 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 1539501 1203225 584 105 0 1535005 0
[pid=12251/tid=12253] ppid=12249 vsize=6158004 CPUtime=161.64 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 92646 0 0 0 16143 21 0 0 25 0 4 0 517867451 6305796096 1203225 33554432000 4194304 4623224 140736170940000 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=6158004 CPUtime=162.08 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 133882 0 0 0 16173 35 0 0 25 0 4 0 517867451 6305796096 1203225 33554432000 4194304 4623224 140736170940000 18446744073709551615 4463404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=6158004 CPUtime=161.53 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 419752 0 0 0 16086 67 0 0 25 0 4 0 517867451 6305796096 1203225 33554432000 4194304 4623224 140736170940000 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.55
Current children cumulated vsize (KiB) 6158004

[startup+222.3 s]
/proc/loadavg: 8.11 7.94 7.83 9/184 12291
/proc/meminfo: memFree=17448000/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=6630392 CPUtime=887.21 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 4089050 0 0 0 88059 662 0 0 25 0 4 0 517867434 6789521408 1385532 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 1657598 1385532 344 105 0 1653102 0
[pid=12251/tid=12253] ppid=12249 vsize=6630392 CPUtime=221.64 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 93791 0 0 0 22143 21 0 0 25 0 4 0 517867451 6789521408 1385532 33554432000 4194304 4623224 140736170940000 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=6630392 CPUtime=222.07 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 166067 0 0 0 22163 44 0 0 25 0 4 0 517867451 6789521408 1385532 33554432000 4194304 4623224 140736170940000 18446744073709551615 4462986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=6630392 CPUtime=221.19 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 762048 0 0 0 21997 122 0 0 25 0 4 0 517867451 6789521408 1385532 33554432000 4194304 4623224 140736170940000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.21
Current children cumulated vsize (KiB) 6630392

[startup+282.3 s]
/proc/loadavg: 8.14 7.97 7.84 9/184 12293
/proc/meminfo: memFree=14893584/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=8986468 CPUtime=1126.7 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 5674805 0 0 0 111764 906 0 0 25 0 4 0 517867434 9202143232 1803332 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2246617 1803332 344 105 0 2242121 0
[pid=12251/tid=12253] ppid=12249 vsize=8986468 CPUtime=281.63 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 95502 0 0 0 28141 22 0 0 25 0 4 0 517867451 9202143232 1803332 33554432000 4194304 4623224 140736170940000 18446744073709551615 4486212 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=8986468 CPUtime=281.98 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 204050 0 0 0 28139 59 0 0 25 0 4 0 517867451 9202143232 1803332 33554432000 4194304 4623224 140736170940000 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=8986468 CPUtime=280.78 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1055782 0 0 0 27911 167 0 0 25 0 4 0 517867451 9202143232 1803332 33554432000 4194304 4623224 140736170940000 18446744073709551615 4577451 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1126.7
Current children cumulated vsize (KiB) 8986468

[startup+342.3 s]
/proc/loadavg: 8.22 8.02 7.86 9/184 12295
/proc/meminfo: memFree=12852280/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=9571716 CPUtime=1366.36 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 6082701 0 0 0 135645 991 0 0 25 0 4 0 517867434 9801437184 2018387 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2392929 2018387 344 105 0 2388433 0
[pid=12251/tid=12253] ppid=12249 vsize=9571716 CPUtime=341.63 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 97702 0 0 0 34141 22 0 0 25 0 4 0 517867451 9801437184 2018387 33554432000 4194304 4623224 140736170940000 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=9571716 CPUtime=341.97 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 229898 0 0 0 34126 71 0 0 25 0 4 0 517867451 9801437184 2018387 33554432000 4194304 4623224 140736170940000 18446744073709551615 4358048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=9571716 CPUtime=340.45 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1151106 0 0 0 33865 180 0 0 25 0 4 0 517867451 9801437184 2018387 33554432000 4194304 4623224 140736170940000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1366.36
Current children cumulated vsize (KiB) 9571716

[startup+402.301 s]
/proc/loadavg: 8.08 8.02 7.87 9/184 12296
/proc/meminfo: memFree=8758096/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=11095104 CPUtime=1605.7 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 8185300 0 0 0 159244 1326 0 0 25 0 4 0 517867434 11361386496 2576852 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2773776 2576852 344 105 0 2769280 0
[pid=12251/tid=12253] ppid=12249 vsize=11095104 CPUtime=401.62 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 105181 0 0 0 40139 23 0 0 25 0 4 0 517867451 11361386496 2576852 33554432000 4194304 4623224 140736170940000 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=11095104 CPUtime=401.8 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 282908 0 0 0 40092 88 0 0 25 0 4 0 517867451 11361386496 2576852 33554432000 4194304 4623224 140736170940000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=11095104 CPUtime=399.98 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1350273 0 0 0 39787 211 0 0 25 0 4 0 517867451 11361386496 2576852 33554432000 4194304 4623224 140736170940000 18446744073709551615 4468051 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1605.7
Current children cumulated vsize (KiB) 11095104

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

[startup+403.101 s]
/proc/loadavg: 8.08 8.02 7.87 9/184 12296
/proc/meminfo: memFree=6611160/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=11095104 CPUtime=1608.9 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 8186431 0 0 0 159563 1327 0 0 25 0 4 0 517867434 11361386496 2577779 33554432000 4194304 4623224 140736170940000 18446744073709551615 251813901345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2773776 2577779 344 105 0 2769280 0
[pid=12251/tid=12253] ppid=12249 vsize=11095104 CPUtime=402.42 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 105183 0 0 0 40219 23 0 0 25 0 4 0 517867451 11361386496 2577780 33554432000 4194304 4623224 140736170940000 18446744073709551615 4357376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=11095104 CPUtime=402.6 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 282908 0 0 0 40172 88 0 0 25 0 4 0 517867451 11361386496 2577780 33554432000 4194304 4623224 140736170940000 18446744073709551615 4465865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=11095104 CPUtime=400.77 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1350288 0 0 0 39866 211 0 0 25 0 4 0 517867451 11361386496 2577781 33554432000 4194304 4623224 140736170940000 18446744073709551615 4545328 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1608.9
Current children cumulated vsize (KiB) 11095104

[startup+409.501 s]
/proc/loadavg: 8.07 8.02 7.87 9/184 12296
/proc/meminfo: memFree=8881484/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=11201828 CPUtime=1634.45 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 8218078 0 0 0 162112 1333 0 0 25 0 4 0 517867434 11470671872 2604904 33554432000 4194304 4623224 140736170940000 18446744073709551615 4388119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2800457 2604905 528 105 0 2795961 0
[pid=12251/tid=12253] ppid=12249 vsize=11201828 CPUtime=408.82 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 105310 0 0 0 40859 23 0 0 25 0 4 0 517867451 11470671872 2604905 33554432000 4194304 4623224 140736170940000 18446744073709551615 4357576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=11201828 CPUtime=409 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 282913 0 0 0 40812 88 0 0 25 0 4 0 517867451 11470671872 2604905 33554432000 4194304 4623224 140736170940000 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=11201828 CPUtime=407.14 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1357605 0 0 0 40502 212 0 0 25 0 4 0 517867451 11470671872 2604905 33554432000 4194304 4623224 140736170940000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1634.45
Current children cumulated vsize (KiB) 11201828

[startup+411.101 s]
/proc/loadavg: 8.07 8.02 7.87 9/184 12296
/proc/meminfo: memFree=8827048/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=11267364 CPUtime=1640.85 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 8246547 0 0 0 162743 1342 0 0 25 0 4 0 517867434 11537780736 2627344 33554432000 4194304 4623224 140736170940000 18446744073709551615 251813901345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2816841 2627345 528 105 0 2812345 0
[pid=12251/tid=12253] ppid=12249 vsize=11267364 CPUtime=410.42 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 105321 0 0 0 41019 23 0 0 25 0 4 0 517867451 11537780736 2627345 33554432000 4194304 4623224 140736170940000 18446744073709551615 251813900827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=11267364 CPUtime=410.6 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 282913 0 0 0 40972 88 0 0 25 0 4 0 517867451 11537780736 2627345 33554432000 4194304 4623224 140736170940000 18446744073709551615 4317180 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=11267364 CPUtime=408.74 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1357690 0 0 0 40662 212 0 0 25 0 4 0 517867451 11537780736 2627346 33554432000 4194304 4623224 140736170940000 18446744073709551615 4560202 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1640.85
Current children cumulated vsize (KiB) 11267364

[startup+412.7 s]
/proc/loadavg: 8.07 8.02 7.87 9/184 12296
/proc/meminfo: memFree=8705652/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=11267364 CPUtime=1647.23 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 8254870 0 0 0 163380 1343 0 0 25 0 4 0 517867434 11537780736 2633998 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2816841 2633999 528 105 0 2812345 0
[pid=12251/tid=12253] ppid=12249 vsize=11267364 CPUtime=412.02 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 105327 0 0 0 41179 23 0 0 25 0 4 0 517867451 11537780736 2633999 33554432000 4194304 4623224 140736170940000 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=11267364 CPUtime=412.2 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 282976 0 0 0 41132 88 0 0 25 0 4 0 517867451 11537780736 2633999 33554432000 4194304 4623224 140736170940000 18446744073709551615 4463264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=11267364 CPUtime=410.32 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1357723 0 0 0 40820 212 0 0 25 0 4 0 517867451 11537780736 2633999 33554432000 4194304 4623224 140736170940000 18446744073709551615 4330895 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1647.23
Current children cumulated vsize (KiB) 11267364

[startup+413.1 s]
/proc/loadavg: 8.07 8.02 7.87 9/184 12296
/proc/meminfo: memFree=8705652/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=11269708 CPUtime=1648.84 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) R 12249 12251 11981 0 -1 4202496 8255959 0 0 0 163540 1344 0 0 25 0 4 0 517867434 11540180992 2635080 33554432000 4194304 4623224 140736170940000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 2817427 2635080 528 105 0 2812931 0
[pid=12251/tid=12253] ppid=12249 vsize=11269708 CPUtime=412.42 cores=0,2,4,6
/proc/12251/task/12253/stat : 12253 (SArTagnan) R 12249 12251 11981 0 -1 4202560 105328 0 0 0 41219 23 0 0 25 0 4 0 517867451 11540180992 2635080 33554432000 4194304 4623224 140736170940000 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12251/tid=12254] ppid=12249 vsize=11269708 CPUtime=412.6 cores=0,2,4,6
/proc/12251/task/12254/stat : 12254 (SArTagnan) R 12249 12251 11981 0 -1 4202560 282976 0 0 0 41172 88 0 0 25 0 4 0 517867451 11540180992 2635080 33554432000 4194304 4623224 140736170940000 18446744073709551615 4463039 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=11269708 CPUtime=410.72 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4202560 1358193 0 0 0 40860 212 0 0 25 0 4 0 517867451 11540180992 2635080 33554432000 4194304 4623224 140736170940000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1648.84
Current children cumulated vsize (KiB) 11269708

[startup+413.5 s]
/proc/loadavg: 8.07 8.02 7.87 6/182 12296
/proc/meminfo: memFree=15872124/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=0 CPUtime=1649.53 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) Z 12249 12251 11981 0 -1 4202524 8257038 0 0 0 163579 1374 0 0 25 0 2 0 517867434 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 0 0 0 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=0 CPUtime=411.12 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4203588 1358200 0 0 0 40870 242 0 0 25 0 2 0 517867451 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1649.53
Current children cumulated vsize (KiB) 0

[startup+413.606 s]
/proc/loadavg: 8.07 8.02 7.87 6/182 12296
/proc/meminfo: memFree=15872124/32950928 swapFree=67111524/67111528
[pid=12251] ppid=12249 vsize=0 CPUtime=1649.63 cores=0,2,4,6
/proc/12251/stat : 12251 (SArTagnan) Z 12249 12251 11981 0 -1 4202524 8257038 0 0 0 163579 1384 0 0 25 0 2 0 517867434 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12251/statm: 0 0 0 0 0 0 0
[pid=12251/tid=12255] ppid=12249 vsize=0 CPUtime=411.22 cores=0,2,4,6
/proc/12251/task/12255/stat : 12255 (SArTagnan) R 12249 12251 11981 0 -1 4203588 1358200 0 0 0 40870 252 0 0 25 0 2 0 517867451 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1649.63
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 413.635
CPU time (s): 1649.67
CPU user time (s): 1635.79
CPU system time (s): 13.8779
CPU usage (%): 398.823
Max. virtual memory (cumulated for all children) (KiB): 15576356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1635.79
system time used= 13.8779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8257038
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= 13978
involuntary context switches= 7499

runsolver used 0.684895 second user time and 1.57476 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 09:38:07
IDJOB=3285633
IDBENCH=82390
IDSOLVER=1656
FILE ID=node126/3285633-1304062687
RUNJOBID= node126-1304062030-11999
PBS_JOBID= 13170454
Free space on /tmp= 71576 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285633-1304062687/watcher-3285633-1304062687 -o /tmp/evaluation-result-3285633-1304062687/solver-3285633-1304062687 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3285633-1304062687.cnf -threads=4

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

MD5SUM BENCH= 732b9c9b0d44d6a9e75489b2f5004165
RANDOM SEED=1586747595

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.80
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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23796112 kB
Buffers:       1412612 kB
Cached:        4260592 kB
SwapCached:          4 kB
Active:        3208724 kB
Inactive:      5395900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23796112 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            8496 kB
Writeback:           0 kB
AnonPages:     2931320 kB
Mapped:          15472 kB
Slab:           480428 kB
PageTables:      10364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3452784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71580 MiB
End job on node126 at 2011-04-29 09:45:01