Trace number 3288283

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

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
MD5SUM7886cd26d6e0801ea382a1ffd6224023
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables192503
Number of clauses564953
Sum of the clauses size1318221
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2376634
Number of clauses of size 3188317
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: 29126
0.00/0.15	c parsetime: 154721us
0.00/0.15	c parsed 564953 clauses with 192503 variables
6.39/6.42	c preprocessor returned 192503 variables
6.39/6.42	c preprocessing returned UNKNOWN
6.39/6.42	c PP set 1833 variables
6.39/6.42	c pp time: 6222713us (6s)

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-3288283-1304050703/watcher-3288283-1304050703 -o /tmp/evaluation-result-3288283-1304050703/solver-3288283-1304050703 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3288283-1304050703.cnf 1674250775 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: 2.38 2.42 2.45 2/178 29125
/proc/meminfo: memFree=31488204/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0

[startup+0.0616271 s]
/proc/loadavg: 2.38 2.42 2.45 2/178 29125
/proc/meminfo: memFree=31488204/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10062 s]
/proc/loadavg: 2.38 2.42 2.45 2/178 29125
/proc/meminfo: memFree=31488204/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300586 s]
/proc/loadavg: 2.38 2.42 2.45 2/178 29125
/proc/meminfo: memFree=31488204/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700568 s]
/proc/loadavg: 2.38 2.42 2.45 2/178 29125
/proc/meminfo: memFree=31488204/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50049 s]
/proc/loadavg: 2.38 2.42 2.45 4/181 29128
/proc/meminfo: memFree=31377332/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=132804 CPUtime=1.49 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 44334 0 0 0 144 5 0 0 25 0 1 0 516669095 135991296 26827 33554432000 4194304 5787044 140736718771888 18446744073709551615 4391211 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29126/statm: 33201 26827 337 389 0 28951 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141504

[startup+3.10121 s]
/proc/loadavg: 2.38 2.42 2.45 4/181 29128
/proc/meminfo: memFree=31349060/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=154520 CPUtime=3.09 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 49275 0 0 0 304 5 0 0 25 0 1 0 516669095 158228480 30767 33554432000 4194304 5787044 140736718771888 18446744073709551615 4278498 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29126/statm: 38630 30767 338 389 0 34380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163220

[startup+6.30053 s]
/proc/loadavg: 2.35 2.41 2.45 3/181 29128
/proc/meminfo: memFree=31341284/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=177960 CPUtime=6.29 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 55135 0 0 0 623 6 0 0 25 0 1 0 516669095 182231040 36627 33554432000 4194304 5787044 140736718771888 18446744073709551615 4330721 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29126/statm: 44490 36627 340 389 0 40240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 186660

[startup+12.7004 s]
/proc/loadavg: 2.40 2.42 2.45 5/182 29129
/proc/meminfo: memFree=31302608/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=267788 CPUtime=16.11 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 58649 0 0 0 1514 97 0 0 25 0 2 0 516669095 274214912 40141 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29126/statm: 66947 40141 390 389 0 62697 0
[pid=29126/tid=29129] ppid=29125 vsize=267788 CPUtime=3.42 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 243 0 0 0 299 43 0 0 16 0 2 0 516669740 274214912 40141 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 18446604453918988480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 16.11
Current children cumulated vsize (KiB) 276488

[startup+25.5012 s]
/proc/loadavg: 2.53 2.45 2.46 4/182 29130
/proc/meminfo: memFree=31297516/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=268164 CPUtime=37.67 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 58956 0 0 0 3368 399 0 0 25 0 2 0 516669095 274599936 40448 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 67041 40448 390 389 0 62791 0
[pid=29126/tid=29129] ppid=29125 vsize=268164 CPUtime=12.17 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 272 0 0 0 890 327 0 0 15 0 2 0 516669740 274599936 40448 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.67
Current children cumulated vsize (KiB) 276864

[startup+51.1008 s]
/proc/loadavg: 2.97 2.56 2.49 4/182 29131
/proc/meminfo: memFree=31288988/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=268164 CPUtime=80.62 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 59542 0 0 0 7047 1015 0 0 18 0 2 0 516669095 274599936 41034 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 67041 41034 390 389 0 62791 0
[pid=29126/tid=29129] ppid=29125 vsize=268164 CPUtime=29.52 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) S 29125 29125 27293 0 -1 4202560 288 0 0 0 2038 914 0 0 15 0 2 0 516669740 274599936 41034 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 18446604453918988480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 80.62
Current children cumulated vsize (KiB) 276864

[startup+102.307 s]
/proc/loadavg: 3.28 2.70 2.54 3/182 29161
/proc/meminfo: memFree=31284156/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=271124 CPUtime=156.14 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 60476 0 0 0 13706 1908 0 0 25 0 2 0 516669095 277630976 41968 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 67781 41968 390 389 0 63531 0
[pid=29126/tid=29129] ppid=29125 vsize=271124 CPUtime=53.84 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 370 0 0 0 3690 1694 0 0 15 0 2 0 516669740 277630976 41968 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 156.14
Current children cumulated vsize (KiB) 279824

[startup+162.301 s]
/proc/loadavg: 3.39 2.83 2.60 5/182 29162
/proc/meminfo: memFree=31267480/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=278988 CPUtime=256.4 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 62881 0 0 0 22549 3091 0 0 25 0 2 0 516669095 285683712 44349 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 69747 44349 390 389 0 65497 0
[pid=29126/tid=29129] ppid=29125 vsize=278988 CPUtime=94.1 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 591 0 0 0 6595 2815 0 0 15 0 2 0 516669740 285683712 44349 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 256.4
Current children cumulated vsize (KiB) 287688

[startup+222.301 s]
/proc/loadavg: 3.44 2.95 2.65 4/182 29164
/proc/meminfo: memFree=31234580/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=285444 CPUtime=356.08 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 67635 0 0 0 31497 4111 0 0 22 0 2 0 516669095 292294656 49056 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 71361 49056 390 389 0 67111 0
[pid=29126/tid=29129] ppid=29125 vsize=285444 CPUtime=133.78 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 775 0 0 0 9603 3775 0 0 15 0 2 0 516669740 292294656 49056 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 356.08
Current children cumulated vsize (KiB) 294144

[startup+282.301 s]
/proc/loadavg: 3.59 3.08 2.71 4/182 29166
/proc/meminfo: memFree=31222124/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=289272 CPUtime=455.87 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 69143 0 0 0 40525 5062 0 0 25 0 2 0 516669095 296214528 50467 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 72318 50467 390 389 0 68068 0
[pid=29126/tid=29129] ppid=29125 vsize=289272 CPUtime=173.56 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 875 0 0 0 12686 4670 0 0 15 0 2 0 516669740 296214528 50467 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 455.87
Current children cumulated vsize (KiB) 297972

[startup+342.301 s]
/proc/loadavg: 3.75 3.21 2.78 5/182 29167

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

[pid=29126] ppid=29125 vsize=405044 CPUtime=1155.86 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 96774 0 0 0 105340 10246 0 0 25 0 2 0 516669095 414765056 77671 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 101261 77671 390 389 0 97011 0
[pid=29126/tid=29129] ppid=29125 vsize=405044 CPUtime=453.57 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1363 0 0 0 36160 9197 0 0 15 0 2 0 516669740 414765056 77671 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1155.86
Current children cumulated vsize (KiB) 413744

[startup+762.307 s]
/proc/loadavg: 3.69 3.49 3.05 5/182 29207
/proc/meminfo: memFree=31136144/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=410064 CPUtime=1258.16 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 101548 0 0 0 114925 10891 0 0 25 0 2 0 516669095 419905536 82445 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 102516 82445 390 389 0 98266 0
[pid=29126/tid=29129] ppid=29125 vsize=410064 CPUtime=495.86 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) S 29125 29125 27293 0 -1 4202560 1622 0 0 0 39787 9799 0 0 15 0 2 0 516669740 419905536 82445 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 18446604453918988480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1258.16
Current children cumulated vsize (KiB) 418764

[startup+822.301 s]
/proc/loadavg: 3.64 3.51 3.08 5/182 29209
/proc/meminfo: memFree=31115388/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=410064 CPUtime=1349.42 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 102700 0 0 0 123477 11465 0 0 25 0 2 0 516669095 419905536 83116 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 102516 83116 390 389 0 98266 0
[pid=29126/tid=29129] ppid=29125 vsize=410064 CPUtime=527.13 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1622 0 0 0 42414 10299 0 0 15 0 2 0 516669740 419905536 83116 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1349.42
Current children cumulated vsize (KiB) 418764

[startup+882.301 s]
/proc/loadavg: 3.76 3.56 3.12 4/182 29211
/proc/meminfo: memFree=31087672/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=410064 CPUtime=1452.04 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 105153 0 0 0 133072 12132 0 0 25 0 2 0 516669095 419905536 85569 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 102516 85569 390 389 0 98266 0
[pid=29126/tid=29129] ppid=29125 vsize=410064 CPUtime=569.75 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1622 0 0 0 46053 10922 0 0 15 0 2 0 516669740 419905536 85569 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1452.04
Current children cumulated vsize (KiB) 418764

[startup+942.301 s]
/proc/loadavg: 3.83 3.61 3.17 5/182 29212
/proc/meminfo: memFree=31066920/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=475600 CPUtime=1555.25 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 110309 0 0 0 142752 12773 0 0 25 0 2 0 516669095 487014400 90725 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 118900 90725 390 389 0 114650 0
[pid=29126/tid=29129] ppid=29125 vsize=475600 CPUtime=612.97 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1622 0 0 0 49780 11517 0 0 15 0 2 0 516669740 487014400 90725 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1555.25
Current children cumulated vsize (KiB) 484300

[startup+1002.3 s]
/proc/loadavg: 3.67 3.60 3.19 5/182 29214
/proc/meminfo: memFree=31014412/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=475600 CPUtime=1659.11 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 117882 0 0 0 152564 13347 0 0 25 0 2 0 516669095 487014400 98298 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 118900 98298 390 389 0 114650 0
[pid=29126/tid=29129] ppid=29125 vsize=475600 CPUtime=656.82 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1622 0 0 0 53639 12043 0 0 15 0 2 0 516669740 487014400 98298 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1659.11
Current children cumulated vsize (KiB) 484300

[startup+1062.3 s]
/proc/loadavg: 3.59 3.58 3.20 4/182 29215
/proc/meminfo: memFree=30997608/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=475600 CPUtime=1761.52 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 122551 0 0 0 162226 13926 0 0 25 0 2 0 516669095 487014400 102477 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 118900 102477 390 389 0 114650 0
[pid=29126/tid=29129] ppid=29125 vsize=475600 CPUtime=699.22 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1622 0 0 0 57346 12576 0 0 15 0 2 0 516669740 487014400 102477 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1761.52
Current children cumulated vsize (KiB) 484300

[startup+1122.3 s]
/proc/loadavg: 3.72 3.61 3.23 4/182 29217
/proc/meminfo: memFree=30982184/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=475600 CPUtime=1864.6 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 122552 0 0 0 171921 14539 0 0 25 0 2 0 516669095 487014400 102478 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 118900 102478 390 389 0 114650 0
[pid=29126/tid=29129] ppid=29125 vsize=475600 CPUtime=742.31 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1622 0 0 0 61084 13147 0 0 15 0 2 0 516669740 487014400 102478 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1864.6
Current children cumulated vsize (KiB) 484300

[startup+1182.3 s]
/proc/loadavg: 3.48 3.56 3.24 4/182 29219
/proc/meminfo: memFree=30963152/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=481144 CPUtime=1967.9 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 123944 0 0 0 181685 15105 0 0 25 0 2 0 516669095 492691456 103870 33554432000 4194304 5787044 140736718771888 18446744073709551615 5531818 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29126/statm: 120286 103870 390 389 0 116036 0
[pid=29126/tid=29129] ppid=29125 vsize=481144 CPUtime=785.61 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1622 0 0 0 64887 13674 0 0 15 0 2 0 516669740 492691456 103870 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1967.9
Current children cumulated vsize (KiB) 489844

[startup+1242.3 s]
/proc/loadavg: 3.61 3.57 3.26 5/182 29220
/proc/meminfo: memFree=30942028/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=501892 CPUtime=2071.58 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 129147 0 0 0 191507 15651 0 0 25 0 2 0 516669095 513937408 109073 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 125473 109073 390 389 0 121223 0
[pid=29126/tid=29129] ppid=29125 vsize=501892 CPUtime=829.3 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1659 0 0 0 68749 14181 0 0 18 0 2 0 516669740 513937408 109073 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2071.58
Current children cumulated vsize (KiB) 510592



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.65 3.58 3.28 5/182 29222
/proc/meminfo: memFree=30918052/32950928 swapFree=67111404/67111528
[pid=29125] ppid=29123 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29125/stat : 29125 (prissup.sh) S 29123 29125 27293 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 516669095 8908800 251 33554432000 4194304 4922060 140737041431344 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29125/statm: 2175 251 211 178 0 68 0
[pid=29126] ppid=29125 vsize=523528 CPUtime=2153.43 cores=0,2,4,6
/proc/29126/stat : 29126 (priss) R 29125 29125 27293 0 -1 4202496 134839 0 0 0 199337 16006 0 0 25 0 2 0 516669095 536092672 114765 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29126/statm: 130882 114765 390 389 0 126632 0
[pid=29126/tid=29129] ppid=29125 vsize=523528 CPUtime=853.45 cores=0,2,4,6
/proc/29126/task/29129/stat : 29129 (priss) R 29125 29125 27293 0 -1 4202560 1843 0 0 0 70917 14428 0 0 16 0 2 0 516669740 536092672 114765 33554432000 4194304 5787044 140736718771888 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2153.43
Current children cumulated vsize (KiB) 532228

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 29125 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 2153.43
#
# 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): 2153.43
CPU user time (s): 1993.37
CPU system time (s): 160.06
CPU usage (%): 165.646
Max. virtual memory (cumulated for all children) (KiB): 532228

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= 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.31065 second user time and 4.78427 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 06:18:23
IDJOB=3288283
IDBENCH=82493
IDSOLVER=1601
FILE ID=node120/3288283-1304050703
RUNJOBID= node120-1304044139-28489
PBS_JOBID= 13170379
Free space on /tmp= 72060 MiB

SOLVER NAME= priss UP
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
COMMAND LINE= DIR/prissup.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288283-1304050703/watcher-3288283-1304050703 -o /tmp/evaluation-result-3288283-1304050703/solver-3288283-1304050703 -C 4800 -W 1300 -M 15500  HOME/prissup.sh HOME HOME/instance-3288283-1304050703.cnf 1674250775 4800 15500 4

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

MD5SUM BENCH= 7886cd26d6e0801ea382a1ffd6224023
RANDOM SEED=1674250775

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:      31488236 kB
Buffers:        424044 kB
Cached:         533548 kB
SwapCached:          8 kB
Active:         448940 kB
Inactive:       653808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31488236 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           19052 kB
Writeback:           0 kB
AnonPages:      145372 kB
Mapped:          15524 kB
Slab:           295896 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   294164 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= 72060 MiB
End job on node120 at 2011-04-29 06:40:05