Trace number 3372506

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
Plingeling 587f (fixed)UNSAT 138.538 17.8434

General information on the benchmark

Nameapplication/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
MD5SUMac372f51471a04bbb3fb9a678284c6a4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.9334
Satisfiable
(Un)Satisfiability was proved
Number of variables29317
Number of clauses277090
Sum of the clauses size598882
Maximum clause length179
Minimum clause length1
Number of clauses of size 1144
Number of clauses of size 2264085
Number of clauses of size 38078
Number of clauses of size 41144
Number of clauses of size 5453
Number of clauses of size over 53186

Solver Data 

138.45/17.84	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372506-1305438710/watcher-3372506-1305438710 -o /tmp/evaluation-result-3372506-1305438710/solver-3372506-1305438710 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372506-1305438710.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.03 7.42 7.15 2/348 27730
/proc/meminfo: memFree=24127284/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=14804 CPUtime=0 cores=0-7
/proc/27730/stat : 27730 (plingeling) R 27728 27730 27519 0 -1 4202496 1760 1259 0 0 0 0 0 0 22 0 1 0 636286479 15159296 1691 33554432000 4194304 4417452 140736531926864 18446744073709551615 228095450880 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/27730/statm: 3701 1691 147 55 0 1587 0

[startup+0.0385921 s]
/proc/loadavg: 6.03 7.42 7.15 2/348 27730
/proc/meminfo: memFree=24127284/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=19492 CPUtime=0.03 cores=0-7
/proc/27730/stat : 27730 (plingeling) R 27728 27730 27519 0 -1 4202496 2965 1259 0 0 3 0 0 0 22 0 1 0 636286479 19959808 2896 33554432000 4194304 4417452 140736531926864 18446744073709551615 4232736 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/27730/statm: 4873 2896 148 55 0 2759 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19492

[startup+0.100583 s]
/proc/loadavg: 6.03 7.42 7.15 2/348 27730
/proc/meminfo: memFree=24127284/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=30084 CPUtime=0.08 cores=0-7
/proc/27730/stat : 27730 (plingeling) R 27728 27730 27519 0 -1 4202496 5624 1259 0 0 8 0 0 0 22 0 1 0 636286479 30806016 5545 33554432000 4194304 4417452 140736531926864 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/27730/statm: 7521 5545 149 55 0 5407 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30084

[startup+0.300544 s]
/proc/loadavg: 6.03 7.42 7.15 2/348 27730
/proc/meminfo: memFree=24127284/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=46636 CPUtime=0.29 cores=0-7
/proc/27730/stat : 27730 (plingeling) R 27728 27730 27519 0 -1 4202496 9762 1259 0 0 28 1 0 0 23 0 1 0 636286479 47755264 9683 33554432000 4194304 4417452 140736531926864 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/27730/statm: 11659 9683 149 55 0 9545 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46636

[startup+0.700437 s]
/proc/loadavg: 6.03 7.42 7.15 2/348 27730
/proc/meminfo: memFree=24127284/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=283888 CPUtime=2.04 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 21957 1259 0 0 202 2 0 0 25 0 9 0 636286479 290701312 16504 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 70972 16504 175 55 0 68858 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 283888

[startup+1.50129 s]
/proc/loadavg: 6.03 7.42 7.15 9/357 27745
/proc/meminfo: memFree=24057536/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=284020 CPUtime=8.43 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 27019 1259 0 0 840 3 0 0 25 0 9 0 636286479 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 71005 16528 175 55 0 68891 0
[pid=27730/tid=27738] ppid=27728 vsize=284020 CPUtime=1 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 746 1259 0 0 100 0 0 0 19 0 9 0 636286529 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4283557 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=284020 CPUtime=0.99 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 4344 1259 0 0 99 0 0 0 19 0 9 0 636286529 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4291039 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=284020 CPUtime=0.99 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 1023 1259 0 0 99 0 0 0 19 0 9 0 636286529 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=284020 CPUtime=1 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 653 1259 0 0 100 0 0 0 19 0 9 0 636286529 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4354510 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=284020 CPUtime=0.96 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 1902 1259 0 0 96 0 0 0 25 0 9 0 636286529 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4234299 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=284020 CPUtime=0.98 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 2023 1259 0 0 98 0 0 0 25 0 9 0 636286529 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4290996 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=284020 CPUtime=0.99 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 878 1259 0 0 99 0 0 0 25 0 9 0 636286530 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4288259 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=284020 CPUtime=0.98 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 1576 1259 0 0 98 0 0 0 19 0 9 0 636286530 290836480 16528 33554432000 4194304 4417452 140736531926864 18446744073709551615 4306366 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 284020

[startup+3.10099 s]
/proc/loadavg: 6.03 7.42 7.15 9/357 27745
/proc/meminfo: memFree=24036084/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=310420 CPUtime=21.21 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 54809 1259 0 0 2113 8 0 0 25 0 9 0 636286479 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 77605 24345 180 55 0 75491 0
[pid=27730/tid=27738] ppid=27728 vsize=310420 CPUtime=2.59 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 3948 1259 0 0 259 0 0 0 22 0 9 0 636286529 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4271586 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=310420 CPUtime=2.59 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 12364 1259 0 0 257 2 0 0 23 0 9 0 636286529 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=310420 CPUtime=2.59 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 2401 1259 0 0 259 0 0 0 22 0 9 0 636286529 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4249994 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=310420 CPUtime=2.6 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 768 1259 0 0 260 0 0 0 23 0 9 0 636286529 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=310420 CPUtime=2.55 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 6406 1259 0 0 255 0 0 0 25 0 9 0 636286529 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236461 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=310420 CPUtime=2.56 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 6719 1259 0 0 255 1 0 0 25 0 9 0 636286529 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4233306 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=310420 CPUtime=2.59 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 2920 1259 0 0 259 0 0 0 25 0 9 0 636286530 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4336665 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=310420 CPUtime=2.57 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 5409 1259 0 0 257 0 0 0 22 0 9 0 636286530 317870080 24345 33554432000 4194304 4417452 140736531926864 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (KiB) 310420

[startup+6.3004 s]
/proc/loadavg: 6.19 7.43 7.16 9/357 27745
/proc/meminfo: memFree=24009028/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=338740 CPUtime=46.77 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 62146 1259 0 0 4668 9 0 0 25 0 9 0 636286479 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 84685 31681 180 55 0 82571 0
[pid=27730/tid=27738] ppid=27728 vsize=338740 CPUtime=5.8 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 5305 1259 0 0 579 1 0 0 25 0 9 0 636286529 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4249935 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=338740 CPUtime=5.79 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 13014 1259 0 0 577 2 0 0 25 0 9 0 636286529 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4249489 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=338740 CPUtime=5.79 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 2401 1259 0 0 579 0 0 0 25 0 9 0 636286529 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4377263 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=338740 CPUtime=5.79 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 2358 1259 0 0 579 0 0 0 25 0 9 0 636286529 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=338740 CPUtime=5.76 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 7613 1259 0 0 575 1 0 0 25 0 9 0 636286529 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4239411 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=338740 CPUtime=5.73 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 8152 1259 0 0 572 1 0 0 25 0 9 0 636286529 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4249882 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=338740 CPUtime=5.79 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 2920 1259 0 0 579 0 0 0 25 0 9 0 636286530 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4336712 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=338740 CPUtime=5.77 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 6509 1259 0 0 577 0 0 0 25 0 9 0 636286530 346869760 31681 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236255 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.77
Current children cumulated vsize (KiB) 338740

[startup+12.7012 s]
/proc/loadavg: 6.33 7.44 7.16 9/357 27745
/proc/meminfo: memFree=23964560/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=370564 CPUtime=97.91 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 71095 1259 0 0 9780 11 0 0 25 0 9 0 636286479 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 92641 40629 180 55 0 90527 0
[pid=27730/tid=27738] ppid=27728 vsize=370564 CPUtime=12.2 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 6090 1259 0 0 1219 1 0 0 25 0 9 0 636286529 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=370564 CPUtime=12.19 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 14312 1259 0 0 1217 2 0 0 25 0 9 0 636286529 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4235411 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=370564 CPUtime=12.19 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 2800 1259 0 0 1219 0 0 0 25 0 9 0 636286529 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4378066 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=370564 CPUtime=12.19 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 2358 1259 0 0 1219 0 0 0 25 0 9 0 636286529 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=370564 CPUtime=12.16 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 8398 1259 0 0 1215 1 0 0 25 0 9 0 636286529 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4248198 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=370564 CPUtime=12.06 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 10747 1259 0 0 1205 1 0 0 25 0 9 0 636286529 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4248236 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=370564 CPUtime=12.19 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 4198 1259 0 0 1219 0 0 0 25 0 9 0 636286530 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4377146 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=370564 CPUtime=12.18 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 8318 1259 0 0 1217 1 0 0 25 0 9 0 636286530 379457536 40629 33554432000 4194304 4417452 140736531926864 18446744073709551615 4336688 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.91
Current children cumulated vsize (KiB) 370564

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

[startup+15.9006 s]
/proc/loadavg: 6.47 7.45 7.16 9/357 27745
/proc/meminfo: memFree=23921408/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=414492 CPUtime=123.46 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 82077 1259 0 0 12334 12 0 0 25 0 9 0 636286479 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 103623 51611 180 55 0 101509 0
[pid=27730/tid=27738] ppid=27728 vsize=414492 CPUtime=15.39 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 7660 1259 0 0 1538 1 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4248893 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=414492 CPUtime=15.39 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 15883 1259 0 0 1536 3 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236280 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=414492 CPUtime=15.39 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 3599 1259 0 0 1539 0 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=414492 CPUtime=15.39 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 3092 1259 0 0 1539 0 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=414492 CPUtime=15.36 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 9968 1259 0 0 1535 1 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=414492 CPUtime=15.22 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 12317 1259 0 0 1521 1 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4258258 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=414492 CPUtime=15.39 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 5796 1259 0 0 1539 0 0 0 25 0 9 0 636286530 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4376559 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=414492 CPUtime=15.38 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 9888 1259 0 0 1537 1 0 0 25 0 9 0 636286530 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4336665 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 123.46
Current children cumulated vsize (KiB) 414492

[startup+16.7005 s]
/proc/loadavg: 6.47 7.45 7.16 9/357 27745
/proc/meminfo: memFree=23921656/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=414492 CPUtime=129.85 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 82077 1259 0 0 12973 12 0 0 25 0 9 0 636286479 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 103623 51611 180 55 0 101509 0
[pid=27730/tid=27738] ppid=27728 vsize=414492 CPUtime=16.19 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 7660 1259 0 0 1618 1 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4258469 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=414492 CPUtime=16.19 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 15883 1259 0 0 1616 3 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4235985 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=414492 CPUtime=16.19 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 3599 1259 0 0 1619 0 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4377786 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=414492 CPUtime=16.19 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 3092 1259 0 0 1619 0 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=414492 CPUtime=16.16 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 9968 1259 0 0 1615 1 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4235398 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=414492 CPUtime=16.01 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 12317 1259 0 0 1600 1 0 0 25 0 9 0 636286529 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236267 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=414492 CPUtime=16.19 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 5796 1259 0 0 1619 0 0 0 25 0 9 0 636286530 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4378066 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=414492 CPUtime=16.18 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 9888 1259 0 0 1617 1 0 0 25 0 9 0 636286530 424439808 51611 33554432000 4194304 4417452 140736531926864 18446744073709551615 4336665 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 129.85
Current children cumulated vsize (KiB) 414492

[startup+17.5003 s]
/proc/loadavg: 6.47 7.45 7.16 9/357 27745
/proc/meminfo: memFree=23904296/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=429764 CPUtime=136.34 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 89729 1259 0 0 13621 13 0 0 25 0 9 0 636286479 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 107441 55941 180 55 0 105327 0
[pid=27730/tid=27738] ppid=27728 vsize=429764 CPUtime=17 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 9709 1259 0 0 1699 1 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4258550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=429764 CPUtime=17.01 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 15883 1259 0 0 1698 3 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236296 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=429764 CPUtime=17 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 4591 1259 0 0 1700 0 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4377322 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=429764 CPUtime=17 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 3092 1259 0 0 1700 0 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=429764 CPUtime=16.97 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 12017 1259 0 0 1696 1 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236294 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=429764 CPUtime=16.8 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 12317 1259 0 0 1679 1 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4248936 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=429764 CPUtime=17 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 6309 1259 0 0 1700 0 0 0 25 0 9 0 636286530 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4249489 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=429764 CPUtime=16.99 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 11937 1259 0 0 1698 1 0 0 25 0 9 0 636286530 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4336272 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 136.34
Current children cumulated vsize (KiB) 429764

[startup+17.7003 s]
/proc/loadavg: 6.47 7.45 7.16 9/357 27745
/proc/meminfo: memFree=23904296/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=429764 CPUtime=137.84 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 89729 1259 0 0 13771 13 0 0 25 0 9 0 636286479 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 107441 55941 180 55 0 105327 0
[pid=27730/tid=27738] ppid=27728 vsize=429764 CPUtime=17.19 cores=0-7
/proc/27730/task/27738/stat : 27738 (plingeling) R 27728 27730 27519 0 -1 4202560 9709 1259 0 0 1718 1 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236296 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27730/tid=27739] ppid=27728 vsize=429764 CPUtime=17.19 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 15883 1259 0 0 1716 3 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4236409 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=429764 CPUtime=17.19 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 4591 1259 0 0 1719 0 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4377254 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27741] ppid=27728 vsize=429764 CPUtime=17.19 cores=0-7
/proc/27730/task/27741/stat : 27741 (plingeling) R 27728 27730 27519 0 -1 4202560 3092 1259 0 0 1719 0 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4364380 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27730/tid=27742] ppid=27728 vsize=429764 CPUtime=17.16 cores=0-7
/proc/27730/task/27742/stat : 27742 (plingeling) R 27728 27730 27519 0 -1 4202560 12017 1259 0 0 1715 1 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4250022 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=429764 CPUtime=16.99 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 12317 1259 0 0 1698 1 0 0 25 0 9 0 636286529 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4258379 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27730/tid=27744] ppid=27728 vsize=429764 CPUtime=17.19 cores=0-7
/proc/27730/task/27744/stat : 27744 (plingeling) R 27728 27730 27519 0 -1 4202560 6309 1259 0 0 1719 0 0 0 25 0 9 0 636286530 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4376709 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27730/tid=27745] ppid=27728 vsize=429764 CPUtime=17.17 cores=0-7
/proc/27730/task/27745/stat : 27745 (plingeling) R 27728 27730 27519 0 -1 4202560 11937 1259 0 0 1716 1 0 0 25 0 9 0 636286530 440078336 55941 33554432000 4194304 4417452 140736531926864 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 137.84
Current children cumulated vsize (KiB) 429764

[startup+17.8003 s]
/proc/loadavg: 6.47 7.45 7.16 9/357 27745
/proc/meminfo: memFree=23904296/32951124 swapFree=65980216/67111528
[pid=27730] ppid=27728 vsize=429724 CPUtime=138.45 cores=0-7
/proc/27730/stat : 27730 (plingeling) S 27728 27730 27519 0 -1 4202496 89730 1259 0 0 13832 13 0 0 18 0 4 0 636286479 440037376 55932 33554432000 4194304 4417452 140736531926864 18446744073709551615 228107253733 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/27730/statm: 107431 55932 181 55 0 105317 0
[pid=27730/tid=27739] ppid=27728 vsize=429724 CPUtime=17.29 cores=0-7
/proc/27730/task/27739/stat : 27739 (plingeling) R 27728 27730 27519 0 -1 4202560 15883 1259 0 0 1726 3 0 0 25 0 4 0 636286529 440037376 55932 33554432000 4194304 4417452 140736531926864 18446744073709551615 4302847 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27730/tid=27740] ppid=27728 vsize=429724 CPUtime=17.29 cores=0-7
/proc/27730/task/27740/stat : 27740 (plingeling) R 27728 27730 27519 0 -1 4202560 4591 1259 0 0 1729 0 0 0 25 0 4 0 636286529 440037376 55932 33554432000 4194304 4417452 140736531926864 18446744073709551615 4235985 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27730/tid=27743] ppid=27728 vsize=429724 CPUtime=17.09 cores=0-7
/proc/27730/task/27743/stat : 27743 (plingeling) R 27728 27730 27519 0 -1 4202560 12317 1259 0 0 1708 1 0 0 25 0 4 0 636286529 440037376 55932 33554432000 4194304 4417452 140736531926864 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 138.45
Current children cumulated vsize (KiB) 429724

Child status: 20
Real time (s): 17.8434
CPU time (s): 138.538
CPU user time (s): 138.385
CPU system time (s): 0.152976
CPU usage (%): 776.41
Max. virtual memory (cumulated for all children) (KiB): 430884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.385
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90992
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= 222
involuntary context switches= 664

runsolver used 0.072988 second user time and 0.134979 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-15 07:51:50
IDJOB=3372506
IDBENCH=82424
IDSOLVER=1851
FILE ID=node142/3372506-1305438710
RUNJOBID= node142-1305436881-27534
PBS_JOBID= 13324759
Free space on /tmp= 73548 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372506-1305438710/watcher-3372506-1305438710 -o /tmp/evaluation-result-3372506-1305438710/solver-3372506-1305438710 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3372506-1305438710.cnf

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

MD5SUM BENCH= ac372f51471a04bbb3fb9a678284c6a4
RANDOM SEED=1566055832

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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:      24127564 kB
Buffers:        326568 kB
Cached:        3954600 kB
SwapCached:      11520 kB
Active:        6102684 kB
Inactive:      2390176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24127564 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:            4312 kB
Writeback:           0 kB
AnonPages:     4209028 kB
Mapped:          19744 kB
Slab:           231984 kB
PageTables:      31488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77014824 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= 73548 MiB
End job on node142 at 2011-05-15 07:52:08