Trace number 3299884

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
claspmt 2.0-R4095UNSAT 1258.21 315.639

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark505.23
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...096650/instance-3299884-1304096650.cnf
0.39/0.44	c Solving...
1258.16/315.63	s UNSATISFIABLE
1258.16/315.63	
1258.16/315.63	c Models        : 0     
1258.16/315.63	c Time          : 315.597s (Solving: 315.15s 1st Model: 0.00s Unsat: 315.15s)
1258.16/315.63	c CPU Time      : 1258.160s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3299884-1304096650/watcher-3299884-1304096650 -o /tmp/evaluation-result-3299884-1304096650/solver-3299884-1304096650 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299884-1304096650.cnf 

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: 4.52 6.66 7.10 2/177 6639
/proc/meminfo: memFree=19701976/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=22432 CPUtime=0 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 958 0 0 0 0 0 0 0 23 0 1 0 521264752 22970368 835 33554432000 4194304 4964704 140735926987408 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6639/statm: 5608 836 385 189 0 482 0

[startup+0.034787 s]
/proc/loadavg: 4.52 6.66 7.10 2/177 6639
/proc/meminfo: memFree=19701976/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=27420 CPUtime=0.03 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 2543 0 0 0 3 0 0 0 23 0 1 0 521264752 28078080 2064 33554432000 4194304 4964704 140735926987408 18446744073709551615 237278576395 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6639/statm: 6855 2066 396 189 0 1729 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27420

[startup+0.100774 s]
/proc/loadavg: 4.52 6.66 7.10 2/177 6639
/proc/meminfo: memFree=19701976/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=30740 CPUtime=0.09 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 3390 0 0 0 9 0 0 0 23 0 1 0 521264752 31477760 2911 33554432000 4194304 4964704 140735926987408 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6639/statm: 7685 2911 398 189 0 2559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30740

[startup+0.300736 s]
/proc/loadavg: 4.52 6.66 7.10 2/177 6639
/proc/meminfo: memFree=19701976/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=30740 CPUtime=0.29 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 3390 0 0 0 29 0 0 0 25 0 1 0 521264752 31477760 2911 33554432000 4194304 4964704 140735926987408 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6639/statm: 7685 2911 398 189 0 2559 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30740

[startup+0.934687 s]
/proc/loadavg: 4.52 6.66 7.10 2/177 6639
/proc/meminfo: memFree=19701976/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=182384 CPUtime=2.35 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 9284 0 0 0 232 3 0 0 25 0 4 0 521264752 186761216 8523 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 45596 8523 458 189 0 39945 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 182384

[startup+1.50053 s]
/proc/loadavg: 4.52 6.66 7.10 6/181 6643
/proc/meminfo: memFree=19666532/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=184132 CPUtime=4.6 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 10603 0 0 0 457 3 0 0 25 0 4 0 521264752 188551168 9842 33554432000 4194304 4964704 140735926987408 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 46033 9842 458 189 0 40382 0
[pid=6639/tid=6641] ppid=6637 vsize=184132 CPUtime=1.03 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 1075 0 0 0 103 0 0 0 25 0 4 0 521264797 188551168 9842 33554432000 4194304 4964704 140735926987408 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=184132 CPUtime=1.03 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 2416 0 0 0 103 0 0 0 19 0 4 0 521264797 188551168 9842 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=184132 CPUtime=1.04 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 2056 0 0 0 103 1 0 0 19 0 4 0 521264797 188551168 9842 33554432000 4194304 4964704 140735926987408 18446744073709551615 4456559 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 184132

[startup+3.10025 s]
/proc/loadavg: 4.52 6.66 7.10 6/181 6643
/proc/meminfo: memFree=19657480/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=188260 CPUtime=10.99 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 13134 0 0 0 1095 4 0 0 25 0 4 0 521264752 192778240 12373 33554432000 4194304 4964704 140735926987408 18446744073709551615 4660342 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 47065 12373 458 189 0 41414 0
[pid=6639/tid=6641] ppid=6637 vsize=188260 CPUtime=2.63 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 1542 0 0 0 263 0 0 0 25 0 4 0 521264797 192778240 12373 33554432000 4194304 4964704 140735926987408 18446744073709551615 4320953 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=188260 CPUtime=2.62 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 3414 0 0 0 262 0 0 0 23 0 4 0 521264797 192778240 12373 33554432000 4194304 4964704 140735926987408 18446744073709551615 4321182 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=188260 CPUtime=2.63 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 2686 0 0 0 262 1 0 0 22 0 4 0 521264797 192778240 12373 33554432000 4194304 4964704 140735926987408 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 188260

[startup+6.30068 s]
/proc/loadavg: 4.56 6.63 7.08 6/181 6643
/proc/meminfo: memFree=19643964/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=191628 CPUtime=23.78 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 15994 0 0 0 2372 6 0 0 25 0 4 0 521264752 196227072 15233 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 47907 15233 460 189 0 42256 0
[pid=6639/tid=6641] ppid=6637 vsize=191628 CPUtime=5.83 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 2052 0 0 0 582 1 0 0 25 0 4 0 521264797 196227072 15233 33554432000 4194304 4964704 140735926987408 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=191628 CPUtime=5.81 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 4443 0 0 0 580 1 0 0 25 0 4 0 521264797 196227072 15233 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=191628 CPUtime=5.83 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 3417 0 0 0 582 1 0 0 25 0 4 0 521264797 196227072 15233 33554432000 4194304 4964704 140735926987408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.78
Current children cumulated vsize (KiB) 191628

[startup+12.7005 s]
/proc/loadavg: 4.59 6.61 7.07 6/181 6643
/proc/meminfo: memFree=19628660/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=195900 CPUtime=49.34 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 19359 0 0 0 4926 8 0 0 25 0 4 0 521264752 200601600 18598 33554432000 4194304 4964704 140735926987408 18446744073709551615 4659143 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 48975 18598 460 189 0 43324 0
[pid=6639/tid=6641] ppid=6637 vsize=195900 CPUtime=12.23 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 2655 0 0 0 1222 1 0 0 25 0 4 0 521264797 200601600 18598 33554432000 4194304 4964704 140735926987408 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=195900 CPUtime=12.18 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 5918 0 0 0 1216 2 0 0 25 0 4 0 521264797 200601600 18598 33554432000 4194304 4964704 140735926987408 18446744073709551615 4669200 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=195900 CPUtime=12.24 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 4018 0 0 0 1222 2 0 0 25 0 4 0 521264797 200601600 18598 33554432000 4194304 4964704 140735926987408 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (KiB) 195900

[startup+25.5003 s]
/proc/loadavg: 4.68 6.53 7.04 6/181 6644
/proc/meminfo: memFree=19607048/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=205060 CPUtime=100.48 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 24734 0 0 0 10037 11 0 0 25 0 4 0 521264752 209981440 23973 33554432000 4194304 4964704 140735926987408 18446744073709551615 4627365 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 51265 23973 460 189 0 45614 0
[pid=6639/tid=6641] ppid=6637 vsize=205060 CPUtime=25.03 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 3875 0 0 0 2501 2 0 0 25 0 4 0 521264797 209981440 23973 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=205060 CPUtime=24.91 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 8006 0 0 0 2488 3 0 0 25 0 4 0 521264797 209981440 23973 33554432000 4194304 4964704 140735926987408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=205060 CPUtime=25.04 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 5015 0 0 0 2502 2 0 0 25 0 4 0 521264797 209981440 23973 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.48
Current children cumulated vsize (KiB) 205060

[startup+51.1007 s]
/proc/loadavg: 5.45 6.55 7.03 9/184 6647
/proc/meminfo: memFree=19288336/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=214432 CPUtime=202.73 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 32131 0 0 0 20256 17 0 0 25 0 4 0 521264752 219578368 31099 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 53608 31099 460 189 0 47957 0
[pid=6639/tid=6641] ppid=6637 vsize=214432 CPUtime=50.63 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 5894 0 0 0 5059 4 0 0 25 0 4 0 521264797 219578368 31099 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=214432 CPUtime=50.36 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 11181 0 0 0 5032 4 0 0 25 0 4 0 521264797 219578368 31099 33554432000 4194304 4964704 140735926987408 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=214432 CPUtime=50.64 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 6100 0 0 0 5060 4 0 0 25 0 4 0 521264797 219578368 31099 33554432000 4194304 4964704 140735926987408 18446744073709551615 4363491 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.73
Current children cumulated vsize (KiB) 214432

[startup+102.301 s]
/proc/loadavg: 6.94 6.79 7.09 9/184 6649
/proc/meminfo: memFree=19047692/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=228928 CPUtime=407.23 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 42256 0 0 0 40699 24 0 0 25 0 4 0 521264752 234422272 40764 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670298 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 57232 40764 460 189 0 51581 0
[pid=6639/tid=6641] ppid=6637 vsize=228928 CPUtime=101.81 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 7838 0 0 0 10176 5 0 0 25 0 4 0 521264797 234422272 40764 33554432000 4194304 4964704 140735926987408 18446744073709551615 4669258 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=228928 CPUtime=101.28 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 15297 0 0 0 10122 6 0 0 25 0 4 0 521264797 234422272 40764 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=228928 CPUtime=101.84 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 8008 0 0 0 10179 5 0 0 25 0 4 0 521264797 234422272 40764 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 228928

[startup+162.301 s]
/proc/loadavg: 7.61 7.00 7.14 9/184 6650
/proc/meminfo: memFree=18893372/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=302988 CPUtime=646.9 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 50336 0 0 0 64658 32 0 0 25 0 4 0 521264752 310259712 48734 33554432000 4194304 4964704 140735926987408 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 75747 48734 460 189 0 70096 0
[pid=6639/tid=6641] ppid=6637 vsize=302988 CPUtime=161.81 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 9835 0 0 0 16173 8 0 0 25 0 4 0 521264797 310259712 48734 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=302988 CPUtime=160.96 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 17224 0 0 0 16088 8 0 0 25 0 4 0 521264797 310259712 48734 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=302988 CPUtime=161.83 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 9934 0 0 0 16176 7 0 0 25 0 4 0 521264797 310259712 48734 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 646.9
Current children cumulated vsize (KiB) 302988

[startup+222.3 s]
/proc/loadavg: 7.90 7.20 7.20 9/184 6652
/proc/meminfo: memFree=18744208/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=371800 CPUtime=886.56 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 53422 0 0 0 88620 36 0 0 25 0 4 0 521264752 380723200 51724 33554432000 4194304 4964704 140735926987408 18446744073709551615 4669258 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 92950 51724 460 189 0 87299 0
[pid=6639/tid=6641] ppid=6637 vsize=371800 CPUtime=221.8 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 10489 0 0 0 22172 8 0 0 25 0 4 0 521264797 380723200 51724 33554432000 4194304 4964704 140735926987408 18446744073709551615 4342154 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=371800 CPUtime=220.63 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 17623 0 0 0 22055 8 0 0 25 0 4 0 521264797 380723200 51724 33554432000 4194304 4964704 140735926987408 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=371800 CPUtime=221.84 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 10473 0 0 0 22176 8 0 0 25 0 4 0 521264797 380723200 51724 33554432000 4194304 4964704 140735926987408 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 886.56
Current children cumulated vsize (KiB) 371800

[startup+282.301 s]
/proc/loadavg: 8.06 7.37 7.25 9/184 6654
/proc/meminfo: memFree=18635124/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=373412 CPUtime=1126.22 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 54827 0 0 0 112585 37 0 0 25 0 4 0 521264752 382373888 53063 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670080 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 93353 53063 460 189 0 87702 0
[pid=6639/tid=6641] ppid=6637 vsize=373412 CPUtime=281.8 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 10809 0 0 0 28172 8 0 0 25 0 4 0 521264797 382373888 53063 33554432000 4194304 4964704 140735926987408 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=373412 CPUtime=280.3 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 18470 0 0 0 28022 8 0 0 25 0 4 0 521264797 382373888 53063 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=373412 CPUtime=281.83 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 10668 0 0 0 28175 8 0 0 25 0 4 0 521264797 382373888 53063 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1126.22
Current children cumulated vsize (KiB) 373412

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

[startup+294.6 s]
/proc/loadavg: 8.12 7.42 7.27 9/184 6654
/proc/meminfo: memFree=18620868/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=374052 CPUtime=1175.36 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 55348 0 0 0 117499 37 0 0 25 0 4 0 521264752 383029248 53569 33554432000 4194304 4964704 140735926987408 18446744073709551615 4669309 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 93513 53569 460 189 0 87862 0
[pid=6639/tid=6641] ppid=6637 vsize=374052 CPUtime=294.1 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 10864 0 0 0 29402 8 0 0 25 0 4 0 521264797 383029248 53569 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=374052 CPUtime=292.54 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 18779 0 0 0 29246 8 0 0 25 0 4 0 521264797 383029248 53569 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=374052 CPUtime=294.13 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 10785 0 0 0 29405 8 0 0 25 0 4 0 521264797 383029248 53569 33554432000 4194304 4964704 140735926987408 18446744073709551615 4669200 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1175.36
Current children cumulated vsize (KiB) 374052

[startup+307.401 s]
/proc/loadavg: 8.10 7.44 7.28 9/184 6654
/proc/meminfo: memFree=18597804/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=376456 CPUtime=1226.49 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 56307 0 0 0 122611 38 0 0 25 0 4 0 521264752 385490944 54528 33554432000 4194304 4964704 140735926987408 18446744073709551615 4669309 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 94114 54528 460 189 0 88463 0
[pid=6639/tid=6641] ppid=6637 vsize=376456 CPUtime=306.9 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 11259 0 0 0 30682 8 0 0 25 0 4 0 521264797 385490944 54528 33554432000 4194304 4964704 140735926987408 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=376456 CPUtime=305.27 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 19046 0 0 0 30519 8 0 0 25 0 4 0 521264797 385490944 54528 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=376456 CPUtime=306.92 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 10794 0 0 0 30684 8 0 0 25 0 4 0 521264797 385490944 54528 33554432000 4194304 4964704 140735926987408 18446744073709551615 4660369 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1226.49
Current children cumulated vsize (KiB) 376456

[startup+310.601 s]
/proc/loadavg: 8.17 7.46 7.29 9/184 6654
/proc/meminfo: memFree=18590612/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=377072 CPUtime=1239.27 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 56471 0 0 0 123889 38 0 0 25 0 4 0 521264752 386121728 54692 33554432000 4194304 4964704 140735926987408 18446744073709551615 4647742 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 94268 54692 460 189 0 88617 0
[pid=6639/tid=6641] ppid=6637 vsize=377072 CPUtime=310.09 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 11324 0 0 0 31001 8 0 0 25 0 4 0 521264797 386121728 54692 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=377072 CPUtime=308.45 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 19145 0 0 0 30837 8 0 0 25 0 4 0 521264797 386121728 54692 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=377072 CPUtime=310.12 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 10794 0 0 0 31004 8 0 0 25 0 4 0 521264797 386121728 54692 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1239.27
Current children cumulated vsize (KiB) 377072

[startup+313.807 s]
/proc/loadavg: 8.16 7.47 7.29 9/184 6654
/proc/meminfo: memFree=18584412/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=377472 CPUtime=1252.07 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 56589 0 0 0 125169 38 0 0 25 0 4 0 521264752 386531328 54810 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 94368 54810 460 189 0 88717 0
[pid=6639/tid=6641] ppid=6637 vsize=377472 CPUtime=313.3 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 11342 0 0 0 31322 8 0 0 25 0 4 0 521264797 386531328 54810 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=377472 CPUtime=311.63 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 19200 0 0 0 31155 8 0 0 25 0 4 0 521264797 386531328 54810 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=377472 CPUtime=313.33 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 10839 0 0 0 31325 8 0 0 25 0 4 0 521264797 386531328 54810 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1252.07
Current children cumulated vsize (KiB) 377472

[startup+314.601 s]
/proc/loadavg: 8.16 7.47 7.29 9/184 6654
/proc/meminfo: memFree=18584412/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=377472 CPUtime=1255.25 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 56591 0 0 0 125487 38 0 0 25 0 4 0 521264752 386531328 54812 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 94368 54812 460 189 0 88717 0
[pid=6639/tid=6641] ppid=6637 vsize=377472 CPUtime=314.09 cores=1,3,5,7
/proc/6639/task/6641/stat : 6641 (claspmt) R 6637 6639 6445 0 -1 4202560 11343 0 0 0 31401 8 0 0 25 0 4 0 521264797 386531328 54812 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6639/tid=6642] ppid=6637 vsize=377472 CPUtime=312.43 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 19200 0 0 0 31235 8 0 0 25 0 4 0 521264797 386531328 54812 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6639/tid=6643] ppid=6637 vsize=377472 CPUtime=314.12 cores=1,3,5,7
/proc/6639/task/6643/stat : 6643 (claspmt) R 6637 6639 6445 0 -1 4202560 10840 0 0 0 31404 8 0 0 25 0 4 0 521264797 386531328 54812 33554432000 4194304 4964704 140735926987408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1255.25
Current children cumulated vsize (KiB) 377472

[startup+315.401 s]
/proc/loadavg: 8.16 7.47 7.29 9/184 6654
/proc/meminfo: memFree=18582180/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=377472 CPUtime=1257.96 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) S 6637 6639 6445 0 -1 4202496 56592 0 0 0 125757 39 0 0 25 0 2 0 521264752 386531328 54813 33554432000 4194304 4964704 140735926987408 18446744073709551615 237290682341 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/6639/statm: 94368 54813 461 189 0 88717 0
[pid=6639/tid=6642] ppid=6637 vsize=377472 CPUtime=313.23 cores=1,3,5,7
/proc/6639/task/6642/stat : 6642 (claspmt) R 6637 6639 6445 0 -1 4202560 19200 0 0 0 31314 9 0 0 25 0 2 0 521264797 386531328 54813 33554432000 4194304 4964704 140735926987408 18446744073709551615 4644840 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1257.96
Current children cumulated vsize (KiB) 377472

[startup+315.601 s]
/proc/loadavg: 8.16 7.47 7.29 9/184 6654
/proc/meminfo: memFree=18582180/32950904 swapFree=67082284/67111528
[pid=6639] ppid=6637 vsize=377472 CPUtime=1258.16 cores=1,3,5,7
/proc/6639/stat : 6639 (claspmt) R 6637 6639 6445 0 -1 4202496 56601 0 0 0 125777 39 0 0 22 0 1 0 521264752 386531328 54822 33554432000 4194304 4964704 140735926987408 18446744073709551615 237278879376 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6639/statm: 94368 54822 470 189 0 88717 0
Current children cumulated CPU time (s) 1258.16
Current children cumulated vsize (KiB) 377472

Child status: 20
Real time (s): 315.639
CPU time (s): 1258.21
CPU user time (s): 1257.8
CPU system time (s): 0.408937
CPU usage (%): 398.623
Max. virtual memory (cumulated for all children) (KiB): 377472

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

runsolver used 0.488925 second user time and 1.23381 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 19:04:10
IDJOB=3299884
IDBENCH=83451
IDSOLVER=1683
FILE ID=node121/3299884-1304096650
RUNJOBID= node121-1304096537-6464
PBS_JOBID= 13170609
Free space on /tmp= 72588 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3299884-1304096650/watcher-3299884-1304096650 -o /tmp/evaluation-result-3299884-1304096650/solver-3299884-1304096650 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299884-1304096650.cnf

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

MD5SUM BENCH= ade81e5508101352b3d942708b201606
RANDOM SEED=1512211502

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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:     32950904 kB
MemFree:      19702132 kB
Buffers:       2183588 kB
Cached:       10340076 kB
SwapCached:       2776 kB
Active:        9357536 kB
Inactive:      3371852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19702132 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           56904 kB
Writeback:          40 kB
AnonPages:      203700 kB
Mapped:          14584 kB
Slab:           456116 kB
PageTables:       5076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   381436 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= 72588 MiB
End job on node121 at 2011-04-29 19:09:26