Trace number 3262514

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 UP? (TO) 2422.78 1300.02

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
MD5SUM4975f32607352c0a4d9db1abea12627a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.62714
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses28738
Sum of the clauses size129678
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326363
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52298

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: 1576
0.00/0.01	c parsetime: 9145us
0.00/0.01	c parsed 28738 clauses with 231 variables
2.39/2.41	c preprocessor returned 10021 variables
2.39/2.41	c preprocessing returned UNKNOWN
2.39/2.41	c PP set 0 variables
2.39/2.41	c pp time: 2396555us (2s)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262514-1304061757/watcher-3262514-1304061757 -o /tmp/evaluation-result-3262514-1304061757/solver-3262514-1304061757 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3262514-1304061757.cnf 165202782 4800 15500 4 

running on 4 cores: 1,3,5,7

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: 3.62 3.70 3.65 4/179 1575
/proc/meminfo: memFree=23551524/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0

[startup+0.0546061 s]
/proc/loadavg: 3.62 3.70 3.65 4/179 1575
/proc/meminfo: memFree=23551524/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100597 s]
/proc/loadavg: 3.62 3.70 3.65 4/179 1575
/proc/meminfo: memFree=23551524/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300561 s]
/proc/loadavg: 3.62 3.70 3.65 4/179 1575
/proc/meminfo: memFree=23551524/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700489 s]
/proc/loadavg: 3.62 3.70 3.65 4/179 1575
/proc/meminfo: memFree=23551524/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50034 s]
/proc/loadavg: 3.57 3.69 3.64 4/181 1577
/proc/meminfo: memFree=23545576/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=23776 CPUtime=1.49 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 2047 0 0 0 149 0 0 0 25 0 1 0 596406350 24346624 1984 33554432000 4194304 5787044 140736499630928 18446744073709551615 4336718 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1576/statm: 5944 1984 338 389 0 1694 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32476

[startup+3.10105 s]
/proc/loadavg: 3.57 3.69 3.64 4/181 1577
/proc/meminfo: memFree=23541484/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=105232 CPUtime=3.61 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 3798 0 0 0 355 6 0 0 25 0 2 0 596406350 107757568 3382 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527407 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 26308 3382 392 389 0 22058 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 113932

[startup+6.30046 s]
/proc/loadavg: 3.57 3.69 3.64 5/182 1578
/proc/meminfo: memFree=23537104/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=106156 CPUtime=9.29 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 4078 0 0 0 896 33 0 0 25 0 2 0 596406350 108703744 3662 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527491 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 26539 3662 392 389 0 22289 0
[pid=1576/tid=1578] ppid=1575 vsize=106156 CPUtime=3 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) S 1575 1575 30862 0 -1 4202560 110 0 0 0 278 22 0 0 16 0 2 0 596406591 108703744 3662 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 18446604470969935744 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.29
Current children cumulated vsize (KiB) 114856

[startup+12.7003 s]
/proc/loadavg: 3.71 3.71 3.65 5/182 1578
/proc/meminfo: memFree=23534532/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=107896 CPUtime=20.67 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 4589 0 0 0 1989 78 0 0 25 0 2 0 596406350 110485504 4173 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527140 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 26974 4174 392 389 0 22724 0
[pid=1576/tid=1578] ppid=1575 vsize=107896 CPUtime=7.97 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) S 1575 1575 30862 0 -1 4202560 183 0 0 0 747 50 0 0 16 0 2 0 596406591 110485504 4174 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 18446604470969935744 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.67
Current children cumulated vsize (KiB) 116596

[startup+25.501 s]
/proc/loadavg: 3.76 3.72 3.65 5/182 1578
/proc/meminfo: memFree=23524988/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=111780 CPUtime=43.68 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 5571 0 0 0 4207 161 0 0 25 0 2 0 596406350 114462720 5155 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 27945 5155 392 389 0 23695 0
[pid=1576/tid=1578] ppid=1575 vsize=111780 CPUtime=18.18 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 295 0 0 0 1712 106 0 0 15 0 2 0 596406591 114462720 5155 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 43.68
Current children cumulated vsize (KiB) 120480

[startup+51.1003 s]
/proc/loadavg: 3.66 3.70 3.65 5/182 1579
/proc/meminfo: memFree=23512672/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=120452 CPUtime=90.11 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 7983 0 0 0 8709 302 0 0 25 0 2 0 596406350 123342848 7567 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 30113 7567 392 389 0 25863 0
[pid=1576/tid=1578] ppid=1575 vsize=120452 CPUtime=39.01 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 477 0 0 0 3702 199 0 0 16 0 2 0 596406591 123342848 7567 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 90.11
Current children cumulated vsize (KiB) 129152

[startup+102.307 s]
/proc/loadavg: 3.85 3.74 3.66 5/182 1581
/proc/meminfo: memFree=23496888/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=129492 CPUtime=183.92 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 10401 0 0 0 17855 537 0 0 25 0 2 0 596406350 132599808 9985 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1576/statm: 32373 9985 392 389 0 28123 0
[pid=1576/tid=1578] ppid=1575 vsize=129492 CPUtime=81.62 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) S 1575 1575 30862 0 -1 4202560 740 0 0 0 7813 349 0 0 16 0 2 0 596406591 132599808 9985 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 18446604470969935744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 183.92
Current children cumulated vsize (KiB) 138192

[startup+162.301 s]
/proc/loadavg: 3.81 3.76 3.67 5/182 1582
/proc/meminfo: memFree=23477012/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=141408 CPUtime=294.79 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 13565 0 0 0 28720 759 0 0 25 0 2 0 596406350 144801792 12892 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 35352 12892 392 389 0 31102 0
[pid=1576/tid=1578] ppid=1575 vsize=141408 CPUtime=132.5 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 970 0 0 0 12755 495 0 0 16 0 2 0 596406591 144801792 12892 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 294.79
Current children cumulated vsize (KiB) 150108

[startup+222.301 s]
/proc/loadavg: 3.79 3.75 3.67 4/182 1584
/proc/meminfo: memFree=23463332/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=153744 CPUtime=406.27 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 16944 0 0 0 39693 934 0 0 25 0 2 0 596406350 157433856 16271 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527491 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1576/statm: 38436 16271 392 389 0 34186 0
[pid=1576/tid=1578] ppid=1575 vsize=153744 CPUtime=183.97 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) S 1575 1575 30862 0 -1 4202560 1205 0 0 0 17785 612 0 0 16 0 2 0 596406591 157433856 16271 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 18446604470969935744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 406.27
Current children cumulated vsize (KiB) 162444

[startup+282.301 s]
/proc/loadavg: 3.66 3.71 3.66 5/182 1585
/proc/meminfo: memFree=23460316/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=155944 CPUtime=517.72 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 17762 0 0 0 50678 1094 0 0 25 0 2 0 596406350 159686656 17089 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527008 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1576/statm: 38986 17089 392 389 0 34736 0
[pid=1576/tid=1578] ppid=1575 vsize=155944 CPUtime=235.41 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 1363 0 0 0 22824 717 0 0 16 0 2 0 596406591 159686656 17089 33554432000 4194304 5787044 140736499630928 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 517.72
Current children cumulated vsize (KiB) 164644


################
# More data... #
################

[pid=1576] ppid=1575 vsize=191992 CPUtime=1302.58 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 27758 0 0 0 128306 1952 0 0 25 0 2 0 596406350 196599808 26572 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1576/statm: 47998 26572 392 389 0 43748 0
[pid=1576/tid=1578] ppid=1575 vsize=191992 CPUtime=600.26 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2326 0 0 0 58762 1264 0 0 16 0 2 0 596406591 196599808 26572 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1302.58
Current children cumulated vsize (KiB) 200692

[startup+762.307 s]
/proc/loadavg: 3.58 3.64 3.63 4/182 1628
/proc/meminfo: memFree=23457180/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=204232 CPUtime=1415.15 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 31002 0 0 0 139469 2046 0 0 25 0 2 0 596406350 209133568 29816 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527122 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1576/statm: 51058 29816 392 389 0 46808 0
[pid=1576/tid=1578] ppid=1575 vsize=204232 CPUtime=652.82 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2476 0 0 0 63962 1320 0 0 16 0 2 0 596406591 209133568 29816 33554432000 4194304 5787044 140736499630928 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1415.15
Current children cumulated vsize (KiB) 212932

[startup+822.301 s]
/proc/loadavg: 3.70 3.66 3.64 5/182 1630
/proc/meminfo: memFree=23432340/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=215708 CPUtime=1527.91 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 34068 0 0 0 150662 2129 0 0 25 0 2 0 596406350 220884992 32882 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 53927 32882 392 389 0 49677 0
[pid=1576/tid=1578] ppid=1575 vsize=215708 CPUtime=705.59 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) S 1575 1575 30862 0 -1 4202560 2686 0 0 0 69189 1370 0 0 16 0 2 0 596406591 220884992 32882 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 18446604470969935744 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1527.91
Current children cumulated vsize (KiB) 224408

[startup+882.301 s]
/proc/loadavg: 3.72 3.67 3.64 5/182 1631
/proc/meminfo: memFree=23421136/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=217828 CPUtime=1640.42 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 34656 0 0 0 161817 2225 0 0 25 0 2 0 596406350 223055872 33470 33554432000 4194304 5787044 140736499630928 18446744073709551615 5528394 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 54457 33470 392 389 0 50207 0
[pid=1576/tid=1578] ppid=1575 vsize=217828 CPUtime=758.09 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2692 0 0 0 74380 1429 0 0 16 0 2 0 596406591 223055872 33470 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1640.42
Current children cumulated vsize (KiB) 226528

[startup+942.301 s]
/proc/loadavg: 3.63 3.65 3.63 5/182 1633
/proc/meminfo: memFree=23408460/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=217828 CPUtime=1750.98 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 34657 0 0 0 172645 2453 0 0 25 0 2 0 596406350 223055872 33471 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1576/statm: 54457 33471 392 389 0 50207 0
[pid=1576/tid=1578] ppid=1575 vsize=217828 CPUtime=808.67 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2693 0 0 0 79269 1598 0 0 16 0 2 0 596406591 223055872 33471 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1750.98
Current children cumulated vsize (KiB) 226528

[startup+1002.3 s]
/proc/loadavg: 3.63 3.65 3.63 4/182 1638
/proc/meminfo: memFree=23407760/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=217828 CPUtime=1862.77 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 34692 0 0 0 183667 2610 0 0 25 0 2 0 596406350 223055872 33506 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 54457 33506 392 389 0 50207 0
[pid=1576/tid=1578] ppid=1575 vsize=217828 CPUtime=860.45 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2722 0 0 0 84337 1708 0 0 16 0 2 0 596406591 223055872 33506 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1862.77
Current children cumulated vsize (KiB) 226528

[startup+1062.3 s]
/proc/loadavg: 3.75 3.68 3.64 5/182 1639
/proc/meminfo: memFree=23392708/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=217828 CPUtime=1975.41 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 34768 0 0 0 194842 2699 0 0 25 0 2 0 596406350 223055872 33582 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 54457 33582 392 389 0 50207 0
[pid=1576/tid=1578] ppid=1575 vsize=217828 CPUtime=913.09 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2777 0 0 0 89549 1760 0 0 15 0 2 0 596406591 223055872 33582 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1975.41
Current children cumulated vsize (KiB) 226528

[startup+1122.3 s]
/proc/loadavg: 3.51 3.63 3.62 5/182 1641
/proc/meminfo: memFree=23380012/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=217828 CPUtime=2088.13 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 34918 0 0 0 206032 2781 0 0 25 0 2 0 596406350 223055872 33732 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527491 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 54457 33732 392 389 0 50207 0
[pid=1576/tid=1578] ppid=1575 vsize=217828 CPUtime=965.8 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2881 0 0 0 94767 1813 0 0 16 0 2 0 596406591 223055872 33732 33554432000 4194304 5787044 140736499630928 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2088.13
Current children cumulated vsize (KiB) 226528

[startup+1182.3 s]
/proc/loadavg: 3.68 3.65 3.63 5/182 1642
/proc/meminfo: memFree=23374880/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=222096 CPUtime=2200.98 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 36234 0 0 0 217237 2861 0 0 25 0 2 0 596406350 227426304 35048 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 55524 35048 392 389 0 51274 0
[pid=1576/tid=1578] ppid=1575 vsize=222096 CPUtime=1018.66 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 2998 0 0 0 100005 1861 0 0 16 0 2 0 596406591 227426304 35048 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2200.98
Current children cumulated vsize (KiB) 230796

[startup+1242.3 s]
/proc/loadavg: 3.64 3.65 3.63 5/182 1644
/proc/meminfo: memFree=23363676/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=232648 CPUtime=2313.97 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 39039 0 0 0 228458 2939 0 0 25 0 2 0 596406350 238231552 37853 33554432000 4194304 5787044 140736499630928 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 58162 37853 392 389 0 53912 0
[pid=1576/tid=1578] ppid=1575 vsize=232648 CPUtime=1071.64 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 3207 0 0 0 105257 1907 0 0 16 0 2 0 596406591 238231552 37853 33554432000 4194304 5787044 140736499630928 18446744073709551615 5527156 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2313.97
Current children cumulated vsize (KiB) 241348



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.77 3.68 3.64 5/182 1645
/proc/meminfo: memFree=23356184/32950928 swapFree=67071984/67111528
[pid=1575] ppid=1573 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/1575/stat : 1575 (prissup.sh) S 1573 1575 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596406350 8908800 251 33554432000 4194304 4922060 140734331911632 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1575/statm: 2175 251 211 178 0 68 0
[pid=1576] ppid=1575 vsize=242584 CPUtime=2422.78 cores=1,3,5,7
/proc/1576/stat : 1576 (priss) R 1575 1575 30862 0 -1 4202496 41662 0 0 0 239270 3008 0 0 25 0 2 0 596406350 248406016 39451 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917218159 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1576/statm: 60646 39451 392 389 0 56396 0
[pid=1576/tid=1578] ppid=1575 vsize=242584 CPUtime=1122.74 cores=1,3,5,7
/proc/1576/task/1578/stat : 1578 (priss) R 1575 1575 30862 0 -1 4202560 3376 0 0 0 110326 1948 0 0 16 0 2 0 596406591 248406016 39451 33554432000 4194304 5787044 140736499630928 18446744073709551615 260917217713 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2422.78
Current children cumulated vsize (KiB) 251284

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1575 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 2422.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.02
CPU time (s): 2422.78
CPU user time (s): 2392.7
CPU system time (s): 30.08
CPU usage (%): 186.365
Max. virtual memory (cumulated for all children) (KiB): 251284

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

runsolver used 2.01869 second user time and 5.07723 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 09:22:37
IDJOB=3262514
IDBENCH=83318
IDSOLVER=1601
FILE ID=node116/3262514-1304061757
RUNJOBID= node116-1304053179-651
PBS_JOBID= 13170355
Free space on /tmp= 72512 MiB

SOLVER NAME= priss UP
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_462.cnf
COMMAND LINE= DIR/prissup.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262514-1304061757/watcher-3262514-1304061757 -o /tmp/evaluation-result-3262514-1304061757/solver-3262514-1304061757 -C 4800 -W 1300 -M 15500  HOME/prissup.sh HOME HOME/instance-3262514-1304061757.cnf 165202782 4800 15500 4

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

MD5SUM BENCH= 4975f32607352c0a4d9db1abea12627a
RANDOM SEED=165202782

node116.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.826
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.65
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.826
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	: 5226.15
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.826
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.826
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.75
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.826
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.77
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.826
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.826
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.826
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:     32950928 kB
MemFree:      23551672 kB
Buffers:       1901020 kB
Cached:        6929608 kB
SwapCached:       9732 kB
Active:        4480388 kB
Inactive:      4489752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23551672 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:            1960 kB
Writeback:          12 kB
AnonPages:      132756 kB
Mapped:          14520 kB
Slab:           364868 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   322104 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= 72512 MiB
End job on node116 at 2011-04-29 09:44:19