Trace number 3347589

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
ppfolio par? (TO) 160001 5005.74

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
MD5SUMd71ab4cbe872e5620884d4e4d370890a
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 variables912
Number of clauses3488
Sum of the clauses size11040
Maximum clause length5
Minimum clause length1
Number of clauses of size 180
Number of clauses of size 2160
Number of clauses of size 32432
Number of clauses of size 4736
Number of clauses of size 580
Number of clauses of size over 50

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 32 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	[4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00	[5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 1
0.00/0.00	Starting TNM 2009 on core(s) 2
0.00/0.00	Starting march_hi 2009 on core(s) 3
0.00/0.00	Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

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-3347589-1305382864/watcher-3347589-1305382864 -o /tmp/evaluation-result-3347589-1305382864/solver-3347589-1305382864 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347589-1305382864.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.55 31.55 31.89 1/413 30552
/proc/meminfo: memFree=255607004/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 25 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 20 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0

[startup+0.331453 s]
/proc/loadavg: 29.55 31.55 31.89 1/413 30552
/proc/meminfo: memFree=255607004/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 25 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 20 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.40079 s]
/proc/loadavg: 29.55 31.55 31.89 1/413 30552
/proc/meminfo: memFree=255607004/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 25 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 20 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.500793 s]
/proc/loadavg: 29.55 31.55 31.89 1/413 30552
/proc/meminfo: memFree=255607004/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 21 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 28 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700801 s]
/proc/loadavg: 29.55 31.55 31.89 1/413 30552
/proc/meminfo: memFree=255607004/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 21 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 28 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50182 s]
/proc/loadavg: 29.55 31.55 31.89 32/447 30591
/proc/meminfo: memFree=255557688/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 28 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0
[pid=30553] ppid=30552 vsize=1582956 CPUtime=1.48 cores=0
/proc/30553/stat : 30553 (cryptominisat) R 30552 30552 30526 0 -1 4202496 1501 0 0 0 148 0 0 0 20 0 1 0 649772809 1620946944 872 268435456000 4194304 4587354 140735582042080 18446744073709551615 4237960 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30553/statm: 395739 872 330 96 0 392301 0
[pid=30554] ppid=30552 vsize=13668 CPUtime=1.48 cores=1
/proc/30554/stat : 30554 (clasp) R 30552 30552 30526 0 -1 4202496 866 0 0 0 148 0 0 0 20 0 1 0 649772809 13996032 750 268435456000 4194304 4785740 140736966314960 18446744073709551615 4416810 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30554/statm: 3417 750 338 145 0 462 0
[pid=30555] ppid=30552 vsize=455992 CPUtime=1.48 cores=2
/proc/30555/stat : 30555 (TNM) R 30552 30552 30526 0 -1 4202496 387 0 0 0 148 0 0 0 20 0 1 0 649772809 466935808 284 268435456000 134512640 134534564 4291445088 18446744073709551615 134529870 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30555/statm: 113998 284 95 6 0 112663 0
[pid=30556] ppid=30552 vsize=9696 CPUtime=1.48 cores=3
/proc/30556/stat : 30556 (march_hi) R 30552 30552 30526 0 -1 4202496 1033 0 0 0 148 0 0 0 19 0 1 0 649772809 9928704 736 268435456000 4194304 4331988 140734364763072 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30556/statm: 2424 736 173 34 0 866 0
[pid=30557] ppid=30552 vsize=603924 CPUtime=39.22 cores=4-31
/proc/30557/stat : 30557 (plingeling) S 30552 30552 30526 0 -1 4202496 15263 1246 0 0 3907 15 0 0 18 0 29 0 649772809 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/30557/statm: 150981 14152 159 40 0 149525 0
[pid=30557/tid=30564] ppid=30552 vsize=603924 CPUtime=1.4 cores=4-31
/proc/30557/task/30564/stat : 30564 (plingeling) R 30552 30552 30526 0 -1 4202560 321 1246 0 0 140 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30557/tid=30565] ppid=30552 vsize=603924 CPUtime=1.4 cores=4-31
/proc/30557/task/30565/stat : 30565 (plingeling) R 30552 30552 30526 0 -1 4202560 418 1246 0 0 140 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30557/tid=30566] ppid=30552 vsize=603924 CPUtime=1.38 cores=4-31
/proc/30557/task/30566/stat : 30566 (plingeling) R 30552 30552 30526 0 -1 4202560 644 1246 0 0 138 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4281795 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30557/tid=30567] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30567/stat : 30567 (plingeling) R 30552 30552 30526 0 -1 4202560 417 1246 0 0 139 0 0 0 20 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30557/tid=30568] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30568/stat : 30568 (plingeling) R 30552 30552 30526 0 -1 4202560 480 1246 0 0 139 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331576 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30557/tid=30569] ppid=30552 vsize=603924 CPUtime=1.4 cores=4-31
/proc/30557/task/30569/stat : 30569 (plingeling) R 30552 30552 30526 0 -1 4202560 507 1246 0 0 140 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30557/tid=30570] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30570/stat : 30570 (plingeling) R 30552 30552 30526 0 -1 4202560 734 1246 0 0 139 0 0 0 23 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30557/tid=30571] ppid=30552 vsize=603924 CPUtime=1.4 cores=4-31
/proc/30557/task/30571/stat : 30571 (plingeling) R 30552 30552 30526 0 -1 4202560 356 1246 0 0 140 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30557/tid=30572] ppid=30552 vsize=603924 CPUtime=1.4 cores=4-31
/proc/30557/task/30572/stat : 30572 (plingeling) R 30552 30552 30526 0 -1 4202560 361 1246 0 0 140 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30557/tid=30573] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30573/stat : 30573 (plingeling) R 30552 30552 30526 0 -1 4202560 462 1246 0 0 139 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4210868 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30557/tid=30574] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30574/stat : 30574 (plingeling) R 30552 30552 30526 0 -1 4202560 399 1246 0 0 139 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30557/tid=30575] ppid=30552 vsize=603924 CPUtime=1.38 cores=4-31
/proc/30557/task/30575/stat : 30575 (plingeling) R 30552 30552 30526 0 -1 4202560 612 1246 0 0 138 0 0 0 25 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4234300 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30557/tid=30576] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30576/stat : 30576 (plingeling) R 30552 30552 30526 0 -1 4202560 614 1246 0 0 139 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30557/tid=30577] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30577/stat : 30577 (plingeling) R 30552 30552 30526 0 -1 4202560 418 1246 0 0 139 0 0 0 25 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4241866 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30557/tid=30578] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30578/stat : 30578 (plingeling) R 30552 30552 30526 0 -1 4202560 484 1246 0 0 139 0 0 0 25 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30557/tid=30579] ppid=30552 vsize=603924 CPUtime=1.37 cores=4-31
/proc/30557/task/30579/stat : 30579 (plingeling) R 30552 30552 30526 0 -1 4202560 343 1246 0 0 137 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30557/tid=30580] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30580/stat : 30580 (plingeling) R 30552 30552 30526 0 -1 4202560 419 1246 0 0 139 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30557/tid=30581] ppid=30552 vsize=603924 CPUtime=1.38 cores=4-31
/proc/30557/task/30581/stat : 30581 (plingeling) R 30552 30552 30526 0 -1 4202560 360 1246 0 0 138 0 0 0 25 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4234251 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30557/tid=30582] ppid=30552 vsize=603924 CPUtime=1.38 cores=4-31
/proc/30557/task/30582/stat : 30582 (plingeling) R 30552 30552 30526 0 -1 4202560 697 1246 0 0 138 0 0 0 23 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30557/tid=30583] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30583/stat : 30583 (plingeling) R 30552 30552 30526 0 -1 4202560 443 1246 0 0 139 0 0 0 22 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30557/tid=30584] ppid=30552 vsize=603924 CPUtime=1.38 cores=4-31
/proc/30557/task/30584/stat : 30584 (plingeling) R 30552 30552 30526 0 -1 4202560 742 1246 0 0 138 0 0 0 20 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4280872 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30557/tid=30585] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30585/stat : 30585 (plingeling) R 30552 30552 30526 0 -1 4202560 408 1246 0 0 139 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331332 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30557/tid=30586] ppid=30552 vsize=603924 CPUtime=1.4 cores=4-31
/proc/30557/task/30586/stat : 30586 (plingeling) R 30552 30552 30526 0 -1 4202560 406 1246 0 0 139 1 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330945 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30557/tid=30587] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30587/stat : 30587 (plingeling) R 30552 30552 30526 0 -1 4202560 395 1246 0 0 139 0 0 0 22 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4281480 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30557/tid=30588] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30588/stat : 30588 (plingeling) R 30552 30552 30526 0 -1 4202560 590 1246 0 0 139 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4280065 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30557/tid=30589] ppid=30552 vsize=603924 CPUtime=1.37 cores=4-31
/proc/30557/task/30589/stat : 30589 (plingeling) R 30552 30552 30526 0 -1 4202560 196 1246 0 0 137 0 0 0 23 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30557/tid=30590] ppid=30552 vsize=603924 CPUtime=1.39 cores=4-31
/proc/30557/task/30590/stat : 30590 (plingeling) R 30552 30552 30526 0 -1 4202560 374 1246 0 0 139 0 0 0 22 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4280020 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30557/tid=30591] ppid=30552 vsize=603924 CPUtime=1.38 cores=4-31
/proc/30557/task/30591/stat : 30591 (plingeling) R 30552 30552 30526 0 -1 4202560 774 1246 0 0 138 0 0 0 19 0 29 0 649772818 618418176 14152 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 45.14
Current children cumulated vsize (KiB) 2684560

[startup+3.10188 s]
/proc/loadavg: 29.55 31.55 31.89 33/447 30591
/proc/meminfo: memFree=255522252/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 28 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0
[pid=30553] ppid=30552 vsize=1588836 CPUtime=3.09 cores=0
/proc/30553/stat : 30553 (cryptominisat) R 30552 30552 30526 0 -1 4202496 3675 0 0 0 308 1 0 0 25 0 1 0 649772809 1626968064 2326 268435456000 4194304 4587354 140735582042080 18446744073709551615 4388356 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30553/statm: 397209 2326 336 96 0 393771 0
[pid=30554] ppid=30552 vsize=14236 CPUtime=3.08 cores=1
/proc/30554/stat : 30554 (clasp) R 30552 30552 30526 0 -1 4202496 1026 0 0 0 308 0 0 0 25 0 1 0 649772809 14577664 910 268435456000 4194304 4785740 140736966314960 18446744073709551615 4416778 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30554/statm: 3559 910 338 145 0 604 0
[pid=30555] ppid=30552 vsize=455992 CPUtime=3.08 cores=2
/proc/30555/stat : 30555 (TNM) R 30552 30552 30526 0 -1 4202496 387 0 0 0 308 0 0 0 25 0 1 0 649772809 466935808 284 268435456000 134512640 134534564 4291445088 18446744073709551615 134528551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30555/statm: 113998 284 95 6 0 112663 0
[pid=30556] ppid=30552 vsize=9696 CPUtime=3.08 cores=3
/proc/30556/stat : 30556 (march_hi) R 30552 30552 30526 0 -1 4202496 1043 0 0 0 308 0 0 0 25 0 1 0 649772809 9928704 746 268435456000 4194304 4331988 140734364763072 18446744073709551615 4242612 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30556/statm: 2424 746 173 34 0 866 0
[pid=30557] ppid=30552 vsize=621128 CPUtime=83.95 cores=4-31
/proc/30557/stat : 30557 (plingeling) S 30552 30552 30526 0 -1 4202496 24223 1246 0 0 8366 29 0 0 18 0 29 0 649772809 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/30557/statm: 155282 18462 159 40 0 153826 0
[pid=30557/tid=30564] ppid=30552 vsize=621128 CPUtime=3 cores=4-31
/proc/30557/task/30564/stat : 30564 (plingeling) R 30552 30552 30526 0 -1 4202560 708 1246 0 0 299 1 0 0 25 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331122 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30557/tid=30565] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30565/stat : 30565 (plingeling) R 30552 30552 30526 0 -1 4202560 739 1246 0 0 299 0 0 0 24 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30557/tid=30566] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30566/stat : 30566 (plingeling) R 30552 30552 30526 0 -1 4202560 838 1246 0 0 298 1 0 0 23 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4210765 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30557/tid=30567] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30567/stat : 30567 (plingeling) R 30552 30552 30526 0 -1 4202560 804 1246 0 0 299 0 0 0 24 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30557/tid=30568] ppid=30552 vsize=621128 CPUtime=3 cores=4-31
/proc/30557/task/30568/stat : 30568 (plingeling) R 30552 30552 30526 0 -1 4202560 833 1246 0 0 299 1 0 0 22 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30557/tid=30569] ppid=30552 vsize=621128 CPUtime=3 cores=4-31
/proc/30557/task/30569/stat : 30569 (plingeling) R 30552 30552 30526 0 -1 4202560 892 1246 0 0 299 1 0 0 22 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331379 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30557/tid=30570] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30570/stat : 30570 (plingeling) R 30552 30552 30526 0 -1 4202560 1056 1246 0 0 298 1 0 0 25 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30557/tid=30571] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30571/stat : 30571 (plingeling) R 30552 30552 30526 0 -1 4202560 663 1246 0 0 299 0 0 0 19 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331208 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30557/tid=30572] ppid=30552 vsize=621128 CPUtime=3 cores=4-31
/proc/30557/task/30572/stat : 30572 (plingeling) R 30552 30552 30526 0 -1 4202560 795 1246 0 0 300 0 0 0 18 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30557/tid=30573] ppid=30552 vsize=621128 CPUtime=3 cores=4-31
/proc/30557/task/30573/stat : 30573 (plingeling) R 30552 30552 30526 0 -1 4202560 817 1246 0 0 299 1 0 0 22 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30557/tid=30574] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30574/stat : 30574 (plingeling) R 30552 30552 30526 0 -1 4202560 802 1246 0 0 298 1 0 0 24 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4234134 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30557/tid=30575] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30575/stat : 30575 (plingeling) R 30552 30552 30526 0 -1 4202560 805 1246 0 0 298 1 0 0 25 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30557/tid=30576] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30576/stat : 30576 (plingeling) R 30552 30552 30526 0 -1 4202560 760 1246 0 0 298 1 0 0 24 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331849 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30557/tid=30577] ppid=30552 vsize=621128 CPUtime=2.99 cores=4-31
/proc/30557/task/30577/stat : 30577 (plingeling) R 30552 30552 30526 0 -1 4202560 708 1246 0 0 299 0 0 0 25 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331439 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30557/tid=30578] ppid=30552 vsize=621128 CPUtime=2.98 cores=4-31
/proc/30557/task/30578/stat : 30578 (plingeling) R 30552 30552 30526 0 -1 4202560 773 1246 0 0 298 0 0 0 25 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331072 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30557/tid=30579] ppid=30552 vsize=621128 CPUtime=2.92 cores=4-31
/proc/30557/task/30579/stat : 30579 (plingeling) R 30552 30552 30526 0 -1 4202560 665 1246 0 0 292 0 0 0 24 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30557/tid=30580] ppid=30552 vsize=621128 CPUtime=2.98 cores=4-31
/proc/30557/task/30580/stat : 30580 (plingeling) R 30552 30552 30526 0 -1 4202560 709 1246 0 0 298 0 0 0 24 0 29 0 649772818 636035072 18462 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30557/tid=30581] ppid=30552 vsize=621128 CPUtime=2.97 cores=4-31

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

[pid=30555] ppid=30552 vsize=455996 CPUtime=4961.37 cores=2
/proc/30555/stat : 30555 (TNM) R 30552 30552 30526 0 -1 4202496 396 0 0 0 496137 0 0 0 25 0 1 0 649772809 466939904 293 268435456000 134512640 134534564 4291445088 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30555/statm: 113999 293 103 6 0 112664 0
[pid=30556] ppid=30552 vsize=191552 CPUtime=4960.62 cores=3
/proc/30556/stat : 30556 (march_hi) R 30552 30552 30526 0 -1 4202496 43093 0 0 0 496002 60 0 0 25 0 1 0 649772809 196149248 42796 268435456000 4194304 4331988 140734364763072 18446744073709551615 4298848 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30556/statm: 47888 42796 174 34 0 46330 0
[pid=30557] ppid=30552 vsize=1599696 CPUtime=138769 cores=4-31
/proc/30557/stat : 30557 (plingeling) S 30552 30552 30526 0 -1 4202496 3730529 1246 0 0 13874402 2530 0 0 18 0 29 0 649772809 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/30557/statm: 399924 262747 159 40 0 398468 0
[pid=30557/tid=30564] ppid=30552 vsize=1599696 CPUtime=4959.95 cores=4-31
/proc/30557/task/30564/stat : 30564 (plingeling) R 30552 30552 30526 0 -1 4202560 111132 1246 0 0 495925 70 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30557/tid=30565] ppid=30552 vsize=1599696 CPUtime=4961.27 cores=4-31
/proc/30557/task/30565/stat : 30565 (plingeling) R 30552 30552 30526 0 -1 4202560 136906 1246 0 0 496029 98 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30557/tid=30566] ppid=30552 vsize=1599696 CPUtime=4960.98 cores=4-31
/proc/30557/task/30566/stat : 30566 (plingeling) R 30552 30552 30526 0 -1 4202560 129261 1246 0 0 496007 91 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30557/tid=30567] ppid=30552 vsize=1599696 CPUtime=4961.26 cores=4-31
/proc/30557/task/30567/stat : 30567 (plingeling) R 30552 30552 30526 0 -1 4202560 140809 1246 0 0 496043 83 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4234244 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30557/tid=30568] ppid=30552 vsize=1599696 CPUtime=4961.27 cores=4-31
/proc/30557/task/30568/stat : 30568 (plingeling) R 30552 30552 30526 0 -1 4202560 156678 1246 0 0 496043 84 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30557/tid=30569] ppid=30552 vsize=1599696 CPUtime=4961.26 cores=4-31
/proc/30557/task/30569/stat : 30569 (plingeling) R 30552 30552 30526 0 -1 4202560 135363 1246 0 0 496042 84 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30557/tid=30570] ppid=30552 vsize=1599696 CPUtime=4961.08 cores=4-31
/proc/30557/task/30570/stat : 30570 (plingeling) R 30552 30552 30526 0 -1 4202560 168069 1246 0 0 496016 92 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30557/tid=30571] ppid=30552 vsize=1599696 CPUtime=4923.94 cores=4-31
/proc/30557/task/30571/stat : 30571 (plingeling) R 30552 30552 30526 0 -1 4202560 112415 1246 0 0 492247 147 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30557/tid=30572] ppid=30552 vsize=1599696 CPUtime=4961.28 cores=4-31
/proc/30557/task/30572/stat : 30572 (plingeling) R 30552 30552 30526 0 -1 4202560 127281 1246 0 0 496049 79 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30557/tid=30573] ppid=30552 vsize=1599696 CPUtime=4961.23 cores=4-31
/proc/30557/task/30573/stat : 30573 (plingeling) R 30552 30552 30526 0 -1 4202560 128729 1246 0 0 496041 82 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30557/tid=30574] ppid=30552 vsize=1599696 CPUtime=4961.22 cores=4-31
/proc/30557/task/30574/stat : 30574 (plingeling) R 30552 30552 30526 0 -1 4202560 163421 1246 0 0 496031 91 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30557/tid=30575] ppid=30552 vsize=1599696 CPUtime=4961.05 cores=4-31
/proc/30557/task/30575/stat : 30575 (plingeling) R 30552 30552 30526 0 -1 4202560 149845 1246 0 0 496003 102 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30557/tid=30576] ppid=30552 vsize=1599696 CPUtime=4961.22 cores=4-31
/proc/30557/task/30576/stat : 30576 (plingeling) R 30552 30552 30526 0 -1 4202560 163199 1246 0 0 496022 100 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30557/tid=30577] ppid=30552 vsize=1599696 CPUtime=4961.26 cores=4-31
/proc/30557/task/30577/stat : 30577 (plingeling) R 30552 30552 30526 0 -1 4202560 148315 1246 0 0 496034 92 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30557/tid=30578] ppid=30552 vsize=1599696 CPUtime=4961.25 cores=4-31
/proc/30557/task/30578/stat : 30578 (plingeling) R 30552 30552 30526 0 -1 4202560 119181 1246 0 0 496054 71 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30557/tid=30579] ppid=30552 vsize=1599696 CPUtime=4867.07 cores=4-31
/proc/30557/task/30579/stat : 30579 (plingeling) R 30552 30552 30526 0 -1 4202560 96225 1246 0 0 486588 119 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30557/tid=30580] ppid=30552 vsize=1599696 CPUtime=4960.53 cores=4-31
/proc/30557/task/30580/stat : 30580 (plingeling) R 30552 30552 30526 0 -1 4202560 120349 1246 0 0 495985 68 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30557/tid=30581] ppid=30552 vsize=1599696 CPUtime=4961.27 cores=4-31
/proc/30557/task/30581/stat : 30581 (plingeling) R 30552 30552 30526 0 -1 4202560 123091 1246 0 0 496048 79 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30557/tid=30582] ppid=30552 vsize=1599696 CPUtime=4961.15 cores=4-31
/proc/30557/task/30582/stat : 30582 (plingeling) R 30552 30552 30526 0 -1 4202560 129344 1246 0 0 496031 84 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30557/tid=30583] ppid=30552 vsize=1599696 CPUtime=4958.67 cores=4-31
/proc/30557/task/30583/stat : 30583 (plingeling) R 30552 30552 30526 0 -1 4202560 121491 1246 0 0 495788 79 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30557/tid=30584] ppid=30552 vsize=1599696 CPUtime=4960.63 cores=4-31
/proc/30557/task/30584/stat : 30584 (plingeling) R 30552 30552 30526 0 -1 4202560 120013 1246 0 0 495989 74 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30557/tid=30585] ppid=30552 vsize=1599696 CPUtime=4961.26 cores=4-31
/proc/30557/task/30585/stat : 30585 (plingeling) R 30552 30552 30526 0 -1 4202560 124547 1246 0 0 496049 77 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30557/tid=30586] ppid=30552 vsize=1599696 CPUtime=4958.37 cores=4-31
/proc/30557/task/30586/stat : 30586 (plingeling) R 30552 30552 30526 0 -1 4202560 157503 1246 0 0 495701 136 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30557/tid=30587] ppid=30552 vsize=1599696 CPUtime=4961.23 cores=4-31
/proc/30557/task/30587/stat : 30587 (plingeling) R 30552 30552 30526 0 -1 4202560 103652 1246 0 0 495996 127 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30557/tid=30588] ppid=30552 vsize=1599696 CPUtime=4961.16 cores=4-31
/proc/30557/task/30588/stat : 30588 (plingeling) R 30552 30552 30526 0 -1 4202560 150998 1246 0 0 496028 88 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30557/tid=30589] ppid=30552 vsize=1599696 CPUtime=4955.58 cores=4-31
/proc/30557/task/30589/stat : 30589 (plingeling) R 30552 30552 30526 0 -1 4202560 118457 1246 0 0 495485 73 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30557/tid=30590] ppid=30552 vsize=1599696 CPUtime=4961.25 cores=4-31
/proc/30557/task/30590/stat : 30590 (plingeling) R 30552 30552 30526 0 -1 4202560 146032 1246 0 0 496061 64 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30557/tid=30591] ppid=30552 vsize=1599696 CPUtime=4961.27 cores=4-31
/proc/30557/task/30591/stat : 30591 (plingeling) R 30552 30552 30526 0 -1 4202560 126334 1246 0 0 496048 79 0 0 25 0 29 0 649772818 1638088704 262747 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 158614
Current children cumulated vsize (KiB) 3989148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5005.7 s]
/proc/loadavg: 32.01 32.04 32.06 33/447 30740
/proc/meminfo: memFree=254233844/264257624 swapFree=67111528/67111528
[pid=30552] ppid=30550 vsize=18324 CPUtime=0 cores=0-31
/proc/30552/stat : 30552 (ppfolio) S 30550 30552 30526 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 649772808 18763776 386 268435456000 4194304 4287625 140736675005472 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 28 0 0 0
/proc/30552/statm: 4581 386 337 23 0 91 0
[pid=30553] ppid=30552 vsize=1687064 CPUtime=5004.74 cores=0
/proc/30553/stat : 30553 (cryptominisat) R 30552 30552 30526 0 -1 4202496 348636 0 0 0 500242 232 0 0 25 0 1 0 649772809 1727553536 29000 268435456000 4194304 4587354 140735582042080 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30553/statm: 421766 29000 336 96 0 418328 0
[pid=30554] ppid=30552 vsize=36516 CPUtime=5004.76 cores=1
/proc/30554/stat : 30554 (clasp) R 30552 30552 30526 0 -1 4202496 6109 0 0 0 500473 3 0 0 25 0 1 0 649772809 37392384 5993 268435456000 4194304 4785740 140736966314960 18446744073709551615 4549032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30554/statm: 9129 5993 339 145 0 6174 0
[pid=30555] ppid=30552 vsize=455996 CPUtime=5004.77 cores=2
/proc/30555/stat : 30555 (TNM) R 30552 30552 30526 0 -1 4202496 396 0 0 0 500477 0 0 0 25 0 1 0 649772809 466939904 293 268435456000 134512640 134534564 4291445088 18446744073709551615 134530659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30555/statm: 113999 293 103 6 0 112664 0
[pid=30556] ppid=30552 vsize=257852 CPUtime=5004.02 cores=3
/proc/30556/stat : 30556 (march_hi) R 30552 30552 30526 0 -1 4202496 43440 0 0 0 500340 62 0 0 25 0 1 0 649772809 264040448 43143 268435456000 4194304 4331988 140734364763072 18446744073709551615 4210960 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30556/statm: 64463 43143 174 34 0 62905 0
[pid=30557] ppid=30552 vsize=1616336 CPUtime=139983 cores=4-31
/proc/30557/stat : 30557 (plingeling) S 30552 30552 30526 0 -1 4202496 3753089 1246 0 0 13995761 2540 0 0 18 0 29 0 649772809 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/30557/statm: 404084 266907 159 40 0 402628 0
[pid=30557/tid=30564] ppid=30552 vsize=1616336 CPUtime=5003.33 cores=4-31
/proc/30557/task/30564/stat : 30564 (plingeling) R 30552 30552 30526 0 -1 4202560 113756 1246 0 0 500258 75 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30557/tid=30565] ppid=30552 vsize=1616336 CPUtime=5004.67 cores=4-31
/proc/30557/task/30565/stat : 30565 (plingeling) R 30552 30552 30526 0 -1 4202560 139914 1246 0 0 500368 99 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30557/tid=30566] ppid=30552 vsize=1616336 CPUtime=5004.37 cores=4-31
/proc/30557/task/30566/stat : 30566 (plingeling) R 30552 30552 30526 0 -1 4202560 129261 1246 0 0 500346 91 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30557/tid=30567] ppid=30552 vsize=1616336 CPUtime=5004.66 cores=4-31
/proc/30557/task/30567/stat : 30567 (plingeling) R 30552 30552 30526 0 -1 4202560 141833 1246 0 0 500382 84 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30557/tid=30568] ppid=30552 vsize=1616336 CPUtime=5004.66 cores=4-31
/proc/30557/task/30568/stat : 30568 (plingeling) R 30552 30552 30526 0 -1 4202560 157126 1246 0 0 500382 84 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30557/tid=30569] ppid=30552 vsize=1616336 CPUtime=5004.65 cores=4-31
/proc/30557/task/30569/stat : 30569 (plingeling) R 30552 30552 30526 0 -1 4202560 136323 1246 0 0 500381 84 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30557/tid=30570] ppid=30552 vsize=1616336 CPUtime=5004.47 cores=4-31
/proc/30557/task/30570/stat : 30570 (plingeling) R 30552 30552 30526 0 -1 4202560 169285 1246 0 0 500355 92 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332037 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30557/tid=30571] ppid=30552 vsize=1616336 CPUtime=4967.34 cores=4-31
/proc/30557/task/30571/stat : 30571 (plingeling) R 30552 30552 30526 0 -1 4202560 112415 1246 0 0 496587 147 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30557/tid=30572] ppid=30552 vsize=1616336 CPUtime=5004.67 cores=4-31
/proc/30557/task/30572/stat : 30572 (plingeling) R 30552 30552 30526 0 -1 4202560 128113 1246 0 0 500388 79 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30557/tid=30573] ppid=30552 vsize=1616336 CPUtime=5004.63 cores=4-31
/proc/30557/task/30573/stat : 30573 (plingeling) R 30552 30552 30526 0 -1 4202560 129561 1246 0 0 500380 83 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331170 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30557/tid=30574] ppid=30552 vsize=1616336 CPUtime=5004.62 cores=4-31
/proc/30557/task/30574/stat : 30574 (plingeling) R 30552 30552 30526 0 -1 4202560 164413 1246 0 0 500371 91 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30557/tid=30575] ppid=30552 vsize=1616336 CPUtime=5004.45 cores=4-31
/proc/30557/task/30575/stat : 30575 (plingeling) R 30552 30552 30526 0 -1 4202560 150293 1246 0 0 500342 103 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30557/tid=30576] ppid=30552 vsize=1616336 CPUtime=5004.62 cores=4-31
/proc/30557/task/30576/stat : 30576 (plingeling) R 30552 30552 30526 0 -1 4202560 165183 1246 0 0 500361 101 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30557/tid=30577] ppid=30552 vsize=1616336 CPUtime=5004.65 cores=4-31
/proc/30557/task/30577/stat : 30577 (plingeling) R 30552 30552 30526 0 -1 4202560 149083 1246 0 0 500373 92 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30557/tid=30578] ppid=30552 vsize=1616336 CPUtime=5004.65 cores=4-31
/proc/30557/task/30578/stat : 30578 (plingeling) R 30552 30552 30526 0 -1 4202560 119181 1246 0 0 500394 71 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30557/tid=30579] ppid=30552 vsize=1616336 CPUtime=4909.19 cores=4-31
/proc/30557/task/30579/stat : 30579 (plingeling) R 30552 30552 30526 0 -1 4202560 96225 1246 0 0 490800 119 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30557/tid=30580] ppid=30552 vsize=1616336 CPUtime=5003.92 cores=4-31
/proc/30557/task/30580/stat : 30580 (plingeling) R 30552 30552 30526 0 -1 4202560 121053 1246 0 0 500324 68 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30557/tid=30581] ppid=30552 vsize=1616336 CPUtime=5004.66 cores=4-31
/proc/30557/task/30581/stat : 30581 (plingeling) R 30552 30552 30526 0 -1 4202560 123987 1246 0 0 500387 79 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30557/tid=30582] ppid=30552 vsize=1616336 CPUtime=5004.55 cores=4-31
/proc/30557/task/30582/stat : 30582 (plingeling) R 30552 30552 30526 0 -1 4202560 129984 1246 0 0 500371 84 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30557/tid=30583] ppid=30552 vsize=1616336 CPUtime=5002.06 cores=4-31
/proc/30557/task/30583/stat : 30583 (plingeling) R 30552 30552 30526 0 -1 4202560 121491 1246 0 0 500127 79 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30557/tid=30584] ppid=30552 vsize=1616336 CPUtime=5004.02 cores=4-31
/proc/30557/task/30584/stat : 30584 (plingeling) R 30552 30552 30526 0 -1 4202560 120525 1246 0 0 500328 74 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30557/tid=30585] ppid=30552 vsize=1616336 CPUtime=5004.66 cores=4-31
/proc/30557/task/30585/stat : 30585 (plingeling) R 30552 30552 30526 0 -1 4202560 124995 1246 0 0 500388 78 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331188 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30557/tid=30586] ppid=30552 vsize=1616336 CPUtime=5001.74 cores=4-31
/proc/30557/task/30586/stat : 30586 (plingeling) R 30552 30552 30526 0 -1 4202560 159167 1246 0 0 500037 137 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30557/tid=30587] ppid=30552 vsize=1616336 CPUtime=5004.64 cores=4-31
/proc/30557/task/30587/stat : 30587 (plingeling) R 30552 30552 30526 0 -1 4202560 103652 1246 0 0 500336 128 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30557/tid=30588] ppid=30552 vsize=1616336 CPUtime=5004.55 cores=4-31
/proc/30557/task/30588/stat : 30588 (plingeling) R 30552 30552 30526 0 -1 4202560 151382 1246 0 0 500367 88 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30557/tid=30589] ppid=30552 vsize=1616336 CPUtime=4998.98 cores=4-31
/proc/30557/task/30589/stat : 30589 (plingeling) R 30552 30552 30526 0 -1 4202560 118777 1246 0 0 499824 74 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30557/tid=30590] ppid=30552 vsize=1616336 CPUtime=5004.64 cores=4-31
/proc/30557/task/30590/stat : 30590 (plingeling) R 30552 30552 30526 0 -1 4202560 146992 1246 0 0 500400 64 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30557/tid=30591] ppid=30552 vsize=1616336 CPUtime=5004.66 cores=4-31
/proc/30557/task/30591/stat : 30591 (plingeling) R 30552 30552 30526 0 -1 4202560 127230 1246 0 0 500387 79 0 0 25 0 29 0 649772818 1655128064 266907 268435456000 4194304 4356188 140735176931120 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 4072088

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30552 and gives
#  childrusage.ru_utime.tv_sec=15011
#  childrusage.ru_utime.tv_usec=945837
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=383637
# CPU time returned by wait4() is 15014.3
# while last known CPU time is 160001
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5005.74
CPU time (s): 160001
CPU user time (s): 159973
CPU system time (s): 28.37
CPU usage (%): 3196.36
Max. virtual memory (cumulated for all children) (KiB): 5716608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15011.9
system time used= 2.38364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355671
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= 908
involuntary context switches= 29317

runsolver used 28.9326 second user time and 112.228 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 16:21:04
IDJOB=3347589
IDBENCH=83431
IDSOLVER=1808
FILE ID=node200/3347589-1305382864
RUNJOBID= node200-1305382864-30540
PBS_JOBID= 13285489
Free space on /tmp= 62052 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347589-1305382864/watcher-3347589-1305382864 -o /tmp/evaluation-result-3347589-1305382864/solver-3347589-1305382864 -C 160000 -W 5100 -M 266338304  ppfolio HOME/instance-3347589-1305382864.cnf

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

MD5SUM BENCH= d71ab4cbe872e5620884d4e4d370890a
RANDOM SEED=552560644

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:      255607532 kB
Buffers:        436192 kB
Cached:        7809388 kB
SwapCached:          0 kB
Active:        7381892 kB
Inactive:       932332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255607532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10168 kB
Writeback:           0 kB
AnonPages:       70776 kB
Mapped:          13760 kB
Slab:           250000 kB
PageTables:       4688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190656 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-14 17:44:32