Trace number 3372162

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) 160002 5012.65

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
MD5SUM8a76c8add64173ae39149aae572a02d9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6444.1
Satisfiable
(Un)Satisfiability was proved
Number of variables37432
Number of clauses147345
Sum of the clauses size401667
Maximum clause length37
Minimum clause length1
Number of clauses of size 1603
Number of clauses of size 269621
Number of clauses of size 371450
Number of clauses of size 4266
Number of clauses of size 5505
Number of clauses of size over 54900

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-3372162-1305463073/watcher-3372162-1305463073 -o /tmp/evaluation-result-3372162-1305463073/solver-3372162-1305463073 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372162-1305463073.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: 27.14 31.03 31.74 1/413 11437
/proc/meminfo: memFree=255582636/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=9968 CPUtime=0.02 cores=0-31
/proc/11437/stat : 11437 (plingeling) R 11435 11437 11411 0 -1 4202496 563 1247 0 0 2 0 0 0 22 0 1 0 657793732 10207232 494 268435456000 4194304 4417452 140736486531280 18446744073709551615 258650616632 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11437/statm: 2492 494 145 55 0 378 0

[startup+0.0670779 s]
/proc/loadavg: 27.14 31.03 31.74 1/413 11437
/proc/meminfo: memFree=255582636/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=13156 CPUtime=0.05 cores=0-31
/proc/11437/stat : 11437 (plingeling) R 11435 11437 11411 0 -1 4202496 1350 1247 0 0 5 0 0 0 22 0 1 0 657793732 13471744 1281 268435456000 4194304 4417452 140736486531280 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11437/statm: 3289 1281 145 55 0 1175 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13156

[startup+0.101073 s]
/proc/loadavg: 27.14 31.03 31.74 1/413 11437
/proc/meminfo: memFree=255582636/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=14404 CPUtime=0.08 cores=0-31
/proc/11437/stat : 11437 (plingeling) R 11435 11437 11411 0 -1 4202496 1682 1247 0 0 8 0 0 0 22 0 1 0 657793732 14749696 1613 268435456000 4194304 4417452 140736486531280 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11437/statm: 3601 1613 145 55 0 1487 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14404

[startup+0.301086 s]
/proc/loadavg: 27.14 31.03 31.74 1/413 11437
/proc/meminfo: memFree=255582636/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=29364 CPUtime=0.28 cores=0-31
/proc/11437/stat : 11437 (plingeling) R 11435 11437 11411 0 -1 4202496 5431 1247 0 0 27 1 0 0 23 0 1 0 657793732 30068736 5362 268435456000 4194304 4417452 140736486531280 18446744073709551615 4231657 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11437/statm: 7341 5362 146 55 0 5227 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29364

[startup+0.701132 s]
/proc/loadavg: 27.14 31.03 31.74 1/413 11437
/proc/meminfo: memFree=255582636/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=64296 CPUtime=0.68 cores=0-31
/proc/11437/stat : 11437 (plingeling) R 11435 11437 11411 0 -1 4202496 14156 1247 0 0 65 3 0 0 25 0 1 0 657793732 65839104 14087 268435456000 4194304 4417452 140736486531280 18446744073709551615 4259606 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11437/statm: 16074 14087 146 55 0 13960 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 64296

[startup+1.50112 s]
/proc/loadavg: 27.14 31.03 31.74 2/414 11443
/proc/meminfo: memFree=255505600/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=159932 CPUtime=1.49 cores=0-31
/proc/11437/stat : 11437 (plingeling) R 11435 11437 11411 0 -1 4202496 38073 1247 0 0 141 8 0 0 25 0 1 0 657793732 163770368 38004 268435456000 4194304 4417452 140736486531280 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11437/statm: 39983 38004 146 55 0 37869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 159932

[startup+3.10105 s]
/proc/loadavg: 25.05 30.53 31.58 2/414 11443
/proc/meminfo: memFree=255363892/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=897436 CPUtime=13.12 cores=0-31
/proc/11437/stat : 11437 (plingeling) S 11435 11437 11411 0 -1 4202496 111478 1247 0 0 1235 77 0 0 18 0 33 0 657793732 918974464 75878 268435456000 4194304 4417452 140736486531280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 224359 75878 170 55 0 222245 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 897436

[startup+6.30216 s]
/proc/loadavg: 25.05 30.53 31.58 33/446 11475
/proc/meminfo: memFree=255213364/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=993456 CPUtime=115.15 cores=0-31
/proc/11437/stat : 11437 (plingeling) S 11435 11437 11411 0 -1 4202496 231295 1247 0 0 11391 124 0 0 18 0 33 0 657793732 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 248364 98559 175 55 0 246250 0
[pid=11437/tid=11444] ppid=11435 vsize=993456 CPUtime=3.53 cores=0-31
/proc/11437/task/11444/stat : 11444 (plingeling) R 11435 11437 11411 0 -1 4202560 2311 1247 0 0 352 1 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4257002 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11437/tid=11445] ppid=11435 vsize=993456 CPUtime=3.53 cores=0-31
/proc/11437/task/11445/stat : 11445 (plingeling) R 11435 11437 11411 0 -1 4202560 4803 1247 0 0 351 2 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11437/tid=11446] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11446/stat : 11446 (plingeling) R 11435 11437 11411 0 -1 4202560 3244 1247 0 0 349 2 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11437/tid=11447] ppid=11435 vsize=993456 CPUtime=3.53 cores=0-31
/proc/11437/task/11447/stat : 11447 (plingeling) R 11435 11437 11411 0 -1 4202560 585 1247 0 0 352 1 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11437/tid=11448] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11448/stat : 11448 (plingeling) R 11435 11437 11411 0 -1 4202560 6107 1247 0 0 349 2 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4271614 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11437/tid=11449] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11449/stat : 11449 (plingeling) R 11435 11437 11411 0 -1 4202560 2962 1247 0 0 350 1 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4257372 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11437/tid=11450] ppid=11435 vsize=993456 CPUtime=3.48 cores=0-31
/proc/11437/task/11450/stat : 11450 (plingeling) R 11435 11437 11411 0 -1 4202560 2616 1247 0 0 346 2 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11437/tid=11451] ppid=11435 vsize=993456 CPUtime=3.5 cores=0-31
/proc/11437/task/11451/stat : 11451 (plingeling) R 11435 11437 11411 0 -1 4202560 3581 1247 0 0 348 2 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11437/tid=11452] ppid=11435 vsize=993456 CPUtime=3.52 cores=0-31
/proc/11437/task/11452/stat : 11452 (plingeling) R 11435 11437 11411 0 -1 4202560 4958 1247 0 0 350 2 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4254955 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11437/tid=11453] ppid=11435 vsize=993456 CPUtime=3.52 cores=0-31
/proc/11437/task/11453/stat : 11453 (plingeling) R 11435 11437 11411 0 -1 4202560 6438 1247 0 0 349 3 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4274261 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11437/tid=11454] ppid=11435 vsize=993456 CPUtime=3.5 cores=0-31
/proc/11437/task/11454/stat : 11454 (plingeling) R 11435 11437 11411 0 -1 4202560 5694 1247 0 0 347 3 0 0 25 0 33 0 657794006 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4377755 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11437/tid=11455] ppid=11435 vsize=993456 CPUtime=3.52 cores=0-31
/proc/11437/task/11455/stat : 11455 (plingeling) R 11435 11437 11411 0 -1 4202560 2943 1247 0 0 350 2 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4253043 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11437/tid=11456] ppid=11435 vsize=993456 CPUtime=3.53 cores=0-31
/proc/11437/task/11456/stat : 11456 (plingeling) R 11435 11437 11411 0 -1 4202560 5894 1247 0 0 350 3 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11437/tid=11457] ppid=11435 vsize=993456 CPUtime=3.52 cores=0-31
/proc/11437/task/11457/stat : 11457 (plingeling) R 11435 11437 11411 0 -1 4202560 4104 1247 0 0 350 2 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4236048 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11437/tid=11458] ppid=11435 vsize=993456 CPUtime=3.39 cores=0-31
/proc/11437/task/11458/stat : 11458 (plingeling) R 11435 11437 11411 0 -1 4202560 5519 1247 0 0 335 4 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4258261 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11437/tid=11459] ppid=11435 vsize=993456 CPUtime=3.52 cores=0-31
/proc/11437/task/11459/stat : 11459 (plingeling) R 11435 11437 11411 0 -1 4202560 3792 1247 0 0 350 2 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4257002 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11437/tid=11460] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11460/stat : 11460 (plingeling) R 11435 11437 11411 0 -1 4202560 8430 1247 0 0 347 4 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11437/tid=11461] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11461/stat : 11461 (plingeling) R 11435 11437 11411 0 -1 4202560 8743 1247 0 0 348 3 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252022 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11437/tid=11462] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11462/stat : 11462 (plingeling) R 11435 11437 11411 0 -1 4202560 1855 1247 0 0 350 1 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11437/tid=11463] ppid=11435 vsize=993456 CPUtime=3.49 cores=0-31
/proc/11437/task/11463/stat : 11463 (plingeling) R 11435 11437 11411 0 -1 4202560 7629 1247 0 0 345 4 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4273464 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11437/tid=11464] ppid=11435 vsize=993456 CPUtime=3.5 cores=0-31
/proc/11437/task/11464/stat : 11464 (plingeling) R 11435 11437 11411 0 -1 4202560 6240 1247 0 0 347 3 0 0 25 0 33 0 657794007 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4271959 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11437/tid=11465] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11465/stat : 11465 (plingeling) R 11435 11437 11411 0 -1 4202560 5888 1247 0 0 347 4 0 0 25 0 33 0 657794008 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11437/tid=11466] ppid=11435 vsize=993456 CPUtime=3.47 cores=0-31
/proc/11437/task/11466/stat : 11466 (plingeling) R 11435 11437 11411 0 -1 4202560 5741 1247 0 0 344 3 0 0 25 0 33 0 657794008 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4377421 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11437/tid=11467] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11467/stat : 11467 (plingeling) R 11435 11437 11411 0 -1 4202560 5874 1247 0 0 348 3 0 0 25 0 33 0 657794008 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4340552 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11437/tid=11468] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11468/stat : 11468 (plingeling) R 11435 11437 11411 0 -1 4202560 2794 1247 0 0 349 2 0 0 18 0 33 0 657794008 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4226190 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11437/tid=11469] ppid=11435 vsize=993456 CPUtime=3.49 cores=0-31
/proc/11437/task/11469/stat : 11469 (plingeling) R 11435 11437 11411 0 -1 4202560 6757 1247 0 0 342 7 0 0 25 0 33 0 657794008 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252155 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11437/tid=11470] ppid=11435 vsize=993456 CPUtime=3.51 cores=0-31
/proc/11437/task/11470/stat : 11470 (plingeling) R 11435 11437 11411 0 -1 4202560 3339 1247 0 0 349 2 0 0 25 0 33 0 657794009 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4235981 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11437/tid=11471] ppid=11435 vsize=993456 CPUtime=3.45 cores=0-31
/proc/11437/task/11471/stat : 11471 (plingeling) R 11435 11437 11411 0 -1 4202560 8494 1247 0 0 341 4 0 0 25 0 33 0 657794009 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4252163 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11437/tid=11472] ppid=11435 vsize=993456 CPUtime=3.5 cores=0-31
/proc/11437/task/11472/stat : 11472 (plingeling) R 11435 11437 11411 0 -1 4202560 5977 1247 0 0 343 7 0 0 25 0 33 0 657794009 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11437/tid=11473] ppid=11435 vsize=993456 CPUtime=3.49 cores=0-31
/proc/11437/task/11473/stat : 11473 (plingeling) R 11435 11437 11411 0 -1 4202560 6529 1247 0 0 343 6 0 0 25 0 33 0 657794009 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11437/tid=11474] ppid=11435 vsize=993456 CPUtime=3.5 cores=0-31
/proc/11437/task/11474/stat : 11474 (plingeling) R 11435 11437 11411 0 -1 4202560 2451 1247 0 0 348 2 0 0 25 0 33 0 657794009 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11437/tid=11475] ppid=11435 vsize=993456 CPUtime=3.5 cores=0-31
/proc/11437/task/11475/stat : 11475 (plingeling) R 11435 11437 11411 0 -1 4202560 5795 1247 0 0 348 2 0 0 25 0 33 0 657794009 1017298944 98559 268435456000 4194304 4417452 140736486531280 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 115.15
Current children cumulated vsize (KiB) 993456

[startup+12.7014 s]
/proc/loadavg: 26.12 30.58 31.58 33/446 11475
/proc/meminfo: memFree=255022452/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=1115972 CPUtime=317.06 cores=0-31
/proc/11437/stat : 11437 (plingeling) S 11435 11437 11411 0 -1 4202496 282447 1247 0 0 31524 182 0 0 18 0 33 0 657793732 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 278993 137855 175 55 0 276879 0
[pid=11437/tid=11444] ppid=11435 vsize=1115972 CPUtime=9.85 cores=0-31
/proc/11437/task/11444/stat : 11444 (plingeling) R 11435 11437 11411 0 -1 4202560 4327 1247 0 0 980 5 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11437/tid=11445] ppid=11435 vsize=1115972 CPUtime=9.74 cores=0-31
/proc/11437/task/11445/stat : 11445 (plingeling) R 11435 11437 11411 0 -1 4202560 6125 1247 0 0 969 5 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11437/tid=11446] ppid=11435 vsize=1115972 CPUtime=9.91 cores=0-31
/proc/11437/task/11446/stat : 11446 (plingeling) R 11435 11437 11411 0 -1 4202560 4268 1247 0 0 989 2 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4284636 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11437/tid=11447] ppid=11435 vsize=1115972 CPUtime=9.93 cores=0-31
/proc/11437/task/11447/stat : 11447 (plingeling) R 11435 11437 11411 0 -1 4202560 1609 1247 0 0 989 4 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11437/tid=11448] ppid=11435 vsize=1115972 CPUtime=9.72 cores=0-31
/proc/11437/task/11448/stat : 11448 (plingeling) R 11435 11437 11411 0 -1 4202560 7428 1247 0 0 969 3 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364437 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11437/tid=11449] ppid=11435 vsize=1115972 CPUtime=9.71 cores=0-31
/proc/11437/task/11449/stat : 11449 (plingeling) R 11435 11437 11411 0 -1 4202560 3987 1247 0 0 968 3 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4235565 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11437/tid=11450] ppid=11435 vsize=1115972 CPUtime=9.87 cores=0-31
/proc/11437/task/11450/stat : 11450 (plingeling) R 11435 11437 11411 0 -1 4202560 3859 1247 0 0 985 2 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11437/tid=11451] ppid=11435 vsize=1115972 CPUtime=9.72 cores=0-31
/proc/11437/task/11451/stat : 11451 (plingeling) R 11435 11437 11411 0 -1 4202560 5755 1247 0 0 966 6 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11437/tid=11452] ppid=11435 vsize=1115972 CPUtime=9.76 cores=0-31
/proc/11437/task/11452/stat : 11452 (plingeling) R 11435 11437 11411 0 -1 4202560 7751 1247 0 0 970 6 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4257792 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11437/tid=11453] ppid=11435 vsize=1115972 CPUtime=9.88 cores=0-31
/proc/11437/task/11453/stat : 11453 (plingeling) R 11435 11437 11411 0 -1 4202560 7738 1247 0 0 983 5 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11437/tid=11454] ppid=11435 vsize=1115972 CPUtime=9.89 cores=0-31
/proc/11437/task/11454/stat : 11454 (plingeling) R 11435 11437 11411 0 -1 4202560 5717 1247 0 0 986 3 0 0 25 0 33 0 657794006 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11437/tid=11455] ppid=11435 vsize=1115972 CPUtime=9.79 cores=0-31
/proc/11437/task/11455/stat : 11455 (plingeling) R 11435 11437 11411 0 -1 4202560 3968 1247 0 0 975 4 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11437/tid=11456] ppid=11435 vsize=1115972 CPUtime=9.68 cores=0-31
/proc/11437/task/11456/stat : 11456 (plingeling) R 11435 11437 11411 0 -1 4202560 7764 1247 0 0 964 4 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11437/tid=11457] ppid=11435 vsize=1115972 CPUtime=9.75 cores=0-31
/proc/11437/task/11457/stat : 11457 (plingeling) R 11435 11437 11411 0 -1 4202560 5585 1247 0 0 969 6 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11437/tid=11458] ppid=11435 vsize=1115972 CPUtime=9.77 cores=0-31
/proc/11437/task/11458/stat : 11458 (plingeling) R 11435 11437 11411 0 -1 4202560 6565 1247 0 0 973 4 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11437/tid=11459] ppid=11435 vsize=1115972 CPUtime=9.72 cores=0-31
/proc/11437/task/11459/stat : 11459 (plingeling) R 11435 11437 11411 0 -1 4202560 5114 1247 0 0 968 4 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4232726 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11437/tid=11460] ppid=11435 vsize=1115972 CPUtime=9.85 cores=0-31
/proc/11437/task/11460/stat : 11460 (plingeling) R 11435 11437 11411 0 -1 4202560 11397 1247 0 0 977 8 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11437/tid=11461] ppid=11435 vsize=1115972 CPUtime=9.75 cores=0-31
/proc/11437/task/11461/stat : 11461 (plingeling) R 11435 11437 11411 0 -1 4202560 11153 1247 0 0 968 7 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4274785 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11437/tid=11462] ppid=11435 vsize=1115972 CPUtime=9.91 cores=0-31
/proc/11437/task/11462/stat : 11462 (plingeling) R 11435 11437 11411 0 -1 4202560 3657 1247 0 0 989 2 0 0 25 0 33 0 657794007 1142755328 137855 268435456000 4194304 4417452 140736486531280 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11437/tid=11463] ppid=11435 vsize=1115972 CPUtime=9.73 cores=0-31

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

[pid=11437/tid=11475] ppid=11435 vsize=5736840 CPUtime=4889.9 cores=0-31
/proc/11437/task/11475/stat : 11475 (plingeling) R 11435 11437 11411 0 -1 4202560 1020311 1247 0 0 488220 770 0 0 25 0 33 0 657794009 5874524160 1290198 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 156491
Current children cumulated vsize (KiB) 5736840

[startup+4962.3 s]
/proc/loadavg: 32.13 32.17 32.14 33/446 11619
/proc/meminfo: memFree=250474736/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=5603112 CPUtime=158407 cores=0-31
/proc/11437/stat : 11437 (plingeling) S 11435 11437 11411 0 -1 4202496 30464334 1247 0 0 15813465 27256 0 0 18 0 33 0 657793732 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 1400778 1275311 175 55 0 1398664 0
[pid=11437/tid=11444] ppid=11435 vsize=5603112 CPUtime=4948.9 cores=0-31
/proc/11437/task/11444/stat : 11444 (plingeling) R 11435 11437 11411 0 -1 4202560 955762 1247 0 0 493842 1048 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11437/tid=11445] ppid=11435 vsize=5603112 CPUtime=4954.01 cores=0-31
/proc/11437/task/11445/stat : 11445 (plingeling) R 11435 11437 11411 0 -1 4202560 905029 1247 0 0 494383 1018 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11437/tid=11446] ppid=11435 vsize=5603112 CPUtime=4946.62 cores=0-31
/proc/11437/task/11446/stat : 11446 (plingeling) R 11435 11437 11411 0 -1 4202560 912246 1247 0 0 493561 1101 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11437/tid=11447] ppid=11435 vsize=5603112 CPUtime=4954.46 cores=0-31
/proc/11437/task/11447/stat : 11447 (plingeling) R 11435 11437 11411 0 -1 4202560 770876 1247 0 0 494747 699 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11437/tid=11448] ppid=11435 vsize=5603112 CPUtime=4954.28 cores=0-31
/proc/11437/task/11448/stat : 11448 (plingeling) R 11435 11437 11411 0 -1 4202560 775815 1247 0 0 494537 891 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11437/tid=11449] ppid=11435 vsize=5603112 CPUtime=4953.5 cores=0-31
/proc/11437/task/11449/stat : 11449 (plingeling) R 11435 11437 11411 0 -1 4202560 1005282 1247 0 0 494515 835 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11437/tid=11450] ppid=11435 vsize=5603112 CPUtime=4953.03 cores=0-31
/proc/11437/task/11450/stat : 11450 (plingeling) R 11435 11437 11411 0 -1 4202560 965252 1247 0 0 494432 871 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11437/tid=11451] ppid=11435 vsize=5603112 CPUtime=4952.77 cores=0-31
/proc/11437/task/11451/stat : 11451 (plingeling) R 11435 11437 11411 0 -1 4202560 1463661 1247 0 0 494320 957 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4352152 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11437/tid=11452] ppid=11435 vsize=5603112 CPUtime=4954.53 cores=0-31
/proc/11437/task/11452/stat : 11452 (plingeling) R 11435 11437 11411 0 -1 4202560 1070000 1247 0 0 494733 720 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11437/tid=11453] ppid=11435 vsize=5603112 CPUtime=4955.91 cores=0-31
/proc/11437/task/11453/stat : 11453 (plingeling) R 11435 11437 11411 0 -1 4202560 1069977 1247 0 0 494601 990 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11437/tid=11454] ppid=11435 vsize=5603112 CPUtime=4952.82 cores=0-31
/proc/11437/task/11454/stat : 11454 (plingeling) R 11435 11437 11411 0 -1 4202560 622147 1247 0 0 494628 654 0 0 25 0 33 0 657794006 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11437/tid=11455] ppid=11435 vsize=5603112 CPUtime=4956.47 cores=0-31
/proc/11437/task/11455/stat : 11455 (plingeling) R 11435 11437 11411 0 -1 4202560 687616 1247 0 0 495152 495 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11437/tid=11456] ppid=11435 vsize=5603112 CPUtime=4930.99 cores=0-31
/proc/11437/task/11456/stat : 11456 (plingeling) R 11435 11437 11411 0 -1 4202560 693608 1247 0 0 492515 584 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11437/tid=11457] ppid=11435 vsize=5603112 CPUtime=4954.43 cores=0-31
/proc/11437/task/11457/stat : 11457 (plingeling) R 11435 11437 11411 0 -1 4202560 789426 1247 0 0 494743 700 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11437/tid=11458] ppid=11435 vsize=5603112 CPUtime=4945.78 cores=0-31
/proc/11437/task/11458/stat : 11458 (plingeling) R 11435 11437 11411 0 -1 4202560 675663 1247 0 0 494002 576 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11437/tid=11459] ppid=11435 vsize=5603112 CPUtime=4940.97 cores=0-31
/proc/11437/task/11459/stat : 11459 (plingeling) R 11435 11437 11411 0 -1 4202560 708747 1247 0 0 493367 730 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11437/tid=11460] ppid=11435 vsize=5603112 CPUtime=4950.7 cores=0-31
/proc/11437/task/11460/stat : 11460 (plingeling) R 11435 11437 11411 0 -1 4202560 1086007 1247 0 0 494112 958 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11437/tid=11461] ppid=11435 vsize=5603112 CPUtime=4951.66 cores=0-31
/proc/11437/task/11461/stat : 11461 (plingeling) R 11435 11437 11411 0 -1 4202560 1401533 1247 0 0 494140 1026 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11437/tid=11462] ppid=11435 vsize=5603112 CPUtime=4949.36 cores=0-31
/proc/11437/task/11462/stat : 11462 (plingeling) R 11435 11437 11411 0 -1 4202560 895606 1247 0 0 494049 887 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11437/tid=11463] ppid=11435 vsize=5603112 CPUtime=4951.68 cores=0-31
/proc/11437/task/11463/stat : 11463 (plingeling) R 11435 11437 11411 0 -1 4202560 997265 1247 0 0 494541 627 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4236569 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11437/tid=11464] ppid=11435 vsize=5603112 CPUtime=4946.64 cores=0-31
/proc/11437/task/11464/stat : 11464 (plingeling) R 11435 11437 11411 0 -1 4202560 1055125 1247 0 0 493674 990 0 0 25 0 33 0 657794007 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11437/tid=11465] ppid=11435 vsize=5603112 CPUtime=4953.56 cores=0-31
/proc/11437/task/11465/stat : 11465 (plingeling) R 11435 11437 11411 0 -1 4202560 561607 1247 0 0 494567 789 0 0 25 0 33 0 657794008 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11437/tid=11466] ppid=11435 vsize=5603112 CPUtime=4951.91 cores=0-31
/proc/11437/task/11466/stat : 11466 (plingeling) R 11435 11437 11411 0 -1 4202560 1092386 1247 0 0 494201 990 0 0 25 0 33 0 657794008 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4354524 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11437/tid=11467] ppid=11435 vsize=5603112 CPUtime=4956.27 cores=0-31
/proc/11437/task/11467/stat : 11467 (plingeling) R 11435 11437 11411 0 -1 4202560 665182 1247 0 0 495095 532 0 0 25 0 33 0 657794008 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11437/tid=11468] ppid=11435 vsize=5603112 CPUtime=4954.08 cores=0-31
/proc/11437/task/11468/stat : 11468 (plingeling) R 11435 11437 11411 0 -1 4202560 776914 1247 0 0 494644 764 0 0 25 0 33 0 657794008 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11437/tid=11469] ppid=11435 vsize=5603112 CPUtime=4951.73 cores=0-31
/proc/11437/task/11469/stat : 11469 (plingeling) R 11435 11437 11411 0 -1 4202560 1576823 1247 0 0 493629 1544 0 0 25 0 33 0 657794008 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4309899 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11437/tid=11470] ppid=11435 vsize=5603112 CPUtime=4936.18 cores=0-31
/proc/11437/task/11470/stat : 11470 (plingeling) R 11435 11437 11411 0 -1 4202560 883199 1247 0 0 492952 666 0 0 25 0 33 0 657794009 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11437/tid=11471] ppid=11435 vsize=5603112 CPUtime=4954.34 cores=0-31
/proc/11437/task/11471/stat : 11471 (plingeling) R 11435 11437 11411 0 -1 4202560 1179965 1247 0 0 494238 1196 0 0 25 0 33 0 657794009 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11437/tid=11472] ppid=11435 vsize=5603112 CPUtime=4944.41 cores=0-31
/proc/11437/task/11472/stat : 11472 (plingeling) R 11435 11437 11411 0 -1 4202560 1650135 1247 0 0 493289 1152 0 0 25 0 33 0 657794009 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11437/tid=11473] ppid=11435 vsize=5603112 CPUtime=4949.23 cores=0-31
/proc/11437/task/11473/stat : 11473 (plingeling) R 11435 11437 11411 0 -1 4202560 1081348 1247 0 0 493918 1005 0 0 25 0 33 0 657794009 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11437/tid=11474] ppid=11435 vsize=5603112 CPUtime=4943.32 cores=0-31
/proc/11437/task/11474/stat : 11474 (plingeling) R 11435 11437 11411 0 -1 4202560 359676 1247 0 0 493926 406 0 0 25 0 33 0 657794009 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366680 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11437/tid=11475] ppid=11435 vsize=5603112 CPUtime=4949.63 cores=0-31
/proc/11437/task/11475/stat : 11475 (plingeling) R 11435 11437 11411 0 -1 4202560 1057248 1247 0 0 494140 823 0 0 25 0 33 0 657794009 5737586688 1275311 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 158407
Current children cumulated vsize (KiB) 5603112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5012.2 s]
/proc/loadavg: 32.16 32.17 32.14 33/446 11628
/proc/meminfo: memFree=250414080/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=5647808 CPUtime=160001 cores=0-31
/proc/11437/stat : 11437 (plingeling) S 11435 11437 11411 0 -1 4202496 30796717 1247 0 0 15972508 27613 0 0 18 0 33 0 657793732 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 1411952 1290730 175 55 0 1409838 0
[pid=11437/tid=11444] ppid=11435 vsize=5647808 CPUtime=4998.78 cores=0-31
/proc/11437/task/11444/stat : 11444 (plingeling) R 11435 11437 11411 0 -1 4202560 961601 1247 0 0 498829 1049 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11437/tid=11445] ppid=11435 vsize=5647808 CPUtime=5003.92 cores=0-31
/proc/11437/task/11445/stat : 11445 (plingeling) R 11435 11437 11411 0 -1 4202560 909125 1247 0 0 499373 1019 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4250947 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11437/tid=11446] ppid=11435 vsize=5647808 CPUtime=4996.51 cores=0-31
/proc/11437/task/11446/stat : 11446 (plingeling) R 11435 11437 11411 0 -1 4202560 924362 1247 0 0 498515 1136 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11437/tid=11447] ppid=11435 vsize=5647808 CPUtime=5004.38 cores=0-31
/proc/11437/task/11447/stat : 11447 (plingeling) R 11435 11437 11411 0 -1 4202560 782844 1247 0 0 499706 732 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11437/tid=11448] ppid=11435 vsize=5647808 CPUtime=5004.19 cores=0-31
/proc/11437/task/11448/stat : 11448 (plingeling) R 11435 11437 11411 0 -1 4202560 795315 1247 0 0 499523 896 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11437/tid=11449] ppid=11435 vsize=5647808 CPUtime=5003.42 cores=0-31
/proc/11437/task/11449/stat : 11449 (plingeling) R 11435 11437 11411 0 -1 4202560 1012074 1247 0 0 499505 837 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366693 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11437/tid=11450] ppid=11435 vsize=5647808 CPUtime=5002.93 cores=0-31
/proc/11437/task/11450/stat : 11450 (plingeling) R 11435 11437 11411 0 -1 4202560 979103 1247 0 0 499412 881 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4250961 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11437/tid=11451] ppid=11435 vsize=5647808 CPUtime=5002.23 cores=0-31
/proc/11437/task/11451/stat : 11451 (plingeling) R 11435 11437 11411 0 -1 4202560 1469409 1247 0 0 499264 959 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11437/tid=11452] ppid=11435 vsize=5647808 CPUtime=5004.44 cores=0-31
/proc/11437/task/11452/stat : 11452 (plingeling) R 11435 11437 11411 0 -1 4202560 1086385 1247 0 0 499700 744 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11437/tid=11453] ppid=11435 vsize=5647808 CPUtime=5005.82 cores=0-31
/proc/11437/task/11453/stat : 11453 (plingeling) R 11435 11437 11411 0 -1 4202560 1076830 1247 0 0 499590 992 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11437/tid=11454] ppid=11435 vsize=5647808 CPUtime=5002.73 cores=0-31
/proc/11437/task/11454/stat : 11454 (plingeling) R 11435 11437 11411 0 -1 4202560 630340 1247 0 0 499618 655 0 0 25 0 33 0 657794006 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11437/tid=11455] ppid=11435 vsize=5647808 CPUtime=5006.37 cores=0-31
/proc/11437/task/11455/stat : 11455 (plingeling) R 11435 11437 11411 0 -1 4202560 699654 1247 0 0 500140 497 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11437/tid=11456] ppid=11435 vsize=5647808 CPUtime=4980.91 cores=0-31
/proc/11437/task/11456/stat : 11456 (plingeling) R 11435 11437 11411 0 -1 4202560 712123 1247 0 0 497483 608 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11437/tid=11457] ppid=11435 vsize=5647808 CPUtime=5004.35 cores=0-31
/proc/11437/task/11457/stat : 11457 (plingeling) R 11435 11437 11411 0 -1 4202560 793522 1247 0 0 499734 701 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11437/tid=11458] ppid=11435 vsize=5647808 CPUtime=4995.69 cores=0-31
/proc/11437/task/11458/stat : 11458 (plingeling) R 11435 11437 11411 0 -1 4202560 675663 1247 0 0 498993 576 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366680 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11437/tid=11459] ppid=11435 vsize=5647808 CPUtime=4990.89 cores=0-31
/proc/11437/task/11459/stat : 11459 (plingeling) R 11435 11437 11411 0 -1 4202560 710137 1247 0 0 498358 731 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11437/tid=11460] ppid=11435 vsize=5647808 CPUtime=5000.61 cores=0-31
/proc/11437/task/11460/stat : 11460 (plingeling) R 11435 11437 11411 0 -1 4202560 1093486 1247 0 0 499102 959 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11437/tid=11461] ppid=11435 vsize=5647808 CPUtime=5001.1 cores=0-31
/proc/11437/task/11461/stat : 11461 (plingeling) R 11435 11437 11411 0 -1 4202560 1420224 1247 0 0 499035 1075 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11437/tid=11462] ppid=11435 vsize=5647808 CPUtime=4997.54 cores=0-31
/proc/11437/task/11462/stat : 11462 (plingeling) R 11435 11437 11411 0 -1 4202560 905075 1247 0 0 498864 890 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11437/tid=11463] ppid=11435 vsize=5647808 CPUtime=5001.59 cores=0-31
/proc/11437/task/11463/stat : 11463 (plingeling) R 11435 11437 11411 0 -1 4202560 997390 1247 0 0 499532 627 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11437/tid=11464] ppid=11435 vsize=5647808 CPUtime=4996.56 cores=0-31
/proc/11437/task/11464/stat : 11464 (plingeling) R 11435 11437 11411 0 -1 4202560 1064045 1247 0 0 498656 1000 0 0 25 0 33 0 657794007 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11437/tid=11465] ppid=11435 vsize=5647808 CPUtime=5003.47 cores=0-31
/proc/11437/task/11465/stat : 11465 (plingeling) R 11435 11437 11411 0 -1 4202560 561607 1247 0 0 499558 789 0 0 25 0 33 0 657794008 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11437/tid=11466] ppid=11435 vsize=5647808 CPUtime=5001.82 cores=0-31
/proc/11437/task/11466/stat : 11466 (plingeling) R 11435 11437 11411 0 -1 4202560 1122111 1247 0 0 499144 1038 0 0 25 0 33 0 657794008 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11437/tid=11467] ppid=11435 vsize=5647808 CPUtime=5006.18 cores=0-31
/proc/11437/task/11467/stat : 11467 (plingeling) R 11435 11437 11411 0 -1 4202560 681566 1247 0 0 500040 578 0 0 25 0 33 0 657794008 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11437/tid=11468] ppid=11435 vsize=5647808 CPUtime=5003.95 cores=0-31
/proc/11437/task/11468/stat : 11468 (plingeling) R 11435 11437 11411 0 -1 4202560 802319 1247 0 0 499605 790 0 0 25 0 33 0 657794008 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4358025 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11437/tid=11469] ppid=11435 vsize=5647808 CPUtime=5001.62 cores=0-31
/proc/11437/task/11469/stat : 11469 (plingeling) R 11435 11437 11411 0 -1 4202560 1587719 1247 0 0 498615 1547 0 0 25 0 33 0 657794008 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11437/tid=11470] ppid=11435 vsize=5647808 CPUtime=4986.09 cores=0-31
/proc/11437/task/11470/stat : 11470 (plingeling) R 11435 11437 11411 0 -1 4202560 900865 1247 0 0 497939 670 0 0 25 0 33 0 657794009 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4366486 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11437/tid=11471] ppid=11435 vsize=5647808 CPUtime=5004.25 cores=0-31
/proc/11437/task/11471/stat : 11471 (plingeling) R 11435 11437 11411 0 -1 4202560 1179965 1247 0 0 499229 1196 0 0 25 0 33 0 657794009 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11437/tid=11472] ppid=11435 vsize=5647808 CPUtime=4994.32 cores=0-31
/proc/11437/task/11472/stat : 11472 (plingeling) R 11435 11437 11411 0 -1 4202560 1655934 1247 0 0 498278 1154 0 0 25 0 33 0 657794009 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11437/tid=11473] ppid=11435 vsize=5647808 CPUtime=4999.14 cores=0-31
/proc/11437/task/11473/stat : 11473 (plingeling) R 11435 11437 11411 0 -1 4202560 1099289 1247 0 0 498892 1022 0 0 25 0 33 0 657794009 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11437/tid=11474] ppid=11435 vsize=5647808 CPUtime=4993.23 cores=0-31
/proc/11437/task/11474/stat : 11474 (plingeling) R 11435 11437 11411 0 -1 4202560 359676 1247 0 0 498917 406 0 0 25 0 33 0 657794009 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11437/tid=11475] ppid=11435 vsize=5647808 CPUtime=4999.18 cores=0-31
/proc/11437/task/11475/stat : 11475 (plingeling) R 11435 11437 11411 0 -1 4202560 1073751 1247 0 0 499090 828 0 0 25 0 33 0 657794009 5783355392 1290730 268435456000 4194304 4417452 140736486531280 18446744073709551615 4250476 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 5647808

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

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

[startup+5012.6 s]
/proc/loadavg: 32.16 32.17 32.14 2/416 11629
/proc/meminfo: memFree=254973432/264257624 swapFree=67111528/67111528
[pid=11437] ppid=11435 vsize=0 CPUtime=160002 cores=0-31
/proc/11437/stat : 11437 (plingeling) Z 11435 11437 11411 0 -1 4203548 30796717 1247 0 0 15972531 27652 0 0 18 0 2 0 657793732 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/11437/statm: 0 0 0 0 0 0 0
[pid=11437/tid=11459] ppid=11435 vsize=0 CPUtime=4991.29 cores=0-31
/proc/11437/task/11459/stat : 11459 (plingeling) R 11435 11437 11411 0 -1 4203588 710137 1247 0 0 498359 770 0 0 25 0 2 0 657794007 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.65
CPU time (s): 160002
CPU user time (s): 159725
CPU system time (s): 276.561
CPU usage (%): 3191.96
Max. virtual memory (cumulated for all children) (KiB): 6138744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159725
system time used= 276.561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30797964
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= 9957
involuntary context switches= 401469

runsolver used 25.1502 second user time and 116.692 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-15 14:37:53
IDJOB=3372162
IDBENCH=20523
IDSOLVER=1852
FILE ID=node200/3372162-1305463073
RUNJOBID= node200-1305463073-11425
PBS_JOBID= 13285514
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k45.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372162-1305463073/watcher-3372162-1305463073 -o /tmp/evaluation-result-3372162-1305463073/solver-3372162-1305463073 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372162-1305463073.cnf

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

MD5SUM BENCH= 8a76c8add64173ae39149aae572a02d9
RANDOM SEED=84668884

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:      255582792 kB
Buffers:        439980 kB
Cached:        7834564 kB
SwapCached:          0 kB
Active:        7383640 kB
Inactive:       959672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255582792 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3768 kB
Writeback:           8 kB
AnonPages:       68924 kB
Mapped:          13832 kB
Slab:           250544 kB
PageTables:       4616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189536 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= 62048 MiB
End job on node200 at 2011-05-15 16:01:27