Trace number 3372729

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
Plingeling 587f (fixed)? (TO) 160003 5010.85

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom23.cnf
MD5SUMe560aa6505ddce6d3784f70d5b7aff66
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables57800
Number of clauses193923
Sum of the clauses size495331
Maximum clause length1803
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 298497
Number of clauses of size 394437
Number of clauses of size 4275
Number of clauses of size 521
Number of clauses of size over 5692

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3372729-1305995792/watcher-3372729-1305995792 -o /tmp/evaluation-result-3372729-1305995792/solver-3372729-1305995792 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372729-1305995792.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.52 31.51 31.88 1/413 14075
/proc/meminfo: memFree=255500056/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=33324 CPUtime=0.03 cores=0-31
/proc/14075/stat : 14075 (plingeling) R 14073 14075 14049 0 -1 4202496 6293 1244 0 0 1 1 0 1 21 0 1 0 711065643 34123776 6225 268435456000 4194304 4417452 140734252435648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14075/statm: 8331 6236 138 55 0 6217 0

[startup+0.077729 s]
/proc/loadavg: 29.52 31.51 31.88 1/413 14075
/proc/meminfo: memFree=255500056/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=46736 CPUtime=0.07 cores=0-31
/proc/14075/stat : 14075 (plingeling) R 14073 14075 14049 0 -1 4202496 9736 1244 0 0 4 2 0 1 21 0 1 0 711065643 47857664 9668 268435456000 4194304 4417452 140734252435648 18446744073709551615 4231423 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14075/statm: 11684 9668 141 55 0 9570 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 46736

[startup+0.100717 s]
/proc/loadavg: 29.52 31.51 31.88 1/413 14075
/proc/meminfo: memFree=255500056/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=47936 CPUtime=0.09 cores=0-31
/proc/14075/stat : 14075 (plingeling) R 14073 14075 14049 0 -1 4202496 10040 1244 0 0 6 2 0 1 21 0 1 0 711065643 49086464 9972 268435456000 4194304 4417452 140734252435648 18446744073709551615 4231579 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14075/statm: 11984 9972 145 55 0 9870 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47936

[startup+0.30073 s]
/proc/loadavg: 29.52 31.51 31.88 1/413 14075
/proc/meminfo: memFree=255500056/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=63280 CPUtime=0.29 cores=0-31
/proc/14075/stat : 14075 (plingeling) R 14073 14075 14049 0 -1 4202496 13893 1244 0 0 25 3 0 1 22 0 1 0 711065643 64798720 13825 268435456000 4194304 4417452 140734252435648 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14075/statm: 15820 13825 146 55 0 13706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63280

[startup+0.700739 s]
/proc/loadavg: 29.52 31.51 31.88 1/413 14075
/proc/meminfo: memFree=255500056/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=91100 CPUtime=0.69 cores=0-31
/proc/14075/stat : 14075 (plingeling) R 14073 14075 14049 0 -1 4202496 20864 1244 0 0 62 6 0 1 23 0 1 0 711065643 93286400 20796 268435456000 4194304 4417452 140734252435648 18446744073709551615 4262095 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14075/statm: 22775 20796 146 55 0 20661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91100

[startup+1.50077 s]
/proc/loadavg: 29.52 31.51 31.88 2/414 14081
/proc/meminfo: memFree=255398600/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=169280 CPUtime=1.5 cores=0-31
/proc/14075/stat : 14075 (plingeling) R 14073 14075 14049 0 -1 4202496 40411 1244 0 0 139 10 0 1 25 0 1 0 711065643 173342720 40341 268435456000 4194304 4417452 140734252435648 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14075/statm: 42320 40341 146 55 0 40206 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 169280

[startup+3.10081 s]
/proc/loadavg: 27.23 31.00 31.71 2/414 14081
/proc/meminfo: memFree=255337192/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=295312 CPUtime=3.09 cores=0-31
/proc/14075/stat : 14075 (plingeling) R 14073 14075 14049 0 -1 4202496 71919 1244 0 0 292 16 0 1 25 0 1 0 711065643 302399488 71849 268435456000 4194304 4417452 140734252435648 18446744073709551615 4322350 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14075/statm: 73828 71849 146 55 0 71714 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 295312

[startup+6.30181 s]
/proc/loadavg: 27.23 31.00 31.71 33/446 14113
/proc/meminfo: memFree=255097760/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=948760 CPUtime=83.22 cores=0-31
/proc/14075/stat : 14075 (plingeling) S 14073 14075 14049 0 -1 4202496 179098 1244 0 0 8177 144 0 1 18 0 33 0 711065643 971530240 99590 268435456000 4194304 4417452 140734252435648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/14075/statm: 237190 99610 171 55 0 235076 0
[pid=14075/tid=14082] ppid=14073 vsize=948760 CPUtime=2.5 cores=0-31
/proc/14075/task/14082/stat : 14082 (plingeling) R 14073 14075 14049 0 -1 4202560 4470 1244 0 0 248 1 0 1 22 0 33 0 711066022 971530240 99619 268435456000 4194304 4417452 140734252435648 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14075/tid=14083] ppid=14073 vsize=948760 CPUtime=2.5 cores=0-31
/proc/14075/task/14083/stat : 14083 (plingeling) R 14073 14075 14049 0 -1 4202560 2798 1244 0 0 247 2 0 1 22 0 33 0 711066022 971530240 99628 268435456000 4194304 4417452 140734252435648 18446744073709551615 4284871 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14075/tid=14084] ppid=14073 vsize=948760 CPUtime=2.43 cores=0-31
/proc/14075/task/14084/stat : 14084 (plingeling) R 14073 14075 14049 0 -1 4202560 2859 1244 0 0 240 2 0 1 25 0 33 0 711066022 971530240 99636 268435456000 4194304 4417452 140734252435648 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14075/tid=14085] ppid=14073 vsize=948760 CPUtime=2.5 cores=0-31
/proc/14075/task/14085/stat : 14085 (plingeling) R 14073 14075 14049 0 -1 4202560 2272 1244 0 0 245 4 0 1 22 0 33 0 711066022 971530240 99644 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14075/tid=14086] ppid=14073 vsize=948760 CPUtime=2.5 cores=0-31
/proc/14075/task/14086/stat : 14086 (plingeling) R 14073 14075 14049 0 -1 4202560 1543 1244 0 0 245 4 0 1 22 0 33 0 711066022 971530240 99652 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236655 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14075/tid=14087] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14087/stat : 14087 (plingeling) R 14073 14075 14049 0 -1 4202560 2575 1244 0 0 242 5 0 1 25 0 33 0 711066022 971530240 99660 268435456000 4194304 4417452 140734252435648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14075/tid=14088] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14088/stat : 14088 (plingeling) R 14073 14075 14049 0 -1 4202560 3312 1244 0 0 245 3 0 1 25 0 33 0 711066022 971530240 99667 268435456000 4194304 4417452 140734252435648 18446744073709551615 4292143 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14075/tid=14089] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14089/stat : 14089 (plingeling) R 14073 14075 14049 0 -1 4202560 1533 1244 0 0 245 3 0 1 25 0 33 0 711066022 971530240 99675 268435456000 4194304 4417452 140734252435648 18446744073709551615 4290963 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14075/tid=14090] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14090/stat : 14090 (plingeling) R 14073 14075 14049 0 -1 4202560 2374 1244 0 0 244 4 0 1 25 0 33 0 711066022 971530240 99683 268435456000 4194304 4417452 140734252435648 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14075/tid=14091] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14091/stat : 14091 (plingeling) R 14073 14075 14049 0 -1 4202560 1476 1244 0 0 245 3 0 1 25 0 33 0 711066022 971530240 99691 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14075/tid=14092] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14092/stat : 14092 (plingeling) R 14073 14075 14049 0 -1 4202560 1532 1244 0 0 245 3 0 1 22 0 33 0 711066022 971530240 99698 268435456000 4194304 4417452 140734252435648 18446744073709551615 4276161 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14075/tid=14093] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14093/stat : 14093 (plingeling) R 14073 14075 14049 0 -1 4202560 1923 1244 0 0 246 2 0 1 25 0 33 0 711066022 971530240 99443 268435456000 4194304 4417452 140734252435648 18446744073709551615 4286556 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14075/tid=14094] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14094/stat : 14094 (plingeling) R 14073 14075 14049 0 -1 4202560 3009 1244 0 0 244 3 0 1 25 0 33 0 711066022 971530240 99280 268435456000 4194304 4417452 140734252435648 18446744073709551615 4291923 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14075/tid=14095] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14095/stat : 14095 (plingeling) R 14073 14075 14049 0 -1 4202560 2881 1244 0 0 244 3 0 1 22 0 33 0 711066022 971530240 99289 268435456000 4194304 4417452 140734252435648 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14075/tid=14096] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14096/stat : 14096 (plingeling) R 14073 14075 14049 0 -1 4202560 1984 1244 0 0 243 5 0 1 22 0 33 0 711066023 971530240 99296 268435456000 4194304 4417452 140734252435648 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14075/tid=14097] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14097/stat : 14097 (plingeling) R 14073 14075 14049 0 -1 4202560 7001 1244 0 0 242 5 0 1 22 0 33 0 711066023 971530240 99305 268435456000 4194304 4417452 140734252435648 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14075/tid=14098] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14098/stat : 14098 (plingeling) R 14073 14075 14049 0 -1 4202560 10015 1244 0 0 241 6 0 1 21 0 33 0 711066023 971530240 99313 268435456000 4194304 4417452 140734252435648 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14075/tid=14099] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14099/stat : 14099 (plingeling) R 14073 14075 14049 0 -1 4202560 6949 1244 0 0 243 5 0 1 22 0 33 0 711066023 971530240 99321 268435456000 4194304 4417452 140734252435648 18446744073709551615 4306846 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14075/tid=14100] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14100/stat : 14100 (plingeling) R 14073 14075 14049 0 -1 4202560 6220 1244 0 0 243 5 0 1 25 0 33 0 711066023 971530240 99328 268435456000 4194304 4417452 140734252435648 18446744073709551615 258650999383 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14075/tid=14101] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14101/stat : 14101 (plingeling) R 14073 14075 14049 0 -1 4202560 4204 1244 0 0 243 5 0 1 25 0 33 0 711066023 971530240 99336 268435456000 4194304 4417452 140734252435648 18446744073709551615 4286255 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14075/tid=14102] ppid=14073 vsize=948760 CPUtime=2.49 cores=0-31
/proc/14075/task/14102/stat : 14102 (plingeling) R 14073 14075 14049 0 -1 4202560 1477 1244 0 0 245 3 0 1 22 0 33 0 711066023 971530240 99345 268435456000 4194304 4417452 140734252435648 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14075/tid=14103] ppid=14073 vsize=948760 CPUtime=2.47 cores=0-31
/proc/14075/task/14103/stat : 14103 (plingeling) R 14073 14075 14049 0 -1 4202560 6428 1244 0 0 241 5 0 1 25 0 33 0 711066023 971530240 99355 268435456000 4194304 4417452 140734252435648 18446744073709551615 4284462 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14075/tid=14104] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14104/stat : 14104 (plingeling) R 14073 14075 14049 0 -1 4202560 5627 1244 0 0 242 5 0 1 22 0 33 0 711066023 971530240 99364 268435456000 4194304 4417452 140734252435648 18446744073709551615 4291975 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14075/tid=14105] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14105/stat : 14105 (plingeling) R 14073 14075 14049 0 -1 4202560 5883 1244 0 0 243 4 0 1 22 0 33 0 711066023 971530240 99373 268435456000 4194304 4417452 140734252435648 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14075/tid=14106] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14106/stat : 14106 (plingeling) R 14073 14075 14049 0 -1 4202560 1534 1244 0 0 244 3 0 1 25 0 33 0 711066023 971530240 99383 268435456000 4194304 4417452 140734252435648 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14075/tid=14107] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14107/stat : 14107 (plingeling) R 14073 14075 14049 0 -1 4202560 1544 1244 0 0 244 3 0 1 25 0 33 0 711066023 971530240 99391 268435456000 4194304 4417452 140734252435648 18446744073709551615 4284544 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14075/tid=14108] ppid=14073 vsize=948760 CPUtime=2.48 cores=0-31
/proc/14075/task/14108/stat : 14108 (plingeling) R 14073 14075 14049 0 -1 4202560 2798 1244 0 0 244 3 0 1 25 0 33 0 711066023 971530240 99400 268435456000 4194304 4417452 140734252435648 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14075/tid=14109] ppid=14073 vsize=948760 CPUtime=2.47 cores=0-31
/proc/14075/task/14109/stat : 14109 (plingeling) R 14073 14075 14049 0 -1 4202560 2408 1244 0 0 244 2 0 1 25 0 33 0 711066023 971530240 99410 268435456000 4194304 4417452 140734252435648 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14075/tid=14110] ppid=14073 vsize=948760 CPUtime=2.47 cores=0-31
/proc/14075/task/14110/stat : 14110 (plingeling) R 14073 14075 14049 0 -1 4202560 1475 1244 0 0 244 2 0 1 25 0 33 0 711066023 971530240 99409 268435456000 4194304 4417452 140734252435648 18446744073709551615 4270989 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14075/tid=14111] ppid=14073 vsize=948752 CPUtime=2.46 cores=0-31
/proc/14075/task/14111/stat : 14111 (plingeling) R 14073 14075 14049 0 -1 4202560 1913 1244 0 0 242 3 0 1 25 0 33 0 711066023 971522048 99412 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14075/tid=14112] ppid=14073 vsize=948752 CPUtime=2.47 cores=0-31
/proc/14075/task/14112/stat : 14112 (plingeling) R 14073 14075 14049 0 -1 4202560 1422 1244 0 0 244 2 0 1 25 0 33 0 711066023 971522048 99419 268435456000 4194304 4417452 140734252435648 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14075/tid=14113] ppid=14073 vsize=948752 CPUtime=2.48 cores=0-31
/proc/14075/task/14113/stat : 14113 (plingeling) R 14073 14075 14049 0 -1 4202560 3771 1244 0 0 244 3 0 1 22 0 33 0 711066023 971522048 99428 268435456000 4194304 4417452 140734252435648 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 83.22
Current children cumulated vsize (KiB) 948760

[startup+12.702 s]
/proc/loadavg: 27.97 31.04 31.71 33/446 14113
/proc/meminfo: memFree=254989760/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=1024800 CPUtime=284.61 cores=0-31
/proc/14075/stat : 14075 (plingeling) S 14073 14075 14049 0 -1 4202496 257008 1244 0 0 28227 233 0 1 18 0 33 0 711065643 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/14075/statm: 256200 118156 175 55 0 254086 0
[pid=14075/tid=14082] ppid=14073 vsize=1024800 CPUtime=8.73 cores=0-31
/proc/14075/task/14082/stat : 14082 (plingeling) R 14073 14075 14049 0 -1 4202560 7231 1244 0 0 866 6 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14075/tid=14083] ppid=14073 vsize=1024800 CPUtime=8.77 cores=0-31
/proc/14075/task/14083/stat : 14083 (plingeling) R 14073 14075 14049 0 -1 4202560 5338 1244 0 0 873 3 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4358006 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14075/tid=14084] ppid=14073 vsize=1024800 CPUtime=8.77 cores=0-31
/proc/14075/task/14084/stat : 14084 (plingeling) R 14073 14075 14049 0 -1 4202560 4501 1244 0 0 872 4 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4366624 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14075/tid=14085] ppid=14073 vsize=1024800 CPUtime=8.9 cores=0-31
/proc/14075/task/14085/stat : 14085 (plingeling) R 14073 14075 14049 0 -1 4202560 2272 1244 0 0 885 4 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14075/tid=14086] ppid=14073 vsize=1024800 CPUtime=8.86 cores=0-31
/proc/14075/task/14086/stat : 14086 (plingeling) R 14073 14075 14049 0 -1 4202560 3053 1244 0 0 879 6 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4250894 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14075/tid=14087] ppid=14073 vsize=1024800 CPUtime=8.85 cores=0-31
/proc/14075/task/14087/stat : 14087 (plingeling) R 14073 14075 14049 0 -1 4202560 4445 1244 0 0 878 6 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14075/tid=14088] ppid=14073 vsize=1024800 CPUtime=8.68 cores=0-31
/proc/14075/task/14088/stat : 14088 (plingeling) R 14073 14075 14049 0 -1 4202560 4936 1244 0 0 862 5 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4245661 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14075/tid=14089] ppid=14073 vsize=1024800 CPUtime=8.54 cores=0-31
/proc/14075/task/14089/stat : 14089 (plingeling) R 14073 14075 14049 0 -1 4202560 4176 1244 0 0 846 7 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4365996 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14075/tid=14090] ppid=14073 vsize=1024800 CPUtime=8.87 cores=0-31
/proc/14075/task/14090/stat : 14090 (plingeling) R 14073 14075 14049 0 -1 4202560 3404 1244 0 0 882 4 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4358008 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14075/tid=14091] ppid=14073 vsize=1024800 CPUtime=8.82 cores=0-31
/proc/14075/task/14091/stat : 14091 (plingeling) R 14073 14075 14049 0 -1 4202560 4650 1244 0 0 875 6 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14075/tid=14092] ppid=14073 vsize=1024800 CPUtime=8.78 cores=0-31
/proc/14075/task/14092/stat : 14092 (plingeling) R 14073 14075 14049 0 -1 4202560 3839 1244 0 0 871 6 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14075/tid=14093] ppid=14073 vsize=1024800 CPUtime=8.78 cores=0-31
/proc/14075/task/14093/stat : 14093 (plingeling) R 14073 14075 14049 0 -1 4202560 4367 1244 0 0 872 5 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14075/tid=14094] ppid=14073 vsize=1024800 CPUtime=8.86 cores=0-31
/proc/14075/task/14094/stat : 14094 (plingeling) R 14073 14075 14049 0 -1 4202560 6110 1244 0 0 879 6 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14075/tid=14095] ppid=14073 vsize=1024800 CPUtime=8.71 cores=0-31
/proc/14075/task/14095/stat : 14095 (plingeling) R 14073 14075 14049 0 -1 4202560 6308 1244 0 0 862 8 0 1 25 0 33 0 711066022 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14075/tid=14096] ppid=14073 vsize=1024800 CPUtime=8.77 cores=0-31
/proc/14075/task/14096/stat : 14096 (plingeling) R 14073 14075 14049 0 -1 4202560 3419 1244 0 0 869 7 0 1 25 0 33 0 711066023 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14075/tid=14097] ppid=14073 vsize=1024800 CPUtime=8.73 cores=0-31
/proc/14075/task/14097/stat : 14097 (plingeling) R 14073 14075 14049 0 -1 4202560 10695 1244 0 0 862 10 0 1 25 0 33 0 711066023 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4366017 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14075/tid=14098] ppid=14073 vsize=1024800 CPUtime=8.65 cores=0-31
/proc/14075/task/14098/stat : 14098 (plingeling) R 14073 14075 14049 0 -1 4202560 14407 1244 0 0 855 9 0 1 25 0 33 0 711066023 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4357902 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14075/tid=14099] ppid=14073 vsize=1024800 CPUtime=8.69 cores=0-31
/proc/14075/task/14099/stat : 14099 (plingeling) R 14073 14075 14049 0 -1 4202560 9399 1244 0 0 858 10 0 1 25 0 33 0 711066023 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236852 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14075/tid=14100] ppid=14073 vsize=1024800 CPUtime=8.83 cores=0-31
/proc/14075/task/14100/stat : 14100 (plingeling) R 14073 14075 14049 0 -1 4202560 7779 1244 0 0 876 6 0 1 25 0 33 0 711066023 1049395200 118156 268435456000 4194304 4417452 140734252435648 18446744073709551615 4365130 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14075/tid=14101] ppid=14073 vsize=1024800 CPUtime=8.72 cores=0-31

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

[pid=14075/tid=14082] ppid=14073 vsize=7913656 CPUtime=4953.67 cores=0-31
/proc/14075/task/14082/stat : 14082 (plingeling) R 14073 14075 14049 0 -1 4202560 214440 1244 0 0 495198 168 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14075/tid=14083] ppid=14073 vsize=7913656 CPUtime=4936.15 cores=0-31
/proc/14075/task/14083/stat : 14083 (plingeling) R 14073 14075 14049 0 -1 4202560 968268 1244 0 0 493218 396 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14075/tid=14084] ppid=14073 vsize=7913656 CPUtime=4952.6 cores=0-31
/proc/14075/task/14084/stat : 14084 (plingeling) R 14073 14075 14049 0 -1 4202560 131403 1244 0 0 495200 59 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14075/tid=14085] ppid=14073 vsize=7913656 CPUtime=4952.2 cores=0-31
/proc/14075/task/14085/stat : 14085 (plingeling) R 14073 14075 14049 0 -1 4202560 360302 1244 0 0 494925 294 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14075/tid=14086] ppid=14073 vsize=7913656 CPUtime=4953.78 cores=0-31
/proc/14075/task/14086/stat : 14086 (plingeling) R 14073 14075 14049 0 -1 4202560 300569 1244 0 0 495108 269 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14075/tid=14087] ppid=14073 vsize=7913656 CPUtime=4952.08 cores=0-31
/proc/14075/task/14087/stat : 14087 (plingeling) R 14073 14075 14049 0 -1 4202560 224704 1244 0 0 495035 172 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14075/tid=14088] ppid=14073 vsize=7913656 CPUtime=4956.86 cores=0-31
/proc/14075/task/14088/stat : 14088 (plingeling) R 14073 14075 14049 0 -1 4202560 480439 1244 0 0 495460 225 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14075/tid=14089] ppid=14073 vsize=7913656 CPUtime=4955.75 cores=0-31
/proc/14075/task/14089/stat : 14089 (plingeling) R 14073 14075 14049 0 -1 4202560 291011 1244 0 0 495333 241 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14075/tid=14090] ppid=14073 vsize=7913656 CPUtime=4954.44 cores=0-31
/proc/14075/task/14090/stat : 14090 (plingeling) R 14073 14075 14049 0 -1 4202560 274240 1244 0 0 495240 203 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14075/tid=14091] ppid=14073 vsize=7913656 CPUtime=4954.06 cores=0-31
/proc/14075/task/14091/stat : 14091 (plingeling) R 14073 14075 14049 0 -1 4202560 216674 1244 0 0 495230 175 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14075/tid=14092] ppid=14073 vsize=7913656 CPUtime=4933.63 cores=0-31
/proc/14075/task/14092/stat : 14092 (plingeling) R 14073 14075 14049 0 -1 4202560 282543 1244 0 0 493151 211 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14075/tid=14093] ppid=14073 vsize=7913656 CPUtime=4949.49 cores=0-31
/proc/14075/task/14093/stat : 14093 (plingeling) R 14073 14075 14049 0 -1 4202560 406670 1244 0 0 494542 406 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14075/tid=14094] ppid=14073 vsize=7913656 CPUtime=4952.35 cores=0-31
/proc/14075/task/14094/stat : 14094 (plingeling) R 14073 14075 14049 0 -1 4202560 299936 1244 0 0 495017 217 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14075/tid=14095] ppid=14073 vsize=7913656 CPUtime=4950.46 cores=0-31
/proc/14075/task/14095/stat : 14095 (plingeling) R 14073 14075 14049 0 -1 4202560 524690 1244 0 0 494664 381 0 1 25 0 33 0 711066022 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14075/tid=14096] ppid=14073 vsize=7913656 CPUtime=4956.86 cores=0-31
/proc/14075/task/14096/stat : 14096 (plingeling) R 14073 14075 14049 0 -1 4202560 256934 1244 0 0 495495 190 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14075/tid=14097] ppid=14073 vsize=7913656 CPUtime=4956.35 cores=0-31
/proc/14075/task/14097/stat : 14097 (plingeling) R 14073 14075 14049 0 -1 4202560 408929 1244 0 0 495230 404 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236842 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14075/tid=14098] ppid=14073 vsize=7913656 CPUtime=4948.67 cores=0-31
/proc/14075/task/14098/stat : 14098 (plingeling) R 14073 14075 14049 0 -1 4202560 271684 1244 0 0 494652 214 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14075/tid=14099] ppid=14073 vsize=7913656 CPUtime=4956.38 cores=0-31
/proc/14075/task/14099/stat : 14099 (plingeling) R 14073 14075 14049 0 -1 4202560 484280 1244 0 0 495320 317 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14075/tid=14100] ppid=14073 vsize=7913656 CPUtime=4951.53 cores=0-31
/proc/14075/task/14100/stat : 14100 (plingeling) R 14073 14075 14049 0 -1 4202560 225027 1244 0 0 494953 199 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14075/tid=14101] ppid=14073 vsize=7913656 CPUtime=4943.37 cores=0-31
/proc/14075/task/14101/stat : 14101 (plingeling) R 14073 14075 14049 0 -1 4202560 445534 1244 0 0 493854 482 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14075/tid=14102] ppid=14073 vsize=7913656 CPUtime=4946.21 cores=0-31
/proc/14075/task/14102/stat : 14102 (plingeling) R 14073 14075 14049 0 -1 4202560 263682 1244 0 0 494366 254 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14075/tid=14103] ppid=14073 vsize=7913656 CPUtime=4954.91 cores=0-31
/proc/14075/task/14103/stat : 14103 (plingeling) R 14073 14075 14049 0 -1 4202560 335615 1244 0 0 495193 297 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14075/tid=14104] ppid=14073 vsize=7913656 CPUtime=4956.81 cores=0-31
/proc/14075/task/14104/stat : 14104 (plingeling) R 14073 14075 14049 0 -1 4202560 223837 1244 0 0 495508 172 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14075/tid=14105] ppid=14073 vsize=7913656 CPUtime=4955.84 cores=0-31
/proc/14075/task/14105/stat : 14105 (plingeling) R 14073 14075 14049 0 -1 4202560 428008 1244 0 0 495211 372 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14075/tid=14106] ppid=14073 vsize=7913656 CPUtime=4956.8 cores=0-31
/proc/14075/task/14106/stat : 14106 (plingeling) R 14073 14075 14049 0 -1 4202560 414466 1244 0 0 495338 341 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14075/tid=14107] ppid=14073 vsize=7913656 CPUtime=4957.11 cores=0-31
/proc/14075/task/14107/stat : 14107 (plingeling) R 14073 14075 14049 0 -1 4202560 507891 1244 0 0 495165 545 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14075/tid=14108] ppid=14073 vsize=7913656 CPUtime=4956.79 cores=0-31
/proc/14075/task/14108/stat : 14108 (plingeling) R 14073 14075 14049 0 -1 4202560 418113 1244 0 0 495473 205 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14075/tid=14109] ppid=14073 vsize=7913656 CPUtime=4955.45 cores=0-31
/proc/14075/task/14109/stat : 14109 (plingeling) R 14073 14075 14049 0 -1 4202560 199620 1244 0 0 495385 159 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14075/tid=14110] ppid=14073 vsize=7913656 CPUtime=4956.57 cores=0-31
/proc/14075/task/14110/stat : 14110 (plingeling) R 14073 14075 14049 0 -1 4202560 895417 1244 0 0 495407 249 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14075/tid=14111] ppid=14073 vsize=7913656 CPUtime=4954.02 cores=0-31
/proc/14075/task/14111/stat : 14111 (plingeling) R 14073 14075 14049 0 -1 4202560 280893 1244 0 0 495204 197 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14075/tid=14112] ppid=14073 vsize=7913656 CPUtime=4945.04 cores=0-31
/proc/14075/task/14112/stat : 14112 (plingeling) R 14073 14075 14049 0 -1 4202560 297077 1244 0 0 494234 269 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14075/tid=14113] ppid=14073 vsize=7913656 CPUtime=4950.21 cores=0-31
/proc/14075/task/14113/stat : 14113 (plingeling) R 14073 14075 14049 0 -1 4202560 479271 1244 0 0 494640 380 0 1 25 0 33 0 711066023 8103583744 1813243 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 158470
Current children cumulated vsize (KiB) 7913656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5010.2 s]
/proc/loadavg: 32.13 32.16 32.15 33/446 14259
/proc/meminfo: memFree=248299356/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=7860244 CPUtime=160002 cores=0-31
/proc/14075/stat : 14075 (plingeling) S 14073 14075 14049 0 -1 4202496 11967534 1244 0 0 15991422 8767 0 1 18 0 33 0 711065643 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/14075/statm: 1965061 1797635 175 55 0 1962947 0
[pid=14075/tid=14082] ppid=14073 vsize=7860244 CPUtime=5001.58 cores=0-31
/proc/14075/task/14082/stat : 14082 (plingeling) R 14073 14075 14049 0 -1 4202560 214454 1244 0 0 499989 168 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14075/tid=14083] ppid=14073 vsize=7860244 CPUtime=4983.98 cores=0-31
/proc/14075/task/14083/stat : 14083 (plingeling) R 14073 14075 14049 0 -1 4202560 968268 1244 0 0 498001 396 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14075/tid=14084] ppid=14073 vsize=7860244 CPUtime=5000.5 cores=0-31
/proc/14075/task/14084/stat : 14084 (plingeling) R 14073 14075 14049 0 -1 4202560 131403 1244 0 0 499990 59 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14075/tid=14085] ppid=14073 vsize=7860244 CPUtime=4999.24 cores=0-31
/proc/14075/task/14085/stat : 14085 (plingeling) R 14073 14075 14049 0 -1 4202560 360302 1244 0 0 499629 294 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14075/tid=14086] ppid=14073 vsize=7860244 CPUtime=5001.7 cores=0-31
/proc/14075/task/14086/stat : 14086 (plingeling) R 14073 14075 14049 0 -1 4202560 300569 1244 0 0 499900 269 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14075/tid=14087] ppid=14073 vsize=7860244 CPUtime=4999.99 cores=0-31
/proc/14075/task/14087/stat : 14087 (plingeling) R 14073 14075 14049 0 -1 4202560 224704 1244 0 0 499826 172 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14075/tid=14088] ppid=14073 vsize=7860244 CPUtime=5004.78 cores=0-31
/proc/14075/task/14088/stat : 14088 (plingeling) R 14073 14075 14049 0 -1 4202560 480439 1244 0 0 500252 225 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14075/tid=14089] ppid=14073 vsize=7860244 CPUtime=5003.66 cores=0-31
/proc/14075/task/14089/stat : 14089 (plingeling) R 14073 14075 14049 0 -1 4202560 291011 1244 0 0 500124 241 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14075/tid=14090] ppid=14073 vsize=7860244 CPUtime=5002.35 cores=0-31
/proc/14075/task/14090/stat : 14090 (plingeling) R 14073 14075 14049 0 -1 4202560 284415 1244 0 0 500029 205 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14075/tid=14091] ppid=14073 vsize=7860244 CPUtime=5001.96 cores=0-31
/proc/14075/task/14091/stat : 14091 (plingeling) R 14073 14075 14049 0 -1 4202560 216674 1244 0 0 500020 175 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14075/tid=14092] ppid=14073 vsize=7860244 CPUtime=4981.04 cores=0-31
/proc/14075/task/14092/stat : 14092 (plingeling) R 14073 14075 14049 0 -1 4202560 284213 1244 0 0 497891 212 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14075/tid=14093] ppid=14073 vsize=7860244 CPUtime=4997.4 cores=0-31
/proc/14075/task/14093/stat : 14093 (plingeling) R 14073 14075 14049 0 -1 4202560 406670 1244 0 0 499333 406 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4236870 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14075/tid=14094] ppid=14073 vsize=7860244 CPUtime=5000.24 cores=0-31
/proc/14075/task/14094/stat : 14094 (plingeling) R 14073 14075 14049 0 -1 4202560 299936 1244 0 0 499806 217 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14075/tid=14095] ppid=14073 vsize=7860244 CPUtime=4998.37 cores=0-31
/proc/14075/task/14095/stat : 14095 (plingeling) R 14073 14075 14049 0 -1 4202560 548548 1244 0 0 499450 386 0 1 25 0 33 0 711066022 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14075/tid=14096] ppid=14073 vsize=7860244 CPUtime=5004.76 cores=0-31
/proc/14075/task/14096/stat : 14096 (plingeling) R 14073 14075 14049 0 -1 4202560 268695 1244 0 0 500253 222 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14075/tid=14097] ppid=14073 vsize=7860244 CPUtime=5004.27 cores=0-31
/proc/14075/task/14097/stat : 14097 (plingeling) R 14073 14075 14049 0 -1 4202560 418084 1244 0 0 500020 406 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14075/tid=14098] ppid=14073 vsize=7860244 CPUtime=4996.57 cores=0-31
/proc/14075/task/14098/stat : 14098 (plingeling) R 14073 14075 14049 0 -1 4202560 271684 1244 0 0 499442 214 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14075/tid=14099] ppid=14073 vsize=7860244 CPUtime=5004.29 cores=0-31
/proc/14075/task/14099/stat : 14099 (plingeling) R 14073 14075 14049 0 -1 4202560 484280 1244 0 0 500111 317 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14075/tid=14100] ppid=14073 vsize=7860244 CPUtime=4999.44 cores=0-31
/proc/14075/task/14100/stat : 14100 (plingeling) R 14073 14075 14049 0 -1 4202560 228099 1244 0 0 499743 200 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14075/tid=14101] ppid=14073 vsize=7860244 CPUtime=4991.29 cores=0-31
/proc/14075/task/14101/stat : 14101 (plingeling) R 14073 14075 14049 0 -1 4202560 445547 1244 0 0 498646 482 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14075/tid=14102] ppid=14073 vsize=7860244 CPUtime=4994.13 cores=0-31
/proc/14075/task/14102/stat : 14102 (plingeling) R 14073 14075 14049 0 -1 4202560 263682 1244 0 0 499158 254 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14075/tid=14103] ppid=14073 vsize=7860244 CPUtime=5002.82 cores=0-31
/proc/14075/task/14103/stat : 14103 (plingeling) R 14073 14075 14049 0 -1 4202560 335629 1244 0 0 499984 297 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14075/tid=14104] ppid=14073 vsize=7860244 CPUtime=5004.72 cores=0-31
/proc/14075/task/14104/stat : 14104 (plingeling) R 14073 14075 14049 0 -1 4202560 223837 1244 0 0 500299 172 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14075/tid=14105] ppid=14073 vsize=7860244 CPUtime=5003.75 cores=0-31
/proc/14075/task/14105/stat : 14105 (plingeling) R 14073 14075 14049 0 -1 4202560 428008 1244 0 0 500002 372 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14075/tid=14106] ppid=14073 vsize=7860244 CPUtime=5004.7 cores=0-31
/proc/14075/task/14106/stat : 14106 (plingeling) R 14073 14075 14049 0 -1 4202560 417442 1244 0 0 500128 341 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14075/tid=14107] ppid=14073 vsize=7860244 CPUtime=5005.02 cores=0-31
/proc/14075/task/14107/stat : 14107 (plingeling) R 14073 14075 14049 0 -1 4202560 510209 1244 0 0 499955 546 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4234654 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14075/tid=14108] ppid=14073 vsize=7860244 CPUtime=5004.7 cores=0-31
/proc/14075/task/14108/stat : 14108 (plingeling) R 14073 14075 14049 0 -1 4202560 418113 1244 0 0 500264 205 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14075/tid=14109] ppid=14073 vsize=7860244 CPUtime=5003.37 cores=0-31
/proc/14075/task/14109/stat : 14109 (plingeling) R 14073 14075 14049 0 -1 4202560 199620 1244 0 0 500177 159 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14075/tid=14110] ppid=14073 vsize=7860244 CPUtime=5004.47 cores=0-31
/proc/14075/task/14110/stat : 14110 (plingeling) R 14073 14075 14049 0 -1 4202560 905606 1244 0 0 500196 250 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14075/tid=14111] ppid=14073 vsize=7860244 CPUtime=5001.93 cores=0-31
/proc/14075/task/14111/stat : 14111 (plingeling) R 14073 14075 14049 0 -1 4202560 280893 1244 0 0 499995 197 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14075/tid=14112] ppid=14073 vsize=7860244 CPUtime=4992.95 cores=0-31
/proc/14075/task/14112/stat : 14112 (plingeling) R 14073 14075 14049 0 -1 4202560 305269 1244 0 0 499003 291 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14075/tid=14113] ppid=14073 vsize=7860244 CPUtime=4998.1 cores=0-31
/proc/14075/task/14113/stat : 14113 (plingeling) R 14073 14075 14049 0 -1 4202560 479271 1244 0 0 499429 380 0 1 25 0 33 0 711066023 8048889856 1797635 268435456000 4194304 4417452 140734252435648 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 7860244

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

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

[startup+5010.6 s]
/proc/loadavg: 32.13 32.16 32.15 2/416 14260
/proc/meminfo: memFree=250272560/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=0 CPUtime=160002 cores=0-31
/proc/14075/stat : 14075 (plingeling) Z 14073 14075 14049 0 -1 4203548 11967535 1244 0 0 15991444 8804 0 1 18 0 2 0 711065643 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/14075/statm: 0 0 0 0 0 0 0
[pid=14075/tid=14099] ppid=14073 vsize=0 CPUtime=5004.67 cores=0-31
/proc/14075/task/14099/stat : 14099 (plingeling) R 14073 14075 14049 0 -1 4203588 484280 1244 0 0 500112 354 0 1 25 0 2 0 711066023 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5010.8 s]
/proc/loadavg: 32.13 32.16 32.15 2/416 14260
/proc/meminfo: memFree=250272560/264257624 swapFree=67111528/67111528
[pid=14075] ppid=14073 vsize=0 CPUtime=160003 cores=0-31
/proc/14075/stat : 14075 (plingeling) Z 14073 14075 14049 0 -1 4203548 11967535 1244 0 0 15991444 8824 0 1 18 0 2 0 711065643 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/14075/statm: 0 0 0 0 0 0 0
[pid=14075/tid=14099] ppid=14073 vsize=0 CPUtime=5004.87 cores=0-31
/proc/14075/task/14099/stat : 14099 (plingeling) R 14073 14075 14049 0 -1 4203588 484280 1244 0 0 500112 374 0 1 25 0 2 0 711066023 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.85
CPU time (s): 160003
CPU user time (s): 159914
CPU system time (s): 88.3106
CPU usage (%): 3193.12
Max. virtual memory (cumulated for all children) (KiB): 7938160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159914
system time used= 88.3106
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11968779
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= 14064
involuntary context switches= 404200

runsolver used 28.7526 second user time and 112.954 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-21 18:36:32
IDJOB=3372729
IDBENCH=83137
IDSOLVER=1852
FILE ID=node200/3372729-1305995792
RUNJOBID= node200-1305995792-14063
PBS_JOBID= 13387796
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom23.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372729-1305995792/watcher-3372729-1305995792 -o /tmp/evaluation-result-3372729-1305995792/solver-3372729-1305995792 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372729-1305995792.cnf

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

MD5SUM BENCH= e560aa6505ddce6d3784f70d5b7aff66
RANDOM SEED=1541052572

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.049
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.049
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.07
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.049
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.049
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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	: 3990.04
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.049
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.09
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.049
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.049
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.09
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.049
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	: 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.06
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.09
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.049
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.05
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.049
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:      255500096 kB
Buffers:        453948 kB
Cached:        7901016 kB
SwapCached:          0 kB
Active:        7424556 kB
Inactive:       999224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255500096 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3660 kB
Writeback:           0 kB
AnonPages:       68780 kB
Mapped:          14508 kB
Slab:           252880 kB
PageTables:       3768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187080 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= 62040 MiB
End job on node200 at 2011-05-21 20:00:05