Trace number 3260842

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) 2383.96 1300.02

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
MD5SUMd21f62eebe8299bb166c60204a4db57a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.2867
Satisfiable
(Un)Satisfiability was proved
Number of variables3264
Number of clauses11382
Sum of the clauses size28964
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25182
Number of clauses of size 36200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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: 13330
0.00/0.00	c parsetime: 2619us
0.00/0.00	c parsed 11382 clauses with 3264 variables
0.00/0.34	c preprocessor returned 10011 variables
0.00/0.34	c preprocessing returned UNKNOWN
0.00/0.34	c PP set 403 variables
0.00/0.34	c pp time: 333870us (0s)

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-3260842-1304058359/watcher-3260842-1304058359 -o /tmp/evaluation-result-3260842-1304058359/solver-3260842-1304058359 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3260842-1304058359.cnf 1659462111 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.51 3.70 4.66 3/179 13329
/proc/meminfo: memFree=14120024/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0

[startup+0.0687 s]
/proc/loadavg: 3.51 3.70 4.66 3/179 13329
/proc/meminfo: memFree=14120024/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100697 s]
/proc/loadavg: 3.51 3.70 4.66 3/179 13329
/proc/meminfo: memFree=14120024/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300664 s]
/proc/loadavg: 3.51 3.70 4.66 3/179 13329
/proc/meminfo: memFree=14120024/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700527 s]
/proc/loadavg: 3.51 3.70 4.66 3/179 13329
/proc/meminfo: memFree=14120024/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50039 s]
/proc/loadavg: 3.51 3.70 4.66 5/182 13332
/proc/meminfo: memFree=14108776/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=103456 CPUtime=2.39 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 3588 0 0 0 198 41 0 0 25 0 2 0 517435740 105938944 2938 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 25864 2938 392 389 0 21614 0
[pid=13330/tid=13332] ppid=13329 vsize=103456 CPUtime=0.89 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 36 0 0 0 55 34 0 0 15 0 2 0 517435775 105938944 2938 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 112156

[startup+3.10116 s]
/proc/loadavg: 3.51 3.70 4.66 4/182 13332
/proc/meminfo: memFree=14107536/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=104308 CPUtime=5.05 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 3829 0 0 0 440 65 0 0 25 0 2 0 517435740 106811392 3179 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 26077 3179 392 389 0 21827 0
[pid=13330/tid=13332] ppid=13329 vsize=104308 CPUtime=1.96 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 82 0 0 0 146 50 0 0 15 0 2 0 517435775 106811392 3179 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 113008

[startup+6.30061 s]
/proc/loadavg: 3.47 3.68 4.65 5/182 13332
/proc/meminfo: memFree=14103176/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=105912 CPUtime=10.5 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 4318 0 0 0 946 104 0 0 25 0 2 0 517435740 108453888 3668 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 26478 3668 392 389 0 22228 0
[pid=13330/tid=13332] ppid=13329 vsize=105912 CPUtime=4.2 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 159 0 0 0 345 75 0 0 15 0 2 0 517435775 108453888 3668 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.5
Current children cumulated vsize (KiB) 114612

[startup+12.7005 s]
/proc/loadavg: 3.51 3.69 4.65 5/182 13332
/proc/meminfo: memFree=14097140/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=108376 CPUtime=21.62 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 5034 0 0 0 1986 176 0 0 25 0 2 0 517435740 110977024 4384 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 27094 4384 392 389 0 22844 0
[pid=13330/tid=13332] ppid=13329 vsize=108376 CPUtime=8.92 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 273 0 0 0 767 125 0 0 15 0 2 0 517435775 110977024 4384 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.62
Current children cumulated vsize (KiB) 117076

[startup+25.5012 s]
/proc/loadavg: 3.55 3.69 4.63 5/182 13332
/proc/meminfo: memFree=14085860/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=113152 CPUtime=44.02 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 7055 0 0 0 4127 275 0 0 25 0 2 0 517435740 115867648 6404 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 28288 6404 392 389 0 24038 0
[pid=13330/tid=13332] ppid=13329 vsize=113152 CPUtime=18.52 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) S 13329 13329 12807 0 -1 4202560 486 0 0 0 1661 191 0 0 15 0 2 0 517435775 115867648 6404 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 18446604471149064256 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 44.02
Current children cumulated vsize (KiB) 121852

[startup+51.1006 s]
/proc/loadavg: 3.73 3.71 4.61 4/182 13333
/proc/meminfo: memFree=14062000/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=124444 CPUtime=89.56 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 10696 0 0 0 8544 412 0 0 25 0 2 0 517435740 127430656 10045 33554432000 4194304 5787044 140733669915376 18446744073709551615 248089359045 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 31111 10045 392 389 0 26861 0
[pid=13330/tid=13332] ppid=13329 vsize=124444 CPUtime=38.46 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 846 0 0 0 3564 282 0 0 16 0 2 0 517435775 127430656 10045 33554432000 4194304 5787044 140733669915376 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (KiB) 133144

[startup+102.307 s]
/proc/loadavg: 3.71 3.71 4.56 5/182 13334
/proc/meminfo: memFree=14041516/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=128828 CPUtime=181.85 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 13096 0 0 0 17586 599 0 0 25 0 2 0 517435740 131919872 12397 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 32207 12397 392 389 0 27957 0
[pid=13330/tid=13332] ppid=13329 vsize=128828 CPUtime=79.55 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 1302 0 0 0 7546 409 0 0 15 0 2 0 517435775 131919872 12397 33554432000 4194304 5787044 140733669915376 18446744073709551615 5527482 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 181.85
Current children cumulated vsize (KiB) 137528

[startup+162.301 s]
/proc/loadavg: 3.76 3.71 4.51 4/182 13336
/proc/meminfo: memFree=14008376/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=135448 CPUtime=290.63 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 19583 0 0 0 28297 766 0 0 25 0 2 0 517435740 138698752 18530 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 33862 18530 392 389 0 29612 0
[pid=13330/tid=13332] ppid=13329 vsize=135448 CPUtime=128.34 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 1647 0 0 0 12317 517 0 0 16 0 2 0 517435775 138698752 18530 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 290.63
Current children cumulated vsize (KiB) 144148

[startup+222.3 s]
/proc/loadavg: 3.58 3.68 4.45 6/182 13338
/proc/meminfo: memFree=13999152/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=135752 CPUtime=399.54 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 20484 0 0 0 39035 919 0 0 25 0 2 0 517435740 139010048 19431 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 33938 19431 392 389 0 29688 0
[pid=13330/tid=13332] ppid=13329 vsize=135752 CPUtime=177.24 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 1721 0 0 0 17107 617 0 0 16 0 2 0 517435775 139010048 19431 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 399.54
Current children cumulated vsize (KiB) 144452

[startup+282.301 s]
/proc/loadavg: 3.69 3.69 4.40 4/182 13339
/proc/meminfo: memFree=13977788/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=142396 CPUtime=508.76 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 24754 0 0 0 49838 1038 0 0 25 0 2 0 517435740 145813504 23604 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 35599 23604 392 389 0 31349 0
[pid=13330/tid=13332] ppid=13329 vsize=142396 CPUtime=226.47 cores=1,3,5,7

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

[pid=13330] ppid=13329 vsize=220100 CPUtime=1278.49 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 33252 0 0 0 126177 1672 0 0 25 0 2 0 517435740 225382400 31355 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 55025 31355 392 389 0 50775 0
[pid=13330/tid=13332] ppid=13329 vsize=220100 CPUtime=576.17 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 3528 0 0 0 56513 1104 0 0 16 0 2 0 517435775 225382400 31355 33554432000 4194304 5787044 140733669915376 18446744073709551615 5527227 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1278.49
Current children cumulated vsize (KiB) 228800

[startup+762.307 s]
/proc/loadavg: 3.73 3.74 4.13 5/182 13352
/proc/meminfo: memFree=13906432/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=221508 CPUtime=1389.61 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 35459 0 0 0 137232 1729 0 0 25 0 2 0 517435740 226824192 33562 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 55377 33562 392 389 0 51127 0
[pid=13330/tid=13332] ppid=13329 vsize=221508 CPUtime=627.29 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 3839 0 0 0 61589 1140 0 0 16 0 2 0 517435775 226824192 33562 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1389.61
Current children cumulated vsize (KiB) 230208

[startup+822.301 s]
/proc/loadavg: 3.75 3.74 4.10 4/182 13354
/proc/meminfo: memFree=13884192/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=227336 CPUtime=1500.41 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 38655 0 0 0 148253 1788 0 0 25 0 2 0 517435740 232792064 36758 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 56834 36758 392 389 0 52584 0
[pid=13330/tid=13332] ppid=13329 vsize=227336 CPUtime=678.09 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 4162 0 0 0 66632 1177 0 0 16 0 2 0 517435775 232792064 36758 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1500.41
Current children cumulated vsize (KiB) 236036

[startup+882.301 s]
/proc/loadavg: 3.76 3.75 4.08 4/182 13355
/proc/meminfo: memFree=13871520/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=228424 CPUtime=1611.97 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 40998 0 0 0 159354 1843 0 0 25 0 2 0 517435740 233906176 38876 33554432000 4194304 5787044 140733669915376 18446744073709551615 5521958 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 57106 38876 392 389 0 52856 0
[pid=13330/tid=13332] ppid=13329 vsize=228424 CPUtime=729.65 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 4427 0 0 0 71753 1212 0 0 16 0 2 0 517435775 233906176 38876 33554432000 4194304 5787044 140733669915376 18446744073709551615 5521958 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1611.97
Current children cumulated vsize (KiB) 237124

[startup+942.3 s]
/proc/loadavg: 3.87 3.78 4.07 5/182 13357
/proc/meminfo: memFree=13871720/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=228424 CPUtime=1722.04 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 41002 0 0 0 170260 1944 0 0 25 0 2 0 517435740 233906176 38880 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528375 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 57106 38880 392 389 0 52856 0
[pid=13330/tid=13332] ppid=13329 vsize=228424 CPUtime=779.72 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 4428 0 0 0 76695 1277 0 0 16 0 2 0 517435775 233906176 38880 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528390 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 237124

[startup+1002.3 s]
/proc/loadavg: 3.79 3.77 4.05 5/182 13358
/proc/meminfo: memFree=13871556/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=228424 CPUtime=1832.27 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 41002 0 0 0 181199 2028 0 0 25 0 2 0 517435740 233906176 38880 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 57106 38880 392 389 0 52856 0
[pid=13330/tid=13332] ppid=13329 vsize=228424 CPUtime=829.95 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 4428 0 0 0 81664 1331 0 0 16 0 2 0 517435775 233906176 38880 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1832.27
Current children cumulated vsize (KiB) 237124

[startup+1062.3 s]
/proc/loadavg: 3.92 3.81 4.04 5/182 13360
/proc/meminfo: memFree=13871520/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=228424 CPUtime=1943.61 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 41017 0 0 0 192269 2092 0 0 25 0 2 0 517435740 233906176 38895 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101522287 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 57106 38895 392 389 0 52856 0
[pid=13330/tid=13332] ppid=13329 vsize=228424 CPUtime=881.29 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 4439 0 0 0 86757 1372 0 0 15 0 2 0 517435775 233906176 38895 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1943.61
Current children cumulated vsize (KiB) 237124

[startup+1122.3 s]
/proc/loadavg: 3.83 3.80 4.02 5/182 13362
/proc/meminfo: memFree=13870736/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=228424 CPUtime=2054.48 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 41038 0 0 0 203293 2155 0 0 25 0 2 0 517435740 233906176 38916 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 57106 38916 392 389 0 52856 0
[pid=13330/tid=13332] ppid=13329 vsize=228424 CPUtime=932.16 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) S 13329 13329 12807 0 -1 4202560 4448 0 0 0 91803 1413 0 0 16 0 2 0 517435775 233906176 38916 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 18446604471149064256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2054.48
Current children cumulated vsize (KiB) 237124

[startup+1182.3 s]
/proc/loadavg: 3.74 3.77 4.00 4/182 13363
/proc/meminfo: memFree=13868852/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=228872 CPUtime=2165.19 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 41100 0 0 0 214303 2216 0 0 25 0 2 0 517435740 234364928 38978 33554432000 4194304 5787044 140733669915376 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 57218 38978 392 389 0 52968 0
[pid=13330/tid=13332] ppid=13329 vsize=228872 CPUtime=982.86 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 4501 0 0 0 96832 1454 0 0 16 0 2 0 517435775 234364928 38978 33554432000 4194304 5787044 140733669915376 18446744073709551615 5527761 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2165.19
Current children cumulated vsize (KiB) 237572

[startup+1242.3 s]
/proc/loadavg: 3.73 3.76 3.98 5/182 13365
/proc/meminfo: memFree=13861116/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=229864 CPUtime=2276.47 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 41332 0 0 0 225382 2265 0 0 25 0 2 0 517435740 235380736 39210 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13330/statm: 57466 39210 392 389 0 53216 0
[pid=13330/tid=13332] ppid=13329 vsize=229864 CPUtime=1034.15 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) S 13329 13329 12807 0 -1 4202560 4673 0 0 0 101931 1484 0 0 16 0 2 0 517435775 235380736 39210 33554432000 4194304 5787044 140733669915376 18446744073709551615 248101521841 0 0 4096 0 18446604471149064256 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2276.47
Current children cumulated vsize (KiB) 238564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.77 3.76 3.96 4/182 13396
/proc/meminfo: memFree=13961984/32950928 swapFree=67111528/67111528
[pid=13329] ppid=13327 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (prissup.sh) S 13327 13329 12807 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517435740 8908800 252 33554432000 4194304 4922060 140734110029360 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/13329/statm: 2175 252 211 178 0 68 0
[pid=13330] ppid=13329 vsize=230280 CPUtime=2383.96 cores=1,3,5,7
/proc/13330/stat : 13330 (priss) R 13329 13329 12807 0 -1 4202496 42153 0 0 0 236087 2309 0 0 25 0 2 0 517435740 235806720 40031 33554432000 4194304 5787044 140733669915376 18446744073709551615 5527491 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/13330/statm: 57570 40031 392 389 0 53320 0
[pid=13330/tid=13332] ppid=13329 vsize=230280 CPUtime=1083.94 cores=1,3,5,7
/proc/13330/task/13332/stat : 13332 (priss) R 13329 13329 12807 0 -1 4202560 4771 0 0 0 106881 1513 0 0 16 0 2 0 517435775 235806720 40031 33554432000 4194304 5787044 140733669915376 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2383.96
Current children cumulated vsize (KiB) 238980

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 13329 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 2383.96
#
# 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): 2383.96
CPU user time (s): 2360.87
CPU system time (s): 23.09
CPU usage (%): 183.379
Max. virtual memory (cumulated for all children) (KiB): 238980

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

runsolver used 2.09268 second user time and 5.00224 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-29 08:25:59
IDJOB=3260842
IDBENCH=83197
IDSOLVER=1601
FILE ID=node123/3260842-1304058359
RUNJOBID= node123-1304057050-13126
PBS_JOBID= 13170421
Free space on /tmp= 72816 MiB

SOLVER NAME= priss UP
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_32_s.cnf
COMMAND LINE= DIR/prissup.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260842-1304058359/watcher-3260842-1304058359 -o /tmp/evaluation-result-3260842-1304058359/solver-3260842-1304058359 -C 4800 -W 1300 -M 15500  HOME/prissup.sh HOME HOME/instance-3260842-1304058359.cnf 1659462111 4800 15500 4

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

MD5SUM BENCH= d21f62eebe8299bb166c60204a4db57a
RANDOM SEED=1659462111

node123.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.838
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.67
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.838
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.838
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14120296 kB
Buffers:       2192880 kB
Cached:       16009968 kB
SwapCached:          0 kB
Active:        9102492 kB
Inactive:      9180236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14120296 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3676 kB
Writeback:           0 kB
AnonPages:       78876 kB
Mapped:          15524 kB
Slab:           486520 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   233788 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= 72816 MiB
End job on node123 at 2011-04-29 08:47:41