Trace number 3373044

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-R4095-patched (fixed)? (TO) 4800.75 1247.82

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x39.cnf
MD5SUMe7679ca49bb432c9b90305d907365c4e
Bench CategoryCRAFTED (crafted 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 variables3276
Number of clauses628173
Sum of the clauses size2502864
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24914
Number of clauses of size 30
Number of clauses of size 4623259
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...424607/instance-3373044-1305424607.cnf
58.58/58.69	c Solving...
4800.31/1247.42	
4800.31/1247.42	*** INTERRUPTED! ***
4800.31/1247.42	*** Shutting down threads...
4800.72/1247.81	s UNKNOWN
4800.72/1247.81	
4800.72/1247.81	c INTERRUPTED   : 1
4800.72/1247.81	c Models        : 0+    
4800.72/1247.81	c Time          : 1247.426s (Solving: 1188.73s 1st Model: 0.00s Unsat: 0.00s)
4800.72/1247.81	c CPU Time      : 4800.350s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3373044-1305424607/watcher-3373044-1305424607 -o /tmp/evaluation-result-3373044-1305424607/solver-3373044-1305424607 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373044-1305424607.cnf 

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: 7.50 7.99 8.00 3/316 19898
/proc/meminfo: memFree=15596616/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=22044 CPUtime=0 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 819 0 0 0 0 0 0 0 25 0 1 0 732691456 22573056 724 33554432000 4194304 4964800 140734464971968 18446744073709551615 231895151301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 5511 725 385 189 0 385 0

[startup+0.107824 s]
/proc/loadavg: 7.50 7.99 8.00 3/316 19898
/proc/meminfo: memFree=15596616/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=40476 CPUtime=0.1 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 6930 0 0 0 10 0 0 0 25 0 1 0 732691456 41447424 5077 33554432000 4194304 4964800 140734464971968 18446744073709551615 231895151301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 10119 5078 385 189 0 4993 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 40476

[startup+0.200814 s]
/proc/loadavg: 7.50 7.99 8.00 3/316 19898
/proc/meminfo: memFree=15596616/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=56028 CPUtime=0.18 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 11832 0 0 0 18 0 0 0 25 0 1 0 732691456 57372672 9067 33554432000 4194304 4964800 140734464971968 18446744073709551615 231895151301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 14007 9069 385 189 0 8881 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 56028

[startup+0.300787 s]
/proc/loadavg: 7.50 7.99 8.00 3/316 19898
/proc/meminfo: memFree=15596616/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=75848 CPUtime=0.29 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 16723 0 0 0 28 1 0 0 25 0 1 0 732691456 77668352 13927 33554432000 4194304 4964800 140734464971968 18446744073709551615 4618473 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 18962 13928 396 189 0 13836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75848

[startup+0.700713 s]
/proc/loadavg: 7.50 7.99 8.00 3/316 19898
/proc/meminfo: memFree=15596616/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=76640 CPUtime=0.69 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 16980 0 0 0 68 1 0 0 25 0 1 0 732691456 78479360 14184 33554432000 4194304 4964800 140734464971968 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 19160 14184 398 189 0 14034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76640

[startup+1.50056 s]
/proc/loadavg: 7.50 7.99 8.00 3/317 19899
/proc/meminfo: memFree=15538452/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=76640 CPUtime=1.49 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 16980 0 0 0 148 1 0 0 25 0 1 0 732691456 78479360 14184 33554432000 4194304 4964800 140734464971968 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 19160 14184 398 189 0 14034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76640

[startup+3.10027 s]
/proc/loadavg: 7.50 7.99 8.00 3/317 19899
/proc/meminfo: memFree=15533400/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=76640 CPUtime=3.09 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 16980 0 0 0 308 1 0 0 25 0 1 0 732691456 78479360 14184 33554432000 4194304 4964800 140734464971968 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 19160 14184 398 189 0 14034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76640

[startup+6.3006 s]
/proc/loadavg: 7.06 7.89 7.97 3/317 19900
/proc/meminfo: memFree=15524008/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=77964 CPUtime=6.29 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 17326 0 0 0 627 2 0 0 25 0 1 0 732691456 79835136 14530 33554432000 4194304 4964800 140734464971968 18446744073709551615 4600357 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/19898/statm: 19491 14530 399 189 0 14365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77964

[startup+12.7004 s]
/proc/loadavg: 6.82 7.83 7.95 6/320 19903
/proc/meminfo: memFree=15404596/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=89100 CPUtime=12.68 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 20108 0 0 0 1266 2 0 0 25 0 1 0 732691456 91238400 17312 33554432000 4194304 4964800 140734464971968 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 22275 17312 399 189 0 17149 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89100

[startup+25.501 s]
/proc/loadavg: 6.41 7.69 7.90 6/320 19903
/proc/meminfo: memFree=15282564/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=106484 CPUtime=25.48 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 24449 0 0 0 2545 3 0 0 25 0 1 0 732691456 109039616 21653 33554432000 4194304 4964800 140734464971968 18446744073709551615 4600392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19898/statm: 26621 21653 399 189 0 21495 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106484

[startup+51.1012 s]
/proc/loadavg: 6.01 7.49 7.82 6/320 19904
/proc/meminfo: memFree=15167556/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=119872 CPUtime=51.08 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 27797 0 0 0 5105 3 0 0 25 0 1 0 732691456 122748928 25001 33554432000 4194304 4964800 140734464971968 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/19898/statm: 29968 25001 399 189 0 24842 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 119872

[startup+102.301 s]
/proc/loadavg: 7.07 7.53 7.82 9/323 19908
/proc/meminfo: memFree=14516892/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=760608 CPUtime=232.05 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 146635 0 0 0 23146 59 0 0 25 0 4 0 732691456 778862592 142481 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 190152 142481 460 189 0 184501 0
[pid=19898/tid=19905] ppid=19896 vsize=760608 CPUtime=43.06 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 19129 0 0 0 4299 7 0 0 25 0 4 0 732697326 778862592 142484 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=760608 CPUtime=43.5 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 52342 0 0 0 4324 26 0 0 25 0 4 0 732697326 778862592 142484 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=760608 CPUtime=43.51 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 37862 0 0 0 4332 19 0 0 25 0 4 0 732697326 778862592 142484 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 232.05
Current children cumulated vsize (KiB) 760608

[startup+162.3 s]
/proc/loadavg: 7.70 7.63 7.83 9/323 19910
/proc/meminfo: memFree=14255232/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=898100 CPUtime=471.42 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 191766 0 0 0 47042 100 0 0 25 0 4 0 732691456 919654400 187314 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 224525 187314 460 189 0 218874 0
[pid=19898/tid=19905] ppid=19896 vsize=898100 CPUtime=102.46 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 27053 0 0 0 10232 14 0 0 25 0 4 0 732697326 919654400 187314 33554432000 4194304 4964800 140734464971968 18446744073709551615 231895149276 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=898100 CPUtime=103.49 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 82998 0 0 0 10293 56 0 0 25 0 4 0 732697326 919654400 187314 33554432000 4194304 4964800 140734464971968 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=898100 CPUtime=103.51 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 42948 0 0 0 10326 25 0 0 25 0 4 0 732697326 919654400 187314 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 471.42
Current children cumulated vsize (KiB) 898100

[startup+222.312 s]
/proc/loadavg: 7.96 7.72 7.85 9/323 19911
/proc/meminfo: memFree=14134800/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=902528 CPUtime=710.86 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 201844 0 0 0 70977 109 0 0 25 0 4 0 732691456 924188672 197195 33554432000 4194304 4964800 140734464971968 18446744073709551615 4659391 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 225632 197195 460 189 0 219981 0
[pid=19898/tid=19905] ppid=19896 vsize=902528 CPUtime=161.87 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 31226 0 0 0 16171 16 0 0 25 0 4 0 732697326 924188672 197195 33554432000 4194304 4964800 140734464971968 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=902528 CPUtime=163.5 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 87514 0 0 0 16289 61 0 0 25 0 4 0 732697326 924188672 197195 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=902528 CPUtime=163.53 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 43318 0 0 0 16328 25 0 0 25 0 4 0 732697326 924188672 197195 33554432000 4194304 4964800 140734464971968 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 710.86
Current children cumulated vsize (KiB) 902528

[startup+282.301 s]
/proc/loadavg: 8.10 7.80 7.87 9/323 19922
/proc/meminfo: memFree=13987444/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1045060 CPUtime=950.21 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 232848 0 0 0 94883 138 0 0 25 0 4 0 732691456 1070141440 228066 33554432000 4194304 4964800 140734464971968 18446744073709551615 4660165 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 261265 228066 460 189 0 255614 0
[pid=19898/tid=19905] ppid=19896 vsize=1045060 CPUtime=221.26 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 35778 0 0 0 22106 20 0 0 25 0 4 0 732697326 1070141440 228066 33554432000 4194304 4964800 140734464971968 18446744073709551615 4682109 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=1045060 CPUtime=223.48 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 108746 0 0 0 22267 81 0 0 25 0 4 0 732697326 1070141440 228066 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=1045060 CPUtime=223.52 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 47762 0 0 0 22322 30 0 0 25 0 4 0 732697326 1070141440 228066 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 950.21
Current children cumulated vsize (KiB) 1045060

[startup+342.301 s]
/proc/loadavg: 8.44 7.94 7.91 9/323 20397
/proc/meminfo: memFree=13902228/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1179508 CPUtime=1188.96 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 256970 0 0 0 118730 166 0 0 25 0 4 0 732691456 1207816192 251870 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670273 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 294877 251870 460 189 0 289226 0
[pid=19898/tid=19905] ppid=19896 vsize=1179508 CPUtime=280.64 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 37399 0 0 0 28042 22 0 0 25 0 4 0 732697326 1207816192 251870 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=1179508 CPUtime=283.16 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 128242 0 0 0 28211 105 0 0 25 0 4 0 732697326 1207816192 251870 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=1179508 CPUtime=283.44 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 50021 0 0 0 28313 31 0 0 25 0 4 0 732697326 1207816192 251870 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1188.96
Current children cumulated vsize (KiB) 1179508

[startup+402.3 s]
/proc/loadavg: 8.23 7.97 7.91 9/323 20398
/proc/meminfo: memFree=13756532/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1247532 CPUtime=1428.36 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 279674 0 0 0 142647 189 0 0 25 0 4 0 732691456 1277472768 274386 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 311883 274386 460 189 0 306232 0
[pid=19898/tid=19905] ppid=19896 vsize=1247532 CPUtime=340.64 cores=0,2,4,6

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

[startup+822.301 s]
/proc/loadavg: 8.12 8.08 7.97 9/323 20409
/proc/meminfo: memFree=12902932/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1928124 CPUtime=3104.13 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 453895 0 0 0 310034 379 0 0 25 0 4 0 732691456 1974398976 442453 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670363 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 482031 442453 460 189 0 476380 0
[pid=19898/tid=19905] ppid=19896 vsize=1928124 CPUtime=760.64 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 60634 0 0 0 76022 42 0 0 25 0 4 0 732697326 1974398976 442453 33554432000 4194304 4964800 140734464971968 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=1928124 CPUtime=758.39 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280231 0 0 0 75558 281 0 0 25 0 4 0 732697326 1974398976 442453 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=1928124 CPUtime=763.46 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 67755 0 0 0 76298 48 0 0 25 0 4 0 732697326 1974398976 442453 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3104.13
Current children cumulated vsize (KiB) 1928124

[startup+882.311 s]
/proc/loadavg: 8.14 8.09 7.98 9/323 20411
/proc/meminfo: memFree=12876232/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1928716 CPUtime=3343.56 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 455010 0 0 0 333977 379 0 0 25 0 4 0 732691456 1975005184 443568 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 482179 443568 460 189 0 476528 0
[pid=19898/tid=19905] ppid=19896 vsize=1928716 CPUtime=820.65 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 61086 0 0 0 82023 42 0 0 25 0 4 0 732697326 1975005184 443568 33554432000 4194304 4964800 140734464971968 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=1928716 CPUtime=817.79 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280265 0 0 0 81498 281 0 0 25 0 4 0 732697326 1975005184 443568 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=1928716 CPUtime=823.48 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 68254 0 0 0 82300 48 0 0 25 0 4 0 732697326 1975005184 443568 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3343.56
Current children cumulated vsize (KiB) 1928716

[startup+942.3 s]
/proc/loadavg: 8.09 8.09 7.99 9/323 20413
/proc/meminfo: memFree=12825344/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1996176 CPUtime=3582.93 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 463358 0 0 0 357904 389 0 0 25 0 4 0 732691456 2044084224 451559 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 499044 451559 460 189 0 493393 0
[pid=19898/tid=19905] ppid=19896 vsize=1996176 CPUtime=880.64 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 68669 0 0 0 88013 51 0 0 25 0 4 0 732697326 2044084224 451559 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=1996176 CPUtime=877.19 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280294 0 0 0 87438 281 0 0 25 0 4 0 732697326 2044084224 451559 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=1996176 CPUtime=883.47 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 68573 0 0 0 88299 48 0 0 25 0 4 0 732697326 2044084224 451559 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3582.93
Current children cumulated vsize (KiB) 1996176

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.00 9/323 20414
/proc/meminfo: memFree=12807712/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1998704 CPUtime=3822.31 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 465409 0 0 0 381841 390 0 0 25 0 4 0 732691456 2046672896 453610 33554432000 4194304 4964800 140734464971968 18446744073709551615 4332691 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 499676 453610 460 189 0 494025 0
[pid=19898/tid=19905] ppid=19896 vsize=1998704 CPUtime=940.64 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 68835 0 0 0 94013 51 0 0 25 0 4 0 732697326 2046672896 453610 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=1998704 CPUtime=936.59 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280308 0 0 0 93378 281 0 0 25 0 4 0 732697326 2046672896 453610 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=1998704 CPUtime=943.47 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 69826 0 0 0 94297 50 0 0 25 0 4 0 732697326 2046672896 453610 33554432000 4194304 4964800 140734464971968 18446744073709551615 4320993 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3822.31
Current children cumulated vsize (KiB) 1998704

[startup+1062.3 s]
/proc/loadavg: 8.12 8.09 8.01 9/323 20416
/proc/meminfo: memFree=12691120/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=2000116 CPUtime=4061.72 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 473249 0 0 0 405774 398 0 0 25 0 4 0 732691456 2048118784 461450 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 500029 461450 460 189 0 494378 0
[pid=19898/tid=19905] ppid=19896 vsize=2000116 CPUtime=1000.64 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 70680 0 0 0 100012 52 0 0 25 0 4 0 732697326 2048118784 461450 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=2000116 CPUtime=996 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280311 0 0 0 99319 281 0 0 25 0 4 0 732697326 2048118784 461450 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=2000116 CPUtime=1003.47 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 75496 0 0 0 100291 56 0 0 25 0 4 0 732697326 2048118784 461450 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4061.72
Current children cumulated vsize (KiB) 2000116

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 8.01 9/323 20417
/proc/meminfo: memFree=12652528/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=2001572 CPUtime=4301.12 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 476541 0 0 0 429710 402 0 0 25 0 4 0 732691456 2049609728 464346 33554432000 4194304 4964800 140734464971968 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 500393 464346 460 189 0 494742 0
[pid=19898/tid=19905] ppid=19896 vsize=2001572 CPUtime=1060.64 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 73536 0 0 0 106009 55 0 0 25 0 4 0 732697326 2049609728 464346 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=2001572 CPUtime=1055.39 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280319 0 0 0 105258 281 0 0 25 0 4 0 732697326 2049609728 464346 33554432000 4194304 4964800 140734464971968 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=2001572 CPUtime=1063.48 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 75642 0 0 0 106291 57 0 0 25 0 4 0 732697326 2049609728 464346 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4301.12
Current children cumulated vsize (KiB) 2001572

[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 8.01 9/323 20419
/proc/meminfo: memFree=12649776/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=2003020 CPUtime=4540.52 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 477046 0 0 0 453650 402 0 0 25 0 4 0 732691456 2051092480 464851 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 500755 464851 460 189 0 495104 0
[pid=19898/tid=19905] ppid=19896 vsize=2003020 CPUtime=1120.64 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 73558 0 0 0 112009 55 0 0 25 0 4 0 732697326 2051092480 464851 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=2003020 CPUtime=1114.8 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280325 0 0 0 111199 281 0 0 25 0 4 0 732697326 2051092480 464851 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=2003020 CPUtime=1123.48 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 75803 0 0 0 112291 57 0 0 25 0 4 0 732697326 2051092480 464851 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4540.52
Current children cumulated vsize (KiB) 2003020

[startup+1242.3 s]
/proc/loadavg: 6.57 7.72 7.89 5/314 20439
/proc/meminfo: memFree=13760668/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=2003652 CPUtime=4779.91 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 480923 0 0 0 477584 407 0 0 25 0 4 0 732691456 2051739648 468728 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 500913 468728 460 189 0 495262 0
[pid=19898/tid=19905] ppid=19896 vsize=2003652 CPUtime=1180.65 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 77077 0 0 0 118005 60 0 0 25 0 4 0 732697326 2051739648 468728 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=2003652 CPUtime=1174.2 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280333 0 0 0 117139 281 0 0 25 0 4 0 732697326 2051739648 468728 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=2003652 CPUtime=1183.48 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 75973 0 0 0 118291 57 0 0 25 0 4 0 732697326 2051739648 468728 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4779.91
Current children cumulated vsize (KiB) 2003652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1247.4 s]
/proc/loadavg: 6.36 7.66 7.87 6/314 20439
/proc/meminfo: memFree=13759300/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=2003652 CPUtime=4800.31 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 481471 0 0 0 479624 407 0 0 25 0 4 0 732691456 2051739648 468836 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19898/statm: 500913 468836 460 189 0 495262 0
[pid=19898/tid=19905] ppid=19896 vsize=2003652 CPUtime=1185.77 cores=0,2,4,6
/proc/19898/task/19905/stat : 19905 (claspmt) R 19896 19898 19229 0 -1 4202560 77624 0 0 0 118517 60 0 0 25 0 4 0 732697326 2051739648 468836 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19898/tid=19906] ppid=19896 vsize=2003652 CPUtime=1179.26 cores=0,2,4,6
/proc/19898/task/19906/stat : 19906 (claspmt) R 19896 19898 19229 0 -1 4202560 280333 0 0 0 117645 281 0 0 25 0 4 0 732697326 2051739648 468836 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19898/tid=19907] ppid=19896 vsize=2003652 CPUtime=1188.6 cores=0,2,4,6
/proc/19898/task/19907/stat : 19907 (claspmt) R 19896 19898 19229 0 -1 4202560 75974 0 0 0 118803 57 0 0 25 0 4 0 732697326 2051739648 468836 33554432000 4194304 4964800 140734464971968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 2003652

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

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

[startup+1247.53 s]
/proc/loadavg: 6.36 7.66 7.87 6/314 20439
/proc/meminfo: memFree=13759300/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1937704 CPUtime=4800.46 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 481481 0 0 0 479638 408 0 0 25 0 1 0 732691456 1984208896 446889 33554432000 4194304 4964800 140734464971968 18446744073709551615 231895139416 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19898/statm: 484426 446889 470 189 0 478775 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 1937704

[startup+1247.7 s]
/proc/loadavg: 6.36 7.66 7.87 6/314 20439
/proc/meminfo: memFree=13759300/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=1151272 CPUtime=4800.63 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 481481 0 0 0 479652 411 0 0 25 0 1 0 732691456 1178902528 242937 33554432000 4194304 4964800 140734464971968 18446744073709551615 231895533703 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19898/statm: 287818 242937 470 189 0 282167 0
Current children cumulated CPU time (s) 4800.63
Current children cumulated vsize (KiB) 1151272

[startup+1247.8 s]
/proc/loadavg: 6.36 7.66 7.87 6/314 20439
/proc/meminfo: memFree=13759300/32950928 swapFree=67085488/67111528
[pid=19898] ppid=19896 vsize=411920 CPUtime=4800.72 cores=0,2,4,6
/proc/19898/stat : 19898 (claspmt) R 19896 19898 19229 0 -1 4202496 481482 0 0 0 479658 414 0 0 25 0 1 0 732691456 421806080 44332 33554432000 4194304 4964800 140734464971968 18446744073709551615 231895139425 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19898/statm: 102980 44332 471 189 0 97329 0
Current children cumulated CPU time (s) 4800.72
Current children cumulated vsize (KiB) 411920

Child status: 0
Real time (s): 1247.82
CPU time (s): 4800.75
CPU user time (s): 4796.6
CPU system time (s): 4.15637
CPU usage (%): 384.731
Max. virtual memory (cumulated for all children) (KiB): 2003652

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

runsolver used 3.68644 second user time and 8.81566 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-15 03:56:48
IDJOB=3373044
IDBENCH=83184
IDSOLVER=1853
FILE ID=node114/3373044-1305424607
RUNJOBID= node114-1305423402-19721
PBS_JOBID= 13324585
Free space on /tmp= 72960 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x39.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-3373044-1305424607/watcher-3373044-1305424607 -o /tmp/evaluation-result-3373044-1305424607/solver-3373044-1305424607 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373044-1305424607.cnf

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

MD5SUM BENCH= e7679ca49bb432c9b90305d907365c4e
RANDOM SEED=1056686492

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:      15596780 kB
Buffers:        285120 kB
Cached:        6289920 kB
SwapCached:         96 kB
Active:       11928576 kB
Inactive:      5018316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15596780 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           21484 kB
Writeback:           0 kB
AnonPages:    10371996 kB
Mapped:          27368 kB
Slab:           308172 kB
PageTables:      36940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52472452 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= 72984 MiB
End job on node114 at 2011-05-15 04:17:37