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-3372111-1305425762/watcher-3372111-1305425762 -o /tmp/evaluation-result-3372111-1305425762/solver-3372111-1305425762 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372111-1305425762.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.39 31.11 31.69 1/413 2018
/proc/meminfo: memFree=255569608/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=12928 CPUtime=0.01 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 1320 1246 0 0 0 0 0 1 23 0 1 0 654062775 13238272 1251 268435456000 4194304 4417452 140737173165952 18446744073709551615 258650616632 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 3232 1251 144 55 0 1118 0
[startup+0.0967751 s]
/proc/loadavg: 27.39 31.11 31.69 1/413 2018
/proc/meminfo: memFree=255569608/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=33952 CPUtime=0.09 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 6577 1246 0 0 7 1 0 1 23 0 1 0 654062775 34766848 6508 268435456000 4194304 4417452 140737173165952 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 8488 6508 145 55 0 6374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33952
[startup+0.100731 s]
/proc/loadavg: 27.39 31.11 31.69 1/413 2018
/proc/meminfo: memFree=255569608/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=38128 CPUtime=0.09 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 7526 1246 0 0 7 1 0 1 23 0 1 0 654062775 39043072 7458 268435456000 4194304 4417452 140737173165952 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 9532 7476 145 55 0 7418 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38128
[startup+0.300735 s]
/proc/loadavg: 27.39 31.11 31.69 1/413 2018
/proc/meminfo: memFree=255569608/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=93700 CPUtime=0.3 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 21514 1246 0 0 25 4 0 1 25 0 1 0 654062775 95948800 21445 268435456000 4194304 4417452 140737173165952 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 23425 21445 145 55 0 21311 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 93700
[startup+0.700798 s]
/proc/loadavg: 27.39 31.11 31.69 1/413 2018
/proc/meminfo: memFree=255569608/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=113756 CPUtime=0.7 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 26642 1246 0 0 64 5 0 1 25 0 1 0 654062775 116486144 26459 268435456000 4194304 4417452 140737173165952 18446744073709551615 4209661 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 28439 26459 145 55 0 26325 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 113756
[startup+1.50079 s]
/proc/loadavg: 27.39 31.11 31.69 2/414 2024
/proc/meminfo: memFree=255446952/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=236832 CPUtime=1.49 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 57539 1246 0 0 137 11 0 1 25 0 1 0 654062775 242515968 57228 268435456000 4194304 4417452 140737173165952 18446744073709551615 4231303 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 59208 57228 145 55 0 57094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236832
[startup+3.10084 s]
/proc/loadavg: 27.39 31.11 31.69 2/414 2024
/proc/meminfo: memFree=255291208/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=452536 CPUtime=3.1 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 111507 1246 0 0 288 21 0 1 25 0 1 0 654062775 463396864 111154 268435456000 4194304 4417452 140737173165952 18446744073709551615 4231335 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 113134 111154 145 55 0 111020 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 452536
[startup+6.30095 s]
/proc/loadavg: 25.28 30.61 31.52 2/414 2024
/proc/meminfo: memFree=254823668/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=752628 CPUtime=6.3 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 186530 1246 0 0 593 36 0 1 25 0 1 0 654062775 770691072 186177 268435456000 4194304 4417452 140737173165952 18446744073709551615 4260118 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 188157 186177 145 55 0 186043 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 752628
[startup+12.7012 s]
/proc/loadavg: 23.49 30.15 31.37 2/414 2024
/proc/meminfo: memFree=254635972/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=942604 CPUtime=12.69 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 234025 1246 0 0 1223 45 0 1 25 0 1 0 654062775 965226496 233672 268435456000 4194304 4417452 140737173165952 18446744073709551615 4231250 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2018/statm: 235651 233672 146 55 0 233537 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 942604
[startup+25.5015 s]
/proc/loadavg: 22.24 29.51 31.14 33/446 2058
/proc/meminfo: memFree=253843920/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=2119272 CPUtime=196.81 cores=0-31
/proc/2018/stat : 2018 (plingeling) S 2016 2018 1992 0 -1 4202496 629544 1246 0 0 19358 322 0 1 18 0 33 0 654062775 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/2018/statm: 529818 425617 172 55 0 527704 0
[pid=2018/tid=2025] ppid=2016 vsize=2119272 CPUtime=5.6 cores=0-31
/proc/2018/task/2025/stat : 2025 (plingeling) R 2016 2018 1992 0 -1 4202560 6605 1246 0 0 553 6 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4261096 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2018/tid=2026] ppid=2016 vsize=2119272 CPUtime=5.59 cores=0-31
/proc/2018/task/2026/stat : 2026 (plingeling) R 2016 2018 1992 0 -1 4202560 6968 1246 0 0 551 7 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2018/tid=2027] ppid=2016 vsize=2119272 CPUtime=5.49 cores=0-31
/proc/2018/task/2027/stat : 2027 (plingeling) R 2016 2018 1992 0 -1 4202560 7703 1246 0 0 537 11 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346355 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2018/tid=2028] ppid=2016 vsize=2119272 CPUtime=5.58 cores=0-31
/proc/2018/task/2028/stat : 2028 (plingeling) R 2016 2018 1992 0 -1 4202560 4429 1246 0 0 548 9 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2018/tid=2029] ppid=2016 vsize=2119272 CPUtime=5.55 cores=0-31
/proc/2018/task/2029/stat : 2029 (plingeling) R 2016 2018 1992 0 -1 4202560 6533 1246 0 0 545 9 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2018/tid=2030] ppid=2016 vsize=2119272 CPUtime=5.54 cores=0-31
/proc/2018/task/2030/stat : 2030 (plingeling) R 2016 2018 1992 0 -1 4202560 5783 1246 0 0 546 7 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2018/tid=2031] ppid=2016 vsize=2119272 CPUtime=5.62 cores=0-31
/proc/2018/task/2031/stat : 2031 (plingeling) R 2016 2018 1992 0 -1 4202560 5451 1246 0 0 557 4 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2018/tid=2032] ppid=2016 vsize=2119272 CPUtime=5.54 cores=0-31
/proc/2018/task/2032/stat : 2032 (plingeling) R 2016 2018 1992 0 -1 4202560 5516 1246 0 0 543 10 0 1 18 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2018/tid=2033] ppid=2016 vsize=2119272 CPUtime=5.36 cores=0-31
/proc/2018/task/2033/stat : 2033 (plingeling) R 2016 2018 1992 0 -1 4202560 5514 1246 0 0 530 5 0 1 25 0 33 0 654064753 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2018/tid=2034] ppid=2016 vsize=2119272 CPUtime=5.56 cores=0-31
/proc/2018/task/2034/stat : 2034 (plingeling) R 2016 2018 1992 0 -1 4202560 5334 1246 0 0 549 6 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346249 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2018/tid=2035] ppid=2016 vsize=2119272 CPUtime=5.58 cores=0-31
/proc/2018/task/2035/stat : 2035 (plingeling) R 2016 2018 1992 0 -1 4202560 6364 1246 0 0 550 7 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346592 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2018/tid=2036] ppid=2016 vsize=2119272 CPUtime=5.55 cores=0-31
/proc/2018/task/2036/stat : 2036 (plingeling) R 2016 2018 1992 0 -1 4202560 5536 1246 0 0 546 8 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4326427 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2018/tid=2037] ppid=2016 vsize=2119272 CPUtime=5.57 cores=0-31
/proc/2018/task/2037/stat : 2037 (plingeling) R 2016 2018 1992 0 -1 4202560 5517 1246 0 0 549 7 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2018/tid=2038] ppid=2016 vsize=2119272 CPUtime=5.58 cores=0-31
/proc/2018/task/2038/stat : 2038 (plingeling) R 2016 2018 1992 0 -1 4202560 6356 1246 0 0 549 8 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4234299 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2018/tid=2039] ppid=2016 vsize=2119272 CPUtime=5.52 cores=0-31
/proc/2018/task/2039/stat : 2039 (plingeling) R 2016 2018 1992 0 -1 4202560 6739 1246 0 0 545 6 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2018/tid=2040] ppid=2016 vsize=2119272 CPUtime=5.57 cores=0-31
/proc/2018/task/2040/stat : 2040 (plingeling) S 2016 2018 1992 0 -1 4202560 6552 1246 0 0 549 7 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 258662782148 0 0 4096 17442 18446744071566929344 0 0 -1 15 0 0 0
[pid=2018/tid=2041] ppid=2016 vsize=2119272 CPUtime=5.36 cores=0-31
/proc/2018/task/2041/stat : 2041 (plingeling) R 2016 2018 1992 0 -1 4202560 7805 1246 0 0 526 9 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4325981 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2018/tid=2042] ppid=2016 vsize=2119272 CPUtime=5.54 cores=0-31
/proc/2018/task/2042/stat : 2042 (plingeling) R 2016 2018 1992 0 -1 4202560 5537 1246 0 0 545 8 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4234788 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2018/tid=2043] ppid=2016 vsize=2119272 CPUtime=5.62 cores=0-31
/proc/2018/task/2043/stat : 2043 (plingeling) R 2016 2018 1992 0 -1 4202560 5514 1246 0 0 554 7 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2018/tid=2044] ppid=2016 vsize=2119272 CPUtime=5.56 cores=0-31
/proc/2018/task/2044/stat : 2044 (plingeling) R 2016 2018 1992 0 -1 4202560 6632 1246 0 0 548 7 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4259609 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2018/tid=2045] ppid=2016 vsize=2119272 CPUtime=5.62 cores=0-31
/proc/2018/task/2045/stat : 2045 (plingeling) R 2016 2018 1992 0 -1 4202560 5514 1246 0 0 555 6 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2018/tid=2046] ppid=2016 vsize=2119272 CPUtime=5.59 cores=0-31
/proc/2018/task/2046/stat : 2046 (plingeling) R 2016 2018 1992 0 -1 4202560 6822 1246 0 0 550 8 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2018/tid=2047] ppid=2016 vsize=2119272 CPUtime=5.63 cores=0-31
/proc/2018/task/2047/stat : 2047 (plingeling) R 2016 2018 1992 0 -1 4202560 5746 1246 0 0 557 5 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2018/tid=2048] ppid=2016 vsize=2119272 CPUtime=5.49 cores=0-31
/proc/2018/task/2048/stat : 2048 (plingeling) R 2016 2018 1992 0 -1 4202560 7705 1246 0 0 538 10 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4267718 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2018/tid=2049] ppid=2016 vsize=2119272 CPUtime=5.62 cores=0-31
/proc/2018/task/2049/stat : 2049 (plingeling) R 2016 2018 1992 0 -1 4202560 5956 1246 0 0 554 7 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4261319 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2018/tid=2050] ppid=2016 vsize=2119272 CPUtime=5.47 cores=0-31
/proc/2018/task/2050/stat : 2050 (plingeling) R 2016 2018 1992 0 -1 4202560 7452 1246 0 0 539 7 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2018/tid=2051] ppid=2016 vsize=2119272 CPUtime=5.57 cores=0-31
/proc/2018/task/2051/stat : 2051 (plingeling) R 2016 2018 1992 0 -1 4202560 6415 1246 0 0 551 5 0 1 25 0 33 0 654064754 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346383 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2018/tid=2052] ppid=2016 vsize=2119272 CPUtime=5.44 cores=0-31
/proc/2018/task/2052/stat : 2052 (plingeling) R 2016 2018 1992 0 -1 4202560 5117 1246 0 0 538 5 0 1 25 0 33 0 654064755 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346581 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2018/tid=2053] ppid=2016 vsize=2119272 CPUtime=5.36 cores=0-31
/proc/2018/task/2053/stat : 2053 (plingeling) R 2016 2018 1992 0 -1 4202560 6234 1246 0 0 529 6 0 1 25 0 33 0 654064755 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4275628 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2018/tid=2054] ppid=2016 vsize=2119272 CPUtime=5.4 cores=0-31
/proc/2018/task/2054/stat : 2054 (plingeling) R 2016 2018 1992 0 -1 4202560 5599 1246 0 0 534 5 0 1 25 0 33 0 654064756 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2018/tid=2055] ppid=2016 vsize=2119272 CPUtime=5.5 cores=0-31
/proc/2018/task/2055/stat : 2055 (plingeling) R 2016 2018 1992 0 -1 4202560 5168 1246 0 0 543 6 0 1 25 0 33 0 654064756 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2018/tid=2056] ppid=2016 vsize=2119272 CPUtime=5.48 cores=0-31
/proc/2018/task/2056/stat : 2056 (plingeling) R 2016 2018 1992 0 -1 4202560 7065 1246 0 0 542 5 0 1 25 0 33 0 654064756 2170134528 425617 268435456000 4194304 4417452 140737173165952 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 196.81
Current children cumulated vsize (KiB) 2119272
[startup+51.1014 s]
/proc/loadavg: 25.57 29.71 31.16 33/446 2058
/proc/meminfo: memFree=254801092/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=1206060 CPUtime=1014.89 cores=0-31
/proc/2018/stat : 2018 (plingeling) S 2016 2018 1992 0 -1 4202496 672516 1246 0 0 101142 346 0 1 18 0 33 0 654062775 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/2018/statm: 301515 188286 175 55 0 299401 0
[pid=2018/tid=2025] ppid=2016 vsize=1206060 CPUtime=31.19 cores=0-31
/proc/2018/task/2025/stat : 2025 (plingeling) R 2016 2018 1992 0 -1 4202560 8831 1246 0 0 3111 7 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2018/tid=2026] ppid=2016 vsize=1206060 CPUtime=31.18 cores=0-31
/proc/2018/task/2026/stat : 2026 (plingeling) R 2016 2018 1992 0 -1 4202560 8145 1246 0 0 3109 8 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4278085 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2018/tid=2027] ppid=2016 vsize=1206060 CPUtime=31.07 cores=0-31
/proc/2018/task/2027/stat : 2027 (plingeling) R 2016 2018 1992 0 -1 4202560 8234 1246 0 0 3094 12 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4346453 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2018/tid=2028] ppid=2016 vsize=1206060 CPUtime=31.18 cores=0-31
/proc/2018/task/2028/stat : 2028 (plingeling) R 2016 2018 1992 0 -1 4202560 4429 1246 0 0 3108 9 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4250765 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2018/tid=2029] ppid=2016 vsize=1206060 CPUtime=31.12 cores=0-31
/proc/2018/task/2029/stat : 2029 (plingeling) R 2016 2018 1992 0 -1 4202560 8329 1246 0 0 3101 10 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4277945 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2018/tid=2030] ppid=2016 vsize=1206060 CPUtime=31.14 cores=0-31
/proc/2018/task/2030/stat : 2030 (plingeling) R 2016 2018 1992 0 -1 4202560 6448 1246 0 0 3105 8 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2018/tid=2031] ppid=2016 vsize=1206060 CPUtime=31.21 cores=0-31
/proc/2018/task/2031/stat : 2031 (plingeling) R 2016 2018 1992 0 -1 4202560 6603 1246 0 0 3116 4 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2018/tid=2032] ppid=2016 vsize=1206060 CPUtime=31.12 cores=0-31
/proc/2018/task/2032/stat : 2032 (plingeling) R 2016 2018 1992 0 -1 4202560 8867 1246 0 0 3099 12 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2018/tid=2033] ppid=2016 vsize=1206060 CPUtime=30.94 cores=0-31
/proc/2018/task/2033/stat : 2033 (plingeling) R 2016 2018 1992 0 -1 4202560 6686 1246 0 0 3088 5 0 1 25 0 33 0 654064753 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4275873 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2018/tid=2034] ppid=2016 vsize=1206060 CPUtime=31.14 cores=0-31
/proc/2018/task/2034/stat : 2034 (plingeling) R 2016 2018 1992 0 -1 4202560 6506 1246 0 0 3107 6 0 1 25 0 33 0 654064754 1235005440 188286 268435456000 4194304 4417452 140737173165952 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2018/tid=2035] ppid=2016 vsize=1206060 CPUtime=31.16 cores=0-31
################
# More data... #
################
[pid=2018/tid=2050] ppid=2016 vsize=2821916 CPUtime=2235.34 cores=0-31
/proc/2018/task/2050/stat : 2050 (plingeling) R 2016 2018 1992 0 -1 4202560 177720 1246 0 0 223375 158 0 1 25 0 33 0 654064754 2889641984 592758 268435456000 4194304 4417452 140737173165952 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2018/tid=2051] ppid=2016 vsize=2821916 CPUtime=2231.76 cores=0-31
/proc/2018/task/2051/stat : 2051 (plingeling) R 2016 2018 1992 0 -1 4202560 150061 1246 0 0 223061 114 0 1 25 0 33 0 654064754 2889641984 592758 268435456000 4194304 4417452 140737173165952 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2018/tid=2052] ppid=2016 vsize=2821916 CPUtime=2227.45 cores=0-31
/proc/2018/task/2052/stat : 2052 (plingeling) R 2016 2018 1992 0 -1 4202560 195242 1246 0 0 222573 171 0 1 25 0 33 0 654064755 2889641984 592758 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2018/tid=2053] ppid=2016 vsize=2821916 CPUtime=2236.64 cores=0-31
/proc/2018/task/2053/stat : 2053 (plingeling) R 2016 2018 1992 0 -1 4202560 151854 1246 0 0 223556 107 0 1 25 0 33 0 654064755 2889641984 592758 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2018/tid=2054] ppid=2016 vsize=2821916 CPUtime=2232.02 cores=0-31
/proc/2018/task/2054/stat : 2054 (plingeling) R 2016 2018 1992 0 -1 4202560 163477 1246 0 0 223069 132 0 1 25 0 33 0 654064756 2889641984 592758 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2018/tid=2055] ppid=2016 vsize=2821916 CPUtime=2215.86 cores=0-31
/proc/2018/task/2055/stat : 2055 (plingeling) R 2016 2018 1992 0 -1 4202560 323465 1246 0 0 221357 228 0 1 25 0 33 0 654064756 2889641984 592758 268435456000 4194304 4417452 140737173165952 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2018/tid=2056] ppid=2016 vsize=2821916 CPUtime=2235.06 cores=0-31
/proc/2018/task/2056/stat : 2056 (plingeling) R 2016 2018 1992 0 -1 4202560 184338 1246 0 0 223340 165 0 1 25 0 33 0 654064756 2889641984 592758 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 71468.3
Current children cumulated vsize (KiB) 2821916
[startup+2259.2 s]
/proc/loadavg: 32.14 32.67 32.73 33/446 9106
/proc/meminfo: memFree=253209508/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=2816568 CPUtime=71519.5 cores=0-31
/proc/2018/stat : 2018 (plingeling) S 2016 2018 1992 0 -1 4202496 6643823 1246 0 0 7146820 5124 0 1 18 0 33 0 654062775 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/2018/statm: 704142 591421 175 55 0 702028 0
[pid=2018/tid=2025] ppid=2016 vsize=2816568 CPUtime=2238.48 cores=0-31
/proc/2018/task/2025/stat : 2025 (plingeling) R 2016 2018 1992 0 -1 4202560 165794 1246 0 0 223708 139 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2018/tid=2026] ppid=2016 vsize=2816568 CPUtime=2235.61 cores=0-31
/proc/2018/task/2026/stat : 2026 (plingeling) R 2016 2018 1992 0 -1 4202560 218791 1246 0 0 223374 186 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2018/tid=2027] ppid=2016 vsize=2816568 CPUtime=2235.18 cores=0-31
/proc/2018/task/2027/stat : 2027 (plingeling) R 2016 2018 1992 0 -1 4202560 131329 1246 0 0 223398 119 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2018/tid=2028] ppid=2016 vsize=2816568 CPUtime=2238.16 cores=0-31
/proc/2018/task/2028/stat : 2028 (plingeling) R 2016 2018 1992 0 -1 4202560 15034 1246 0 0 223783 32 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2018/tid=2029] ppid=2016 vsize=2816568 CPUtime=2233.03 cores=0-31
/proc/2018/task/2029/stat : 2029 (plingeling) R 2016 2018 1992 0 -1 4202560 224918 1246 0 0 223095 207 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2018/tid=2030] ppid=2016 vsize=2816568 CPUtime=2236.93 cores=0-31
/proc/2018/task/2030/stat : 2030 (plingeling) R 2016 2018 1992 0 -1 4202560 76572 1246 0 0 223667 25 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2018/tid=2031] ppid=2016 vsize=2816568 CPUtime=2236.84 cores=0-31
/proc/2018/task/2031/stat : 2031 (plingeling) R 2016 2018 1992 0 -1 4202560 288557 1246 0 0 223464 219 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2018/tid=2032] ppid=2016 vsize=2816568 CPUtime=2237.99 cores=0-31
/proc/2018/task/2032/stat : 2032 (plingeling) R 2016 2018 1992 0 -1 4202560 197407 1246 0 0 223645 153 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2018/tid=2033] ppid=2016 vsize=2816568 CPUtime=2228.71 cores=0-31
/proc/2018/task/2033/stat : 2033 (plingeling) R 2016 2018 1992 0 -1 4202560 179307 1246 0 0 222734 136 0 1 25 0 33 0 654064753 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2018/tid=2034] ppid=2016 vsize=2816568 CPUtime=2237.49 cores=0-31
/proc/2018/task/2034/stat : 2034 (plingeling) R 2016 2018 1992 0 -1 4202560 258646 1246 0 0 223519 229 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2018/tid=2035] ppid=2016 vsize=2816568 CPUtime=2237.94 cores=0-31
/proc/2018/task/2035/stat : 2035 (plingeling) R 2016 2018 1992 0 -1 4202560 226440 1246 0 0 223612 181 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4281653 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2018/tid=2036] ppid=2016 vsize=2816568 CPUtime=2238.28 cores=0-31
/proc/2018/task/2036/stat : 2036 (plingeling) R 2016 2018 1992 0 -1 4202560 83604 1246 0 0 223799 28 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2018/tid=2037] ppid=2016 vsize=2816568 CPUtime=2226.58 cores=0-31
/proc/2018/task/2037/stat : 2037 (plingeling) R 2016 2018 1992 0 -1 4202560 211121 1246 0 0 222483 174 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2018/tid=2038] ppid=2016 vsize=2816568 CPUtime=2238.38 cores=0-31
/proc/2018/task/2038/stat : 2038 (plingeling) R 2016 2018 1992 0 -1 4202560 76742 1246 0 0 223811 26 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2018/tid=2039] ppid=2016 vsize=2816568 CPUtime=2223.36 cores=0-31
/proc/2018/task/2039/stat : 2039 (plingeling) R 2016 2018 1992 0 -1 4202560 180054 1246 0 0 222176 159 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2018/tid=2040] ppid=2016 vsize=2816568 CPUtime=2227.68 cores=0-31
/proc/2018/task/2040/stat : 2040 (plingeling) R 2016 2018 1992 0 -1 4202560 309236 1246 0 0 222560 207 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2018/tid=2041] ppid=2016 vsize=2816568 CPUtime=2238.24 cores=0-31
/proc/2018/task/2041/stat : 2041 (plingeling) R 2016 2018 1992 0 -1 4202560 188382 1246 0 0 223658 165 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2018/tid=2042] ppid=2016 vsize=2816568 CPUtime=2238.38 cores=0-31
/proc/2018/task/2042/stat : 2042 (plingeling) R 2016 2018 1992 0 -1 4202560 166316 1246 0 0 223715 122 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2018/tid=2043] ppid=2016 vsize=2816568 CPUtime=2237.22 cores=0-31
/proc/2018/task/2043/stat : 2043 (plingeling) R 2016 2018 1992 0 -1 4202560 236106 1246 0 0 223509 212 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2018/tid=2044] ppid=2016 vsize=2816568 CPUtime=2226.96 cores=0-31
/proc/2018/task/2044/stat : 2044 (plingeling) R 2016 2018 1992 0 -1 4202560 255112 1246 0 0 222449 246 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2018/tid=2045] ppid=2016 vsize=2816568 CPUtime=2234.93 cores=0-31
/proc/2018/task/2045/stat : 2045 (plingeling) R 2016 2018 1992 0 -1 4202560 301107 1246 0 0 223194 298 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4281633 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2018/tid=2046] ppid=2016 vsize=2816568 CPUtime=2238.47 cores=0-31
/proc/2018/task/2046/stat : 2046 (plingeling) R 2016 2018 1992 0 -1 4202560 230436 1246 0 0 223626 220 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2018/tid=2047] ppid=2016 vsize=2816568 CPUtime=2236.73 cores=0-31
/proc/2018/task/2047/stat : 2047 (plingeling) R 2016 2018 1992 0 -1 4202560 188610 1246 0 0 223550 122 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2018/tid=2048] ppid=2016 vsize=2816568 CPUtime=2237.63 cores=0-31
/proc/2018/task/2048/stat : 2048 (plingeling) R 2016 2018 1992 0 -1 4202560 304468 1246 0 0 223529 233 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2018/tid=2049] ppid=2016 vsize=2816568 CPUtime=2235.15 cores=0-31
/proc/2018/task/2049/stat : 2049 (plingeling) R 2016 2018 1992 0 -1 4202560 151214 1246 0 0 223404 110 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2018/tid=2050] ppid=2016 vsize=2816568 CPUtime=2236.94 cores=0-31
/proc/2018/task/2050/stat : 2050 (plingeling) R 2016 2018 1992 0 -1 4202560 177720 1246 0 0 223535 158 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2018/tid=2051] ppid=2016 vsize=2816568 CPUtime=2233.36 cores=0-31
/proc/2018/task/2051/stat : 2051 (plingeling) R 2016 2018 1992 0 -1 4202560 150061 1246 0 0 223221 114 0 1 25 0 33 0 654064754 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2018/tid=2052] ppid=2016 vsize=2816568 CPUtime=2229.05 cores=0-31
/proc/2018/task/2052/stat : 2052 (plingeling) R 2016 2018 1992 0 -1 4202560 195242 1246 0 0 222733 171 0 1 25 0 33 0 654064755 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2018/tid=2053] ppid=2016 vsize=2816568 CPUtime=2238.24 cores=0-31
/proc/2018/task/2053/stat : 2053 (plingeling) R 2016 2018 1992 0 -1 4202560 151854 1246 0 0 223716 107 0 1 25 0 33 0 654064755 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2018/tid=2054] ppid=2016 vsize=2816568 CPUtime=2233.62 cores=0-31
/proc/2018/task/2054/stat : 2054 (plingeling) R 2016 2018 1992 0 -1 4202560 163477 1246 0 0 223229 132 0 1 25 0 33 0 654064756 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2018/tid=2055] ppid=2016 vsize=2816568 CPUtime=2217.46 cores=0-31
/proc/2018/task/2055/stat : 2055 (plingeling) R 2016 2018 1992 0 -1 4202560 323465 1246 0 0 221517 228 0 1 25 0 33 0 654064756 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2018/tid=2056] ppid=2016 vsize=2816568 CPUtime=2236.66 cores=0-31
/proc/2018/task/2056/stat : 2056 (plingeling) R 2016 2018 1992 0 -1 4202560 184338 1246 0 0 223500 165 0 1 25 0 33 0 654064756 2884165632 591421 268435456000 4194304 4417452 140737173165952 18446744073709551615 4321386 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 71519.5
Current children cumulated vsize (KiB) 2816568
[startup+2260 s]
/proc/loadavg: 32.14 32.67 32.73 33/446 9106
/proc/meminfo: memFree=253208764/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=2793016 CPUtime=71544.9 cores=0-31
/proc/2018/stat : 2018 (plingeling) S 2016 2018 1992 0 -1 4202496 6645174 1246 0 0 7149364 5124 0 1 18 0 28 0 654062775 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/2018/statm: 698254 585534 176 55 0 696140 0
[pid=2018/tid=2025] ppid=2016 vsize=2793016 CPUtime=2239.28 cores=0-31
/proc/2018/task/2025/stat : 2025 (plingeling) R 2016 2018 1992 0 -1 4202560 165794 1246 0 0 223788 139 0 1 25 0 28 0 654064753 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2018/tid=2026] ppid=2016 vsize=2793016 CPUtime=2236.41 cores=0-31
/proc/2018/task/2026/stat : 2026 (plingeling) R 2016 2018 1992 0 -1 4202560 218791 1246 0 0 223454 186 0 1 25 0 28 0 654064753 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2018/tid=2027] ppid=2016 vsize=2793016 CPUtime=2235.98 cores=0-31
/proc/2018/task/2027/stat : 2027 (plingeling) R 2016 2018 1992 0 -1 4202560 131329 1246 0 0 223478 119 0 1 25 0 28 0 654064753 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2018/tid=2030] ppid=2016 vsize=2793016 CPUtime=2237.73 cores=0-31
/proc/2018/task/2030/stat : 2030 (plingeling) R 2016 2018 1992 0 -1 4202560 76572 1246 0 0 223747 25 0 1 25 0 28 0 654064753 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2018/tid=2031] ppid=2016 vsize=2793016 CPUtime=2237.64 cores=0-31
/proc/2018/task/2031/stat : 2031 (plingeling) R 2016 2018 1992 0 -1 4202560 288557 1246 0 0 223544 219 0 1 25 0 28 0 654064753 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2018/tid=2032] ppid=2016 vsize=2793016 CPUtime=2238.79 cores=0-31
/proc/2018/task/2032/stat : 2032 (plingeling) R 2016 2018 1992 0 -1 4202560 197407 1246 0 0 223725 153 0 1 25 0 28 0 654064753 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2018/tid=2033] ppid=2016 vsize=2793016 CPUtime=2229.51 cores=0-31
/proc/2018/task/2033/stat : 2033 (plingeling) R 2016 2018 1992 0 -1 4202560 179307 1246 0 0 222814 136 0 1 25 0 28 0 654064753 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2018/tid=2035] ppid=2016 vsize=2793016 CPUtime=2238.73 cores=0-31
/proc/2018/task/2035/stat : 2035 (plingeling) R 2016 2018 1992 0 -1 4202560 226440 1246 0 0 223691 181 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2018/tid=2037] ppid=2016 vsize=2793016 CPUtime=2227.38 cores=0-31
/proc/2018/task/2037/stat : 2037 (plingeling) R 2016 2018 1992 0 -1 4202560 211121 1246 0 0 222563 174 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2018/tid=2038] ppid=2016 vsize=2793016 CPUtime=2239.18 cores=0-31
/proc/2018/task/2038/stat : 2038 (plingeling) R 2016 2018 1992 0 -1 4202560 76742 1246 0 0 223891 26 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2018/tid=2039] ppid=2016 vsize=2793016 CPUtime=2224.13 cores=0-31
/proc/2018/task/2039/stat : 2039 (plingeling) R 2016 2018 1992 0 -1 4202560 180054 1246 0 0 222253 159 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4366113 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2018/tid=2040] ppid=2016 vsize=2793016 CPUtime=2228.48 cores=0-31
/proc/2018/task/2040/stat : 2040 (plingeling) R 2016 2018 1992 0 -1 4202560 309236 1246 0 0 222640 207 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2018/tid=2041] ppid=2016 vsize=2793016 CPUtime=2239.04 cores=0-31
/proc/2018/task/2041/stat : 2041 (plingeling) R 2016 2018 1992 0 -1 4202560 188382 1246 0 0 223738 165 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2018/tid=2042] ppid=2016 vsize=2793016 CPUtime=2239.18 cores=0-31
/proc/2018/task/2042/stat : 2042 (plingeling) R 2016 2018 1992 0 -1 4202560 166316 1246 0 0 223795 122 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2018/tid=2043] ppid=2016 vsize=2793016 CPUtime=2238.02 cores=0-31
/proc/2018/task/2043/stat : 2043 (plingeling) R 2016 2018 1992 0 -1 4202560 236106 1246 0 0 223589 212 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2018/tid=2044] ppid=2016 vsize=2793016 CPUtime=2227.75 cores=0-31
/proc/2018/task/2044/stat : 2044 (plingeling) R 2016 2018 1992 0 -1 4202560 256460 1246 0 0 222528 246 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2018/tid=2045] ppid=2016 vsize=2793016 CPUtime=2235.73 cores=0-31
/proc/2018/task/2045/stat : 2045 (plingeling) R 2016 2018 1992 0 -1 4202560 301107 1246 0 0 223274 298 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2018/tid=2046] ppid=2016 vsize=2793016 CPUtime=2239.27 cores=0-31
/proc/2018/task/2046/stat : 2046 (plingeling) R 2016 2018 1992 0 -1 4202560 230436 1246 0 0 223706 220 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2018/tid=2047] ppid=2016 vsize=2793016 CPUtime=2237.53 cores=0-31
/proc/2018/task/2047/stat : 2047 (plingeling) R 2016 2018 1992 0 -1 4202560 188610 1246 0 0 223630 122 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2018/tid=2048] ppid=2016 vsize=2793016 CPUtime=2238.43 cores=0-31
/proc/2018/task/2048/stat : 2048 (plingeling) R 2016 2018 1992 0 -1 4202560 304468 1246 0 0 223609 233 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2018/tid=2049] ppid=2016 vsize=2793016 CPUtime=2235.95 cores=0-31
/proc/2018/task/2049/stat : 2049 (plingeling) R 2016 2018 1992 0 -1 4202560 151214 1246 0 0 223484 110 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2018/tid=2050] ppid=2016 vsize=2793016 CPUtime=2237.74 cores=0-31
/proc/2018/task/2050/stat : 2050 (plingeling) R 2016 2018 1992 0 -1 4202560 177720 1246 0 0 223615 158 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2018/tid=2051] ppid=2016 vsize=2793016 CPUtime=2234.16 cores=0-31
/proc/2018/task/2051/stat : 2051 (plingeling) R 2016 2018 1992 0 -1 4202560 150061 1246 0 0 223301 114 0 1 25 0 28 0 654064754 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2018/tid=2052] ppid=2016 vsize=2793016 CPUtime=2229.85 cores=0-31
/proc/2018/task/2052/stat : 2052 (plingeling) R 2016 2018 1992 0 -1 4202560 195242 1246 0 0 222813 171 0 1 25 0 28 0 654064755 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2018/tid=2053] ppid=2016 vsize=2793016 CPUtime=2239.04 cores=0-31
/proc/2018/task/2053/stat : 2053 (plingeling) R 2016 2018 1992 0 -1 4202560 151854 1246 0 0 223796 107 0 1 25 0 28 0 654064755 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2018/tid=2055] ppid=2016 vsize=2793016 CPUtime=2218.26 cores=0-31
/proc/2018/task/2055/stat : 2055 (plingeling) R 2016 2018 1992 0 -1 4202560 323465 1246 0 0 221597 228 0 1 25 0 28 0 654064756 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2018/tid=2056] ppid=2016 vsize=2793016 CPUtime=2237.46 cores=0-31
/proc/2018/task/2056/stat : 2056 (plingeling) R 2016 2018 1992 0 -1 4202560 184338 1246 0 0 223580 165 0 1 25 0 28 0 654064756 2860048384 585534 268435456000 4194304 4417452 140737173165952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 71544.9
Current children cumulated vsize (KiB) 2793016
[startup+2260.4 s]
/proc/loadavg: 32.14 32.67 32.73 33/446 9106
/proc/meminfo: memFree=253208764/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=1825280 CPUtime=71548.2 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 6646830 1246 0 0 7149689 5131 0 1 16 0 1 0 654062775 1869086720 415283 268435456000 4194304 4417452 140737173165952 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2018/statm: 456320 414993 176 55 0 454206 0
Current children cumulated CPU time (s) 71548.2
Current children cumulated vsize (KiB) 1825280
[startup+2260.5 s]
/proc/loadavg: 32.13 32.66 32.73 2/414 9106
/proc/meminfo: memFree=255016712/264257624 swapFree=67111528/67111528
[pid=2018] ppid=2016 vsize=888880 CPUtime=71548.3 cores=0-31
/proc/2018/stat : 2018 (plingeling) R 2016 2018 1992 0 -1 4202496 6646830 1246 0 0 7149689 5142 0 1 16 0 1 0 654062775 910213120 105351 268435456000 4194304 4417452 140737173165952 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2018/statm: 222220 105351 176 55 0 220106 0
Current children cumulated CPU time (s) 71548.3
Current children cumulated vsize (KiB) 888880
Child status: 20
Real time (s): 2260.55
CPU time (s): 71548.4
CPU user time (s): 71496.9
CPU system time (s): 51.4702
CPU usage (%): 3165.08
Max. virtual memory (cumulated for all children) (KiB): 2955896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71496.9
system time used= 51.4702
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6648080
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= 7374
involuntary context switches= 263995
runsolver used 12.2661 second user time and 52.318 second system time
The end
Begin job on node200 at 2011-05-15 04:16:04
IDJOB=3372111
IDBENCH=20384
IDSOLVER=1852
FILE ID=node200/3372111-1305425762
RUNJOBID= node200-1305425762-2006
PBS_JOBID= 13285500
Free space on /tmp= 62032 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372111-1305425762/watcher-3372111-1305425762 -o /tmp/evaluation-result-3372111-1305425762/solver-3372111-1305425762 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372111-1305425762.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 780d946576ec5746b4ea9832bb01dbc5
RANDOM SEED=61036670
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: 255569880 kB
Buffers: 438860 kB
Cached: 7847920 kB
SwapCached: 0 kB
Active: 7396736 kB
Inactive: 958680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255569880 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 19596 kB
Writeback: 0 kB
AnonPages: 70484 kB
Mapped: 13484 kB
Slab: 250668 kB
PageTables: 3992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184184 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= 62032 MiB
End job on node200 at 2011-05-15 04:53:44