Trace number 3472541

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)UNSAT 74130 2327.84

General information on the benchmark

NameSAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
MD5SUM82e833e539576c6d79252b19dcace0cf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark161.91
Satisfiable
(Un)Satisfiability was proved
Number of variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...832794/instance-3472541-1307832794.cnf
1.99/2.06	c Solving...
74129.90/2327.81	s UNSATISFIABLE
74129.90/2327.81	
74129.90/2327.81	c Models        : 0     
74129.90/2327.81	c Time          : 2325.481s (Solving: 2323.43s 1st Model: 0.00s Unsat: 2323.43s)
74129.90/2327.81	c CPU Time      : 74127.590s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472541-1307832794/watcher-3472541-1307832794 -o /tmp/evaluation-result-3472541-1307832794/solver-3472541-1307832794 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472541-1307832794.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 28.96 27.55 18.89 1/413 13935
/proc/meminfo: memFree=261911096/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=24112 CPUtime=0.02 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 1473 0 0 0 2 0 0 0 21 0 1 0 48666312 24690688 1234 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13935/statm: 6028 1235 383 189 0 902 0

[startup+0.0860121 s]
/proc/loadavg: 28.96 27.55 18.89 1/413 13935
/proc/meminfo: memFree=261911096/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=27776 CPUtime=0.07 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 2729 0 0 0 7 0 0 0 21 0 1 0 48666312 28442624 2107 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13935/statm: 6944 2108 383 189 0 1818 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27776

[startup+0.100995 s]
/proc/loadavg: 28.96 27.55 18.89 1/413 13935
/proc/meminfo: memFree=261911096/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=28976 CPUtime=0.09 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 3238 0 0 0 9 0 0 0 21 0 1 0 48666312 29671424 2345 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13935/statm: 7244 2346 383 189 0 2118 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28976

[startup+0.301003 s]
/proc/loadavg: 28.96 27.55 18.89 1/413 13935
/proc/meminfo: memFree=261911096/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=40076 CPUtime=0.29 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 6504 0 0 0 28 1 0 0 22 0 1 0 48666312 41037824 5108 270582939648 4194304 4964800 140737210708224 18446744073709551615 4608680 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13935/statm: 10019 5108 399 189 0 4893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40076

[startup+0.701011 s]
/proc/loadavg: 28.96 27.55 18.89 1/413 13935
/proc/meminfo: memFree=261911096/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=40076 CPUtime=0.69 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 6504 0 0 0 68 1 0 0 23 0 1 0 48666312 41037824 5108 270582939648 4194304 4964800 140737210708224 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13935/statm: 10019 5108 399 189 0 4893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40076

[startup+1.50104 s]
/proc/loadavg: 28.96 27.55 18.89 2/414 13936
/proc/meminfo: memFree=261890316/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=46016 CPUtime=1.49 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 7989 0 0 0 147 2 0 0 25 0 1 0 48666312 47120384 6593 270582939648 4194304 4964800 140737210708224 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13935/statm: 11504 6593 400 189 0 6378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46016

[startup+3.10303 s]
/proc/loadavg: 28.96 27.55 18.89 8/445 13967
/proc/meminfo: memFree=261870788/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=2026968 CPUtime=7.63 cores=0-31
/proc/13935/stat : 13935 (claspmt) S 13933 13935 13905 0 -1 4202496 50615 0 0 0 580 183 0 0 18 0 32 0 48666312 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/13935/statm: 506742 46427 433 189 0 501091 0
[pid=13935/tid=13937] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13937/stat : 13937 (claspmt) S 13933 13935 13905 0 -1 4202560 1045 0 0 0 6 5 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604505033842144 0 0 -1 9 0 0 0
[pid=13935/tid=13938] ppid=13933 vsize=2026968 CPUtime=0.12 cores=0-31
/proc/13935/task/13938/stat : 13938 (claspmt) S 13933 13935 13905 0 -1 4202560 1411 0 0 0 6 6 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604498260606432 0 0 -1 6 0 0 0
[pid=13935/tid=13939] ppid=13933 vsize=2026968 CPUtime=0.1 cores=0-31
/proc/13935/task/13939/stat : 13939 (claspmt) S 13933 13935 13905 0 -1 4202560 1310 0 0 0 5 5 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604500365368800 0 0 -1 23 0 0 0
[pid=13935/tid=13940] ppid=13933 vsize=2026968 CPUtime=0.08 cores=0-31
/proc/13935/task/13940/stat : 13940 (claspmt) S 13933 13935 13905 0 -1 4202560 1247 0 0 0 4 4 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604639287352800 0 0 -1 8 0 0 0
[pid=13935/tid=13941] ppid=13933 vsize=2026968 CPUtime=0.62 cores=0-31
/proc/13935/task/13941/stat : 13941 (claspmt) R 13933 13935 13905 0 -1 4202560 1582 0 0 0 56 6 0 0 17 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13935/tid=13942] ppid=13933 vsize=2026968 CPUtime=0.12 cores=0-31
/proc/13935/task/13942/stat : 13942 (claspmt) S 13933 13935 13905 0 -1 4202560 1425 0 0 0 6 6 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604640635362784 0 0 -1 1 0 0 0
[pid=13935/tid=13943] ppid=13933 vsize=2026968 CPUtime=0.12 cores=0-31
/proc/13935/task/13943/stat : 13943 (claspmt) S 13933 13935 13905 0 -1 4202560 1332 0 0 0 6 6 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604497869250016 0 0 -1 21 0 0 0
[pid=13935/tid=13944] ppid=13933 vsize=2026968 CPUtime=0.09 cores=0-31
/proc/13935/task/13944/stat : 13944 (claspmt) S 13933 13935 13905 0 -1 4202560 1296 0 0 0 5 4 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604493078732256 0 0 -1 22 0 0 0
[pid=13935/tid=13945] ppid=13933 vsize=2026968 CPUtime=0.08 cores=0-31
/proc/13935/task/13945/stat : 13945 (claspmt) S 13933 13935 13905 0 -1 4202560 1072 0 0 0 3 5 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604505472310752 0 0 -1 27 0 0 0
[pid=13935/tid=13946] ppid=13933 vsize=2026968 CPUtime=0.1 cores=0-31
/proc/13935/task/13946/stat : 13946 (claspmt) S 13933 13935 13905 0 -1 4202560 1368 0 0 0 5 5 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604639371124192 0 0 -1 19 0 0 0
[pid=13935/tid=13947] ppid=13933 vsize=2026968 CPUtime=0.12 cores=0-31
/proc/13935/task/13947/stat : 13947 (claspmt) S 13933 13935 13905 0 -1 4202560 1380 0 0 0 6 6 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604643116047840 0 0 -1 30 0 0 0
[pid=13935/tid=13948] ppid=13933 vsize=2026968 CPUtime=0.1 cores=0-31
/proc/13935/task/13948/stat : 13948 (claspmt) S 13933 13935 13905 0 -1 4202560 1285 0 0 0 5 5 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604644009631200 0 0 -1 26 0 0 0
[pid=13935/tid=13949] ppid=13933 vsize=2026968 CPUtime=0.61 cores=0-31
/proc/13935/task/13949/stat : 13949 (claspmt) R 13933 13935 13905 0 -1 4202560 1648 0 0 0 55 6 0 0 17 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670259 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13935/tid=13950] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13950/stat : 13950 (claspmt) S 13933 13935 13905 0 -1 4202560 1441 0 0 0 6 5 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604500975877600 0 0 -1 29 0 0 0
[pid=13935/tid=13951] ppid=13933 vsize=2026968 CPUtime=0.12 cores=0-31
/proc/13935/task/13951/stat : 13951 (claspmt) S 13933 13935 13905 0 -1 4202560 1322 0 0 0 7 5 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604636532833760 0 0 -1 2 0 0 0
[pid=13935/tid=13952] ppid=13933 vsize=2026968 CPUtime=0.09 cores=0-31
/proc/13935/task/13952/stat : 13952 (claspmt) S 13933 13935 13905 0 -1 4202560 1298 0 0 0 3 6 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604499348725216 0 0 -1 8 0 0 0
[pid=13935/tid=13953] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13953/stat : 13953 (claspmt) S 13933 13935 13905 0 -1 4202560 1234 0 0 0 4 7 0 0 16 0 32 0 48666518 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604500398743008 0 0 -1 25 0 0 0
[pid=13935/tid=13954] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13954/stat : 13954 (claspmt) S 13933 13935 13905 0 -1 4202560 1363 0 0 0 6 5 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604485480078816 0 0 -1 14 0 0 0
[pid=13935/tid=13955] ppid=13933 vsize=2026968 CPUtime=0.09 cores=0-31
/proc/13935/task/13955/stat : 13955 (claspmt) S 13933 13935 13905 0 -1 4202560 1338 0 0 0 5 4 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604486866419168 0 0 -1 12 0 0 0
[pid=13935/tid=13956] ppid=13933 vsize=2026968 CPUtime=0.08 cores=0-31
/proc/13935/task/13956/stat : 13956 (claspmt) S 13933 13935 13905 0 -1 4202560 1270 0 0 0 4 4 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604502343744992 0 0 -1 28 0 0 0
[pid=13935/tid=13957] ppid=13933 vsize=2026968 CPUtime=0.64 cores=0-31
/proc/13935/task/13957/stat : 13957 (claspmt) R 13933 13935 13905 0 -1 4202560 1450 0 0 0 58 6 0 0 17 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13935/tid=13958] ppid=13933 vsize=2026968 CPUtime=0.09 cores=0-31
/proc/13935/task/13958/stat : 13958 (claspmt) S 13933 13935 13905 0 -1 4202560 1348 0 0 0 5 4 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604496870555104 0 0 -1 0 0 0 0
[pid=13935/tid=13959] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13959/stat : 13959 (claspmt) S 13933 13935 13905 0 -1 4202560 1348 0 0 0 6 5 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604642885344736 0 0 -1 22 0 0 0
[pid=13935/tid=13960] ppid=13933 vsize=2026968 CPUtime=0.08 cores=0-31
/proc/13935/task/13960/stat : 13960 (claspmt) S 13933 13935 13905 0 -1 4202560 1200 0 0 0 3 5 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604566316252640 0 0 -1 24 0 0 0
[pid=13935/tid=13961] ppid=13933 vsize=2026968 CPUtime=0.1 cores=0-31
/proc/13935/task/13961/stat : 13961 (claspmt) S 13933 13935 13905 0 -1 4202560 1255 0 0 0 4 6 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604636287466976 0 0 -1 16 0 0 0
[pid=13935/tid=13962] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13962/stat : 13962 (claspmt) S 13933 13935 13905 0 -1 4202560 1382 0 0 0 5 6 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604500047101408 0 0 -1 17 0 0 0
[pid=13935/tid=13963] ppid=13933 vsize=2026968 CPUtime=0.09 cores=0-31
/proc/13935/task/13963/stat : 13963 (claspmt) S 13933 13935 13905 0 -1 4202560 1393 0 0 0 5 4 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604486030360032 0 0 -1 20 0 0 0
[pid=13935/tid=13964] ppid=13933 vsize=2026968 CPUtime=0.12 cores=0-31
/proc/13935/task/13964/stat : 13964 (claspmt) S 13933 13935 13905 0 -1 4202560 1238 0 0 0 6 6 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604488484822496 0 0 -1 7 0 0 0
[pid=13935/tid=13965] ppid=13933 vsize=2026968 CPUtime=0.61 cores=0-31
/proc/13935/task/13965/stat : 13965 (claspmt) R 13933 13935 13905 0 -1 4202560 1515 0 0 0 56 5 0 0 17 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13935/tid=13966] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13966/stat : 13966 (claspmt) S 13933 13935 13905 0 -1 4202560 1319 0 0 0 5 6 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604497835990496 0 0 -1 3 0 0 0
[pid=13935/tid=13967] ppid=13933 vsize=2026968 CPUtime=0.11 cores=0-31
/proc/13935/task/13967/stat : 13967 (claspmt) S 13933 13935 13905 0 -1 4202560 1323 0 0 0 6 5 0 0 16 0 32 0 48666519 2075615232 46427 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662772457 0 0 4096 18946 18446604505450806752 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 2026968

[startup+6.30208 s]
/proc/loadavg: 29.20 27.62 18.96 33/445 13967
/proc/meminfo: memFree=261644152/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=2026968 CPUtime=92.42 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 75916 0 0 0 8936 306 0 0 19 0 32 0 48666312 2075615232 71726 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670295 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/13935/statm: 506742 71728 461 189 0 501091 0
[pid=13935/tid=13937] ppid=13933 vsize=2026968 CPUtime=2.73 cores=0-31
/proc/13935/task/13937/stat : 13937 (claspmt) R 13933 13935 13905 0 -1 4202560 1851 0 0 0 265 8 0 0 18 0 32 0 48666518 2075615232 71728 270582939648 4194304 4964800 140737210708224 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13935/tid=13938] ppid=13933 vsize=2026968 CPUtime=2.71 cores=0-31
/proc/13935/task/13938/stat : 13938 (claspmt) R 13933 13935 13905 0 -1 4202560 2260 0 0 0 260 11 0 0 18 0 32 0 48666518 2075615232 71728 270582939648 4194304 4964800 140737210708224 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13935/tid=13939] ppid=13933 vsize=2026968 CPUtime=2.73 cores=0-31
/proc/13935/task/13939/stat : 13939 (claspmt) R 13933 13935 13905 0 -1 4202560 2170 0 0 0 262 11 0 0 18 0 32 0 48666518 2075615232 71729 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13935/tid=13940] ppid=13933 vsize=2026968 CPUtime=2.68 cores=0-31
/proc/13935/task/13940/stat : 13940 (claspmt) R 13933 13935 13905 0 -1 4202560 2198 0 0 0 261 7 0 0 18 0 32 0 48666518 2075615232 71729 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13935/tid=13941] ppid=13933 vsize=2026968 CPUtime=3.72 cores=0-31
/proc/13935/task/13941/stat : 13941 (claspmt) R 13933 13935 13905 0 -1 4202560 1720 0 0 0 366 6 0 0 20 0 32 0 48666518 2075615232 71729 270582939648 4194304 4964800 140737210708224 18446744073709551615 4628021 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13935/tid=13942] ppid=13933 vsize=2026968 CPUtime=2.68 cores=0-31
/proc/13935/task/13942/stat : 13942 (claspmt) R 13933 13935 13905 0 -1 4202560 2339 0 0 0 257 11 0 0 18 0 32 0 48666518 2075615232 71729 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13935/tid=13943] ppid=13933 vsize=2026968 CPUtime=2.71 cores=0-31
/proc/13935/task/13943/stat : 13943 (claspmt) R 13933 13935 13905 0 -1 4202560 2274 0 0 0 260 11 0 0 18 0 32 0 48666518 2075615232 71729 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13935/tid=13944] ppid=13933 vsize=2026968 CPUtime=2.73 cores=0-31
/proc/13935/task/13944/stat : 13944 (claspmt) R 13933 13935 13905 0 -1 4202560 2169 0 0 0 265 8 0 0 18 0 32 0 48666518 2075615232 71729 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13935/tid=13945] ppid=13933 vsize=2026968 CPUtime=2.71 cores=0-31
/proc/13935/task/13945/stat : 13945 (claspmt) R 13933 13935 13905 0 -1 4202560 1979 0 0 0 262 9 0 0 18 0 32 0 48666518 2075615232 71731 270582939648 4194304 4964800 140737210708224 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13935/tid=13946] ppid=13933 vsize=2026968 CPUtime=2.72 cores=0-31
/proc/13935/task/13946/stat : 13946 (claspmt) R 13933 13935 13905 0 -1 4202560 2177 0 0 0 261 11 0 0 18 0 32 0 48666518 2075615232 71731 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13935/tid=13947] ppid=13933 vsize=2026968 CPUtime=2.73 cores=0-31
/proc/13935/task/13947/stat : 13947 (claspmt) R 13933 13935 13905 0 -1 4202560 2206 0 0 0 263 10 0 0 18 0 32 0 48666518 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13935/tid=13948] ppid=13933 vsize=2026968 CPUtime=2.72 cores=0-31
/proc/13935/task/13948/stat : 13948 (claspmt) R 13933 13935 13905 0 -1 4202560 2161 0 0 0 262 10 0 0 18 0 32 0 48666518 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13935/tid=13949] ppid=13933 vsize=2026968 CPUtime=3.72 cores=0-31
/proc/13935/task/13949/stat : 13949 (claspmt) R 13933 13935 13905 0 -1 4202560 1760 0 0 0 366 6 0 0 21 0 32 0 48666518 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13935/tid=13950] ppid=13933 vsize=2026968 CPUtime=2.7 cores=0-31
/proc/13935/task/13950/stat : 13950 (claspmt) R 13933 13935 13905 0 -1 4202560 2359 0 0 0 259 11 0 0 18 0 32 0 48666518 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670368 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13935/tid=13951] ppid=13933 vsize=2026968 CPUtime=2.69 cores=0-31
/proc/13935/task/13951/stat : 13951 (claspmt) R 13933 13935 13905 0 -1 4202560 2296 0 0 0 260 9 0 0 18 0 32 0 48666518 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13935/tid=13952] ppid=13933 vsize=2026968 CPUtime=2.68 cores=0-31
/proc/13935/task/13952/stat : 13952 (claspmt) R 13933 13935 13905 0 -1 4202560 2071 0 0 0 259 9 0 0 18 0 32 0 48666518 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13935/tid=13953] ppid=13933 vsize=2026968 CPUtime=2.73 cores=0-31
/proc/13935/task/13953/stat : 13953 (claspmt) R 13933 13935 13905 0 -1 4202560 2001 0 0 0 261 12 0 0 18 0 32 0 48666518 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13935/tid=13954] ppid=13933 vsize=2026968 CPUtime=2.69 cores=0-31
/proc/13935/task/13954/stat : 13954 (claspmt) R 13933 13935 13905 0 -1 4202560 2252 0 0 0 260 9 0 0 18 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13935/tid=13955] ppid=13933 vsize=2026968 CPUtime=2.67 cores=0-31
/proc/13935/task/13955/stat : 13955 (claspmt) R 13933 13935 13905 0 -1 4202560 2339 0 0 0 258 9 0 0 18 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13935/tid=13956] ppid=13933 vsize=2026968 CPUtime=2.68 cores=0-31
/proc/13935/task/13956/stat : 13956 (claspmt) R 13933 13935 13905 0 -1 4202560 2216 0 0 0 260 8 0 0 18 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13935/tid=13957] ppid=13933 vsize=2026968 CPUtime=3.74 cores=0-31
/proc/13935/task/13957/stat : 13957 (claspmt) R 13933 13935 13905 0 -1 4202560 1527 0 0 0 368 6 0 0 20 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13935/tid=13958] ppid=13933 vsize=2026968 CPUtime=2.66 cores=0-31
/proc/13935/task/13958/stat : 13958 (claspmt) R 13933 13935 13905 0 -1 4202560 2223 0 0 0 259 7 0 0 18 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13935/tid=13959] ppid=13933 vsize=2026968 CPUtime=2.68 cores=0-31
/proc/13935/task/13959/stat : 13959 (claspmt) R 13933 13935 13905 0 -1 4202560 2260 0 0 0 258 10 0 0 18 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4669049 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13935/tid=13960] ppid=13933 vsize=2026968 CPUtime=2.7 cores=0-31
/proc/13935/task/13960/stat : 13960 (claspmt) R 13933 13935 13905 0 -1 4202560 2070 0 0 0 261 9 0 0 18 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13935/tid=13961] ppid=13933 vsize=2026968 CPUtime=2.7 cores=0-31
/proc/13935/task/13961/stat : 13961 (claspmt) R 13933 13935 13905 0 -1 4202560 2248 0 0 0 260 10 0 0 18 0 32 0 48666519 2075615232 71732 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0

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

[pid=13935/tid=13964] ppid=13933 vsize=3994164 CPUtime=2193.53 cores=0-31
/proc/13935/task/13964/stat : 13964 (claspmt) R 13933 13935 13905 0 -1 4202560 17829 0 0 0 219306 47 0 0 25 0 32 0 48666519 4090023936 743768 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13935/tid=13965] ppid=13933 vsize=3994164 CPUtime=2198.29 cores=0-31
/proc/13935/task/13965/stat : 13965 (claspmt) R 13933 13935 13905 0 -1 4202560 17420 0 0 0 219784 45 0 0 25 0 32 0 48666519 4090023936 743768 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13935/tid=13966] ppid=13933 vsize=3994164 CPUtime=2180.18 cores=0-31
/proc/13935/task/13966/stat : 13966 (claspmt) R 13933 13935 13905 0 -1 4202560 14569 0 0 0 217976 42 0 0 25 0 32 0 48666519 4090023936 743768 270582939648 4194304 4964800 140737210708224 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13935/tid=13967] ppid=13933 vsize=3994164 CPUtime=2198.17 cores=0-31
/proc/13935/task/13967/stat : 13967 (claspmt) R 13933 13935 13905 0 -1 4202560 65461 0 0 0 219530 287 0 0 25 0 32 0 48666519 4090023936 743768 270582939648 4194304 4964800 140737210708224 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 70285.7
Current children cumulated vsize (KiB) 3994164

[startup+2262.3 s]
/proc/loadavg: 32.08 32.09 30.90 33/445 14036
/proc/meminfo: memFree=258931168/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=3994316 CPUtime=72203.6 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 764946 0 0 0 7217848 2511 0 0 25 0 32 0 48666312 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13935/statm: 998579 746237 463 189 0 992928 0
[pid=13935/tid=13937] ppid=13933 vsize=3994316 CPUtime=2258.21 cores=0-31
/proc/13935/task/13937/stat : 13937 (claspmt) R 13933 13935 13905 0 -1 4202560 14913 0 0 0 225777 44 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13935/tid=13938] ppid=13933 vsize=3994316 CPUtime=2258.25 cores=0-31
/proc/13935/task/13938/stat : 13938 (claspmt) R 13933 13935 13905 0 -1 4202560 28519 0 0 0 225779 46 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13935/tid=13939] ppid=13933 vsize=3994316 CPUtime=2258.25 cores=0-31
/proc/13935/task/13939/stat : 13939 (claspmt) R 13933 13935 13905 0 -1 4202560 15066 0 0 0 225774 51 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13935/tid=13940] ppid=13933 vsize=3994316 CPUtime=2258.22 cores=0-31
/proc/13935/task/13940/stat : 13940 (claspmt) R 13933 13935 13905 0 -1 4202560 14884 0 0 0 225783 39 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13935/tid=13941] ppid=13933 vsize=3994316 CPUtime=2259.27 cores=0-31
/proc/13935/task/13941/stat : 13941 (claspmt) R 13933 13935 13905 0 -1 4202560 18588 0 0 0 225886 41 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13935/tid=13942] ppid=13933 vsize=3994316 CPUtime=2258.12 cores=0-31
/proc/13935/task/13942/stat : 13942 (claspmt) R 13933 13935 13905 0 -1 4202560 14662 0 0 0 225765 47 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13935/tid=13943] ppid=13933 vsize=3994316 CPUtime=2258.17 cores=0-31
/proc/13935/task/13943/stat : 13943 (claspmt) R 13933 13935 13905 0 -1 4202560 62051 0 0 0 225533 284 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13935/tid=13944] ppid=13933 vsize=3994316 CPUtime=2258.25 cores=0-31
/proc/13935/task/13944/stat : 13944 (claspmt) R 13933 13935 13905 0 -1 4202560 20715 0 0 0 225736 89 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13935/tid=13945] ppid=13933 vsize=3994316 CPUtime=2242.75 cores=0-31
/proc/13935/task/13945/stat : 13945 (claspmt) R 13933 13935 13905 0 -1 4202560 16890 0 0 0 224223 52 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13935/tid=13946] ppid=13933 vsize=3994316 CPUtime=2258.28 cores=0-31
/proc/13935/task/13946/stat : 13946 (claspmt) R 13933 13935 13905 0 -1 4202560 30750 0 0 0 225777 51 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13935/tid=13947] ppid=13933 vsize=3994316 CPUtime=2258.27 cores=0-31
/proc/13935/task/13947/stat : 13947 (claspmt) R 13933 13935 13905 0 -1 4202560 17560 0 0 0 225776 51 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13935/tid=13948] ppid=13933 vsize=3994316 CPUtime=2258.22 cores=0-31
/proc/13935/task/13948/stat : 13948 (claspmt) R 13933 13935 13905 0 -1 4202560 17022 0 0 0 225778 44 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13935/tid=13949] ppid=13933 vsize=3994316 CPUtime=2259.27 cores=0-31
/proc/13935/task/13949/stat : 13949 (claspmt) R 13933 13935 13905 0 -1 4202560 17102 0 0 0 225887 40 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13935/tid=13950] ppid=13933 vsize=3994316 CPUtime=2247.39 cores=0-31
/proc/13935/task/13950/stat : 13950 (claspmt) R 13933 13935 13905 0 -1 4202560 14706 0 0 0 224689 50 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13935/tid=13951] ppid=13933 vsize=3994316 CPUtime=2254.48 cores=0-31
/proc/13935/task/13951/stat : 13951 (claspmt) R 13933 13935 13905 0 -1 4202560 53647 0 0 0 225208 240 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13935/tid=13952] ppid=13933 vsize=3994316 CPUtime=2252.62 cores=0-31
/proc/13935/task/13952/stat : 13952 (claspmt) R 13933 13935 13905 0 -1 4202560 13583 0 0 0 225196 66 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13935/tid=13953] ppid=13933 vsize=3994316 CPUtime=2258.24 cores=0-31
/proc/13935/task/13953/stat : 13953 (claspmt) R 13933 13935 13905 0 -1 4202560 16798 0 0 0 225771 53 0 0 25 0 32 0 48666518 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13935/tid=13954] ppid=13933 vsize=3994316 CPUtime=2255.6 cores=0-31
/proc/13935/task/13954/stat : 13954 (claspmt) R 13933 13935 13905 0 -1 4202560 30013 0 0 0 225517 43 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13935/tid=13955] ppid=13933 vsize=3994316 CPUtime=2257.3 cores=0-31
/proc/13935/task/13955/stat : 13955 (claspmt) R 13933 13935 13905 0 -1 4202560 16548 0 0 0 225672 58 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13935/tid=13956] ppid=13933 vsize=3994316 CPUtime=2258.22 cores=0-31
/proc/13935/task/13956/stat : 13956 (claspmt) R 13933 13935 13905 0 -1 4202560 18852 0 0 0 225773 49 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13935/tid=13957] ppid=13933 vsize=3994316 CPUtime=2259.28 cores=0-31
/proc/13935/task/13957/stat : 13957 (claspmt) R 13933 13935 13905 0 -1 4202560 15604 0 0 0 225893 35 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13935/tid=13958] ppid=13933 vsize=3994316 CPUtime=2258.15 cores=0-31
/proc/13935/task/13958/stat : 13958 (claspmt) R 13933 13935 13905 0 -1 4202560 15874 0 0 0 225767 48 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13935/tid=13959] ppid=13933 vsize=3994316 CPUtime=2258.16 cores=0-31
/proc/13935/task/13959/stat : 13959 (claspmt) R 13933 13935 13905 0 -1 4202560 61400 0 0 0 225537 279 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 47234855022169 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13935/tid=13960] ppid=13933 vsize=3994316 CPUtime=2258.22 cores=0-31
/proc/13935/task/13960/stat : 13960 (claspmt) R 13933 13935 13905 0 -1 4202560 20231 0 0 0 225737 85 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13935/tid=13961] ppid=13933 vsize=3994316 CPUtime=2258.21 cores=0-31
/proc/13935/task/13961/stat : 13961 (claspmt) R 13933 13935 13905 0 -1 4202560 14987 0 0 0 225778 43 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13935/tid=13962] ppid=13933 vsize=3994316 CPUtime=2258.27 cores=0-31
/proc/13935/task/13962/stat : 13962 (claspmt) R 13933 13935 13905 0 -1 4202560 33331 0 0 0 225775 52 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13935/tid=13963] ppid=13933 vsize=3994316 CPUtime=2258.21 cores=0-31
/proc/13935/task/13963/stat : 13963 (claspmt) R 13933 13935 13905 0 -1 4202560 12903 0 0 0 225787 34 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13935/tid=13964] ppid=13933 vsize=3994316 CPUtime=2253.48 cores=0-31
/proc/13935/task/13964/stat : 13964 (claspmt) R 13933 13935 13905 0 -1 4202560 17935 0 0 0 225300 48 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13935/tid=13965] ppid=13933 vsize=3994316 CPUtime=2258.28 cores=0-31
/proc/13935/task/13965/stat : 13965 (claspmt) R 13933 13935 13905 0 -1 4202560 17525 0 0 0 225782 46 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13935/tid=13966] ppid=13933 vsize=3994316 CPUtime=2240.17 cores=0-31
/proc/13935/task/13966/stat : 13966 (claspmt) R 13933 13935 13905 0 -1 4202560 14737 0 0 0 223975 42 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13935/tid=13967] ppid=13933 vsize=3994316 CPUtime=2258.15 cores=0-31
/proc/13935/task/13967/stat : 13967 (claspmt) R 13933 13935 13905 0 -1 4202560 65478 0 0 0 225528 287 0 0 25 0 32 0 48666519 4090179584 746237 270582939648 4194304 4964800 140737210708224 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 72203.6
Current children cumulated vsize (KiB) 3994316

[startup+2322.3 s]
/proc/loadavg: 32.00 32.07 30.97 33/445 14038
/proc/meminfo: memFree=258924860/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=3995484 CPUtime=74120 cores=0-31
/proc/13935/stat : 13935 (claspmt) S 13933 13935 13905 0 -1 4202496 766579 0 0 0 7409435 2570 0 0 17 0 11 0 48666312 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13935/statm: 998871 746533 464 189 0 993220 0
[pid=13935/tid=13938] ppid=13933 vsize=3995484 CPUtime=2318.24 cores=0-31
/proc/13935/task/13938/stat : 13938 (claspmt) R 13933 13935 13905 0 -1 4202560 28722 0 0 0 231776 48 0 0 18 0 10 0 48666518 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13935/tid=13939] ppid=13933 vsize=3995484 CPUtime=2318.24 cores=0-31
/proc/13935/task/13939/stat : 13939 (claspmt) R 13933 13935 13905 0 -1 4202560 15174 0 0 0 231771 53 0 0 18 0 10 0 48666518 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13935/tid=13948] ppid=13933 vsize=3995484 CPUtime=2318.2 cores=0-31
/proc/13935/task/13948/stat : 13948 (claspmt) R 13933 13935 13905 0 -1 4202560 17032 0 0 0 231773 47 0 0 17 0 10 0 48666518 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650611899 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13935/tid=13949] ppid=13933 vsize=3995484 CPUtime=2319.25 cores=0-31
/proc/13935/task/13949/stat : 13949 (claspmt) R 13933 13935 13905 0 -1 4202560 17115 0 0 0 231884 41 0 0 18 0 10 0 48666518 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 4644832 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13935/tid=13950] ppid=13933 vsize=3995484 CPUtime=2307.36 cores=0-31
/proc/13935/task/13950/stat : 13950 (claspmt) R 13933 13935 13905 0 -1 4202560 14758 0 0 0 230684 52 0 0 18 0 10 0 48666518 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650610817 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13935/tid=13954] ppid=13933 vsize=3995484 CPUtime=2315.58 cores=0-31
/proc/13935/task/13954/stat : 13954 (claspmt) R 13933 13935 13905 0 -1 4202560 30167 0 0 0 231512 46 0 0 18 0 10 0 48666519 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650653518 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13935/tid=13956] ppid=13933 vsize=3995484 CPUtime=2318.2 cores=0-31
/proc/13935/task/13956/stat : 13956 (claspmt) R 13933 13935 13905 0 -1 4202560 18906 0 0 0 231771 49 0 0 18 0 10 0 48666519 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13935/tid=13962] ppid=13933 vsize=3995484 CPUtime=2318.25 cores=0-31
/proc/13935/task/13962/stat : 13962 (claspmt) R 13933 13935 13905 0 -1 4202560 33361 0 0 0 231771 54 0 0 18 0 10 0 48666519 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 4644886 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13935/tid=13964] ppid=13933 vsize=3995484 CPUtime=2313.41 cores=0-31
/proc/13935/task/13964/stat : 13964 (claspmt) S 13933 13935 13905 0 -1 4202560 18193 0 0 0 231288 53 0 0 18 0 10 0 48666519 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258651060958 0 0 4096 18946 18446604644009631200 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 74120.1
Current children cumulated vsize (KiB) 3995484

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

[startup+2323.1 s]
/proc/loadavg: 32.00 32.07 30.97 4/417 14038
/proc/meminfo: memFree=258925208/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=3995484 CPUtime=74123.5 cores=0-31
/proc/13935/stat : 13935 (claspmt) S 13933 13935 13905 0 -1 4202496 766579 0 0 0 7409749 2597 0 0 17 0 4 0 48666312 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13935/statm: 998871 746533 464 189 0 993220 0
[pid=13935/tid=13938] ppid=13933 vsize=3995484 CPUtime=2319.04 cores=0-31
/proc/13935/task/13938/stat : 13938 (claspmt) R 13933 13935 13905 0 -1 4202560 28722 0 0 0 231852 52 0 0 18 0 4 0 48666518 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 4644886 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13935/tid=13954] ppid=13933 vsize=3995484 CPUtime=2316.39 cores=0-31
/proc/13935/task/13954/stat : 13954 (claspmt) R 13933 13935 13905 0 -1 4202560 30167 0 0 0 231591 48 0 0 18 0 4 0 48666519 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13935/tid=13962] ppid=13933 vsize=3995484 CPUtime=2319.06 cores=0-31
/proc/13935/task/13962/stat : 13962 (claspmt) R 13933 13935 13905 0 -1 4202560 33361 0 0 0 231849 57 0 0 18 0 4 0 48666519 4091375616 746533 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650646734 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 74123.5
Current children cumulated vsize (KiB) 3995484

[startup+2326.3 s]
/proc/loadavg: 29.60 31.57 30.81 2/415 14038
/proc/meminfo: memFree=258925764/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=3888524 CPUtime=74128.4 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 766589 0 0 0 7410239 2601 0 0 16 0 1 0 48666312 3981848576 742169 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650612746 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13935/statm: 972131 742169 474 189 0 966480 0
Current children cumulated CPU time (s) 74128.4
Current children cumulated vsize (KiB) 3888524

[startup+2327.1 s]
/proc/loadavg: 29.60 31.57 30.81 2/414 14038
/proc/meminfo: memFree=258943128/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=3868468 CPUtime=74129.2 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 766589 0 0 0 7410319 2601 0 0 17 0 1 0 48666312 3961311232 735734 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650610978 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13935/statm: 967117 735734 474 189 0 961466 0
Current children cumulated CPU time (s) 74129.2
Current children cumulated vsize (KiB) 3868468

[startup+2327.5 s]
/proc/loadavg: 29.60 31.57 30.81 2/414 14038
/proc/meminfo: memFree=258987024/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=3864820 CPUtime=74129.6 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 766589 0 0 0 7410361 2601 0 0 18 0 1 0 48666312 3957575680 730497 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13935/statm: 966205 730497 474 189 0 960554 0
Current children cumulated CPU time (s) 74129.6
Current children cumulated vsize (KiB) 3864820

[startup+2327.7 s]
/proc/loadavg: 29.60 31.57 30.81 2/414 14038
/proc/meminfo: memFree=258987024/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=3089424 CPUtime=74129.8 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 766589 0 0 0 7410372 2608 0 0 18 0 1 0 48666312 3163570176 472472 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13935/statm: 772356 472472 474 189 0 766705 0
Current children cumulated CPU time (s) 74129.8
Current children cumulated vsize (KiB) 3089424

[startup+2327.8 s]
/proc/loadavg: 29.60 31.57 30.81 2/414 14038
/proc/meminfo: memFree=258987024/264257624 swapFree=67111528/67111528
[pid=13935] ppid=13933 vsize=2053076 CPUtime=74129.9 cores=0-31
/proc/13935/stat : 13935 (claspmt) R 13933 13935 13905 0 -1 4202496 766589 0 0 0 7410372 2618 0 0 18 0 1 0 48666312 2102349824 123459 270582939648 4194304 4964800 140737210708224 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/13935/statm: 513269 123459 474 189 0 507618 0
Current children cumulated CPU time (s) 74129.9
Current children cumulated vsize (KiB) 2053076

Child status: 20
Real time (s): 2327.84
CPU time (s): 74130
CPU user time (s): 74103.7
CPU system time (s): 26.227
CPU usage (%): 3184.49
Max. virtual memory (cumulated for all children) (KiB): 3995484

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

runsolver used 13.7089 second user time and 51.8601 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-12 00:53:14
IDJOB=3472541
IDBENCH=88062
IDSOLVER=1961
FILE ID=node200/3472541-1307832794
RUNJOBID= node200-1307832794-13919
PBS_JOBID= 13551042
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.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-3472541-1307832794/watcher-3472541-1307832794 -o /tmp/evaluation-result-3472541-1307832794/solver-3472541-1307832794 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472541-1307832794.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32

MD5SUM BENCH= 82e833e539576c6d79252b19dcace0cf
RANDOM SEED=994463830

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      261912384 kB
Buffers:        300132 kB
Cached:        1715756 kB
SwapCached:          0 kB
Active:         330424 kB
Inactive:      1749284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261912384 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4384 kB
Writeback:           0 kB
AnonPages:       66316 kB
Mapped:          13536 kB
Slab:           185228 kB
PageTables:       6604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   162540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-12 01:32:02