Trace number 3280740

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
priss AutoUNSAT 188.178 48.3847

General information on the benchmark

Nameindustrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
MD5SUM3b8c6114a974b09e9b1601ba0718cbf3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.5654
Satisfiable
(Un)Satisfiability was proved
Number of variables135534
Number of clauses905980
Sum of the clauses size2447966
Maximum clause length417
Minimum clause length1
Number of clauses of size 1125
Number of clauses of size 2771665
Number of clauses of size 3128198
Number of clauses of size 41424
Number of clauses of size 579
Number of clauses of size over 54489

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 14591
0.00/0.00	c setup for 4cores
0.00/0.36	c parsetime: 364428us
0.00/0.36	c parsed 905980 clauses with 136756 variables
0.00/0.43	c NW started thread 0 successfully (1109973312)
0.00/0.49	c NW started thread 1 successfully (1120463168)
0.00/0.56	c NW started thread 2 successfully (1098168640)
0.00/0.65	c NW started thread 3 successfully (1130953024)
100.92/26.58	c preprocessor returned 136756 variables
100.92/26.58	c preprocessing returned UNKNOWN
100.92/26.58	c PP set 125 variables
100.92/26.58	c pp time: 26123918us (26s)
102.52/26.96	c preprocessor returned 136756 variables
102.52/26.96	c preprocessing returned UNKNOWN
102.52/26.96	c PP set 125 variables
102.52/26.96	c pp time: 26335289us (26s)
102.52/26.97	c preprocessor returned 136756 variables
102.52/26.97	c preprocessing returned UNKNOWN
102.52/26.97	c PP set 125 variables
102.52/26.97	c pp time: 26279343us (26s)
102.89/27.01	c preprocessor returned 136756 variables
102.89/27.01	c preprocessing returned UNKNOWN
102.89/27.01	c PP set 125 variables
102.89/27.01	c pp time: 26482937us (26s)
187.58/48.20	c added unsatisfied clause
187.58/48.20	c failed to add network clauses
187.58/48.22	c ====================
187.58/48.22	c implication/decision inf%(inf)
187.58/48.22	c decisions:           44345
187.58/48.22	c last level:          0
187.58/48.22	c conflicts:           18298
187.58/48.22	c restarts:            121
187.58/48.22	c rejected_restarts    0
187.58/48.22	c removals:            6
187.58/48.22	c removed clauses:     10228
187.58/48.22	c oft clauses:         0
187.58/48.22	c solvetime: 21252345us (21s)
187.99/48.34	c sended clauses   | 776 | 859 | 1066 | 1076 |
187.99/48.34	c received clauses | 27 | 20 | 21 | 8 |
187.99/48.34	c join all other threads
187.99/48.34	c joined thread 0
187.99/48.34	c joined thread 1
187.99/48.34	c joined thread 2
187.99/48.34	c joined thread 3
187.99/48.34	c memory usage (vsize): 975 MB
187.99/48.34	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: 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-3280740-1304037955/watcher-3280740-1304037955 -o /tmp/evaluation-result-3280740-1304037955/solver-3280740-1304037955 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3280740-1304037955.cnf 1720188485 4800 15500 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: 4.47 4.92 5.61 2/174 14590
/proc/meminfo: memFree=24747696/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0

[startup+0.0922671 s]
/proc/loadavg: 4.47 4.92 5.61 2/174 14590
/proc/meminfo: memFree=24747696/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100267 s]
/proc/loadavg: 4.47 4.92 5.61 2/174 14590
/proc/meminfo: memFree=24747696/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30023 s]
/proc/loadavg: 4.47 4.92 5.61 2/174 14590
/proc/meminfo: memFree=24747696/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701109 s]
/proc/loadavg: 4.47 4.92 5.61 2/174 14590
/proc/meminfo: memFree=24747696/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50101 s]
/proc/loadavg: 4.47 4.92 5.61 6/185 14604
/proc/meminfo: memFree=24124268/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=827860 CPUtime=2.22 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 149892 0 0 0 146 76 0 0 18 0 5 0 496211789 847728640 147286 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 206965 147286 345 389 0 202715 0
[pid=14591/tid=14593] ppid=14590 vsize=827860 CPUtime=0.56 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 30985 0 0 0 39 17 0 0 18 0 5 0 496211832 847728640 147286 33554432000 4194304 5787044 140735634847680 18446744073709551615 212039698615 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=827860 CPUtime=0.29 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) D 14590 14590 13269 0 -1 4202560 27923 0 0 0 11 18 0 0 18 0 5 0 496211838 847728640 147286 33554432000 4194304 5787044 140735634847680 18446744073709551615 212039316513 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=827860 CPUtime=0.35 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) D 14590 14590 13269 0 -1 4202560 23628 0 0 0 19 16 0 0 18 0 5 0 496211845 847728640 147286 33554432000 4194304 5787044 140735634847680 18446744073709551615 212039316513 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=827860 CPUtime=0.35 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 24380 0 0 0 17 18 0 0 18 0 5 0 496211854 847728640 147286 33554432000 4194304 5787044 140735634847680 18446744073709551615 212039698615 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 836560

[startup+3.10066 s]
/proc/loadavg: 4.47 4.92 5.61 7/188 14607
/proc/meminfo: memFree=22981764/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=782504 CPUtime=7.58 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 184080 0 0 0 655 103 0 0 18 0 5 0 496211789 801284096 138765 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 195626 138765 349 389 0 191376 0
[pid=14591/tid=14593] ppid=14590 vsize=782504 CPUtime=1.95 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 35940 0 0 0 174 21 0 0 17 0 5 0 496211832 801284096 138765 33554432000 4194304 5787044 140735634847680 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=782504 CPUtime=1.56 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 35913 0 0 0 135 21 0 0 19 0 5 0 496211838 801284096 138765 33554432000 4194304 5787044 140735634847680 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=782504 CPUtime=1.73 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 33686 0 0 0 147 26 0 0 19 0 5 0 496211845 801284096 138765 33554432000 4194304 5787044 140735634847680 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=782504 CPUtime=1.69 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 35565 0 0 0 140 29 0 0 19 0 5 0 496211854 801284096 138765 33554432000 4194304 5787044 140735634847680 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 791204

[startup+6.30106 s]
/proc/loadavg: 4.83 4.99 5.63 9/188 14607
/proc/meminfo: memFree=23047612/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=790960 CPUtime=20.36 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 188818 0 0 0 1931 105 0 0 18 0 5 0 496211789 809943040 137139 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 197740 137139 350 389 0 193490 0
[pid=14591/tid=14593] ppid=14590 vsize=790960 CPUtime=5.15 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 37625 0 0 0 494 21 0 0 25 0 5 0 496211832 809943040 137139 33554432000 4194304 5787044 140735634847680 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=790960 CPUtime=4.76 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 35915 0 0 0 455 21 0 0 25 0 5 0 496211838 809943040 137139 33554432000 4194304 5787044 140735634847680 18446744073709551615 212039310824 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=790960 CPUtime=4.92 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 35619 0 0 0 465 27 0 0 25 0 5 0 496211845 809943040 137139 33554432000 4194304 5787044 140735634847680 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=790960 CPUtime=4.87 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 36683 0 0 0 458 29 0 0 25 0 5 0 496211854 809943040 137139 33554432000 4194304 5787044 140735634847680 18446744073709551615 4336664 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20.36
Current children cumulated vsize (KiB) 799660

[startup+12.7009 s]
/proc/loadavg: 5.08 5.04 5.64 9/188 14608
/proc/meminfo: memFree=23000384/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=868328 CPUtime=45.83 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 205706 0 0 0 4462 121 0 0 18 0 5 0 496211789 889167872 152257 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 217082 152257 351 389 0 212832 0
[pid=14591/tid=14593] ppid=14590 vsize=868328 CPUtime=11.53 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 42396 0 0 0 1127 26 0 0 25 0 5 0 496211832 889167872 152257 33554432000 4194304 5787044 140735634847680 18446744073709551615 4336254 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=868328 CPUtime=11.14 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 40405 0 0 0 1090 24 0 0 25 0 5 0 496211838 889167872 152257 33554432000 4194304 5787044 140735634847680 18446744073709551615 4336175 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=868328 CPUtime=11.3 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 38753 0 0 0 1098 32 0 0 25 0 5 0 496211845 889167872 152257 33554432000 4194304 5787044 140735634847680 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=868328 CPUtime=11.21 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 41176 0 0 0 1088 33 0 0 18 0 5 0 496211854 889167872 152257 33554432000 4194304 5787044 140735634847680 18446744073709551615 4336181 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 45.83
Current children cumulated vsize (KiB) 877028

[startup+25.5006 s]
/proc/loadavg: 5.73 5.18 5.68 9/188 14608
/proc/meminfo: memFree=22757736/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=978116 CPUtime=96.92 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 258047 0 0 0 9554 138 0 0 18 0 5 0 496211789 1001590784 187753 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 244529 187753 353 389 0 240279 0
[pid=14591/tid=14593] ppid=14590 vsize=978116 CPUtime=24.32 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 58983 0 0 0 2402 30 0 0 19 0 5 0 496211832 1001590784 187753 33554432000 4194304 5787044 140735634847680 18446744073709551615 4332602 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=978116 CPUtime=23.93 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 52912 0 0 0 2364 29 0 0 19 0 5 0 496211838 1001590784 187753 33554432000 4194304 5787044 140735634847680 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=978116 CPUtime=24.08 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 44879 0 0 0 2374 34 0 0 20 0 5 0 496211845 1001590784 187753 33554432000 4194304 5787044 140735634847680 18446744073709551615 4330488 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=978116 CPUtime=23.94 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 58297 0 0 0 2355 39 0 0 20 0 5 0 496211854 1001590784 187753 33554432000 4194304 5787044 140735634847680 18446744073709551615 4331992 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (KiB) 986816

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

[startup+38.3003 s]
/proc/loadavg: 6.15 5.29 5.71 9/188 14608
/proc/meminfo: memFree=22597096/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=1022072 CPUtime=148.02 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 275665 0 0 0 14660 142 0 0 18 0 5 0 496211789 1046601728 193892 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 255518 193892 417 389 0 251268 0
[pid=14591/tid=14593] ppid=14590 vsize=1022072 CPUtime=37.11 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 59041 0 0 0 3681 30 0 0 25 0 5 0 496211832 1046601728 193892 33554432000 4194304 5787044 140735634847680 18446744073709551615 5592132 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=1022072 CPUtime=36.72 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 59090 0 0 0 3642 30 0 0 25 0 5 0 496211838 1046601728 193892 33554432000 4194304 5787044 140735634847680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=1022072 CPUtime=36.85 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 53579 0 0 0 3649 36 0 0 25 0 5 0 496211845 1046601728 193892 33554432000 4194304 5787044 140735634847680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=1022072 CPUtime=36.66 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 60979 0 0 0 3627 39 0 0 25 0 5 0 496211854 1046601728 193892 33554432000 4194304 5787044 140735634847680 18446744073709551615 5530827 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 148.02
Current children cumulated vsize (KiB) 1030772

[startup+44.7012 s]
/proc/loadavg: 6.30 5.33 5.72 9/188 14608
/proc/meminfo: memFree=22259568/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=1022336 CPUtime=173.6 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 275833 0 0 0 17217 143 0 0 18 0 5 0 496211789 1046872064 194060 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 255584 194060 417 389 0 251334 0
[pid=14591/tid=14593] ppid=14590 vsize=1022336 CPUtime=43.52 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 59041 0 0 0 4322 30 0 0 25 0 5 0 496211832 1046872064 194060 33554432000 4194304 5787044 140735634847680 18446744073709551615 5592653 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=1022336 CPUtime=43.12 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 59149 0 0 0 4282 30 0 0 25 0 5 0 496211838 1046872064 194060 33554432000 4194304 5787044 140735634847680 18446744073709551615 5590417 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=1022336 CPUtime=43.26 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 53643 0 0 0 4290 36 0 0 25 0 5 0 496211845 1046872064 194060 33554432000 4194304 5787044 140735634847680 18446744073709551615 5586664 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=1022336 CPUtime=43.03 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 61024 0 0 0 4264 39 0 0 25 0 5 0 496211854 1046872064 194060 33554432000 4194304 5787044 140735634847680 18446744073709551615 5534357 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 173.6
Current children cumulated vsize (KiB) 1031036

[startup+46.3009 s]
/proc/loadavg: 6.43 5.38 5.73 9/188 14609
/proc/meminfo: memFree=22255228/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=1022336 CPUtime=179.99 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 275839 0 0 0 17856 143 0 0 18 0 5 0 496211789 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 255584 194066 417 389 0 251334 0
[pid=14591/tid=14593] ppid=14590 vsize=1022336 CPUtime=45.12 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 59041 0 0 0 4482 30 0 0 25 0 5 0 496211832 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=1022336 CPUtime=44.72 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 59149 0 0 0 4442 30 0 0 25 0 5 0 496211838 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=1022336 CPUtime=44.86 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 53649 0 0 0 4450 36 0 0 25 0 5 0 496211845 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=1022336 CPUtime=44.61 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 61024 0 0 0 4422 39 0 0 25 0 5 0 496211854 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (KiB) 1031036

[startup+47.1008 s]
/proc/loadavg: 6.43 5.38 5.73 9/188 14609
/proc/meminfo: memFree=22255228/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=1022336 CPUtime=183.19 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 275839 0 0 0 18176 143 0 0 18 0 5 0 496211789 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 255584 194066 417 389 0 251334 0
[pid=14591/tid=14593] ppid=14590 vsize=1022336 CPUtime=45.92 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 59041 0 0 0 4562 30 0 0 25 0 5 0 496211832 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=1022336 CPUtime=45.52 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 59149 0 0 0 4522 30 0 0 25 0 5 0 496211838 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=1022336 CPUtime=45.66 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 53649 0 0 0 4530 36 0 0 25 0 5 0 496211845 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=1022336 CPUtime=45.41 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 61024 0 0 0 4502 39 0 0 25 0 5 0 496211854 1046872064 194066 33554432000 4194304 5787044 140735634847680 18446744073709551615 5534357 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 183.19
Current children cumulated vsize (KiB) 1031036

[startup+47.9006 s]
/proc/loadavg: 6.43 5.38 5.73 9/188 14609
/proc/meminfo: memFree=22254484/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=1022336 CPUtime=186.38 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 275840 0 0 0 18495 143 0 0 18 0 5 0 496211789 1046872064 194067 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 255584 194067 417 389 0 251334 0
[pid=14591/tid=14593] ppid=14590 vsize=1022336 CPUtime=46.71 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 59041 0 0 0 4641 30 0 0 25 0 5 0 496211832 1046872064 194067 33554432000 4194304 5787044 140735634847680 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=1022336 CPUtime=46.32 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 59149 0 0 0 4602 30 0 0 25 0 5 0 496211838 1046872064 194067 33554432000 4194304 5787044 140735634847680 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=1022336 CPUtime=46.45 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 53649 0 0 0 4609 36 0 0 25 0 5 0 496211845 1046872064 194067 33554432000 4194304 5787044 140735634847680 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=1022336 CPUtime=46.21 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 61025 0 0 0 4582 39 0 0 25 0 5 0 496211854 1046872064 194067 33554432000 4194304 5787044 140735634847680 18446744073709551615 4254912 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 186.38
Current children cumulated vsize (KiB) 1031036

[startup+48.3006 s]
/proc/loadavg: 6.43 5.38 5.73 9/188 14609
/proc/meminfo: memFree=22253124/32951124 swapFree=67111524/67111528
[pid=14590] ppid=14588 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14590/stat : 14590 (prissAuto.sh) S 14588 14590 13269 0 -1 4202496 330 0 0 0 0 0 0 0 21 0 1 0 496211789 8908800 251 33554432000 4194304 4922060 140736446021920 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/14590/statm: 2175 251 211 178 0 68 0
[pid=14591] ppid=14590 vsize=1022336 CPUtime=187.99 cores=0,2,4,6
/proc/14591/stat : 14591 (priss) S 14590 14590 13269 0 -1 4202496 275860 0 0 0 18656 143 0 0 18 0 5 0 496211789 1046872064 194087 33554432000 4194304 5787044 140735634847680 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14591/statm: 255584 194087 429 389 0 251334 0
[pid=14591/tid=14593] ppid=14590 vsize=1022336 CPUtime=47.12 cores=0,2,4,6
/proc/14591/task/14593/stat : 14593 (priss) R 14590 14590 13269 0 -1 4202560 59041 0 0 0 4682 30 0 0 25 0 5 0 496211832 1046872064 194087 33554432000 4194304 5787044 140735634847680 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14591/tid=14600] ppid=14590 vsize=1022336 CPUtime=46.73 cores=0,2,4,6
/proc/14591/task/14600/stat : 14600 (priss) R 14590 14590 13269 0 -1 4202560 59154 0 0 0 4643 30 0 0 25 0 5 0 496211838 1046872064 194087 33554432000 4194304 5787044 140735634847680 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14591/tid=14602] ppid=14590 vsize=1022336 CPUtime=46.86 cores=0,2,4,6
/proc/14591/task/14602/stat : 14602 (priss) R 14590 14590 13269 0 -1 4202560 53650 0 0 0 4650 36 0 0 25 0 5 0 496211845 1046872064 194087 33554432000 4194304 5787044 140735634847680 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14591/tid=14603] ppid=14590 vsize=1022336 CPUtime=46.6 cores=0,2,4,6
/proc/14591/task/14603/stat : 14603 (priss) R 14590 14590 13269 0 -1 4202560 61039 0 0 0 4621 39 0 0 25 0 5 0 496211854 1046872064 194087 33554432000 4194304 5787044 140735634847680 18446744073709551615 212039311367 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 187.99
Current children cumulated vsize (KiB) 1031036

Child status: 20
Real time (s): 48.3847
CPU time (s): 188.178
CPU user time (s): 186.706
CPU system time (s): 1.47278
CPU usage (%): 388.921
Max. virtual memory (cumulated for all children) (KiB): 1052352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.706
system time used= 1.47278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276230
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= 116886
involuntary context switches= 1505

runsolver used 0.087986 second user time and 0.184971 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-29 02:45:55
IDJOB=3280740
IDBENCH=20431
IDSOLVER=1602
FILE ID=node146/3280740-1304037955
RUNJOBID= node146-1304037954-14576
PBS_JOBID= 13170306
Free space on /tmp= 72964 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280740-1304037955/watcher-3280740-1304037955 -o /tmp/evaluation-result-3280740-1304037955/solver-3280740-1304037955 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3280740-1304037955.cnf 1720188485 4800 15500 4

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

MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=1720188485

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.75
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.830
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.86
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.830
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.75
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.830
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.830
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.75
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.830
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:      24747852 kB
Buffers:       1635164 kB
Cached:        5984204 kB
SwapCached:          4 kB
Active:        1280628 kB
Inactive:      6405536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24747852 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           34092 kB
Writeback:           0 kB
AnonPages:       66368 kB
Mapped:          14428 kB
Slab:           453452 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186040 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= 72948 MiB
End job on node146 at 2011-04-29 02:46:44