Trace number 3386430

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) 1665.14 418.964

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
MD5SUM28233bedeee44da6e79e63b9febc4d1e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2999.44
Satisfiable
(Un)Satisfiability was proved
Number of variables133566
Number of clauses667976
Sum of the clauses size1591941
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2659295
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

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-3386430-1305579641/watcher-3386430-1305579641 -o /tmp/evaluation-result-3386430-1305579641/solver-3386430-1305579641 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386430-1305579641.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: 8.14 8.08 8.05 5/491 1917
/proc/meminfo: memFree=15287192/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=20584 CPUtime=0 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 749 0 0 0 0 0 0 0 22 0 1 0 669561811 21078016 687 33554432000 4194304 4625164 140734736773264 18446744073709551615 4315093 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1917/statm: 5146 689 291 106 0 649 0

[startup+0.116438 s]
/proc/loadavg: 8.14 8.08 8.05 5/491 1917
/proc/meminfo: memFree=15287192/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=50020 CPUtime=0.11 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 5458 0 0 0 10 1 0 0 22 0 1 0 669561811 51220480 3866 33554432000 4194304 4625164 140734736773264 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1917/statm: 12505 3866 299 106 0 8008 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 50020

[startup+0.200424 s]
/proc/loadavg: 8.14 8.08 8.05 5/491 1917
/proc/meminfo: memFree=15287192/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=57112 CPUtime=0.19 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 8890 0 0 0 18 1 0 0 22 0 1 0 669561811 58482688 5271 33554432000 4194304 4625164 140734736773264 18446744073709551615 218905730816 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1917/statm: 14278 5271 299 106 0 9781 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 57112

[startup+0.300368 s]
/proc/loadavg: 8.14 8.08 8.05 5/491 1917
/proc/meminfo: memFree=15287192/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=268720 CPUtime=0.47 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 21900 0 0 0 44 3 0 0 24 0 4 0 669561811 275169280 18248 33554432000 4194304 4625164 140734736773264 18446744073709551615 4338092 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 67180 18248 334 106 0 62683 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 268720

[startup+0.700294 s]
/proc/loadavg: 8.14 8.08 8.05 5/491 1917
/proc/meminfo: memFree=15287192/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=269576 CPUtime=2.06 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 23348 0 0 0 203 3 0 0 25 0 4 0 669561811 276045824 19282 33554432000 4194304 4625164 140734736773264 18446744073709551615 4390618 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 67394 19282 336 106 0 62897 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 269576

[startup+1.50115 s]
/proc/loadavg: 8.14 8.08 8.05 9/495 1921
/proc/meminfo: memFree=15204212/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=279000 CPUtime=5.25 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 26760 0 0 0 521 4 0 0 25 0 4 0 669561811 285696000 22517 33554432000 4194304 4625164 140734736773264 18446744073709551615 4390631 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 69750 22517 349 106 0 65253 0
[pid=1917/tid=1919] ppid=1915 vsize=279000 CPUtime=1.25 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 880 0 0 0 125 0 0 0 25 0 4 0 669561834 285696000 22518 33554432000 4194304 4625164 140734736773264 18446744073709551615 218905392161 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=279000 CPUtime=1.25 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 1397 0 0 0 125 0 0 0 25 0 4 0 669561834 285696000 22518 33554432000 4194304 4625164 140734736773264 18446744073709551615 4467199 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=279000 CPUtime=1.24 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 1335 0 0 0 124 0 0 0 25 0 4 0 669561834 285696000 22518 33554432000 4194304 4625164 140734736773264 18446744073709551615 4562248 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 279000

[startup+3.10086 s]
/proc/loadavg: 8.14 8.08 8.05 9/495 1921
/proc/meminfo: memFree=15178792/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=282728 CPUtime=11.63 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 32846 0 0 0 1158 5 0 0 25 0 4 0 669561811 289513472 27040 33554432000 4194304 4625164 140734736773264 18446744073709551615 4361058 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 70682 27040 351 106 0 66185 0
[pid=1917/tid=1919] ppid=1915 vsize=282728 CPUtime=2.85 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 1836 0 0 0 285 0 0 0 25 0 4 0 669561834 289513472 27040 33554432000 4194304 4625164 140734736773264 18446744073709551615 4465280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=282728 CPUtime=2.85 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 2476 0 0 0 285 0 0 0 25 0 4 0 669561834 289513472 27040 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464408 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=282728 CPUtime=2.82 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 1911 0 0 0 282 0 0 0 25 0 4 0 669561834 289513472 27040 33554432000 4194304 4625164 140734736773264 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.63
Current children cumulated vsize (KiB) 282728

[startup+6.30028 s]
/proc/loadavg: 8.13 8.08 8.05 9/495 1921
/proc/meminfo: memFree=15119276/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=324820 CPUtime=24.37 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 56714 0 0 0 2429 8 0 0 25 0 4 0 669561811 332615680 40329 33554432000 4194304 4625164 140734736773264 18446744073709551615 4512032 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 81205 40329 432 106 0 76708 0
[pid=1917/tid=1919] ppid=1915 vsize=324820 CPUtime=6.04 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 3824 0 0 0 604 0 0 0 25 0 4 0 669561834 332615680 40329 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464658 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=324820 CPUtime=6.05 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 3279 0 0 0 605 0 0 0 25 0 4 0 669561834 332615680 40329 33554432000 4194304 4625164 140734736773264 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=324820 CPUtime=5.96 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 4178 0 0 0 596 0 0 0 25 0 4 0 669561834 332615680 40329 33554432000 4194304 4625164 140734736773264 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (KiB) 324820

[startup+12.7011 s]
/proc/loadavg: 8.20 8.09 8.06 9/495 1921
/proc/meminfo: memFree=15051096/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=339680 CPUtime=49.87 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 83165 0 0 0 4974 13 0 0 25 0 4 0 669561811 347832320 56316 33554432000 4194304 4625164 140734736773264 18446744073709551615 218905392161 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 84920 56318 354 106 0 80423 0
[pid=1917/tid=1919] ppid=1915 vsize=339680 CPUtime=12.45 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 9480 0 0 0 1243 2 0 0 25 0 4 0 669561834 347832320 56318 33554432000 4194304 4625164 140734736773264 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=339680 CPUtime=12.45 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 7039 0 0 0 1244 1 0 0 25 0 4 0 669561834 347832320 56318 33554432000 4194304 4625164 140734736773264 18446744073709551615 4317237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=339680 CPUtime=12.25 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 9104 0 0 0 1224 1 0 0 25 0 4 0 669561834 347832320 56318 33554432000 4194304 4625164 140734736773264 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (KiB) 339680

[startup+25.5008 s]
/proc/loadavg: 8.23 8.10 8.06 9/495 1931
/proc/meminfo: memFree=13955780/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=2553008 CPUtime=100.81 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 801577 0 0 0 9967 114 0 0 25 0 4 0 669561811 2614280192 417719 33554432000 4194304 4625164 140734736773264 18446744073709551615 218905428437 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 638252 417737 350 106 0 633755 0
[pid=1917/tid=1919] ppid=1915 vsize=2553008 CPUtime=25.24 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 36101 0 0 0 2517 7 0 0 25 0 4 0 669561834 2614280192 417748 33554432000 4194304 4625164 140734736773264 18446744073709551615 4467219 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=2553008 CPUtime=25.25 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 23488 0 0 0 2521 4 0 0 25 0 4 0 669561834 2614280192 417759 33554432000 4194304 4625164 140734736773264 18446744073709551615 4467238 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=2553008 CPUtime=24.82 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 26372 0 0 0 2479 3 0 0 25 0 4 0 669561834 2614280192 417772 33554432000 4194304 4625164 140734736773264 18446744073709551615 4334277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (KiB) 2553008

[startup+51.1012 s]
/proc/loadavg: 8.22 8.11 8.06 9/495 1931
/proc/meminfo: memFree=12355704/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=3331324 CPUtime=202.67 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 1634515 0 0 0 20025 242 0 0 25 0 4 0 669561811 3411275776 714356 33554432000 4194304 4625164 140734736773264 18446744073709551615 4519645 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 832831 714356 350 106 0 828334 0
[pid=1917/tid=1919] ppid=1915 vsize=3331324 CPUtime=50.77 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 56888 0 0 0 5065 12 0 0 25 0 4 0 669561834 3411275776 714356 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=3331324 CPUtime=50.79 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 56076 0 0 0 5065 14 0 0 25 0 4 0 669561834 3411275776 714356 33554432000 4194304 4625164 140734736773264 18446744073709551615 4467253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=3331324 CPUtime=50.01 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 58578 0 0 0 4993 8 0 0 25 0 4 0 669561834 3411275776 714356 33554432000 4194304 4625164 140734736773264 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.67
Current children cumulated vsize (KiB) 3331324

[startup+102.301 s]
/proc/loadavg: 8.14 8.11 8.07 9/495 1933
/proc/meminfo: memFree=11525808/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=4521064 CPUtime=406.59 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 2343073 0 0 0 40302 357 0 0 25 0 4 0 669561811 4629569536 912567 33554432000 4194304 4625164 140734736773264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1917/statm: 1130266 912567 549 106 0 1125769 0
[pid=1917/tid=1919] ppid=1915 vsize=4521064 CPUtime=101.94 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 88336 0 0 0 10174 20 0 0 25 0 4 0 669561834 4629569536 912302 33554432000 4194304 4625164 140734736773264 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=4521064 CPUtime=101.97 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 115413 0 0 0 10165 32 0 0 25 0 4 0 669561834 4629569536 912302 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464670 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=4521064 CPUtime=100.94 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 179951 0 0 0 10068 26 0 0 25 0 4 0 669561834 4629569536 912302 33554432000 4194304 4625164 140734736773264 18446744073709551615 4562252 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 406.59
Current children cumulated vsize (KiB) 4521064

[startup+162.301 s]
/proc/loadavg: 8.10 8.10 8.06 9/495 1934
/proc/meminfo: memFree=10671172/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=4988436 CPUtime=645.58 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 2768860 0 0 0 64120 438 0 0 25 0 4 0 669561811 5108158464 1109525 33554432000 4194304 4625164 140734736773264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1917/statm: 1247109 1109525 347 106 0 1242612 0
[pid=1917/tid=1919] ppid=1915 vsize=4988436 CPUtime=161.92 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 90101 0 0 0 16172 20 0 0 25 0 4 0 669561834 5108158464 1109525 33554432000 4194304 4625164 140734736773264 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=4988436 CPUtime=161.94 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 153890 0 0 0 16152 42 0 0 25 0 4 0 669561834 5108158464 1109525 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=4988436 CPUtime=160.92 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 324794 0 0 0 16044 48 0 0 25 0 4 0 669561834 5108158464 1109525 33554432000 4194304 4625164 140734736773264 18446744073709551615 4562237 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 645.58
Current children cumulated vsize (KiB) 4988436

[startup+222.319 s]
/proc/loadavg: 8.08 8.09 8.06 9/495 1938
/proc/meminfo: memFree=8671756/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=6949000 CPUtime=884.49 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 4051896 0 0 0 87783 666 0 0 25 0 4 0 669561811 7115776000 1573053 33554432000 4194304 4625164 140734736773264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1917/statm: 1737250 1573053 348 106 0 1732753 0
[pid=1917/tid=1919] ppid=1915 vsize=6949000 CPUtime=221.95 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 91987 0 0 0 22174 21 0 0 25 0 4 0 669561834 7115776000 1573053 33554432000 4194304 4625164 140734736773264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=6949000 CPUtime=221.86 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 210372 0 0 0 22130 56 0 0 25 0 4 0 669561834 7115776000 1573053 33554432000 4194304 4625164 140734736773264 18446744073709551615 4467243 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=6949000 CPUtime=220.86 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 492471 0 0 0 22013 73 0 0 25 0 4 0 669561834 7115776000 1573053 33554432000 4194304 4625164 140734736773264 18446744073709551615 4562661 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 884.49
Current children cumulated vsize (KiB) 6949000

[startup+282.3 s]
/proc/loadavg: 8.26 8.16 8.09 9/495 1940
/proc/meminfo: memFree=7134164/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=9392812 CPUtime=1122.53 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 5485431 0 0 0 111342 911 0 0 25 0 4 0 669561811 9618239488 1950701 33554432000 4194304 4625164 140734736773264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2348203 1950701 347 106 0 2343706 0
[pid=1917/tid=1919] ppid=1915 vsize=9392812 CPUtime=281.27 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 106631 0 0 0 28105 22 0 0 25 0 4 0 669561834 9618239488 1950702 33554432000 4194304 4625164 140734736773264 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=9392812 CPUtime=281.76 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 248132 0 0 0 28111 65 0 0 25 0 4 0 669561834 9618239488 1950703 33554432000 4194304 4625164 140734736773264 18446744073709551615 218905392161 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=9392812 CPUtime=280.1 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 602916 0 0 0 27919 91 0 0 25 0 4 0 669561834 9618239488 1950703 33554432000 4194304 4625164 140734736773264 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1122.53
Current children cumulated vsize (KiB) 9392812

[startup+342.3 s]
/proc/loadavg: 8.13 8.14 8.09 9/495 1942
/proc/meminfo: memFree=5936804/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=10070196 CPUtime=1361.53 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 5916090 0 0 0 135139 1014 0 0 25 0 4 0 669561811 10311880704 2242674 33554432000 4194304 4625164 140734736773264 18446744073709551615 4360200 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2517549 2242675 347 106 0 2513052 0
[pid=1917/tid=1919] ppid=1915 vsize=10070196 CPUtime=340.28 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 107864 0 0 0 34005 23 0 0 25 0 4 0 669561834 10311880704 2242676 33554432000 4194304 4625164 140734736773264 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=10070196 CPUtime=341.75 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 320822 0 0 0 34087 88 0 0 25 0 4 0 669561834 10311880704 2242676 33554432000 4194304 4625164 140734736773264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=10070196 CPUtime=340.1 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 653291 0 0 0 33909 101 0 0 25 0 4 0 669561834 10311880704 2242677 33554432000 4194304 4625164 140734736773264 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 10070196

[startup+402.301 s]
/proc/loadavg: 8.13 8.14 8.09 9/495 1944
/proc/meminfo: memFree=4234976/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=11224632 CPUtime=1600.06 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 7716816 0 0 0 158670 1336 0 0 25 0 4 0 669561811 11494023168 2649615 33554432000 4194304 4625164 140734736773264 18446744073709551615 4511970 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2806158 2649615 347 106 0 2801661 0
[pid=1917/tid=1919] ppid=1915 vsize=11224632 CPUtime=399.17 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 108965 0 0 0 39894 23 0 0 25 0 4 0 669561834 11494023168 2649615 33554432000 4194304 4625164 140734736773264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=11224632 CPUtime=401.56 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 365378 0 0 0 40050 106 0 0 25 0 4 0 669561834 11494023168 2649615 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464638 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=11224632 CPUtime=399.95 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 772134 0 0 0 39872 123 0 0 25 0 4 0 669561834 11494023168 2649615 33554432000 4194304 4625164 140734736773264 18446744073709551615 4562743 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1600.06
Current children cumulated vsize (KiB) 11224632

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

[startup+409.6 s]
/proc/loadavg: 8.18 8.15 8.09 9/495 1944
/proc/meminfo: memFree=4155884/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=11355704 CPUtime=1629.13 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 7761089 0 0 0 161570 1343 0 0 25 0 4 0 669561811 11628240896 2665368 33554432000 4194304 4625164 140734736773264 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2838926 2665369 347 106 0 2834429 0
[pid=1917/tid=1919] ppid=1915 vsize=11355704 CPUtime=406.34 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 109043 0 0 0 40611 23 0 0 25 0 4 0 669561834 11628240896 2665369 33554432000 4194304 4625164 140734736773264 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=11355704 CPUtime=408.86 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 369474 0 0 0 40779 107 0 0 25 0 4 0 669561834 11628240896 2665369 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464328 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=11355704 CPUtime=407.24 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 796427 0 0 0 40598 126 0 0 25 0 4 0 669561834 11628240896 2665370 33554432000 4194304 4625164 140734736773264 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1629.13
Current children cumulated vsize (KiB) 11355704

[startup+412.801 s]
/proc/loadavg: 8.18 8.15 8.09 9/495 1944
/proc/meminfo: memFree=4114616/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=11355704 CPUtime=1641.87 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 7786779 0 0 0 162839 1348 0 0 25 0 4 0 669561811 11628240896 2679064 33554432000 4194304 4625164 140734736773264 18446744073709551615 4360205 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2838926 2679064 347 106 0 2834429 0
[pid=1917/tid=1919] ppid=1915 vsize=11355704 CPUtime=409.49 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 109133 0 0 0 40926 23 0 0 25 0 4 0 669561834 11628240896 2679064 33554432000 4194304 4625164 140734736773264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=11355704 CPUtime=412.06 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 370773 0 0 0 41099 107 0 0 25 0 4 0 669561834 11628240896 2679064 33554432000 4194304 4625164 140734736773264 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=11355704 CPUtime=410.44 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 806563 0 0 0 40916 128 0 0 25 0 4 0 669561834 11628240896 2679064 33554432000 4194304 4625164 140734736773264 18446744073709551615 4562432 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1641.87
Current children cumulated vsize (KiB) 11355704

[startup+416.001 s]
/proc/loadavg: 8.17 8.15 8.09 9/495 1944
/proc/meminfo: memFree=4019912/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=11421240 CPUtime=1654.62 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 7813802 0 0 0 164108 1354 0 0 25 0 4 0 669561811 11695349760 2696234 33554432000 4194304 4625164 140734736773264 18446744073709551615 4360345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2855310 2696234 347 106 0 2850813 0
[pid=1917/tid=1919] ppid=1915 vsize=11421240 CPUtime=412.64 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 109183 0 0 0 41241 23 0 0 25 0 4 0 669561834 11695349760 2696235 33554432000 4194304 4625164 140734736773264 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=11421240 CPUtime=415.26 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 370782 0 0 0 41419 107 0 0 25 0 4 0 669561834 11695349760 2696235 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464328 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=11421240 CPUtime=413.64 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 811402 0 0 0 41235 129 0 0 25 0 4 0 669561834 11695349760 2696235 33554432000 4194304 4625164 140734736773264 18446744073709551615 4547847 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1654.62
Current children cumulated vsize (KiB) 11421240

[startup+417.601 s]
/proc/loadavg: 8.17 8.15 8.09 9/495 1944
/proc/meminfo: memFree=3999780/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=11421240 CPUtime=1661.01 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 7827684 0 0 0 164743 1358 0 0 25 0 4 0 669561811 11695349760 2704326 33554432000 4194304 4625164 140734736773264 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2855310 2704326 347 106 0 2850813 0
[pid=1917/tid=1919] ppid=1915 vsize=11421240 CPUtime=414.22 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 109218 0 0 0 41399 23 0 0 25 0 4 0 669561834 11695349760 2704326 33554432000 4194304 4625164 140734736773264 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=11421240 CPUtime=416.86 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 370792 0 0 0 41579 107 0 0 25 0 4 0 669561834 11695349760 2704326 33554432000 4194304 4625164 140734736773264 18446744073709551615 4467213 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=11421240 CPUtime=415.24 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 815382 0 0 0 41394 130 0 0 25 0 4 0 669561834 11695349760 2704326 33554432000 4194304 4625164 140734736773264 18446744073709551615 4562539 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1661.01
Current children cumulated vsize (KiB) 11421240

[startup+418.401 s]
/proc/loadavg: 8.17 8.15 8.09 9/495 1944
/proc/meminfo: memFree=3990108/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=11421240 CPUtime=1664.19 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) R 1915 1917 1492 0 -1 4202496 7835029 0 0 0 165060 1359 0 0 25 0 4 0 669561811 11695349760 2708514 33554432000 4194304 4625164 140734736773264 18446744073709551615 4360561 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 2855310 2708522 347 106 0 2850813 0
[pid=1917/tid=1919] ppid=1915 vsize=11421240 CPUtime=415 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4202560 109219 0 0 0 41477 23 0 0 25 0 4 0 669561834 11695349760 2708523 33554432000 4194304 4625164 140734736773264 18446744073709551615 4469338 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1917/tid=1920] ppid=1915 vsize=11421240 CPUtime=417.66 cores=0,2,4,6
/proc/1917/task/1920/stat : 1920 (SArTagnan) R 1915 1917 1492 0 -1 4202560 370792 0 0 0 41659 107 0 0 25 0 4 0 669561834 11695349760 2708526 33554432000 4194304 4625164 140734736773264 18446744073709551615 4464351 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1917/tid=1921] ppid=1915 vsize=11421240 CPUtime=416.05 cores=0,2,4,6
/proc/1917/task/1921/stat : 1921 (SArTagnan) R 1915 1917 1492 0 -1 4202560 816576 0 0 0 41474 131 0 0 25 0 4 0 669561834 11695349760 2708531 33554432000 4194304 4625164 140734736773264 18446744073709551615 4469395 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1664.19
Current children cumulated vsize (KiB) 11421240

[startup+418.801 s]
/proc/loadavg: 8.17 8.15 8.09 9/495 1944
/proc/meminfo: memFree=3990108/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=0 CPUtime=1664.97 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) Z 1915 1917 1492 0 -1 4202524 7843812 0 0 0 165109 1388 0 0 25 0 2 0 669561811 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 0 0 0 0 0 0 0
[pid=1917/tid=1919] ppid=1915 vsize=0 CPUtime=415.41 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4203588 109274 0 0 0 41490 51 0 0 25 0 2 0 669561834 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.97
Current children cumulated vsize (KiB) 0

[startup+418.901 s]
/proc/loadavg: 8.17 8.15 8.09 9/495 1944
/proc/meminfo: memFree=3990108/32951124 swapFree=62248504/67111528
[pid=1917] ppid=1915 vsize=0 CPUtime=1665.07 cores=0,2,4,6
/proc/1917/stat : 1917 (SArTagnan) Z 1915 1917 1492 0 -1 4202524 7843812 0 0 0 165109 1398 0 0 25 0 2 0 669561811 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1917/statm: 0 0 0 0 0 0 0
[pid=1917/tid=1919] ppid=1915 vsize=0 CPUtime=415.51 cores=0,2,4,6
/proc/1917/task/1919/stat : 1919 (SArTagnan) R 1915 1917 1492 0 -1 4203588 109274 0 0 0 41490 61 0 0 25 0 2 0 669561834 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.07
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 418.964
CPU time (s): 1665.14
CPU user time (s): 1651.09
CPU system time (s): 14.0479
CPU usage (%): 397.442
Max. virtual memory (cumulated for all children) (KiB): 15802084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1651.09
system time used= 14.0479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7843812
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= 13682
involuntary context switches= 7246

runsolver used 1.9867 second user time and 4.79727 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-16 23:00:41
IDJOB=3386430
IDBENCH=82392
IDSOLVER=1871
FILE ID=node137/3386430-1305579641
RUNJOBID= node137-1305576659-1510
PBS_JOBID= 13350207
Free space on /tmp= 73652 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386430-1305579641/watcher-3386430-1305579641 -o /tmp/evaluation-result-3386430-1305579641/solver-3386430-1305579641 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386430-1305579641.cnf -threads=4

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

MD5SUM BENCH= 28233bedeee44da6e79e63b9febc4d1e
RANDOM SEED=1049584958

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.844
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.83
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.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15287604 kB
Buffers:        330184 kB
Cached:        4379228 kB
SwapCached:      25020 kB
Active:        7682872 kB
Inactive:      9704168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15287604 kB
SwapTotal:    67111528 kB
SwapFree:     62248504 kB
Dirty:           12432 kB
Writeback:           0 kB
AnonPages:    12662120 kB
Mapped:          31740 kB
Slab:           137956 kB
PageTables:      69696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 147802984 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= 73652 MiB
End job on node137 at 2011-05-16 23:07:40