Trace number 3372624

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 76.5074 6.25602

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
MD5SUM7dac843deb28c1c66e8118997464d4b0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.81351
Satisfiable
(Un)Satisfiability was proved
Number of variables70297
Number of clauses194006
Sum of the clauses size452678
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2129336
Number of clauses of size 364668
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

76.43/6.25	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-3372624-1305692886/watcher-3372624-1305692886 -o /tmp/evaluation-result-3372624-1305692886/solver-3372624-1305692886 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372624-1305692886.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: 12.93 24.51 27.63 1/413 31150
/proc/meminfo: memFree=255508108/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=16024 CPUtime=0.02 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 2096 1239 0 0 2 0 0 0 20 0 1 0 680775207 16408576 2027 268435456000 4194304 4417452 140735227514144 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 4006 2027 145 55 0 1892 0

[startup+0.123714 s]
/proc/loadavg: 12.93 24.51 27.63 1/413 31150
/proc/meminfo: memFree=255508108/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=22068 CPUtime=0.11 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 3589 1239 0 0 10 1 0 0 20 0 1 0 680775207 22597632 3520 268435456000 4194304 4417452 140735227514144 18446744073709551615 4259082 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 5517 3520 145 55 0 3403 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22068

[startup+0.200681 s]
/proc/loadavg: 12.93 24.51 27.63 1/413 31150
/proc/meminfo: memFree=255508108/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=34120 CPUtime=0.18 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 6593 1239 0 0 17 1 0 0 21 0 1 0 680775207 34938880 6524 268435456000 4194304 4417452 140735227514144 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 8530 6524 146 55 0 6416 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 34120

[startup+0.300706 s]
/proc/loadavg: 12.93 24.51 27.63 1/413 31150
/proc/meminfo: memFree=255508108/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=41264 CPUtime=0.29 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 8407 1239 0 0 27 2 0 0 21 0 1 0 680775207 42254336 8338 268435456000 4194304 4417452 140735227514144 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 10316 8338 146 55 0 8202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41264

[startup+0.700711 s]
/proc/loadavg: 12.93 24.51 27.63 1/413 31150
/proc/meminfo: memFree=255508108/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=64244 CPUtime=0.69 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 14152 1239 0 0 65 4 0 0 22 0 1 0 680775207 65785856 14083 268435456000 4194304 4417452 140735227514144 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 16061 14083 146 55 0 13947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64244

[startup+1.50073 s]
/proc/loadavg: 12.93 24.51 27.63 2/414 31156
/proc/meminfo: memFree=255396856/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=152320 CPUtime=1.49 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 36172 1239 0 0 141 8 0 0 25 0 1 0 680775207 155975680 36102 268435456000 4194304 4417452 140735227514144 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 38080 36102 146 55 0 35966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152320

[startup+3.1008 s]
/proc/loadavg: 12.93 24.51 27.63 2/414 31156
/proc/meminfo: memFree=255289276/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=291900 CPUtime=3.09 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 71102 1239 0 0 294 15 0 0 25 0 1 0 680775207 298905600 70997 268435456000 4194304 4417452 140735227514144 18446744073709551615 4264888 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 72975 70997 146 55 0 70861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 291900

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

[startup+3.20078 s]
/proc/loadavg: 12.93 24.51 27.63 2/414 31156
/proc/meminfo: memFree=255289276/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=291900 CPUtime=3.19 cores=0-31
/proc/31150/stat : 31150 (plingeling) R 31148 31150 31124 0 -1 4202496 71102 1239 0 0 304 15 0 0 25 0 1 0 680775207 298905600 70997 268435456000 4194304 4417452 140735227514144 18446744073709551615 4322441 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/31150/statm: 72975 70997 146 55 0 70861 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 291900

[startup+4.80268 s]
/proc/loadavg: 12.93 24.51 27.63 33/446 31188
/proc/meminfo: memFree=255000628/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=1132144 CPUtime=34.31 cores=0-31
/proc/31150/stat : 31150 (plingeling) S 31148 31150 31124 0 -1 4202496 219328 1239 0 0 3278 153 0 0 20 0 33 0 680775207 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/31150/statm: 283036 130436 168 55 0 280922 0
[pid=31150/tid=31157] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31157/stat : 31157 (plingeling) R 31148 31150 31124 0 -1 4202560 3187 1239 0 0 91 4 0 0 19 0 33 0 680775586 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4306659 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31150/tid=31158] ppid=31148 vsize=1132144 CPUtime=0.98 cores=0-31
/proc/31150/task/31158/stat : 31158 (plingeling) R 31148 31150 31124 0 -1 4202560 2452 1239 0 0 95 3 0 0 19 0 33 0 680775586 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4292084 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=1132144 CPUtime=0.98 cores=0-31
/proc/31150/task/31159/stat : 31159 (plingeling) R 31148 31150 31124 0 -1 4202560 2880 1239 0 0 95 3 0 0 21 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31150/tid=31160] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31160/stat : 31160 (plingeling) R 31148 31150 31124 0 -1 4202560 1513 1239 0 0 93 2 0 0 21 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31150/tid=31161] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31161/stat : 31161 (plingeling) R 31148 31150 31124 0 -1 4202560 3713 1239 0 0 92 3 0 0 19 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287239 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31150/tid=31162] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31162/stat : 31162 (plingeling) R 31148 31150 31124 0 -1 4202560 6391 1239 0 0 91 4 0 0 21 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31150/tid=31163] ppid=31148 vsize=1132144 CPUtime=0.96 cores=0-31
/proc/31150/task/31163/stat : 31163 (plingeling) R 31148 31150 31124 0 -1 4202560 2938 1239 0 0 93 3 0 0 18 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31150/tid=31164] ppid=31148 vsize=1132144 CPUtime=0.93 cores=0-31
/proc/31150/task/31164/stat : 31164 (plingeling) R 31148 31150 31124 0 -1 4202560 3282 1239 0 0 92 1 0 0 19 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290691 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31150/tid=31165] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31165/stat : 31165 (plingeling) R 31148 31150 31124 0 -1 4202560 4302 1239 0 0 90 5 0 0 18 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4291374 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31150/tid=31166] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31166/stat : 31166 (plingeling) R 31148 31150 31124 0 -1 4202560 3704 1239 0 0 92 3 0 0 19 0 33 0 680775587 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4281683 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31150/tid=31167] ppid=31148 vsize=1132144 CPUtime=0.97 cores=0-31
/proc/31150/task/31167/stat : 31167 (plingeling) R 31148 31150 31124 0 -1 4202560 1854 1239 0 0 93 4 0 0 19 0 33 0 680775588 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4306569 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31150/tid=31168] ppid=31148 vsize=1132144 CPUtime=0.97 cores=0-31
/proc/31150/task/31168/stat : 31168 (plingeling) R 31148 31150 31124 0 -1 4202560 3135 1239 0 0 92 5 0 0 19 0 33 0 680775588 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290456 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31150/tid=31169] ppid=31148 vsize=1132144 CPUtime=0.97 cores=0-31
/proc/31150/task/31169/stat : 31169 (plingeling) R 31148 31150 31124 0 -1 4202560 2964 1239 0 0 94 3 0 0 19 0 33 0 680775588 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4306569 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31150/tid=31170] ppid=31148 vsize=1132144 CPUtime=0.96 cores=0-31
/proc/31150/task/31170/stat : 31170 (plingeling) R 31148 31150 31124 0 -1 4202560 2874 1239 0 0 92 4 0 0 19 0 33 0 680775588 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4292014 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31150/tid=31171] ppid=31148 vsize=1132144 CPUtime=0.96 cores=0-31
/proc/31150/task/31171/stat : 31171 (plingeling) R 31148 31150 31124 0 -1 4202560 3216 1239 0 0 91 5 0 0 19 0 33 0 680775588 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4302015 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31150/tid=31172] ppid=31148 vsize=1132144 CPUtime=0.96 cores=0-31
/proc/31150/task/31172/stat : 31172 (plingeling) R 31148 31150 31124 0 -1 4202560 3343 1239 0 0 90 6 0 0 18 0 33 0 680775588 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4292295 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31150/tid=31173] ppid=31148 vsize=1132144 CPUtime=0.94 cores=0-31
/proc/31150/task/31173/stat : 31173 (plingeling) R 31148 31150 31124 0 -1 4202560 3154 1239 0 0 91 3 0 0 18 0 33 0 680775588 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31150/tid=31174] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31174/stat : 31174 (plingeling) R 31148 31150 31124 0 -1 4202560 3645 1239 0 0 91 4 0 0 19 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290914 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31150/tid=31175] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31175/stat : 31175 (plingeling) R 31148 31150 31124 0 -1 4202560 1873 1239 0 0 91 4 0 0 19 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4291966 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31150/tid=31176] ppid=31148 vsize=1132144 CPUtime=0.96 cores=0-31
/proc/31150/task/31176/stat : 31176 (plingeling) R 31148 31150 31124 0 -1 4202560 4461 1239 0 0 91 5 0 0 19 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31150/tid=31177] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31177/stat : 31177 (plingeling) R 31148 31150 31124 0 -1 4202560 4823 1239 0 0 92 3 0 0 19 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287250 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31150/tid=31178] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31178/stat : 31178 (plingeling) R 31148 31150 31124 0 -1 4202560 2917 1239 0 0 91 4 0 0 25 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4302683 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31150/tid=31179] ppid=31148 vsize=1132144 CPUtime=0.95 cores=0-31
/proc/31150/task/31179/stat : 31179 (plingeling) R 31148 31150 31124 0 -1 4202560 4094 1239 0 0 90 5 0 0 19 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4232736 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31150/tid=31180] ppid=31148 vsize=1132144 CPUtime=0.94 cores=0-31
/proc/31150/task/31180/stat : 31180 (plingeling) R 31148 31150 31124 0 -1 4202560 4733 1239 0 0 89 5 0 0 19 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31150/tid=31181] ppid=31148 vsize=1132144 CPUtime=0.87 cores=0-31
/proc/31150/task/31181/stat : 31181 (plingeling) R 31148 31150 31124 0 -1 4202560 4412 1239 0 0 85 2 0 0 18 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290362 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31150/tid=31182] ppid=31148 vsize=1132144 CPUtime=0.85 cores=0-31
/proc/31150/task/31182/stat : 31182 (plingeling) R 31148 31150 31124 0 -1 4202560 2397 1239 0 0 84 1 0 0 24 0 33 0 680775589 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31150/tid=31183] ppid=31148 vsize=1132144 CPUtime=0.93 cores=0-31
/proc/31150/task/31183/stat : 31183 (plingeling) R 31148 31150 31124 0 -1 4202560 5070 1239 0 0 89 4 0 0 19 0 33 0 680775590 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31150/tid=31184] ppid=31148 vsize=1132144 CPUtime=0.94 cores=0-31
/proc/31150/task/31184/stat : 31184 (plingeling) R 31148 31150 31124 0 -1 4202560 3886 1239 0 0 89 5 0 0 19 0 33 0 680775590 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4285604 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31150/tid=31185] ppid=31148 vsize=1132144 CPUtime=0.94 cores=0-31
/proc/31150/task/31185/stat : 31185 (plingeling) R 31148 31150 31124 0 -1 4202560 2821 1239 0 0 91 3 0 0 19 0 33 0 680775591 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290453 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31150/tid=31186] ppid=31148 vsize=1132144 CPUtime=0.91 cores=0-31
/proc/31150/task/31186/stat : 31186 (plingeling) R 31148 31150 31124 0 -1 4202560 2318 1239 0 0 88 3 0 0 25 0 33 0 680775591 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284202 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31150/tid=31187] ppid=31148 vsize=1132144 CPUtime=0.93 cores=0-31
/proc/31150/task/31187/stat : 31187 (plingeling) R 31148 31150 31124 0 -1 4202560 3823 1239 0 0 91 2 0 0 19 0 33 0 680775591 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4306846 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31150/tid=31188] ppid=31148 vsize=1132144 CPUtime=0.94 cores=0-31
/proc/31150/task/31188/stat : 31188 (plingeling) R 31148 31150 31124 0 -1 4202560 4426 1239 0 0 91 3 0 0 18 0 33 0 680775591 1159315456 130436 268435456000 4194304 4417452 140735227514144 18446744073709551615 4302020 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 34.31
Current children cumulated vsize (KiB) 1132144

[startup+5.62172 s]
/proc/loadavg: 14.46 24.64 27.65 33/446 31188
/proc/meminfo: memFree=254987744/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=1132976 CPUtime=60.47 cores=0-31
/proc/31150/stat : 31150 (plingeling) S 31148 31150 31124 0 -1 4202496 233882 1239 0 0 5889 158 0 0 20 0 33 0 680775207 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/31150/statm: 283244 125364 169 55 0 281130 0
[pid=31150/tid=31157] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31157/stat : 31157 (plingeling) R 31148 31150 31124 0 -1 4202560 3187 1239 0 0 173 4 0 0 20 0 33 0 680775586 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31150/tid=31158] ppid=31148 vsize=1132976 CPUtime=1.79 cores=0-31
/proc/31150/task/31158/stat : 31158 (plingeling) R 31148 31150 31124 0 -1 4202560 2452 1239 0 0 176 3 0 0 20 0 33 0 680775586 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=1132976 CPUtime=1.8 cores=0-31
/proc/31150/task/31159/stat : 31159 (plingeling) R 31148 31150 31124 0 -1 4202560 2880 1239 0 0 177 3 0 0 24 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290650 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31150/tid=31160] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31160/stat : 31160 (plingeling) R 31148 31150 31124 0 -1 4202560 1514 1239 0 0 175 2 0 0 23 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31150/tid=31161] ppid=31148 vsize=1132976 CPUtime=1.76 cores=0-31
/proc/31150/task/31161/stat : 31161 (plingeling) R 31148 31150 31124 0 -1 4202560 5278 1239 0 0 173 3 0 0 20 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290490 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31150/tid=31162] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31162/stat : 31162 (plingeling) R 31148 31150 31124 0 -1 4202560 7914 1239 0 0 173 4 0 0 23 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290744 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31150/tid=31163] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31163/stat : 31163 (plingeling) R 31148 31150 31124 0 -1 4202560 2938 1239 0 0 174 3 0 0 20 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31150/tid=31164] ppid=31148 vsize=1132976 CPUtime=1.72 cores=0-31
/proc/31150/task/31164/stat : 31164 (plingeling) R 31148 31150 31124 0 -1 4202560 4140 1239 0 0 170 2 0 0 20 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290744 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31150/tid=31165] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31165/stat : 31165 (plingeling) R 31148 31150 31124 0 -1 4202560 5489 1239 0 0 172 5 0 0 20 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31150/tid=31166] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31166/stat : 31166 (plingeling) R 31148 31150 31124 0 -1 4202560 3704 1239 0 0 174 3 0 0 20 0 33 0 680775587 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31150/tid=31167] ppid=31148 vsize=1132976 CPUtime=1.78 cores=0-31
/proc/31150/task/31167/stat : 31167 (plingeling) R 31148 31150 31124 0 -1 4202560 1854 1239 0 0 174 4 0 0 20 0 33 0 680775588 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4281649 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31150/tid=31168] ppid=31148 vsize=1132976 CPUtime=1.79 cores=0-31
/proc/31150/task/31168/stat : 31168 (plingeling) R 31148 31150 31124 0 -1 4202560 3135 1239 0 0 174 5 0 0 20 0 33 0 680775588 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31150/tid=31169] ppid=31148 vsize=1132976 CPUtime=1.78 cores=0-31
/proc/31150/task/31169/stat : 31169 (plingeling) R 31148 31150 31124 0 -1 4202560 3784 1239 0 0 175 3 0 0 20 0 33 0 680775588 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31150/tid=31170] ppid=31148 vsize=1132976 CPUtime=1.78 cores=0-31
/proc/31150/task/31170/stat : 31170 (plingeling) R 31148 31150 31124 0 -1 4202560 2874 1239 0 0 174 4 0 0 20 0 33 0 680775588 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31150/tid=31171] ppid=31148 vsize=1132976 CPUtime=1.78 cores=0-31
/proc/31150/task/31171/stat : 31171 (plingeling) R 31148 31150 31124 0 -1 4202560 3216 1239 0 0 173 5 0 0 20 0 33 0 680775588 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4302036 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31150/tid=31172] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31172/stat : 31172 (plingeling) R 31148 31150 31124 0 -1 4202560 3343 1239 0 0 171 6 0 0 20 0 33 0 680775588 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287115 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31150/tid=31173] ppid=31148 vsize=1132976 CPUtime=1.75 cores=0-31
/proc/31150/task/31173/stat : 31173 (plingeling) R 31148 31150 31124 0 -1 4202560 3154 1239 0 0 172 3 0 0 20 0 33 0 680775588 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31150/tid=31174] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31174/stat : 31174 (plingeling) R 31148 31150 31124 0 -1 4202560 3645 1239 0 0 173 4 0 0 20 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4291095 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31150/tid=31175] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31175/stat : 31175 (plingeling) R 31148 31150 31124 0 -1 4202560 3932 1239 0 0 172 5 0 0 20 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290599 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31150/tid=31176] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31176/stat : 31176 (plingeling) R 31148 31150 31124 0 -1 4202560 5280 1239 0 0 172 5 0 0 20 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31150/tid=31177] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31177/stat : 31177 (plingeling) R 31148 31150 31124 0 -1 4202560 5944 1239 0 0 174 3 0 0 20 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4306687 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31150/tid=31178] ppid=31148 vsize=1132976 CPUtime=1.76 cores=0-31
/proc/31150/task/31178/stat : 31178 (plingeling) R 31148 31150 31124 0 -1 4202560 3726 1239 0 0 172 4 0 0 25 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290678 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31150/tid=31179] ppid=31148 vsize=1132976 CPUtime=1.77 cores=0-31
/proc/31150/task/31179/stat : 31179 (plingeling) R 31148 31150 31124 0 -1 4202560 4094 1239 0 0 172 5 0 0 20 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4302023 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31150/tid=31180] ppid=31148 vsize=1132976 CPUtime=1.76 cores=0-31
/proc/31150/task/31180/stat : 31180 (plingeling) R 31148 31150 31124 0 -1 4202560 4733 1239 0 0 171 5 0 0 20 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287398 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31150/tid=31181] ppid=31148 vsize=1132976 CPUtime=1.69 cores=0-31
/proc/31150/task/31181/stat : 31181 (plingeling) R 31148 31150 31124 0 -1 4202560 5271 1239 0 0 167 2 0 0 20 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4291494 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31150/tid=31182] ppid=31148 vsize=1132976 CPUtime=1.67 cores=0-31
/proc/31150/task/31182/stat : 31182 (plingeling) R 31148 31150 31124 0 -1 4202560 2397 1239 0 0 166 1 0 0 25 0 33 0 680775589 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31150/tid=31183] ppid=31148 vsize=1132976 CPUtime=1.75 cores=0-31
/proc/31150/task/31183/stat : 31183 (plingeling) R 31148 31150 31124 0 -1 4202560 7184 1239 0 0 170 5 0 0 20 0 33 0 680775590 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4291424 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31150/tid=31184] ppid=31148 vsize=1132976 CPUtime=1.76 cores=0-31
/proc/31150/task/31184/stat : 31184 (plingeling) R 31148 31150 31124 0 -1 4202560 3886 1239 0 0 171 5 0 0 20 0 33 0 680775590 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31150/tid=31185] ppid=31148 vsize=1132976 CPUtime=1.76 cores=0-31
/proc/31150/task/31185/stat : 31185 (plingeling) R 31148 31150 31124 0 -1 4202560 2821 1239 0 0 173 3 0 0 20 0 33 0 680775591 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284764 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31150/tid=31186] ppid=31148 vsize=1132976 CPUtime=1.72 cores=0-31
/proc/31150/task/31186/stat : 31186 (plingeling) R 31148 31150 31124 0 -1 4202560 3137 1239 0 0 169 3 0 0 25 0 33 0 680775591 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31150/tid=31187] ppid=31148 vsize=1132976 CPUtime=1.74 cores=0-31
/proc/31150/task/31187/stat : 31187 (plingeling) R 31148 31150 31124 0 -1 4202560 3823 1239 0 0 172 2 0 0 20 0 33 0 680775591 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4291303 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31150/tid=31188] ppid=31148 vsize=1132976 CPUtime=1.76 cores=0-31
/proc/31150/task/31188/stat : 31188 (plingeling) R 31148 31150 31124 0 -1 4202560 4426 1239 0 0 173 3 0 0 20 0 33 0 680775591 1160167424 125364 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 60.47
Current children cumulated vsize (KiB) 1132976

[startup+6.00172 s]
/proc/loadavg: 14.46 24.64 27.65 33/446 31188
/proc/meminfo: memFree=254987744/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=1132428 CPUtime=72.6 cores=0-31
/proc/31150/stat : 31150 (plingeling) S 31148 31150 31124 0 -1 4202496 242039 1239 0 0 7098 162 0 0 20 0 33 0 680775207 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/31150/statm: 283107 125250 170 55 0 280993 0
[pid=31150/tid=31157] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31157/stat : 31157 (plingeling) R 31148 31150 31124 0 -1 4202560 3187 1239 0 0 211 4 0 0 21 0 33 0 680775586 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31150/tid=31158] ppid=31148 vsize=1132428 CPUtime=2.17 cores=0-31
/proc/31150/task/31158/stat : 31158 (plingeling) R 31148 31150 31124 0 -1 4202560 2452 1239 0 0 214 3 0 0 21 0 33 0 680775586 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31150/tid=31159] ppid=31148 vsize=1132428 CPUtime=2.17 cores=0-31
/proc/31150/task/31159/stat : 31159 (plingeling) S 31148 31150 31124 0 -1 4202560 2880 1239 0 0 214 3 0 0 25 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 258651060958 0 0 4096 17442 18446604632299290080 0 0 -1 1 0 0 0
[pid=31150/tid=31160] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31160/stat : 31160 (plingeling) R 31148 31150 31124 0 -1 4202560 1514 1239 0 0 213 2 0 0 25 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31150/tid=31161] ppid=31148 vsize=1132428 CPUtime=2.14 cores=0-31
/proc/31150/task/31161/stat : 31161 (plingeling) R 31148 31150 31124 0 -1 4202560 5278 1239 0 0 211 3 0 0 21 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31150/tid=31162] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31162/stat : 31162 (plingeling) R 31148 31150 31124 0 -1 4202560 7915 1239 0 0 210 5 0 0 25 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31150/tid=31163] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31163/stat : 31163 (plingeling) R 31148 31150 31124 0 -1 4202560 2938 1239 0 0 212 3 0 0 21 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31150/tid=31164] ppid=31148 vsize=1132428 CPUtime=2.1 cores=0-31
/proc/31150/task/31164/stat : 31164 (plingeling) R 31148 31150 31124 0 -1 4202560 4140 1239 0 0 208 2 0 0 21 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4306836 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31150/tid=31165] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31165/stat : 31165 (plingeling) R 31148 31150 31124 0 -1 4202560 5489 1239 0 0 210 5 0 0 21 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31150/tid=31166] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31166/stat : 31166 (plingeling) R 31148 31150 31124 0 -1 4202560 3704 1239 0 0 212 3 0 0 21 0 33 0 680775587 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4275652 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31150/tid=31167] ppid=31148 vsize=1132428 CPUtime=2.16 cores=0-31
/proc/31150/task/31167/stat : 31167 (plingeling) R 31148 31150 31124 0 -1 4202560 1854 1239 0 0 212 4 0 0 21 0 33 0 680775588 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31150/tid=31168] ppid=31148 vsize=1132428 CPUtime=2.17 cores=0-31
/proc/31150/task/31168/stat : 31168 (plingeling) R 31148 31150 31124 0 -1 4202560 3135 1239 0 0 212 5 0 0 21 0 33 0 680775588 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4286255 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31150/tid=31169] ppid=31148 vsize=1132428 CPUtime=2.16 cores=0-31
/proc/31150/task/31169/stat : 31169 (plingeling) R 31148 31150 31124 0 -1 4202560 3784 1239 0 0 213 3 0 0 21 0 33 0 680775588 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290691 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31150/tid=31170] ppid=31148 vsize=1132428 CPUtime=2.16 cores=0-31
/proc/31150/task/31170/stat : 31170 (plingeling) R 31148 31150 31124 0 -1 4202560 2874 1239 0 0 212 4 0 0 21 0 33 0 680775588 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31150/tid=31171] ppid=31148 vsize=1132428 CPUtime=2.16 cores=0-31
/proc/31150/task/31171/stat : 31171 (plingeling) R 31148 31150 31124 0 -1 4202560 3216 1239 0 0 211 5 0 0 21 0 33 0 680775588 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4234211 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31150/tid=31172] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31172/stat : 31172 (plingeling) R 31148 31150 31124 0 -1 4202560 3343 1239 0 0 209 6 0 0 21 0 33 0 680775588 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284374 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31150/tid=31173] ppid=31148 vsize=1132428 CPUtime=2.13 cores=0-31
/proc/31150/task/31173/stat : 31173 (plingeling) R 31148 31150 31124 0 -1 4202560 3154 1239 0 0 210 3 0 0 21 0 33 0 680775588 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284746 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31150/tid=31174] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31174/stat : 31174 (plingeling) R 31148 31150 31124 0 -1 4202560 3645 1239 0 0 211 4 0 0 21 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4294284 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31150/tid=31175] ppid=31148 vsize=1132428 CPUtime=2.14 cores=0-31
/proc/31150/task/31175/stat : 31175 (plingeling) D 31148 31150 31124 0 -1 4202560 4997 1239 0 0 209 5 0 0 21 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 258650999383 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31150/tid=31176] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31176/stat : 31176 (plingeling) R 31148 31150 31124 0 -1 4202560 5280 1239 0 0 210 5 0 0 21 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284273 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31150/tid=31177] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31177/stat : 31177 (plingeling) R 31148 31150 31124 0 -1 4202560 5944 1239 0 0 212 3 0 0 21 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4236835 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31150/tid=31178] ppid=31148 vsize=1132428 CPUtime=2.14 cores=0-31
/proc/31150/task/31178/stat : 31178 (plingeling) S 31148 31150 31124 0 -1 4202560 5901 1239 0 0 209 5 0 0 25 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 258651060958 0 0 4096 17442 18446744071566924664 0 0 -1 19 0 0 0
[pid=31150/tid=31179] ppid=31148 vsize=1132428 CPUtime=2.15 cores=0-31
/proc/31150/task/31179/stat : 31179 (plingeling) R 31148 31150 31124 0 -1 4202560 4094 1239 0 0 210 5 0 0 21 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4234178 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31150/tid=31180] ppid=31148 vsize=1132428 CPUtime=2.14 cores=0-31
/proc/31150/task/31180/stat : 31180 (plingeling) R 31148 31150 31124 0 -1 4202560 4733 1239 0 0 209 5 0 0 21 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4237202 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31150/tid=31181] ppid=31148 vsize=1132428 CPUtime=2.06 cores=0-31
/proc/31150/task/31181/stat : 31181 (plingeling) S 31148 31150 31124 0 -1 4202560 7627 1239 0 0 204 2 0 0 21 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 258651060958 0 0 4096 17442 18446604642156649952 0 0 -1 21 0 0 0
[pid=31150/tid=31182] ppid=31148 vsize=1132428 CPUtime=2.05 cores=0-31
/proc/31150/task/31182/stat : 31182 (plingeling) R 31148 31150 31124 0 -1 4202560 2397 1239 0 0 204 1 0 0 25 0 33 0 680775589 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31150/tid=31183] ppid=31148 vsize=1132428 CPUtime=2.13 cores=0-31
/proc/31150/task/31183/stat : 31183 (plingeling) R 31148 31150 31124 0 -1 4202560 7184 1239 0 0 208 5 0 0 21 0 33 0 680775590 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4277022 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31150/tid=31184] ppid=31148 vsize=1132428 CPUtime=2.14 cores=0-31
/proc/31150/task/31184/stat : 31184 (plingeling) R 31148 31150 31124 0 -1 4202560 3886 1239 0 0 209 5 0 0 21 0 33 0 680775590 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31150/tid=31185] ppid=31148 vsize=1132428 CPUtime=2.14 cores=0-31
/proc/31150/task/31185/stat : 31185 (plingeling) R 31148 31150 31124 0 -1 4202560 2821 1239 0 0 211 3 0 0 21 0 33 0 680775591 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4284746 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31150/tid=31186] ppid=31148 vsize=1132428 CPUtime=2.1 cores=0-31
/proc/31150/task/31186/stat : 31186 (plingeling) R 31148 31150 31124 0 -1 4202560 3137 1239 0 0 207 3 0 0 25 0 33 0 680775591 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31150/tid=31187] ppid=31148 vsize=1132428 CPUtime=2.12 cores=0-31
/proc/31150/task/31187/stat : 31187 (plingeling) D 31148 31150 31124 0 -1 4202560 6383 1239 0 0 209 3 0 0 21 0 33 0 680775591 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31150/tid=31188] ppid=31148 vsize=1132428 CPUtime=2.14 cores=0-31
/proc/31150/task/31188/stat : 31188 (plingeling) R 31148 31150 31124 0 -1 4202560 4426 1239 0 0 211 3 0 0 21 0 33 0 680775591 1159606272 125250 268435456000 4194304 4417452 140735227514144 18446744073709551615 4290415 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 72.6
Current children cumulated vsize (KiB) 1132428

[startup+6.20189 s]
/proc/loadavg: 14.46 24.64 27.65 33/446 31188
/proc/meminfo: memFree=254987744/264257624 swapFree=67111528/67111528
[pid=31150] ppid=31148 vsize=1105572 CPUtime=76.43 cores=0-31
/proc/31150/stat : 31150 (plingeling) S 31148 31150 31124 0 -1 4202496 245543 1239 0 0 7479 164 0 0 17 0 2 0 680775207 1132105728 126150 268435456000 4194304 4417452 140735227514144 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/31150/statm: 276393 126150 172 55 0 274279 0
[pid=31150/tid=31163] ppid=31148 vsize=1105572 CPUtime=2.35 cores=0-31
/proc/31150/task/31163/stat : 31163 (plingeling) R 31148 31150 31124 0 -1 4202560 2939 1239 0 0 232 3 0 0 21 0 2 0 680775587 1132105728 126150 268435456000 4194304 4417452 140735227514144 18446744073709551615 4270998 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 76.43
Current children cumulated vsize (KiB) 1105572

Child status: 20
Real time (s): 6.25602
CPU time (s): 76.5074
CPU user time (s): 74.8006
CPU system time (s): 1.70674
CPU usage (%): 1222.94
Max. virtual memory (cumulated for all children) (KiB): 1197680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.8006
system time used= 1.70674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246786
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= 3812
involuntary context switches= 434

runsolver used 0.065989 second user time and 0.150977 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-18 06:28:08
IDJOB=3372624
IDBENCH=82491
IDSOLVER=1852
FILE ID=node200/3372624-1305692886
RUNJOBID= node200-1305692877-31138
PBS_JOBID= 13357384
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372624-1305692886/watcher-3372624-1305692886 -o /tmp/evaluation-result-3372624-1305692886/solver-3372624-1305692886 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372624-1305692886.cnf

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

MD5SUM BENCH= 7dac843deb28c1c66e8118997464d4b0
RANDOM SEED=1814620465

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:      255508512 kB
Buffers:        452224 kB
Cached:        7891276 kB
SwapCached:          0 kB
Active:        7403904 kB
Inactive:      1008124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255508512 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3652 kB
Writeback:           0 kB
AnonPages:       68692 kB
Mapped:          14408 kB
Slab:           251748 kB
PageTables:       4324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62048 MiB
End job on node200 at 2011-05-18 06:28:14