Trace number 3372192

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)UNSAT 61593.4 1984.7

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark35846.4
Satisfiable
(Un)Satisfiability was proved
Number of variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Solver Data 

61593.09/1984.48	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3372192-1305481477/watcher-3372192-1305481477 -o /tmp/evaluation-result-3372192-1305481477/solver-3372192-1305481477 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372192-1305481477.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: 24.72 21.84 21.50 1/413 12762
/proc/meminfo: memFree=255488340/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=15772 CPUtime=0.02 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 2028 1246 0 0 2 0 0 0 21 0 1 0 659634394 16150528 1959 268435456000 4194304 4417452 140735402499248 18446744073709551615 4259993 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 3943 1959 145 55 0 1829 0

[startup+0.090976 s]
/proc/loadavg: 24.72 21.84 21.50 1/413 12762
/proc/meminfo: memFree=255488340/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=20848 CPUtime=0.07 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 3273 1246 0 0 7 0 0 0 21 0 1 0 659634394 21348352 3204 268435456000 4194304 4417452 140735402499248 18446744073709551615 4259674 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 5212 3204 145 55 0 3098 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20848

[startup+0.100982 s]
/proc/loadavg: 24.72 21.84 21.50 1/413 12762
/proc/meminfo: memFree=255488340/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=25104 CPUtime=0.08 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 4338 1246 0 0 8 0 0 0 21 0 1 0 659634394 25706496 4269 268435456000 4194304 4417452 140735402499248 18446744073709551615 4321570 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 6276 4269 146 55 0 4162 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25104

[startup+0.30096 s]
/proc/loadavg: 24.72 21.84 21.50 1/413 12762
/proc/meminfo: memFree=255488340/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=41308 CPUtime=0.28 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 8417 1246 0 0 27 1 0 0 22 0 1 0 659634394 42299392 8348 268435456000 4194304 4417452 140735402499248 18446744073709551615 4231265 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 10327 8348 146 55 0 8213 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41308

[startup+0.701001 s]
/proc/loadavg: 24.72 21.84 21.50 1/413 12762
/proc/meminfo: memFree=255488340/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=71744 CPUtime=0.69 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 16018 1246 0 0 65 4 0 0 23 0 1 0 659634394 73465856 15949 268435456000 4194304 4417452 140735402499248 18446744073709551615 4262052 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 17936 15949 146 55 0 15822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71744

[startup+1.50102 s]
/proc/loadavg: 22.82 21.50 21.39 2/414 12768
/proc/meminfo: memFree=255407352/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=132248 CPUtime=1.49 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 31152 1246 0 0 142 7 0 0 25 0 1 0 659634394 135421952 31083 268435456000 4194304 4417452 140735402499248 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 33062 31083 146 55 0 30948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132248

[startup+3.10108 s]
/proc/loadavg: 22.82 21.50 21.39 2/414 12768
/proc/meminfo: memFree=255311348/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=252296 CPUtime=3.08 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 61166 1246 0 0 296 12 0 0 25 0 1 0 659634394 258351104 61095 268435456000 4194304 4417452 140735402499248 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 63074 61095 146 55 0 60960 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 252296

[startup+6.30119 s]
/proc/loadavg: 22.82 21.50 21.39 2/414 12768
/proc/meminfo: memFree=255007988/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=491344 CPUtime=6.29 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 120934 1246 0 0 604 25 0 0 25 0 1 0 659634394 503136256 120857 268435456000 4194304 4417452 140735402499248 18446744073709551615 4260220 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 122836 120857 146 55 0 120722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 491344

[startup+12.7004 s]
/proc/loadavg: 19.47 20.82 21.17 2/414 12768
/proc/meminfo: memFree=254536772/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=967964 CPUtime=12.68 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 240181 1246 0 0 1220 48 0 0 25 0 1 0 659634394 991195136 240012 268435456000 4194304 4417452 140735402499248 18446744073709551615 4209644 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 241991 240012 146 55 0 239877 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 967964

[startup+25.5009 s]
/proc/loadavg: 16.63 20.17 20.96 2/414 12768
/proc/meminfo: memFree=253888180/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=1623324 CPUtime=25.48 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 404021 1246 0 0 2468 80 0 0 25 0 1 0 659634394 1662283776 403852 268435456000 4194304 4417452 140735402499248 18446744073709551615 258650574428 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 405831 403852 146 55 0 403717 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1623324

[startup+51.1008 s]
/proc/loadavg: 11.37 18.64 20.43 2/414 12770
/proc/meminfo: memFree=252278156/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=3234656 CPUtime=51.07 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 806854 1246 0 0 4948 159 0 0 25 0 1 0 659634394 3312287744 806685 268435456000 4194304 4417452 140735402499248 18446744073709551615 4231423 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12762/statm: 808664 806685 146 55 0 806550 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3234656

[startup+102.322 s]
/proc/loadavg: 22.30 20.32 20.89 33/446 12802
/proc/meminfo: memFree=249923560/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=6180712 CPUtime=1480.72 cores=0-31
/proc/12762/stat : 12762 (plingeling) S 12760 12762 12670 0 -1 4202496 2917758 1246 0 0 144827 3245 0 0 19 0 33 0 659634394 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/12762/statm: 1545178 1393351 175 55 0 1543064 0
[pid=12762/tid=12771] ppid=12760 vsize=6180712 CPUtime=42.73 cores=0-31
/proc/12762/task/12771/stat : 12771 (plingeling) R 12760 12762 12670 0 -1 4202560 75691 1246 0 0 4189 84 0 0 25 0 33 0 659639720 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12762/tid=12772] ppid=12760 vsize=6180712 CPUtime=44.95 cores=0-31
/proc/12762/task/12772/stat : 12772 (plingeling) R 12760 12762 12670 0 -1 4202560 64519 1246 0 0 4397 98 0 0 25 0 33 0 659639720 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12762/tid=12773] ppid=12760 vsize=6180712 CPUtime=43.13 cores=0-31
/proc/12762/task/12773/stat : 12773 (plingeling) R 12760 12762 12670 0 -1 4202560 61087 1246 0 0 4195 118 0 0 25 0 33 0 659639720 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4245664 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12762/tid=12774] ppid=12760 vsize=6180712 CPUtime=47.33 cores=0-31
/proc/12762/task/12774/stat : 12774 (plingeling) R 12760 12762 12670 0 -1 4202560 2566 1246 0 0 4732 1 0 0 25 0 33 0 659639720 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12762/tid=12775] ppid=12760 vsize=6180712 CPUtime=44.33 cores=0-31
/proc/12762/task/12775/stat : 12775 (plingeling) R 12760 12762 12670 0 -1 4202560 79006 1246 0 0 4331 102 0 0 25 0 33 0 659639721 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12762/tid=12776] ppid=12760 vsize=6180712 CPUtime=44.3 cores=0-31
/proc/12762/task/12776/stat : 12776 (plingeling) R 12760 12762 12670 0 -1 4202560 75131 1246 0 0 4363 67 0 0 25 0 33 0 659639721 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12762/tid=12777] ppid=12760 vsize=6180712 CPUtime=45.17 cores=0-31
/proc/12762/task/12777/stat : 12777 (plingeling) R 12760 12762 12670 0 -1 4202560 64389 1246 0 0 4399 118 0 0 25 0 33 0 659639721 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12762/tid=12778] ppid=12760 vsize=6180712 CPUtime=46.46 cores=0-31
/proc/12762/task/12778/stat : 12778 (plingeling) R 12760 12762 12670 0 -1 4202560 73528 1246 0 0 4552 94 0 0 25 0 33 0 659639721 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12762/tid=12779] ppid=12760 vsize=6180712 CPUtime=45 cores=0-31
/proc/12762/task/12779/stat : 12779 (plingeling) R 12760 12762 12670 0 -1 4202560 76534 1246 0 0 4391 109 0 0 25 0 33 0 659639721 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12762/tid=12780] ppid=12760 vsize=6180712 CPUtime=44.99 cores=0-31
/proc/12762/task/12780/stat : 12780 (plingeling) R 12760 12762 12670 0 -1 4202560 75962 1246 0 0 4387 112 0 0 25 0 33 0 659639722 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236607 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12762/tid=12781] ppid=12760 vsize=6180712 CPUtime=42.6 cores=0-31
/proc/12762/task/12781/stat : 12781 (plingeling) R 12760 12762 12670 0 -1 4202560 60853 1246 0 0 4213 47 0 0 25 0 33 0 659639722 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12762/tid=12782] ppid=12760 vsize=6180712 CPUtime=44.87 cores=0-31
/proc/12762/task/12782/stat : 12782 (plingeling) R 12760 12762 12670 0 -1 4202560 67913 1246 0 0 4384 103 0 0 25 0 33 0 659639722 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12762/tid=12783] ppid=12760 vsize=6180712 CPUtime=44.71 cores=0-31
/proc/12762/task/12783/stat : 12783 (plingeling) R 12760 12762 12670 0 -1 4202560 77965 1246 0 0 4388 83 0 0 25 0 33 0 659639723 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12762/tid=12784] ppid=12760 vsize=6180712 CPUtime=43.85 cores=0-31
/proc/12762/task/12784/stat : 12784 (plingeling) R 12760 12762 12670 0 -1 4202560 74934 1246 0 0 4259 126 0 0 25 0 33 0 659639723 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265503 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12762/tid=12785] ppid=12760 vsize=6180712 CPUtime=44.46 cores=0-31
/proc/12762/task/12785/stat : 12785 (plingeling) R 12760 12762 12670 0 -1 4202560 53645 1246 0 0 4396 50 0 0 25 0 33 0 659639723 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12762/tid=12786] ppid=12760 vsize=6180712 CPUtime=44.92 cores=0-31
/proc/12762/task/12786/stat : 12786 (plingeling) R 12760 12762 12670 0 -1 4202560 65213 1246 0 0 4386 106 0 0 25 0 33 0 659639723 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12762/tid=12787] ppid=12760 vsize=6180712 CPUtime=46.93 cores=0-31
/proc/12762/task/12787/stat : 12787 (plingeling) R 12760 12762 12670 0 -1 4202560 45599 1246 0 0 4645 48 0 0 25 0 33 0 659639723 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12762/tid=12788] ppid=12760 vsize=6180712 CPUtime=44.64 cores=0-31
/proc/12762/task/12788/stat : 12788 (plingeling) R 12760 12762 12670 0 -1 4202560 75711 1246 0 0 4331 133 0 0 25 0 33 0 659639723 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12762/tid=12789] ppid=12760 vsize=6180712 CPUtime=44.92 cores=0-31
/proc/12762/task/12789/stat : 12789 (plingeling) R 12760 12762 12670 0 -1 4202560 56730 1246 0 0 4410 82 0 0 25 0 33 0 659639723 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12762/tid=12790] ppid=12760 vsize=6180712 CPUtime=45.17 cores=0-31
/proc/12762/task/12790/stat : 12790 (plingeling) R 12760 12762 12670 0 -1 4202560 71842 1246 0 0 4396 121 0 0 25 0 33 0 659639724 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12762/tid=12791] ppid=12760 vsize=6180712 CPUtime=45.19 cores=0-31
/proc/12762/task/12791/stat : 12791 (plingeling) R 12760 12762 12670 0 -1 4202560 76315 1246 0 0 4408 111 0 0 25 0 33 0 659639724 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236852 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12762/tid=12792] ppid=12760 vsize=6180712 CPUtime=44.7 cores=0-31
/proc/12762/task/12792/stat : 12792 (plingeling) R 12760 12762 12670 0 -1 4202560 68222 1246 0 0 4374 96 0 0 25 0 33 0 659639724 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12762/tid=12793] ppid=12760 vsize=6180712 CPUtime=43.15 cores=0-31
/proc/12762/task/12793/stat : 12793 (plingeling) R 12760 12762 12670 0 -1 4202560 55574 1246 0 0 4259 56 0 0 25 0 33 0 659639725 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12762/tid=12794] ppid=12760 vsize=6180712 CPUtime=44.49 cores=0-31
/proc/12762/task/12794/stat : 12794 (plingeling) R 12760 12762 12670 0 -1 4202560 60227 1246 0 0 4355 94 0 0 25 0 33 0 659639725 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12762/tid=12795] ppid=12760 vsize=6180712 CPUtime=45.17 cores=0-31
/proc/12762/task/12795/stat : 12795 (plingeling) R 12760 12762 12670 0 -1 4202560 74733 1246 0 0 4400 117 0 0 25 0 33 0 659639725 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12762/tid=12796] ppid=12760 vsize=6180712 CPUtime=45.3 cores=0-31
/proc/12762/task/12796/stat : 12796 (plingeling) R 12760 12762 12670 0 -1 4202560 59827 1246 0 0 4435 95 0 0 25 0 33 0 659639725 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12762/tid=12797] ppid=12760 vsize=6180712 CPUtime=43.41 cores=0-31
/proc/12762/task/12797/stat : 12797 (plingeling) R 12760 12762 12670 0 -1 4202560 57265 1246 0 0 4215 126 0 0 25 0 33 0 659639726 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265403 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12762/tid=12798] ppid=12760 vsize=6180712 CPUtime=44.69 cores=0-31
/proc/12762/task/12798/stat : 12798 (plingeling) R 12760 12762 12670 0 -1 4202560 74277 1246 0 0 4342 127 0 0 25 0 33 0 659639726 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12762/tid=12799] ppid=12760 vsize=6180712 CPUtime=44.2 cores=0-31
/proc/12762/task/12799/stat : 12799 (plingeling) R 12760 12762 12670 0 -1 4202560 72561 1246 0 0 4306 114 0 0 25 0 33 0 659639726 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12762/tid=12800] ppid=12760 vsize=6180712 CPUtime=45.21 cores=0-31
/proc/12762/task/12800/stat : 12800 (plingeling) R 12760 12762 12670 0 -1 4202560 72880 1246 0 0 4408 113 0 0 25 0 33 0 659639726 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12762/tid=12801] ppid=12760 vsize=6180712 CPUtime=42.46 cores=0-31
/proc/12762/task/12801/stat : 12801 (plingeling) R 12760 12762 12670 0 -1 4202560 63133 1246 0 0 4125 121 0 0 25 0 33 0 659639726 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12762/tid=12802] ppid=12760 vsize=6180712 CPUtime=43.73 cores=0-31
/proc/12762/task/12802/stat : 12802 (plingeling) R 12760 12762 12670 0 -1 4202560 77034 1246 0 0 4277 96 0 0 25 0 33 0 659639726 6329049088 1393351 268435456000 4194304 4417452 140735402499248 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 1480.72
Current children cumulated vsize (KiB) 6180712

[startup+162.302 s]
/proc/loadavg: 28.47 22.46 21.59 33/446 12804
/proc/meminfo: memFree=249819424/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=6315172 CPUtime=3396.12 cores=0-31
/proc/12762/stat : 12762 (plingeling) S 12760 12762 12670 0 -1 4202496 3648382 1246 0 0 336063 3549 0 0 19 0 33 0 659634394 6466736128 1441990 268435456000 4194304 4417452 140735402499248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/12762/statm: 1578793 1441990 175 55 0 1576679 0
[pid=12762/tid=12771] ppid=12760 vsize=6315172 CPUtime=102.69 cores=0-31
/proc/12762/task/12771/stat : 12771 (plingeling) R 12760 12762 12670 0 -1 4202560 106457 1246 0 0 10177 92 0 0 25 0 33 0 659639720 6466736128 1441990 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12762/tid=12772] ppid=12760 vsize=6315172 CPUtime=104.67 cores=0-31

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

/proc/meminfo: memFree=248289664/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=7757444 CPUtime=61511.8 cores=0-31
/proc/12762/stat : 12762 (plingeling) S 12760 12762 12670 0 -1 4202496 12880742 1246 0 0 6145216 5965 0 0 19 0 33 0 659634394 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/12762/statm: 1939361 1802706 175 55 0 1937247 0
[pid=12762/tid=12771] ppid=12760 vsize=7757444 CPUtime=1919.21 cores=0-31
/proc/12762/task/12771/stat : 12771 (plingeling) R 12760 12762 12670 0 -1 4202560 351205 1246 0 0 191769 152 0 0 25 0 33 0 659639720 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12762/tid=12772] ppid=12760 vsize=7757444 CPUtime=1922.38 cores=0-31
/proc/12762/task/12772/stat : 12772 (plingeling) R 12760 12762 12670 0 -1 4202560 331274 1246 0 0 192073 165 0 0 25 0 33 0 659639720 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12762/tid=12773] ppid=12760 vsize=7757444 CPUtime=1914.58 cores=0-31
/proc/12762/task/12773/stat : 12773 (plingeling) R 12760 12762 12670 0 -1 4202560 472614 1246 0 0 191211 247 0 0 25 0 33 0 659639720 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12762/tid=12774] ppid=12760 vsize=7757444 CPUtime=1925.15 cores=0-31
/proc/12762/task/12774/stat : 12774 (plingeling) R 12760 12762 12670 0 -1 4202560 186393 1246 0 0 192282 233 0 0 25 0 33 0 659639720 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12762/tid=12775] ppid=12760 vsize=7757444 CPUtime=1921.58 cores=0-31
/proc/12762/task/12775/stat : 12775 (plingeling) R 12760 12762 12670 0 -1 4202560 410363 1246 0 0 191974 184 0 0 25 0 33 0 659639721 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12762/tid=12776] ppid=12760 vsize=7757444 CPUtime=1914.3 cores=0-31
/proc/12762/task/12776/stat : 12776 (plingeling) R 12760 12762 12670 0 -1 4202560 403005 1246 0 0 191284 146 0 0 25 0 33 0 659639721 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12762/tid=12777] ppid=12760 vsize=7757444 CPUtime=1922.79 cores=0-31
/proc/12762/task/12777/stat : 12777 (plingeling) R 12760 12762 12670 0 -1 4202560 334118 1246 0 0 192087 192 0 0 25 0 33 0 659639721 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12762/tid=12778] ppid=12760 vsize=7757444 CPUtime=1924.01 cores=0-31
/proc/12762/task/12778/stat : 12778 (plingeling) R 12760 12762 12670 0 -1 4202560 418131 1246 0 0 192225 176 0 0 25 0 33 0 659639721 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12762/tid=12779] ppid=12760 vsize=7757444 CPUtime=1922.25 cores=0-31
/proc/12762/task/12779/stat : 12779 (plingeling) R 12760 12762 12670 0 -1 4202560 374220 1246 0 0 192050 175 0 0 25 0 33 0 659639721 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12762/tid=12780] ppid=12760 vsize=7757444 CPUtime=1922.65 cores=0-31
/proc/12762/task/12780/stat : 12780 (plingeling) R 12760 12762 12670 0 -1 4202560 300465 1246 0 0 192101 164 0 0 25 0 33 0 659639722 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12762/tid=12781] ppid=12760 vsize=7757444 CPUtime=1920.5 cores=0-31
/proc/12762/task/12781/stat : 12781 (plingeling) R 12760 12762 12670 0 -1 4202560 379298 1246 0 0 191931 119 0 0 25 0 33 0 659639722 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12762/tid=12782] ppid=12760 vsize=7757444 CPUtime=1913.83 cores=0-31
/proc/12762/task/12782/stat : 12782 (plingeling) R 12760 12762 12670 0 -1 4202560 348800 1246 0 0 191213 170 0 0 25 0 33 0 659639722 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12762/tid=12783] ppid=12760 vsize=7757444 CPUtime=1922.34 cores=0-31
/proc/12762/task/12783/stat : 12783 (plingeling) R 12760 12762 12670 0 -1 4202560 398205 1246 0 0 192073 161 0 0 25 0 33 0 659639723 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12762/tid=12784] ppid=12760 vsize=7757444 CPUtime=1921.25 cores=0-31
/proc/12762/task/12784/stat : 12784 (plingeling) R 12760 12762 12670 0 -1 4202560 410766 1246 0 0 191919 206 0 0 25 0 33 0 659639723 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12762/tid=12785] ppid=12760 vsize=7757444 CPUtime=1908.68 cores=0-31
/proc/12762/task/12785/stat : 12785 (plingeling) R 12760 12762 12670 0 -1 4202560 316959 1246 0 0 190756 112 0 0 25 0 33 0 659639723 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12762/tid=12786] ppid=12760 vsize=7757444 CPUtime=1922.72 cores=0-31
/proc/12762/task/12786/stat : 12786 (plingeling) R 12760 12762 12670 0 -1 4202560 351189 1246 0 0 192088 184 0 0 25 0 33 0 659639723 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12762/tid=12787] ppid=12760 vsize=7757444 CPUtime=1923.84 cores=0-31
/proc/12762/task/12787/stat : 12787 (plingeling) R 12760 12762 12670 0 -1 4202560 364974 1246 0 0 192260 124 0 0 25 0 33 0 659639723 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236693 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12762/tid=12788] ppid=12760 vsize=7757444 CPUtime=1922.59 cores=0-31
/proc/12762/task/12788/stat : 12788 (plingeling) R 12760 12762 12670 0 -1 4202560 617485 1246 0 0 191987 272 0 0 25 0 33 0 659639723 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12762/tid=12789] ppid=12760 vsize=7757444 CPUtime=1922.58 cores=0-31
/proc/12762/task/12789/stat : 12789 (plingeling) R 12760 12762 12670 0 -1 4202560 338083 1246 0 0 192109 149 0 0 25 0 33 0 659639723 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12762/tid=12790] ppid=12760 vsize=7757444 CPUtime=1921.47 cores=0-31
/proc/12762/task/12790/stat : 12790 (plingeling) R 12760 12762 12670 0 -1 4202560 375157 1246 0 0 191948 199 0 0 25 0 33 0 659639724 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4305899 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12762/tid=12791] ppid=12760 vsize=7757444 CPUtime=1916.8 cores=0-31
/proc/12762/task/12791/stat : 12791 (plingeling) R 12760 12762 12670 0 -1 4202560 316884 1246 0 0 191514 166 0 0 25 0 33 0 659639724 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12762/tid=12792] ppid=12760 vsize=7757444 CPUtime=1922.63 cores=0-31
/proc/12762/task/12792/stat : 12792 (plingeling) R 12760 12762 12670 0 -1 4202560 567145 1246 0 0 192051 212 0 0 25 0 33 0 659639724 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12762/tid=12793] ppid=12760 vsize=7757444 CPUtime=1919.04 cores=0-31
/proc/12762/task/12793/stat : 12793 (plingeling) R 12760 12762 12670 0 -1 4202560 411548 1246 0 0 191745 159 0 0 25 0 33 0 659639725 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12762/tid=12794] ppid=12760 vsize=7757444 CPUtime=1921.57 cores=0-31
/proc/12762/task/12794/stat : 12794 (plingeling) R 12760 12762 12670 0 -1 4202560 463951 1246 0 0 191967 190 0 0 25 0 33 0 659639725 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12762/tid=12795] ppid=12760 vsize=7757444 CPUtime=1922.9 cores=0-31
/proc/12762/task/12795/stat : 12795 (plingeling) R 12760 12762 12670 0 -1 4202560 388540 1246 0 0 192096 194 0 0 25 0 33 0 659639725 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12762/tid=12796] ppid=12760 vsize=7757444 CPUtime=1923 cores=0-31
/proc/12762/task/12796/stat : 12796 (plingeling) R 12760 12762 12670 0 -1 4202560 377168 1246 0 0 192091 209 0 0 25 0 33 0 659639725 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12762/tid=12797] ppid=12760 vsize=7757444 CPUtime=1921.08 cores=0-31
/proc/12762/task/12797/stat : 12797 (plingeling) R 12760 12762 12670 0 -1 4202560 324959 1246 0 0 191920 188 0 0 25 0 33 0 659639726 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12762/tid=12798] ppid=12760 vsize=7757444 CPUtime=1922.46 cores=0-31
/proc/12762/task/12798/stat : 12798 (plingeling) R 12760 12762 12670 0 -1 4202560 312619 1246 0 0 192059 187 0 0 25 0 33 0 659639726 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12762/tid=12799] ppid=12760 vsize=7757444 CPUtime=1920.36 cores=0-31
/proc/12762/task/12799/stat : 12799 (plingeling) R 12760 12762 12670 0 -1 4202560 361508 1246 0 0 191854 182 0 0 25 0 33 0 659639726 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12762/tid=12800] ppid=12760 vsize=7757444 CPUtime=1918.42 cores=0-31
/proc/12762/task/12800/stat : 12800 (plingeling) R 12760 12762 12670 0 -1 4202560 288038 1246 0 0 191676 166 0 0 25 0 33 0 659639726 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12762/tid=12801] ppid=12760 vsize=7757444 CPUtime=1919.78 cores=0-31
/proc/12762/task/12801/stat : 12801 (plingeling) R 12760 12762 12670 0 -1 4202560 374560 1246 0 0 191764 214 0 0 25 0 33 0 659639726 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12762/tid=12802] ppid=12760 vsize=7757444 CPUtime=1921.49 cores=0-31
/proc/12762/task/12802/stat : 12802 (plingeling) R 12760 12762 12670 0 -1 4202560 404226 1246 0 0 191962 187 0 0 25 0 33 0 659639726 7943622656 1802706 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 61511.8
Current children cumulated vsize (KiB) 7757444

[startup+1982.3 s]
/proc/loadavg: 32.01 32.02 30.57 33/446 12861
/proc/meminfo: memFree=248198776/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=7790476 CPUtime=61562.9 cores=0-31
/proc/12762/stat : 12762 (plingeling) S 12760 12762 12670 0 -1 4202496 12915661 1246 0 0 6150321 5972 0 0 19 0 33 0 659634394 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/12762/statm: 1947619 1810902 175 55 0 1945505 0
[pid=12762/tid=12771] ppid=12760 vsize=7790476 CPUtime=1920.81 cores=0-31
/proc/12762/task/12771/stat : 12771 (plingeling) R 12760 12762 12670 0 -1 4202560 351205 1246 0 0 191929 152 0 0 25 0 33 0 659639720 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12762/tid=12772] ppid=12760 vsize=7790476 CPUtime=1923.98 cores=0-31
/proc/12762/task/12772/stat : 12772 (plingeling) R 12760 12762 12670 0 -1 4202560 349804 1246 0 0 192229 169 0 0 25 0 33 0 659639720 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4260694 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12762/tid=12773] ppid=12760 vsize=7790476 CPUtime=1916.18 cores=0-31
/proc/12762/task/12773/stat : 12773 (plingeling) R 12760 12762 12670 0 -1 4202560 472614 1246 0 0 191371 247 0 0 25 0 33 0 659639720 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12762/tid=12774] ppid=12760 vsize=7790476 CPUtime=1926.75 cores=0-31
/proc/12762/task/12774/stat : 12774 (plingeling) R 12760 12762 12670 0 -1 4202560 186393 1246 0 0 192442 233 0 0 25 0 33 0 659639720 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12762/tid=12775] ppid=12760 vsize=7790476 CPUtime=1923.17 cores=0-31
/proc/12762/task/12775/stat : 12775 (plingeling) R 12760 12762 12670 0 -1 4202560 410363 1246 0 0 192133 184 0 0 25 0 33 0 659639721 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12762/tid=12776] ppid=12760 vsize=7790476 CPUtime=1915.9 cores=0-31
/proc/12762/task/12776/stat : 12776 (plingeling) R 12760 12762 12670 0 -1 4202560 403005 1246 0 0 191444 146 0 0 25 0 33 0 659639721 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12762/tid=12777] ppid=12760 vsize=7790476 CPUtime=1924.39 cores=0-31
/proc/12762/task/12777/stat : 12777 (plingeling) R 12760 12762 12670 0 -1 4202560 334118 1246 0 0 192247 192 0 0 25 0 33 0 659639721 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4301776 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12762/tid=12778] ppid=12760 vsize=7790476 CPUtime=1925.61 cores=0-31
/proc/12762/task/12778/stat : 12778 (plingeling) R 12760 12762 12670 0 -1 4202560 418131 1246 0 0 192385 176 0 0 25 0 33 0 659639721 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12762/tid=12779] ppid=12760 vsize=7790476 CPUtime=1923.84 cores=0-31
/proc/12762/task/12779/stat : 12779 (plingeling) R 12760 12762 12670 0 -1 4202560 374220 1246 0 0 192209 175 0 0 25 0 33 0 659639721 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12762/tid=12780] ppid=12760 vsize=7790476 CPUtime=1924.25 cores=0-31
/proc/12762/task/12780/stat : 12780 (plingeling) R 12760 12762 12670 0 -1 4202560 300465 1246 0 0 192261 164 0 0 25 0 33 0 659639722 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237600 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12762/tid=12781] ppid=12760 vsize=7790476 CPUtime=1922.1 cores=0-31
/proc/12762/task/12781/stat : 12781 (plingeling) R 12760 12762 12670 0 -1 4202560 379298 1246 0 0 192091 119 0 0 25 0 33 0 659639722 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364389 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12762/tid=12782] ppid=12760 vsize=7790476 CPUtime=1915.43 cores=0-31
/proc/12762/task/12782/stat : 12782 (plingeling) R 12760 12762 12670 0 -1 4202560 348800 1246 0 0 191373 170 0 0 25 0 33 0 659639722 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4365198 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12762/tid=12783] ppid=12760 vsize=7790476 CPUtime=1923.94 cores=0-31
/proc/12762/task/12783/stat : 12783 (plingeling) R 12760 12762 12670 0 -1 4202560 398205 1246 0 0 192233 161 0 0 25 0 33 0 659639723 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4365181 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12762/tid=12784] ppid=12760 vsize=7790476 CPUtime=1922.84 cores=0-31
/proc/12762/task/12784/stat : 12784 (plingeling) R 12760 12762 12670 0 -1 4202560 410766 1246 0 0 192078 206 0 0 25 0 33 0 659639723 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12762/tid=12785] ppid=12760 vsize=7790476 CPUtime=1910.28 cores=0-31
/proc/12762/task/12785/stat : 12785 (plingeling) R 12760 12762 12670 0 -1 4202560 316959 1246 0 0 190916 112 0 0 25 0 33 0 659639723 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12762/tid=12786] ppid=12760 vsize=7790476 CPUtime=1924.32 cores=0-31
/proc/12762/task/12786/stat : 12786 (plingeling) R 12760 12762 12670 0 -1 4202560 351189 1246 0 0 192248 184 0 0 25 0 33 0 659639723 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4260023 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12762/tid=12787] ppid=12760 vsize=7790476 CPUtime=1925.38 cores=0-31
/proc/12762/task/12787/stat : 12787 (plingeling) R 12760 12762 12670 0 -1 4202560 364974 1246 0 0 192414 124 0 0 25 0 33 0 659639723 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12762/tid=12788] ppid=12760 vsize=7790476 CPUtime=1924.19 cores=0-31
/proc/12762/task/12788/stat : 12788 (plingeling) R 12760 12762 12670 0 -1 4202560 617485 1246 0 0 192147 272 0 0 25 0 33 0 659639723 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12762/tid=12789] ppid=12760 vsize=7790476 CPUtime=1924.18 cores=0-31
/proc/12762/task/12789/stat : 12789 (plingeling) R 12760 12762 12670 0 -1 4202560 338083 1246 0 0 192269 149 0 0 25 0 33 0 659639723 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12762/tid=12790] ppid=12760 vsize=7790476 CPUtime=1923.06 cores=0-31
/proc/12762/task/12790/stat : 12790 (plingeling) R 12760 12762 12670 0 -1 4202560 375157 1246 0 0 192107 199 0 0 25 0 33 0 659639724 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4346298 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12762/tid=12791] ppid=12760 vsize=7790476 CPUtime=1918.4 cores=0-31
/proc/12762/task/12791/stat : 12791 (plingeling) R 12760 12762 12670 0 -1 4202560 316884 1246 0 0 191674 166 0 0 25 0 33 0 659639724 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12762/tid=12792] ppid=12760 vsize=7790476 CPUtime=1924.23 cores=0-31
/proc/12762/task/12792/stat : 12792 (plingeling) R 12760 12762 12670 0 -1 4202560 567145 1246 0 0 192211 212 0 0 25 0 33 0 659639724 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12762/tid=12793] ppid=12760 vsize=7790476 CPUtime=1920.64 cores=0-31
/proc/12762/task/12793/stat : 12793 (plingeling) R 12760 12762 12670 0 -1 4202560 411548 1246 0 0 191905 159 0 0 25 0 33 0 659639725 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12762/tid=12794] ppid=12760 vsize=7790476 CPUtime=1923.17 cores=0-31
/proc/12762/task/12794/stat : 12794 (plingeling) R 12760 12762 12670 0 -1 4202560 463951 1246 0 0 192127 190 0 0 25 0 33 0 659639725 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12762/tid=12795] ppid=12760 vsize=7790476 CPUtime=1924.5 cores=0-31
/proc/12762/task/12795/stat : 12795 (plingeling) R 12760 12762 12670 0 -1 4202560 388540 1246 0 0 192256 194 0 0 25 0 33 0 659639725 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12762/tid=12796] ppid=12760 vsize=7790476 CPUtime=1924.6 cores=0-31
/proc/12762/task/12796/stat : 12796 (plingeling) R 12760 12762 12670 0 -1 4202560 377168 1246 0 0 192251 209 0 0 25 0 33 0 659639725 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4357269 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12762/tid=12797] ppid=12760 vsize=7790476 CPUtime=1922.68 cores=0-31
/proc/12762/task/12797/stat : 12797 (plingeling) R 12760 12762 12670 0 -1 4202560 324959 1246 0 0 192080 188 0 0 25 0 33 0 659639726 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12762/tid=12798] ppid=12760 vsize=7790476 CPUtime=1924.06 cores=0-31
/proc/12762/task/12798/stat : 12798 (plingeling) R 12760 12762 12670 0 -1 4202560 312619 1246 0 0 192219 187 0 0 25 0 33 0 659639726 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12762/tid=12799] ppid=12760 vsize=7790476 CPUtime=1921.96 cores=0-31
/proc/12762/task/12799/stat : 12799 (plingeling) R 12760 12762 12670 0 -1 4202560 361508 1246 0 0 192014 182 0 0 25 0 33 0 659639726 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4357248 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12762/tid=12800] ppid=12760 vsize=7790476 CPUtime=1920.02 cores=0-31
/proc/12762/task/12800/stat : 12800 (plingeling) R 12760 12762 12670 0 -1 4202560 288038 1246 0 0 191836 166 0 0 25 0 33 0 659639726 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12762/tid=12801] ppid=12760 vsize=7790476 CPUtime=1921.39 cores=0-31
/proc/12762/task/12801/stat : 12801 (plingeling) R 12760 12762 12670 0 -1 4202560 390949 1246 0 0 191921 218 0 0 25 0 33 0 659639726 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4261619 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12762/tid=12802] ppid=12760 vsize=7790476 CPUtime=1923.09 cores=0-31
/proc/12762/task/12802/stat : 12802 (plingeling) R 12760 12762 12670 0 -1 4202560 404226 1246 0 0 192122 187 0 0 25 0 33 0 659639726 7977447424 1810902 268435456000 4194304 4417452 140735402499248 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 61562.9
Current children cumulated vsize (KiB) 7790476

[startup+1983.9 s]
/proc/loadavg: 32.01 32.02 30.57 10/423 12861
/proc/meminfo: memFree=248224008/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=7345556 CPUtime=61592.6 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 12944337 1246 0 0 6153275 5981 0 0 15 0 1 0 659634394 7521849344 1773255 268435456000 4194304 4417452 140735402499248 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 27 0 0 0
/proc/12762/statm: 1836389 1773255 176 55 0 1834275 0
Current children cumulated CPU time (s) 61592.6
Current children cumulated vsize (KiB) 7345556

[startup+1984.3 s]
/proc/loadavg: 32.01 32.02 30.57 2/414 12861
/proc/meminfo: memFree=252062124/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=3526792 CPUtime=61593 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202496 12944337 1246 0 0 6153275 6024 0 0 16 0 1 0 659634394 3611435008 783062 268435456000 4194304 4417452 140735402499248 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 27 0 0 0
/proc/12762/statm: 881698 782550 176 55 0 879584 0
Current children cumulated CPU time (s) 61593
Current children cumulated vsize (KiB) 3526792

[startup+1984.7 s]
/proc/loadavg: 32.01 32.02 30.57 2/414 12861
/proc/meminfo: memFree=252062124/264257624 swapFree=67111528/67111528
[pid=12762] ppid=12760 vsize=0 CPUtime=61593.4 cores=0-31
/proc/12762/stat : 12762 (plingeling) R 12760 12762 12670 0 -1 4202500 12944341 1246 0 0 6153275 6061 0 0 16 0 1 0 659634394 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/12762/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 61593.4
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1984.7
CPU time (s): 61593.4
CPU user time (s): 61532.8
CPU system time (s): 60.6208
CPU usage (%): 3103.4
Max. virtual memory (cumulated for all children) (KiB): 7855912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61532.8
system time used= 60.6208
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12945587
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= 9840
involuntary context switches= 155216

runsolver used 10.9673 second user time and 45.5491 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-15 19:44:40
IDJOB=3372192
IDBENCH=69571
IDSOLVER=1852
FILE ID=node200/3372192-1305481477
RUNJOBID= node200-1305481444-12684
PBS_JOBID= 13285520
Free space on /tmp= 61984 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372192-1305481477/watcher-3372192-1305481477 -o /tmp/evaluation-result-3372192-1305481477/solver-3372192-1305481477 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372192-1305481477.cnf

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=1799800372

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:      255488620 kB
Buffers:        441564 kB
Cached:        7902740 kB
SwapCached:          0 kB
Active:        7451508 kB
Inactive:       961848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255488620 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           68680 kB
Writeback:           0 kB
AnonPages:       68788 kB
Mapped:          14480 kB
Slab:           252636 kB
PageTables:       4324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   193656 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= 61984 MiB
End job on node200 at 2011-05-15 20:17:45