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-3372846-1306093014/watcher-3372846-1306093014 -o /tmp/evaluation-result-3372846-1306093014/solver-3372846-1306093014 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372846-1306093014.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.57 31.13 31.36 1/413 27324
/proc/meminfo: memFree=255401448/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=53316 CPUtime=0.03 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 9696 1239 0 0 1 2 0 0 22 0 1 0 720788329 54595584 9627 268435456000 4194304 4417452 140733531227936 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 13329 9644 138 55 0 11215 0
[startup+0.042806 s]
/proc/loadavg: 27.57 31.13 31.36 1/413 27324
/proc/meminfo: memFree=255401448/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=53316 CPUtime=0.03 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 11139 1239 0 0 1 2 0 0 22 0 1 0 720788329 54595584 11070 268435456000 4194304 4417452 140733531227936 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 13329 11091 138 55 0 11215 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 53316
[startup+0.100842 s]
/proc/loadavg: 27.57 31.13 31.36 1/413 27324
/proc/meminfo: memFree=255401448/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=135256 CPUtime=0.08 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 29089 1239 0 0 4 4 0 0 22 0 1 0 720788329 138502144 29020 268435456000 4194304 4417452 140733531227936 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 33814 29040 138 55 0 31700 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 135256
[startup+0.300856 s]
/proc/loadavg: 27.57 31.13 31.36 1/413 27324
/proc/meminfo: memFree=255401448/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=381076 CPUtime=0.29 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 90791 1239 0 0 12 17 0 0 23 0 1 0 720788329 390221824 90722 268435456000 4194304 4417452 140733531227936 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 95269 90740 138 55 0 93155 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 381076
[startup+0.700828 s]
/proc/loadavg: 27.57 31.13 31.36 1/413 27324
/proc/meminfo: memFree=255401448/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=579104 CPUtime=0.68 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 142850 1239 0 0 43 25 0 0 25 0 1 0 720788329 593002496 142781 268435456000 4194304 4417452 140733531227936 18446744073709551615 4231335 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 144776 142781 146 55 0 142662 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 579104
[startup+1.50085 s]
/proc/loadavg: 27.57 31.13 31.36 2/414 27330
/proc/meminfo: memFree=254796532/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=680368 CPUtime=1.49 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 168214 1239 0 0 119 30 0 0 25 0 1 0 720788329 696696832 168113 268435456000 4194304 4417452 140733531227936 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 170092 168113 146 55 0 167978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 680368
[startup+3.10091 s]
/proc/loadavg: 27.57 31.13 31.36 3/414 27330
/proc/meminfo: memFree=254634592/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=814952 CPUtime=3.09 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 201860 1239 0 0 272 37 0 0 25 0 1 0 720788329 834510848 201759 268435456000 4194304 4417452 140733531227936 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 203738 201759 146 55 0 201624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 814952
[startup+6.30102 s]
/proc/loadavg: 25.44 30.63 31.19 2/414 27330
/proc/meminfo: memFree=254329044/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=1080520 CPUtime=6.29 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 268271 1239 0 0 578 51 0 0 25 0 1 0 720788329 1106452480 268151 268435456000 4194304 4417452 140733531227936 18446744073709551615 4259997 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 270130 268151 146 55 0 268016 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1080520
[startup+12.7012 s]
/proc/loadavg: 23.56 30.16 31.04 2/414 27330
/proc/meminfo: memFree=253794876/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=1615508 CPUtime=12.69 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 402023 1239 0 0 1194 75 0 0 25 0 1 0 720788329 1654280192 401898 268435456000 4194304 4417452 140733531227936 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27324/statm: 403877 401898 146 55 0 401763 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1615508
[startup+25.5007 s]
/proc/loadavg: 18.56 28.73 30.55 2/414 27332
/proc/meminfo: memFree=252725152/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=2686440 CPUtime=25.48 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 670491 1239 0 0 2418 130 0 0 25 0 1 0 720788329 2750914560 669631 268435456000 4194304 4417452 140733531227936 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/27324/statm: 671610 669631 146 55 0 669496 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2686440
[startup+51.1006 s]
/proc/loadavg: 12.72 26.54 29.78 2/414 27332
/proc/meminfo: memFree=252457656/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=2955500 CPUtime=51.07 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 737756 1239 0 0 4962 145 0 0 25 0 1 0 720788329 3026432000 736896 268435456000 4194304 4417452 140733531227936 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/27324/statm: 738875 736896 146 55 0 736761 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2955500
[startup+102.334 s]
/proc/loadavg: 6.13 22.61 28.27 2/414 27334
/proc/meminfo: memFree=251915796/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=3496184 CPUtime=102.3 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 872927 1239 0 0 10052 178 0 0 25 0 1 0 720788329 3580092416 872067 268435456000 4194304 4417452 140733531227936 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/27324/statm: 874046 872067 146 55 0 871932 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 3496184
[startup+162.301 s]
/proc/loadavg: 3.00 18.72 26.58 2/414 27334
/proc/meminfo: memFree=250864804/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=4544760 CPUtime=162.25 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 1135071 1239 0 0 15994 231 0 0 25 0 1 0 720788329 4653834240 1134211 268435456000 4194304 4417452 140733531227936 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 28 0 0 0
/proc/27324/statm: 1136190 1134211 146 55 0 1134076 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 4544760
[startup+222.303 s]
/proc/loadavg: 10.61 17.53 25.65 34/446 27368
/proc/meminfo: memFree=246679824/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=9619472 CPUtime=838.52 cores=0-31
/proc/27324/stat : 27324 (plingeling) S 27322 27324 27298 0 -1 4202496 3319444 1239 0 0 82554 1298 0 0 25 0 33 0 720788329 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27324/statm: 2404868 2199740 172 55 0 2402754 0
[pid=27324/tid=27337] ppid=27322 vsize=9619472 CPUtime=19.97 cores=0-31
/proc/27324/task/27337/stat : 27337 (plingeling) R 27322 27324 27298 0 -1 4202560 59547 1239 0 0 1978 19 0 0 25 0 33 0 720808551 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4270726 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27324/tid=27338] ppid=27322 vsize=9619472 CPUtime=19.73 cores=0-31
/proc/27324/task/27338/stat : 27338 (plingeling) R 27322 27324 27298 0 -1 4202560 43222 1239 0 0 1947 26 0 0 25 0 33 0 720808551 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27324/tid=27339] ppid=27322 vsize=9619472 CPUtime=20.01 cores=0-31
/proc/27324/task/27339/stat : 27339 (plingeling) R 27322 27324 27298 0 -1 4202560 55155 1239 0 0 1982 19 0 0 25 0 33 0 720808551 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4302131 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27324/tid=27340] ppid=27322 vsize=9619472 CPUtime=20.04 cores=0-31
/proc/27324/task/27340/stat : 27340 (plingeling) R 27322 27324 27298 0 -1 4202560 17351 1239 0 0 1996 8 0 0 25 0 33 0 720808551 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27324/tid=27341] ppid=27322 vsize=9619472 CPUtime=19.94 cores=0-31
/proc/27324/task/27341/stat : 27341 (plingeling) R 27322 27324 27298 0 -1 4202560 43053 1239 0 0 1971 23 0 0 25 0 33 0 720808551 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27324/tid=27342] ppid=27322 vsize=9619472 CPUtime=19.58 cores=0-31
/proc/27324/task/27342/stat : 27342 (plingeling) R 27322 27324 27298 0 -1 4202560 63593 1239 0 0 1940 18 0 0 25 0 33 0 720808551 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27324/tid=27343] ppid=27322 vsize=9619472 CPUtime=19.94 cores=0-31
/proc/27324/task/27343/stat : 27343 (plingeling) R 27322 27324 27298 0 -1 4202560 43211 1239 0 0 1963 31 0 0 19 0 33 0 720808552 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27324/tid=27344] ppid=27322 vsize=9619472 CPUtime=20.02 cores=0-31
/proc/27324/task/27344/stat : 27344 (plingeling) R 27322 27324 27298 0 -1 4202560 43013 1239 0 0 1986 16 0 0 20 0 33 0 720808552 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4261459 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27324/tid=27345] ppid=27322 vsize=9619472 CPUtime=19.94 cores=0-31
/proc/27324/task/27345/stat : 27345 (plingeling) R 27322 27324 27298 0 -1 4202560 45109 1239 0 0 1958 36 0 0 25 0 33 0 720808552 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27324/tid=27346] ppid=27322 vsize=9619472 CPUtime=20.05 cores=0-31
/proc/27324/task/27346/stat : 27346 (plingeling) R 27322 27324 27298 0 -1 4202560 43018 1239 0 0 1991 14 0 0 25 0 33 0 720808552 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4274913 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27324/tid=27347] ppid=27322 vsize=9619472 CPUtime=19.86 cores=0-31
/proc/27324/task/27347/stat : 27347 (plingeling) R 27322 27324 27298 0 -1 4202560 45224 1239 0 0 1945 41 0 0 20 0 33 0 720808552 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4274337 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27324/tid=27348] ppid=27322 vsize=9619472 CPUtime=19.87 cores=0-31
/proc/27324/task/27348/stat : 27348 (plingeling) R 27322 27324 27298 0 -1 4202560 45092 1239 0 0 1969 18 0 0 25 0 33 0 720808552 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4264232 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27324/tid=27349] ppid=27322 vsize=9619472 CPUtime=19.95 cores=0-31
/proc/27324/task/27349/stat : 27349 (plingeling) R 27322 27324 27298 0 -1 4202560 45105 1239 0 0 1965 30 0 0 25 0 33 0 720808552 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27324/tid=27350] ppid=27322 vsize=9619472 CPUtime=19.34 cores=0-31
/proc/27324/task/27350/stat : 27350 (plingeling) R 27322 27324 27298 0 -1 4202560 49831 1239 0 0 1923 11 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4236655 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27324/tid=27351] ppid=27322 vsize=9619472 CPUtime=19.94 cores=0-31
/proc/27324/task/27351/stat : 27351 (plingeling) R 27322 27324 27298 0 -1 4202560 45369 1239 0 0 1964 30 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27324/tid=27352] ppid=27322 vsize=9619472 CPUtime=19.85 cores=0-31
/proc/27324/task/27352/stat : 27352 (plingeling) R 27322 27324 27298 0 -1 4202560 60509 1239 0 0 1936 49 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4261379 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27324/tid=27353] ppid=27322 vsize=9619472 CPUtime=19.82 cores=0-31
/proc/27324/task/27353/stat : 27353 (plingeling) R 27322 27324 27298 0 -1 4202560 60339 1239 0 0 1934 48 0 0 18 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4261313 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27324/tid=27354] ppid=27322 vsize=9619472 CPUtime=19.79 cores=0-31
/proc/27324/task/27354/stat : 27354 (plingeling) R 27322 27324 27298 0 -1 4202560 45205 1239 0 0 1933 46 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27324/tid=27355] ppid=27322 vsize=9619472 CPUtime=19.73 cores=0-31
/proc/27324/task/27355/stat : 27355 (plingeling) R 27322 27324 27298 0 -1 4202560 66449 1239 0 0 1945 28 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4270714 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27324/tid=27356] ppid=27322 vsize=9619472 CPUtime=19.96 cores=0-31
/proc/27324/task/27356/stat : 27356 (plingeling) R 27322 27324 27298 0 -1 4202560 57900 1239 0 0 1977 19 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27324/tid=27357] ppid=27322 vsize=9619472 CPUtime=19.76 cores=0-31
/proc/27324/task/27357/stat : 27357 (plingeling) R 27322 27324 27298 0 -1 4202560 45110 1239 0 0 1961 15 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4327501 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27324/tid=27358] ppid=27322 vsize=9619472 CPUtime=19.89 cores=0-31
/proc/27324/task/27358/stat : 27358 (plingeling) R 27322 27324 27298 0 -1 4202560 56007 1239 0 0 1942 47 0 0 25 0 33 0 720808553 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27324/tid=27359] ppid=27322 vsize=9619472 CPUtime=19.97 cores=0-31
/proc/27324/task/27359/stat : 27359 (plingeling) R 27322 27324 27298 0 -1 4202560 56252 1239 0 0 1982 15 0 0 19 0 33 0 720808554 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27324/tid=27360] ppid=27322 vsize=9619472 CPUtime=19.86 cores=0-31
/proc/27324/task/27360/stat : 27360 (plingeling) R 27322 27324 27298 0 -1 4202560 61574 1239 0 0 1935 51 0 0 25 0 33 0 720808554 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27324/tid=27361] ppid=27322 vsize=9619472 CPUtime=20.01 cores=0-31
/proc/27324/task/27361/stat : 27361 (plingeling) R 27322 27324 27298 0 -1 4202560 45273 1239 0 0 1985 16 0 0 25 0 33 0 720808554 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4274337 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27324/tid=27362] ppid=27322 vsize=9619472 CPUtime=19.9 cores=0-31
/proc/27324/task/27362/stat : 27362 (plingeling) R 27322 27324 27298 0 -1 4202560 56260 1239 0 0 1962 28 0 0 25 0 33 0 720808554 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4327480 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27324/tid=27363] ppid=27322 vsize=9619472 CPUtime=19.98 cores=0-31
/proc/27324/task/27363/stat : 27363 (plingeling) R 27322 27324 27298 0 -1 4202560 73419 1239 0 0 1945 53 0 0 25 0 33 0 720808554 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27324/tid=27364] ppid=27322 vsize=9619472 CPUtime=19.82 cores=0-31
/proc/27324/task/27364/stat : 27364 (plingeling) R 27322 27324 27298 0 -1 4202560 61413 1239 0 0 1934 48 0 0 25 0 33 0 720808554 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4261296 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27324/tid=27365] ppid=27322 vsize=9619472 CPUtime=19.81 cores=0-31
/proc/27324/task/27365/stat : 27365 (plingeling) R 27322 27324 27298 0 -1 4202560 45112 1239 0 0 1956 25 0 0 25 0 33 0 720808554 9850339328 2199740 268435456000 4194304 4417452 140733531227936 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=248681560/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=7384580 CPUtime=126288 cores=0-31
/proc/27324/stat : 27324 (plingeling) S 27322 27324 27298 0 -1 4202496 4699951 1239 0 0 12626603 2243 0 0 25 0 33 0 720788329 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27324/statm: 1846145 1676555 175 55 0 1844031 0
[pid=27324/tid=27337] ppid=27322 vsize=7384580 CPUtime=3940.53 cores=0-31
/proc/27324/task/27337/stat : 27337 (plingeling) R 27322 27324 27298 0 -1 4202560 90839 1239 0 0 393974 79 0 0 25 0 33 0 720808551 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27324/tid=27338] ppid=27322 vsize=7384580 CPUtime=3938.43 cores=0-31
/proc/27324/task/27338/stat : 27338 (plingeling) R 27322 27324 27298 0 -1 4202560 73229 1239 0 0 393800 43 0 0 25 0 33 0 720808551 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27324/tid=27339] ppid=27322 vsize=7384580 CPUtime=3943.98 cores=0-31
/proc/27324/task/27339/stat : 27339 (plingeling) R 27322 27324 27298 0 -1 4202560 77417 1239 0 0 394366 32 0 0 25 0 33 0 720808551 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27324/tid=27340] ppid=27322 vsize=7384580 CPUtime=3944.08 cores=0-31
/proc/27324/task/27340/stat : 27340 (plingeling) R 27322 27324 27298 0 -1 4202560 17371 1239 0 0 394399 9 0 0 25 0 33 0 720808551 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27324/tid=27341] ppid=27322 vsize=7384580 CPUtime=3943.75 cores=0-31
/proc/27324/task/27341/stat : 27341 (plingeling) R 27322 27324 27298 0 -1 4202560 59337 1239 0 0 394336 39 0 0 25 0 33 0 720808551 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27324/tid=27342] ppid=27322 vsize=7384580 CPUtime=3943.57 cores=0-31
/proc/27324/task/27342/stat : 27342 (plingeling) R 27322 27324 27298 0 -1 4202560 96797 1239 0 0 394319 38 0 0 25 0 33 0 720808551 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27324/tid=27343] ppid=27322 vsize=7384580 CPUtime=3943.83 cores=0-31
/proc/27324/task/27343/stat : 27343 (plingeling) R 27322 27324 27298 0 -1 4202560 108974 1239 0 0 394307 76 0 0 25 0 33 0 720808552 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364687 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27324/tid=27344] ppid=27322 vsize=7384580 CPUtime=3925.33 cores=0-31
/proc/27324/task/27344/stat : 27344 (plingeling) R 27322 27324 27298 0 -1 4202560 80372 1239 0 0 392475 58 0 0 25 0 33 0 720808552 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27324/tid=27345] ppid=27322 vsize=7384580 CPUtime=3943.9 cores=0-31
/proc/27324/task/27345/stat : 27345 (plingeling) R 27322 27324 27298 0 -1 4202560 85842 1239 0 0 394322 68 0 0 25 0 33 0 720808552 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27324/tid=27346] ppid=27322 vsize=7384580 CPUtime=3944.04 cores=0-31
/proc/27324/task/27346/stat : 27346 (plingeling) R 27322 27324 27298 0 -1 4202560 100111 1239 0 0 394342 62 0 0 25 0 33 0 720808552 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27324/tid=27347] ppid=27322 vsize=7384580 CPUtime=3943.85 cores=0-31
/proc/27324/task/27347/stat : 27347 (plingeling) R 27322 27324 27298 0 -1 4202560 105576 1239 0 0 394303 82 0 0 25 0 33 0 720808552 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27324/tid=27348] ppid=27322 vsize=7384580 CPUtime=3934.55 cores=0-31
/proc/27324/task/27348/stat : 27348 (plingeling) R 27322 27324 27298 0 -1 4202560 83296 1239 0 0 393394 61 0 0 25 0 33 0 720808552 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27324/tid=27349] ppid=27322 vsize=7384580 CPUtime=3941.56 cores=0-31
/proc/27324/task/27349/stat : 27349 (plingeling) R 27322 27324 27298 0 -1 4202560 76807 1239 0 0 394087 69 0 0 25 0 33 0 720808552 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27324/tid=27350] ppid=27322 vsize=7384580 CPUtime=3943.26 cores=0-31
/proc/27324/task/27350/stat : 27350 (plingeling) R 27322 27324 27298 0 -1 4202560 115875 1239 0 0 394292 34 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27324/tid=27351] ppid=27322 vsize=7384580 CPUtime=3943.95 cores=0-31
/proc/27324/task/27351/stat : 27351 (plingeling) R 27322 27324 27298 0 -1 4202560 68913 1239 0 0 394351 44 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27324/tid=27352] ppid=27322 vsize=7384580 CPUtime=3943.66 cores=0-31
/proc/27324/task/27352/stat : 27352 (plingeling) R 27322 27324 27298 0 -1 4202560 128033 1239 0 0 394267 99 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27324/tid=27353] ppid=27322 vsize=7384580 CPUtime=3878.85 cores=0-31
/proc/27324/task/27353/stat : 27353 (plingeling) R 27322 27324 27298 0 -1 4202560 148409 1239 0 0 387806 79 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27324/tid=27354] ppid=27322 vsize=7384580 CPUtime=3943.57 cores=0-31
/proc/27324/task/27354/stat : 27354 (plingeling) R 27322 27324 27298 0 -1 4202560 77755 1239 0 0 394270 87 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237002 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27324/tid=27355] ppid=27322 vsize=7384580 CPUtime=3939.85 cores=0-31
/proc/27324/task/27355/stat : 27355 (plingeling) R 27322 27324 27298 0 -1 4202560 97338 1239 0 0 393936 49 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4236823 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27324/tid=27356] ppid=27322 vsize=7384580 CPUtime=3943.97 cores=0-31
/proc/27324/task/27356/stat : 27356 (plingeling) R 27322 27324 27298 0 -1 4202560 103371 1239 0 0 394334 63 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27324/tid=27357] ppid=27322 vsize=7384580 CPUtime=3942.27 cores=0-31
/proc/27324/task/27357/stat : 27357 (plingeling) R 27322 27324 27298 0 -1 4202560 117680 1239 0 0 394183 44 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27324/tid=27358] ppid=27322 vsize=7384580 CPUtime=3937.51 cores=0-31
/proc/27324/task/27358/stat : 27358 (plingeling) R 27322 27324 27298 0 -1 4202560 113791 1239 0 0 393684 67 0 0 25 0 33 0 720808553 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27324/tid=27359] ppid=27322 vsize=7384580 CPUtime=3943.38 cores=0-31
/proc/27324/task/27359/stat : 27359 (plingeling) R 27322 27324 27298 0 -1 4202560 106651 1239 0 0 394297 41 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27324/tid=27360] ppid=27322 vsize=7384580 CPUtime=3943.89 cores=0-31
/proc/27324/task/27360/stat : 27360 (plingeling) R 27322 27324 27298 0 -1 4202560 94096 1239 0 0 394329 60 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27324/tid=27361] ppid=27322 vsize=7384580 CPUtime=3943.94 cores=0-31
/proc/27324/task/27361/stat : 27361 (plingeling) R 27322 27324 27298 0 -1 4202560 77066 1239 0 0 394336 58 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27324/tid=27362] ppid=27322 vsize=7384580 CPUtime=3943.83 cores=0-31
/proc/27324/task/27362/stat : 27362 (plingeling) R 27322 27324 27298 0 -1 4202560 130951 1239 0 0 394334 49 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27324/tid=27363] ppid=27322 vsize=7384580 CPUtime=3943.83 cores=0-31
/proc/27324/task/27363/stat : 27363 (plingeling) R 27322 27324 27298 0 -1 4202560 118717 1239 0 0 394284 99 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27324/tid=27364] ppid=27322 vsize=7384580 CPUtime=3943.52 cores=0-31
/proc/27324/task/27364/stat : 27364 (plingeling) R 27322 27324 27298 0 -1 4202560 123855 1239 0 0 394279 73 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27324/tid=27365] ppid=27322 vsize=7384580 CPUtime=3943.66 cores=0-31
/proc/27324/task/27365/stat : 27365 (plingeling) R 27322 27324 27298 0 -1 4202560 59716 1239 0 0 394326 40 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27324/tid=27366] ppid=27322 vsize=7384580 CPUtime=3943.88 cores=0-31
/proc/27324/task/27366/stat : 27366 (plingeling) R 27322 27324 27298 0 -1 4202560 74872 1239 0 0 394339 49 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27324/tid=27367] ppid=27322 vsize=7384580 CPUtime=3943.86 cores=0-31
/proc/27324/task/27367/stat : 27367 (plingeling) R 27322 27324 27298 0 -1 4202560 90140 1239 0 0 394322 64 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27324/tid=27368] ppid=27322 vsize=7384580 CPUtime=3943.86 cores=0-31
/proc/27324/task/27368/stat : 27368 (plingeling) R 27322 27324 27298 0 -1 4202560 128390 1239 0 0 394308 78 0 0 25 0 33 0 720808554 7561809920 1676555 268435456000 4194304 4417452 140733531227936 18446744073709551615 4346298 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 126288
Current children cumulated vsize (KiB) 7384580
[startup+4147.9 s]
/proc/loadavg: 32.08 32.07 31.96 33/446 27484
/proc/meminfo: memFree=248681560/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=7384068 CPUtime=126314 cores=0-31
/proc/27324/stat : 27324 (plingeling) S 27322 27324 27298 0 -1 4202496 4699951 1239 0 0 12629161 2243 0 0 25 0 33 0 720788329 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/27324/statm: 1846017 1676427 175 55 0 1843903 0
[pid=27324/tid=27337] ppid=27322 vsize=7384068 CPUtime=3941.33 cores=0-31
/proc/27324/task/27337/stat : 27337 (plingeling) R 27322 27324 27298 0 -1 4202560 90839 1239 0 0 394054 79 0 0 25 0 33 0 720808551 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27324/tid=27338] ppid=27322 vsize=7384068 CPUtime=3939.23 cores=0-31
/proc/27324/task/27338/stat : 27338 (plingeling) R 27322 27324 27298 0 -1 4202560 73229 1239 0 0 393880 43 0 0 25 0 33 0 720808551 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27324/tid=27339] ppid=27322 vsize=7384068 CPUtime=3944.78 cores=0-31
/proc/27324/task/27339/stat : 27339 (plingeling) R 27322 27324 27298 0 -1 4202560 77417 1239 0 0 394446 32 0 0 25 0 33 0 720808551 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27324/tid=27340] ppid=27322 vsize=7384068 CPUtime=3944.88 cores=0-31
/proc/27324/task/27340/stat : 27340 (plingeling) R 27322 27324 27298 0 -1 4202560 17371 1239 0 0 394479 9 0 0 25 0 33 0 720808551 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27324/tid=27341] ppid=27322 vsize=7384068 CPUtime=3944.55 cores=0-31
/proc/27324/task/27341/stat : 27341 (plingeling) R 27322 27324 27298 0 -1 4202560 59337 1239 0 0 394416 39 0 0 25 0 33 0 720808551 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27324/tid=27342] ppid=27322 vsize=7384068 CPUtime=3944.37 cores=0-31
/proc/27324/task/27342/stat : 27342 (plingeling) R 27322 27324 27298 0 -1 4202560 96797 1239 0 0 394399 38 0 0 25 0 33 0 720808551 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27324/tid=27343] ppid=27322 vsize=7384068 CPUtime=3944.63 cores=0-31
/proc/27324/task/27343/stat : 27343 (plingeling) R 27322 27324 27298 0 -1 4202560 108974 1239 0 0 394387 76 0 0 25 0 33 0 720808552 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27324/tid=27344] ppid=27322 vsize=7384068 CPUtime=3926.13 cores=0-31
/proc/27324/task/27344/stat : 27344 (plingeling) R 27322 27324 27298 0 -1 4202560 80372 1239 0 0 392555 58 0 0 25 0 33 0 720808552 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27324/tid=27345] ppid=27322 vsize=7384068 CPUtime=3944.7 cores=0-31
/proc/27324/task/27345/stat : 27345 (plingeling) R 27322 27324 27298 0 -1 4202560 85842 1239 0 0 394402 68 0 0 25 0 33 0 720808552 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27324/tid=27346] ppid=27322 vsize=7384068 CPUtime=3944.84 cores=0-31
/proc/27324/task/27346/stat : 27346 (plingeling) R 27322 27324 27298 0 -1 4202560 100111 1239 0 0 394422 62 0 0 25 0 33 0 720808552 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27324/tid=27347] ppid=27322 vsize=7384068 CPUtime=3944.65 cores=0-31
/proc/27324/task/27347/stat : 27347 (plingeling) R 27322 27324 27298 0 -1 4202560 105576 1239 0 0 394383 82 0 0 25 0 33 0 720808552 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27324/tid=27348] ppid=27322 vsize=7384068 CPUtime=3935.35 cores=0-31
/proc/27324/task/27348/stat : 27348 (plingeling) R 27322 27324 27298 0 -1 4202560 83296 1239 0 0 393474 61 0 0 25 0 33 0 720808552 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27324/tid=27349] ppid=27322 vsize=7384068 CPUtime=3942.36 cores=0-31
/proc/27324/task/27349/stat : 27349 (plingeling) R 27322 27324 27298 0 -1 4202560 76807 1239 0 0 394167 69 0 0 25 0 33 0 720808552 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27324/tid=27350] ppid=27322 vsize=7384068 CPUtime=3944.06 cores=0-31
/proc/27324/task/27350/stat : 27350 (plingeling) R 27322 27324 27298 0 -1 4202560 115875 1239 0 0 394372 34 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27324/tid=27351] ppid=27322 vsize=7384068 CPUtime=3944.75 cores=0-31
/proc/27324/task/27351/stat : 27351 (plingeling) R 27322 27324 27298 0 -1 4202560 68913 1239 0 0 394431 44 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27324/tid=27352] ppid=27322 vsize=7384068 CPUtime=3944.46 cores=0-31
/proc/27324/task/27352/stat : 27352 (plingeling) R 27322 27324 27298 0 -1 4202560 128033 1239 0 0 394347 99 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27324/tid=27353] ppid=27322 vsize=7384068 CPUtime=3879.65 cores=0-31
/proc/27324/task/27353/stat : 27353 (plingeling) R 27322 27324 27298 0 -1 4202560 148409 1239 0 0 387886 79 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27324/tid=27354] ppid=27322 vsize=7384068 CPUtime=3944.37 cores=0-31
/proc/27324/task/27354/stat : 27354 (plingeling) R 27322 27324 27298 0 -1 4202560 77755 1239 0 0 394350 87 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27324/tid=27355] ppid=27322 vsize=7384068 CPUtime=3940.65 cores=0-31
/proc/27324/task/27355/stat : 27355 (plingeling) R 27322 27324 27298 0 -1 4202560 97338 1239 0 0 394016 49 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27324/tid=27356] ppid=27322 vsize=7384068 CPUtime=3944.77 cores=0-31
/proc/27324/task/27356/stat : 27356 (plingeling) R 27322 27324 27298 0 -1 4202560 103371 1239 0 0 394414 63 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4365167 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27324/tid=27357] ppid=27322 vsize=7384068 CPUtime=3943.07 cores=0-31
/proc/27324/task/27357/stat : 27357 (plingeling) R 27322 27324 27298 0 -1 4202560 117680 1239 0 0 394263 44 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27324/tid=27358] ppid=27322 vsize=7384068 CPUtime=3938.31 cores=0-31
/proc/27324/task/27358/stat : 27358 (plingeling) R 27322 27324 27298 0 -1 4202560 113791 1239 0 0 393764 67 0 0 25 0 33 0 720808553 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27324/tid=27359] ppid=27322 vsize=7384068 CPUtime=3944.18 cores=0-31
/proc/27324/task/27359/stat : 27359 (plingeling) R 27322 27324 27298 0 -1 4202560 106651 1239 0 0 394377 41 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27324/tid=27360] ppid=27322 vsize=7384068 CPUtime=3944.69 cores=0-31
/proc/27324/task/27360/stat : 27360 (plingeling) R 27322 27324 27298 0 -1 4202560 94096 1239 0 0 394409 60 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27324/tid=27361] ppid=27322 vsize=7384068 CPUtime=3944.74 cores=0-31
/proc/27324/task/27361/stat : 27361 (plingeling) R 27322 27324 27298 0 -1 4202560 77066 1239 0 0 394416 58 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4357894 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27324/tid=27362] ppid=27322 vsize=7384068 CPUtime=3944.63 cores=0-31
/proc/27324/task/27362/stat : 27362 (plingeling) R 27322 27324 27298 0 -1 4202560 130951 1239 0 0 394414 49 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27324/tid=27363] ppid=27322 vsize=7384068 CPUtime=3944.63 cores=0-31
/proc/27324/task/27363/stat : 27363 (plingeling) R 27322 27324 27298 0 -1 4202560 118717 1239 0 0 394364 99 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27324/tid=27364] ppid=27322 vsize=7384068 CPUtime=3944.32 cores=0-31
/proc/27324/task/27364/stat : 27364 (plingeling) R 27322 27324 27298 0 -1 4202560 123855 1239 0 0 394359 73 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27324/tid=27365] ppid=27322 vsize=7384068 CPUtime=3944.46 cores=0-31
/proc/27324/task/27365/stat : 27365 (plingeling) R 27322 27324 27298 0 -1 4202560 59716 1239 0 0 394406 40 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27324/tid=27366] ppid=27322 vsize=7384068 CPUtime=3944.68 cores=0-31
/proc/27324/task/27366/stat : 27366 (plingeling) R 27322 27324 27298 0 -1 4202560 74872 1239 0 0 394419 49 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27324/tid=27367] ppid=27322 vsize=7384068 CPUtime=3944.67 cores=0-31
/proc/27324/task/27367/stat : 27367 (plingeling) R 27322 27324 27298 0 -1 4202560 90140 1239 0 0 394402 65 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27324/tid=27368] ppid=27322 vsize=7384068 CPUtime=3944.66 cores=0-31
/proc/27324/task/27368/stat : 27368 (plingeling) R 27322 27324 27298 0 -1 4202560 128390 1239 0 0 394388 78 0 0 25 0 33 0 720808554 7561285632 1676427 268435456000 4194304 4417452 140733531227936 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 126314
Current children cumulated vsize (KiB) 7384068
[startup+4148.7 s]
/proc/loadavg: 32.08 32.07 31.96 33/446 27484
/proc/meminfo: memFree=248682056/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=6326128 CPUtime=126336 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202496 4699952 1239 0 0 12631349 2249 0 0 17 0 1 0 720788329 6477955072 1474217 268435456000 4194304 4417452 140733531227936 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27324/statm: 1581532 1474217 176 55 0 1579418 0
Current children cumulated CPU time (s) 126336
Current children cumulated vsize (KiB) 6326128
[startup+4149.1 s]
/proc/loadavg: 32.08 32.07 31.96 2/414 27484
/proc/meminfo: memFree=253947464/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=0 CPUtime=126336 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202500 4699956 1239 0 0 12631349 2292 0 0 17 0 1 0 720788329 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27324/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 126336
Current children cumulated vsize (KiB) 0
[startup+4149.24 s]
/proc/loadavg: 32.08 32.07 31.96 2/414 27484
/proc/meminfo: memFree=253947464/264257624 swapFree=67111528/67111528
[pid=27324] ppid=27322 vsize=0 CPUtime=126337 cores=0-31
/proc/27324/stat : 27324 (plingeling) R 27322 27324 27298 0 -1 4202500 4699956 1239 0 0 12631349 2302 0 0 17 0 1 0 720788329 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27324/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 126337
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4149.3
CPU time (s): 126337
CPU user time (s): 126313
CPU system time (s): 23.0975
CPU usage (%): 3044.77
Max. virtual memory (cumulated for all children) (KiB): 10231104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126313
system time used= 23.0975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4701195
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= 7339
involuntary context switches= 321177
runsolver used 23.2965 second user time and 95.2975 second system time
The end
Begin job on node200 at 2011-05-22 21:36:59
IDJOB=3372846
IDBENCH=84238
IDSOLVER=1852
FILE ID=node200/3372846-1306093014
RUNJOBID= node200-1306093014-27312
PBS_JOBID= 13387819
Free space on /tmp= 61984 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372846-1306093014/watcher-3372846-1306093014 -o /tmp/evaluation-result-3372846-1306093014/solver-3372846-1306093014 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372846-1306093014.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=236044266
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: 255401720 kB
Buffers: 455644 kB
Cached: 7987540 kB
SwapCached: 0 kB
Active: 7540448 kB
Inactive: 971828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255401720 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 63660 kB
Writeback: 0 kB
AnonPages: 68980 kB
Mapped: 14480 kB
Slab: 253848 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 198116 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-22 22:46:09