Trace number 3288835

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

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
MD5SUM98fee1752ddf8cd7cd77925ecf4bfe6e
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 variables73074
Number of clauses245746
Sum of the clauses size628346
Maximum clause length2232
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2124096
Number of clauses of size 3120415
Number of clauses of size 4350
Number of clauses of size 524
Number of clauses of size over 5860

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: 29122
0.00/0.08	c parsetime: 77850us
0.00/0.08	c parsed 245746 clauses with 73074 variables
2.49/2.50	c preprocessor returned 73074 variables
2.49/2.50	c preprocessing returned UNKNOWN
2.49/2.50	c PP set 2389 variables
2.49/2.50	c pp time: 2405115us (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-3288835-1304051465/watcher-3288835-1304051465 -o /tmp/evaluation-result-3288835-1304051465/solver-3288835-1304051465 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3288835-1304051465.cnf 113629862 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: 3.33 3.35 3.42 2/178 29121
/proc/meminfo: memFree=26567304/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0

[startup+0.0343091 s]
/proc/loadavg: 3.33 3.35 3.42 2/178 29121
/proc/meminfo: memFree=26567304/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100335 s]
/proc/loadavg: 3.33 3.35 3.42 2/178 29121
/proc/meminfo: memFree=26567304/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300308 s]
/proc/loadavg: 3.33 3.35 3.42 2/178 29121
/proc/meminfo: memFree=26567304/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700222 s]
/proc/loadavg: 3.33 3.35 3.42 2/178 29121
/proc/meminfo: memFree=26567304/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50108 s]
/proc/loadavg: 3.33 3.35 3.42 3/180 29123
/proc/meminfo: memFree=26498972/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=73692 CPUtime=1.49 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 16852 0 0 0 147 2 0 0 25 0 1 0 497562000 75460608 13636 33554432000 4194304 5787044 140735934504144 18446744073709551615 4345920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29122/statm: 18423 13636 338 389 0 14173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82392

[startup+3.10074 s]
/proc/loadavg: 3.33 3.35 3.42 4/181 29124
/proc/meminfo: memFree=26480352/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=165016 CPUtime=3.44 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 20901 0 0 0 339 5 0 0 25 0 2 0 497562000 168976384 17685 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 41254 17685 390 389 0 37004 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 173716

[startup+6.3012 s]
/proc/loadavg: 3.38 3.37 3.42 5/182 29125
/proc/meminfo: memFree=26460628/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=165936 CPUtime=8.71 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 21208 0 0 0 851 20 0 0 25 0 2 0 497562000 169918464 17992 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 41484 17992 390 389 0 37234 0
[pid=29122/tid=29125] ppid=29121 vsize=165936 CPUtime=2.41 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 324 0 0 0 234 7 0 0 18 0 2 0 497562252 169918464 17992 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.71
Current children cumulated vsize (KiB) 174636

[startup+12.701 s]
/proc/loadavg: 3.43 3.38 3.42 5/182 29126
/proc/meminfo: memFree=26456304/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=167356 CPUtime=19.24 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 21623 0 0 0 1879 45 0 0 25 0 2 0 497562000 171372544 18407 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 41839 18407 390 389 0 37589 0
[pid=29122/tid=29125] ppid=29121 vsize=167356 CPUtime=6.55 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 412 0 0 0 639 16 0 0 18 0 2 0 497562252 171372544 18407 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19.24
Current children cumulated vsize (KiB) 176056

[startup+25.5007 s]
/proc/loadavg: 3.54 3.40 3.43 4/182 29126
/proc/meminfo: memFree=26439996/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=168676 CPUtime=40.33 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 23535 0 0 0 3943 90 0 0 25 0 2 0 497562000 172724224 20319 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 42169 20319 390 389 0 37919 0
[pid=29122/tid=29125] ppid=29121 vsize=168676 CPUtime=14.83 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) S 29121 29121 25547 0 -1 4202560 476 0 0 0 1451 32 0 0 18 0 2 0 497562252 172724224 20319 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 18446604453956053184 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40.33
Current children cumulated vsize (KiB) 177376

[startup+51.101 s]
/proc/loadavg: 3.49 3.40 3.43 5/182 29127
/proc/meminfo: memFree=26418552/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=171976 CPUtime=82.28 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 26403 0 0 0 8053 175 0 0 25 0 2 0 497562000 176103424 23186 33554432000 4194304 5787044 140735934504144 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 42994 23186 390 389 0 38744 0
[pid=29122/tid=29125] ppid=29121 vsize=171976 CPUtime=31.18 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 487 0 0 0 3055 63 0 0 18 0 2 0 497562252 176103424 23186 33554432000 4194304 5787044 140735934504144 18446744073709551615 5531889 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 82.28
Current children cumulated vsize (KiB) 180676

[startup+102.307 s]
/proc/loadavg: 3.60 3.45 3.44 4/182 29128
/proc/meminfo: memFree=26385296/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=173560 CPUtime=167.24 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 30190 0 0 0 16419 305 0 0 25 0 2 0 497562000 177725440 26917 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 43390 26917 390 389 0 39140 0
[pid=29122/tid=29125] ppid=29121 vsize=173560 CPUtime=64.92 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 525 0 0 0 6381 111 0 0 18 0 2 0 497562252 177725440 26917 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 167.24
Current children cumulated vsize (KiB) 182260

[startup+162.3 s]
/proc/loadavg: 3.72 3.50 3.46 5/182 29130
/proc/meminfo: memFree=26348704/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=180848 CPUtime=267.04 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 34268 0 0 0 26265 439 0 0 25 0 2 0 497562000 185188352 30948 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 45212 30948 390 389 0 40962 0
[pid=29122/tid=29125] ppid=29121 vsize=180848 CPUtime=104.73 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 693 0 0 0 10312 161 0 0 18 0 2 0 497562252 185188352 30948 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 267.04
Current children cumulated vsize (KiB) 189548

[startup+222.3 s]
/proc/loadavg: 3.57 3.50 3.46 4/182 29131
/proc/meminfo: memFree=26303180/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=199136 CPUtime=367.91 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 39493 0 0 0 36241 550 0 0 25 0 2 0 497562000 203915264 36173 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 49784 36173 390 389 0 45534 0
[pid=29122/tid=29125] ppid=29121 vsize=199136 CPUtime=145.61 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 864 0 0 0 14357 204 0 0 18 0 2 0 497562252 203915264 36173 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 367.91
Current children cumulated vsize (KiB) 207836

[startup+282.3 s]
/proc/loadavg: 3.44 3.48 3.45 5/182 29133
/proc/meminfo: memFree=26241156/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=232188 CPUtime=469.21 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 47779 0 0 0 46270 651 0 0 25 0 2 0 497562000 237760512 44459 33554432000 4194304 5787044 140735934504144 18446744073709551615 5527227 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 58047 44459 390 389 0 53797 0
[pid=29122/tid=29125] ppid=29121 vsize=232188 CPUtime=186.9 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 873 0 0 0 18449 241 0 0 18 0 2 0 497562252 237760512 44459 33554432000 4194304 5787044 140735934504144 18446744073709551615 5528432 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 469.21
Current children cumulated vsize (KiB) 240888


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

[pid=29122] ppid=29121 vsize=315968 CPUtime=1188.61 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 69069 0 0 0 117667 1194 0 0 25 0 2 0 497562000 323551232 65547 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 78992 65547 390 389 0 74742 0
[pid=29122/tid=29125] ppid=29121 vsize=315968 CPUtime=486.29 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1128 0 0 0 48180 449 0 0 18 0 2 0 497562252 323551232 65547 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1188.61
Current children cumulated vsize (KiB) 324668

[startup+762.307 s]
/proc/loadavg: 3.88 3.72 3.56 5/182 29146
/proc/meminfo: memFree=25979452/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=349680 CPUtime=1294.01 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 77714 0 0 0 128149 1252 0 0 25 0 2 0 497562000 358072320 74192 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 87420 74192 390 389 0 83170 0
[pid=29122/tid=29125] ppid=29121 vsize=349680 CPUtime=531.68 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1334 0 0 0 52699 469 0 0 18 0 2 0 497562252 358072320 74192 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1294.01
Current children cumulated vsize (KiB) 358380

[startup+822.301 s]
/proc/loadavg: 3.86 3.74 3.57 4/182 29147
/proc/meminfo: memFree=25977068/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=352272 CPUtime=1396.1 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 78171 0 0 0 138286 1324 0 0 25 0 2 0 497562000 360726528 74649 33554432000 4194304 5787044 140735934504144 18446744073709551615 5526895 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 88068 74649 390 389 0 83818 0
[pid=29122/tid=29125] ppid=29121 vsize=352272 CPUtime=573.78 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1335 0 0 0 56881 497 0 0 18 0 2 0 497562252 360726528 74649 33554432000 4194304 5787044 140735934504144 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1396.1
Current children cumulated vsize (KiB) 360972

[startup+882.301 s]
/proc/loadavg: 3.66 3.69 3.56 5/182 29149
/proc/meminfo: memFree=25977172/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=352272 CPUtime=1499.49 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 78172 0 0 0 148556 1393 0 0 25 0 2 0 497562000 360726528 74650 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 88068 74650 390 389 0 83818 0
[pid=29122/tid=29125] ppid=29121 vsize=352272 CPUtime=617.16 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1335 0 0 0 61192 524 0 0 18 0 2 0 497562252 360726528 74650 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1499.49
Current children cumulated vsize (KiB) 360972

[startup+942.301 s]
/proc/loadavg: 3.74 3.71 3.57 5/182 29150
/proc/meminfo: memFree=25976644/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=352272 CPUtime=1604.04 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 78180 0 0 0 158945 1459 0 0 25 0 2 0 497562000 360726528 74658 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 88068 74658 390 389 0 83818 0
[pid=29122/tid=29125] ppid=29121 vsize=352272 CPUtime=661.72 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1341 0 0 0 65622 550 0 0 18 0 2 0 497562252 360726528 74658 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1604.04
Current children cumulated vsize (KiB) 360972

[startup+1002.3 s]
/proc/loadavg: 3.75 3.72 3.58 5/182 29152
/proc/meminfo: memFree=25967824/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=352272 CPUtime=1709.22 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 78236 0 0 0 169403 1519 0 0 25 0 2 0 497562000 360726528 74714 33554432000 4194304 5787044 140735934504144 18446744073709551615 4213865 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 88068 74714 390 389 0 83818 0
[pid=29122/tid=29125] ppid=29121 vsize=352272 CPUtime=706.89 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) S 29121 29121 25547 0 -1 4202560 1383 0 0 0 70115 574 0 0 18 0 2 0 497562252 360726528 74714 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 18446604453956053184 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1709.22
Current children cumulated vsize (KiB) 360972

[startup+1062.3 s]
/proc/loadavg: 3.70 3.71 3.58 5/182 29154
/proc/meminfo: memFree=25916316/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=376128 CPUtime=1815.11 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 84365 0 0 0 179935 1576 0 0 25 0 2 0 497562000 385155072 80843 33554432000 4194304 5787044 140735934504144 18446744073709551615 5528056 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 94032 80843 390 389 0 89782 0
[pid=29122/tid=29125] ppid=29121 vsize=376128 CPUtime=752.78 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1491 0 0 0 74683 595 0 0 17 0 2 0 497562252 385155072 80843 33554432000 4194304 5787044 140735934504144 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1815.11
Current children cumulated vsize (KiB) 384828

[startup+1122.3 s]
/proc/loadavg: 3.60 3.68 3.58 5/182 29155
/proc/meminfo: memFree=25854412/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=406648 CPUtime=1921.3 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 92159 0 0 0 190495 1635 0 0 25 0 2 0 497562000 416407552 88637 33554432000 4194304 5787044 140735934504144 18446744073709551615 5527140 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 101662 88637 390 389 0 97412 0
[pid=29122/tid=29125] ppid=29121 vsize=406648 CPUtime=798.96 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) S 29121 29121 25547 0 -1 4202560 1671 0 0 0 79278 618 0 0 18 0 2 0 497562252 416407552 88637 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 18446604453956053184 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1921.3
Current children cumulated vsize (KiB) 415348

[startup+1182.3 s]
/proc/loadavg: 3.62 3.68 3.59 4/182 29157
/proc/meminfo: memFree=25812724/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=430800 CPUtime=2027.66 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 98349 0 0 0 201083 1683 0 0 25 0 2 0 497562000 441139200 94827 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107275119 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 107700 94827 390 389 0 103450 0
[pid=29122/tid=29125] ppid=29121 vsize=430800 CPUtime=845.32 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1837 0 0 0 83896 636 0 0 18 0 2 0 497562252 441139200 94827 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2027.66
Current children cumulated vsize (KiB) 439500

[startup+1242.3 s]
/proc/loadavg: 3.58 3.66 3.58 5/182 29158
/proc/meminfo: memFree=25791996/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=450472 CPUtime=2132.65 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 103361 0 0 0 211528 1737 0 0 25 0 2 0 497562000 461283328 99839 33554432000 4194304 5787044 140735934504144 18446744073709551615 5526883 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 112618 99839 390 389 0 108368 0
[pid=29122/tid=29125] ppid=29121 vsize=450472 CPUtime=890.3 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) R 29121 29121 25547 0 -1 4202560 1920 0 0 0 88373 657 0 0 18 0 2 0 497562252 461283328 99839 33554432000 4194304 5787044 140735934504144 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2132.65
Current children cumulated vsize (KiB) 459172



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.73 3.69 3.60 3/179 29161
/proc/meminfo: memFree=26189664/32951124 swapFree=67111524/67111528
[pid=29121] ppid=29119 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29121/stat : 29121 (prissup.sh) S 29119 29121 25547 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 497561999 8908800 251 33554432000 4194304 4922060 140733749259168 18446744073709551615 228095270021 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/29121/statm: 2175 251 211 178 0 68 0
[pid=29122] ppid=29121 vsize=450472 CPUtime=2232.36 cores=0,2,4,6
/proc/29122/stat : 29122 (priss) R 29121 29121 25547 0 -1 4202496 103361 0 0 0 221433 1803 0 0 25 0 2 0 497562000 461283328 99839 33554432000 4194304 5787044 140735934504144 18446744073709551615 5527140 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29122/statm: 112618 99839 390 389 0 108368 0
[pid=29122/tid=29125] ppid=29121 vsize=450472 CPUtime=932.32 cores=0,2,4,6
/proc/29122/task/29125/stat : 29125 (priss) S 29121 29121 25547 0 -1 4202560 1920 0 0 0 92548 684 0 0 18 0 2 0 497562252 461283328 99839 33554432000 4194304 5787044 140735934504144 18446744073709551615 228107274673 0 0 4096 0 18446604453956053184 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2232.36
Current children cumulated vsize (KiB) 459172

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 29121 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 2232.36
#
# 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): 2232.36
CPU user time (s): 2214.33
CPU system time (s): 18.03
CPU usage (%): 171.718
Max. virtual memory (cumulated for all children) (KiB): 459172

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= 4
involuntary context switches= 2

runsolver used 2.41263 second user time and 4.64629 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 06:31:05
IDJOB=3288835
IDBENCH=83107
IDSOLVER=1601
FILE ID=node142/3288835-1304051465
RUNJOBID= node142-1304048860-28899
PBS_JOBID= 13170374
Free space on /tmp= 71304 MiB

SOLVER NAME= priss UP
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf
COMMAND LINE= DIR/prissup.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288835-1304051465/watcher-3288835-1304051465 -o /tmp/evaluation-result-3288835-1304051465/solver-3288835-1304051465 -C 4800 -W 1300 -M 15500  HOME/prissup.sh HOME HOME/instance-3288835-1304051465.cnf 113629862 4800 15500 4

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

MD5SUM BENCH= 98fee1752ddf8cd7cd77925ecf4bfe6e
RANDOM SEED=113629862

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26567584 kB
Buffers:       1648132 kB
Cached:        4107364 kB
SwapCached:          4 kB
Active:         707408 kB
Inactive:      5137340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26567584 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10896 kB
Writeback:           0 kB
AnonPages:       88476 kB
Mapped:          15252 kB
Slab:           475496 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   232664 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= 71308 MiB
End job on node142 at 2011-04-29 06:52:47