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-3372468-1305649288/watcher-3372468-1305649288 -o /tmp/evaluation-result-3372468-1305649288/solver-3372468-1305649288 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372468-1305649288.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: 0.00 2.22 11.11 4/413 25712
/proc/meminfo: memFree=255486180/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=21264 CPUtime=0.02 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 3392 1250 0 0 2 0 0 0 21 0 1 0 676415380 21774336 3324 268435456000 4194304 4417452 140733745539904 18446744073709551615 4232537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 5316 3324 141 55 0 3202 0
[startup+0.0430099 s]
/proc/loadavg: 0.00 2.22 11.11 4/413 25712
/proc/meminfo: memFree=255486180/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=21264 CPUtime=0.03 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 3392 1250 0 0 3 0 0 0 21 0 1 0 676415380 21774336 3324 268435456000 4194304 4417452 140733745539904 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 5316 3324 141 55 0 3202 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21264
[startup+0.101014 s]
/proc/loadavg: 0.00 2.22 11.11 4/413 25712
/proc/meminfo: memFree=255486180/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=26332 CPUtime=0.08 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 4667 1250 0 0 8 0 0 0 21 0 1 0 676415380 26963968 4599 268435456000 4194304 4417452 140733745539904 18446744073709551615 4231413 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 6583 4599 141 55 0 4469 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26332
[startup+0.301019 s]
/proc/loadavg: 0.00 2.22 11.11 4/413 25712
/proc/meminfo: memFree=255486180/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=43128 CPUtime=0.29 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 8855 1250 0 0 28 1 0 0 22 0 1 0 676415380 44163072 8787 268435456000 4194304 4417452 140733745539904 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 10814 8811 146 55 0 8700 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43128
[startup+0.70103 s]
/proc/loadavg: 0.00 2.22 11.11 4/413 25712
/proc/meminfo: memFree=255486180/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=69132 CPUtime=0.69 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 15372 1250 0 0 67 2 0 0 23 0 1 0 676415380 70791168 15304 268435456000 4194304 4417452 140733745539904 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 17283 15304 146 55 0 15169 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69132
[startup+1.50108 s]
/proc/loadavg: 0.00 2.22 11.11 2/414 25718
/proc/meminfo: memFree=255383856/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=113260 CPUtime=1.49 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 26405 1250 0 0 145 4 0 0 25 0 1 0 676415380 115978240 26336 268435456000 4194304 4417452 140733745539904 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 28315 26336 146 55 0 26201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113260
[startup+3.10113 s]
/proc/loadavg: 0.08 2.20 11.06 2/414 25718
/proc/meminfo: memFree=255279328/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=222664 CPUtime=3.08 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 53773 1250 0 0 299 9 0 0 25 0 1 0 676415380 228007936 53655 268435456000 4194304 4417452 140733745539904 18446744073709551615 4259889 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 55666 53655 146 55 0 53552 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 222664
[startup+6.30123 s]
/proc/loadavg: 0.08 2.20 11.06 2/414 25718
/proc/meminfo: memFree=255063236/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=503788 CPUtime=6.29 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 124194 1250 0 0 603 26 0 0 25 0 1 0 676415380 515878912 123968 268435456000 4194304 4417452 140733745539904 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 125947 123968 146 55 0 123833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 503788
[startup+12.7004 s]
/proc/loadavg: 0.22 2.16 10.95 2/414 25718
/proc/meminfo: memFree=254742688/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=982796 CPUtime=12.68 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 244202 1250 0 0 1220 48 0 0 25 0 1 0 676415380 1006383104 243720 268435456000 4194304 4417452 140733745539904 18446744073709551615 4322280 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 245699 243720 146 55 0 243585 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 982796
[startup+25.5009 s]
/proc/loadavg: 0.34 2.12 10.84 2/414 25718
/proc/meminfo: memFree=253656324/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=1834764 CPUtime=25.48 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202496 457194 1250 0 0 2457 91 0 0 25 0 1 0 676415380 1878798336 456712 268435456000 4194304 4417452 140733745539904 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25712/statm: 458691 456712 146 55 0 456577 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1834764
[startup+51.1017 s]
/proc/loadavg: 9.50 4.07 11.25 33/446 25752
/proc/meminfo: memFree=253307440/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=2770392 CPUtime=719.43 cores=0-31
/proc/25712/stat : 25712 (plingeling) S 25710 25712 25686 0 -1 4202496 1276185 1250 0 0 70706 1237 0 0 18 0 33 0 676415380 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/25712/statm: 692598 542800 175 55 0 690484 0
[pid=25712/tid=25719] ppid=25710 vsize=2770392 CPUtime=21.65 cores=0-31
/proc/25712/task/25719/stat : 25719 (plingeling) R 25710 25712 25686 0 -1 4202560 27085 1250 0 0 2124 41 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25712/tid=25720] ppid=25710 vsize=2770392 CPUtime=21.62 cores=0-31
/proc/25712/task/25720/stat : 25720 (plingeling) R 25710 25712 25686 0 -1 4202560 28292 1250 0 0 2122 40 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25712/tid=25721] ppid=25710 vsize=2770392 CPUtime=21.43 cores=0-31
/proc/25712/task/25721/stat : 25721 (plingeling) R 25710 25712 25686 0 -1 4202560 31135 1250 0 0 2122 21 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4235295 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25712/tid=25722] ppid=25710 vsize=2770392 CPUtime=21.86 cores=0-31
/proc/25712/task/25722/stat : 25722 (plingeling) R 25710 25712 25686 0 -1 4202560 8861 1250 0 0 2173 13 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25712/tid=25723] ppid=25710 vsize=2770392 CPUtime=21.75 cores=0-31
/proc/25712/task/25723/stat : 25723 (plingeling) R 25710 25712 25686 0 -1 4202560 18186 1250 0 0 2148 27 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25712/tid=25724] ppid=25710 vsize=2770392 CPUtime=21.09 cores=0-31
/proc/25712/task/25724/stat : 25724 (plingeling) R 25710 25712 25686 0 -1 4202560 28649 1250 0 0 2072 37 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4319712 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25712/tid=25725] ppid=25710 vsize=2770392 CPUtime=21.83 cores=0-31
/proc/25712/task/25725/stat : 25725 (plingeling) R 25710 25712 25686 0 -1 4202560 18206 1250 0 0 2160 23 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25712/tid=25726] ppid=25710 vsize=2770392 CPUtime=21.57 cores=0-31
/proc/25712/task/25726/stat : 25726 (plingeling) R 25710 25712 25686 0 -1 4202560 27725 1250 0 0 2109 48 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25712/tid=25727] ppid=25710 vsize=2770392 CPUtime=21.6 cores=0-31
/proc/25712/task/25727/stat : 25727 (plingeling) R 25710 25712 25686 0 -1 4202560 26326 1250 0 0 2113 47 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249950 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25712/tid=25728] ppid=25710 vsize=2770392 CPUtime=21.85 cores=0-31
/proc/25712/task/25728/stat : 25728 (plingeling) R 25710 25712 25686 0 -1 4202560 23273 1250 0 0 2146 39 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236290 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25712/tid=25729] ppid=25710 vsize=2770392 CPUtime=22.19 cores=0-31
/proc/25712/task/25729/stat : 25729 (plingeling) R 25710 25712 25686 0 -1 4202560 25385 1250 0 0 2191 28 0 0 25 0 33 0 676418204 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25712/tid=25730] ppid=25710 vsize=2770392 CPUtime=21.33 cores=0-31
/proc/25712/task/25730/stat : 25730 (plingeling) R 25710 25712 25686 0 -1 4202560 28972 1250 0 0 2095 38 0 0 25 0 33 0 676418205 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4235411 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25712/tid=25731] ppid=25710 vsize=2770392 CPUtime=21.04 cores=0-31
/proc/25712/task/25731/stat : 25731 (plingeling) R 25710 25712 25686 0 -1 4202560 27330 1250 0 0 2065 39 0 0 25 0 33 0 676418205 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25712/tid=25732] ppid=25710 vsize=2770392 CPUtime=21.58 cores=0-31
/proc/25712/task/25732/stat : 25732 (plingeling) R 25710 25712 25686 0 -1 4202560 26449 1250 0 0 2130 28 0 0 25 0 33 0 676418205 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4258513 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25712/tid=25733] ppid=25710 vsize=2770392 CPUtime=21.68 cores=0-31
/proc/25712/task/25733/stat : 25733 (plingeling) R 25710 25712 25686 0 -1 4202560 28346 1250 0 0 2135 33 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25712/tid=25734] ppid=25710 vsize=2770392 CPUtime=21.4 cores=0-31
/proc/25712/task/25734/stat : 25734 (plingeling) R 25710 25712 25686 0 -1 4202560 28466 1250 0 0 2105 35 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4258418 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25712/tid=25735] ppid=25710 vsize=2770392 CPUtime=21.5 cores=0-31
/proc/25712/task/25735/stat : 25735 (plingeling) R 25710 25712 25686 0 -1 4202560 24544 1250 0 0 2107 43 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236290 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25712/tid=25736] ppid=25710 vsize=2770392 CPUtime=21.41 cores=0-31
/proc/25712/task/25736/stat : 25736 (plingeling) R 25710 25712 25686 0 -1 4202560 28201 1250 0 0 2108 33 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25712/tid=25737] ppid=25710 vsize=2770392 CPUtime=21.41 cores=0-31
/proc/25712/task/25737/stat : 25737 (plingeling) R 25710 25712 25686 0 -1 4202560 22481 1250 0 0 2111 30 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4258253 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25712/tid=25738] ppid=25710 vsize=2770392 CPUtime=21.33 cores=0-31
/proc/25712/task/25738/stat : 25738 (plingeling) R 25710 25712 25686 0 -1 4202560 28097 1250 0 0 2084 49 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4319149 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25712/tid=25739] ppid=25710 vsize=2770392 CPUtime=21.95 cores=0-31
/proc/25712/task/25739/stat : 25739 (plingeling) R 25710 25712 25686 0 -1 4202560 25464 1250 0 0 2148 47 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25712/tid=25740] ppid=25710 vsize=2770392 CPUtime=21.39 cores=0-31
/proc/25712/task/25740/stat : 25740 (plingeling) R 25710 25712 25686 0 -1 4202560 29048 1250 0 0 2099 40 0 0 25 0 33 0 676418206 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4336717 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25712/tid=25741] ppid=25710 vsize=2770392 CPUtime=22.22 cores=0-31
/proc/25712/task/25741/stat : 25741 (plingeling) R 25710 25712 25686 0 -1 4202560 11478 1250 0 0 2205 17 0 0 25 0 33 0 676418207 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25712/tid=25742] ppid=25710 vsize=2770392 CPUtime=21.54 cores=0-31
/proc/25712/task/25742/stat : 25742 (plingeling) R 25710 25712 25686 0 -1 4202560 29237 1250 0 0 2126 28 0 0 25 0 33 0 676418207 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25712/tid=25743] ppid=25710 vsize=2770392 CPUtime=21.72 cores=0-31
/proc/25712/task/25743/stat : 25743 (plingeling) R 25710 25712 25686 0 -1 4202560 24941 1250 0 0 2141 31 0 0 25 0 33 0 676418207 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25712/tid=25744] ppid=25710 vsize=2770392 CPUtime=21.78 cores=0-31
/proc/25712/task/25744/stat : 25744 (plingeling) R 25710 25712 25686 0 -1 4202560 29014 1250 0 0 2130 48 0 0 25 0 33 0 676418207 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25712/tid=25745] ppid=25710 vsize=2770392 CPUtime=21.92 cores=0-31
/proc/25712/task/25745/stat : 25745 (plingeling) R 25710 25712 25686 0 -1 4202560 25812 1250 0 0 2167 25 0 0 25 0 33 0 676418207 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4348404 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25712/tid=25746] ppid=25710 vsize=2770392 CPUtime=21.5 cores=0-31
/proc/25712/task/25746/stat : 25746 (plingeling) R 25710 25712 25686 0 -1 4202560 24542 1250 0 0 2108 42 0 0 25 0 33 0 676418207 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236290 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25712/tid=25747] ppid=25710 vsize=2770392 CPUtime=21.51 cores=0-31
/proc/25712/task/25747/stat : 25747 (plingeling) R 25710 25712 25686 0 -1 4202560 26038 1250 0 0 2116 35 0 0 25 0 33 0 676418207 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25712/tid=25748] ppid=25710 vsize=2770392 CPUtime=21.72 cores=0-31
/proc/25712/task/25748/stat : 25748 (plingeling) R 25710 25712 25686 0 -1 4202560 26203 1250 0 0 2123 49 0 0 25 0 33 0 676418208 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4211465 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25712/tid=25749] ppid=25710 vsize=2770392 CPUtime=20.98 cores=0-31
/proc/25712/task/25749/stat : 25749 (plingeling) R 25710 25712 25686 0 -1 4202560 31249 1250 0 0 2066 32 0 0 25 0 33 0 676418208 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4258632 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25712/tid=25750] ppid=25710 vsize=2770392 CPUtime=21.49 cores=0-31
/proc/25712/task/25750/stat : 25750 (plingeling) R 25710 25712 25686 0 -1 4202560 29918 1250 0 0 2108 41 0 0 25 0 33 0 676418208 2836881408 542800 268435456000 4194304 4417452 140733745539904 18446744073709551615 4249193 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 719.43
Current children cumulated vsize (KiB) 2770392
[startup+102.322 s]
/proc/loadavg: 23.23 8.84 12.47 33/446 25754
/proc/meminfo: memFree=252792412/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=3246216 CPUtime=2356.36 cores=0-31
/proc/25712/stat : 25712 (plingeling) S 25710 25712 25686 0 -1 4202496 1417768 1250 0 0 234297 1339 0 0 18 0 33 0 676415380 3324125184 674214 268435456000 4194304 4417452 140733745539904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/25712/statm: 811554 674214 175 55 0 809440 0
[pid=25712/tid=25719] ppid=25710 vsize=3246216 CPUtime=72.86 cores=0-31
/proc/25712/task/25719/stat : 25719 (plingeling) R 25710 25712 25686 0 -1 4202560 32020 1250 0 0 7244 42 0 0 25 0 33 0 676418204 3324125184 674214 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236616 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25712/tid=25720] ppid=25710 vsize=3246216 CPUtime=72.79 cores=0-31
/proc/25712/task/25720/stat : 25720 (plingeling) R 25710 25712 25686 0 -1 4202560 32953 1250 0 0 7234 45 0 0 25 0 33 0 676418204 3324125184 674214 268435456000 4194304 4417452 140733745539904 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25712/tid=25721] ppid=25710 vsize=3246216 CPUtime=72.64 cores=0-31
/proc/25712/task/25721/stat : 25721 (plingeling) R 25710 25712 25686 0 -1 4202560 32014 1250 0 0 7243 21 0 0 25 0 33 0 676418204 3324125184 674214 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25712/tid=25722] ppid=25710 vsize=3246216 CPUtime=73.07 cores=0-31
/proc/25712/task/25722/stat : 25722 (plingeling) R 25710 25712 25686 0 -1 4202560 19485 1250 0 0 7292 15 0 0 25 0 33 0 676418204 3324125184 674214 268435456000 4194304 4417452 140733745539904 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25712/tid=25723] ppid=25710 vsize=3246216 CPUtime=72.93 cores=0-31
/proc/25712/task/25723/stat : 25723 (plingeling) R 25710 25712 25686 0 -1 4202560 22756 1250 0 0 7264 29 0 0 25 0 33 0 676418204 3324125184 674214 268435456000 4194304 4417452 140733745539904 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25712/tid=25724] ppid=25710 vsize=3246216 CPUtime=70.94 cores=0-31
/proc/25712/task/25724/stat : 25724 (plingeling) R 25710 25712 25686 0 -1 4202560 33773 1250 0 0 7053 41 0 0 25 0 33 0 676418204 3324125184 674214 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 15446.8
Current children cumulated vsize (KiB) 5123244
[startup+513.502 s]
/proc/loadavg: 32.17 26.30 19.51 33/446 25767
/proc/meminfo: memFree=250966448/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=5126784 CPUtime=15497.9 cores=0-31
/proc/25712/stat : 25712 (plingeling) S 25710 25712 25686 0 -1 4202496 2382088 1250 0 0 1548150 1641 0 0 18 0 33 0 676415380 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/25712/statm: 1281696 1127667 175 55 0 1279582 0
[pid=25712/tid=25719] ppid=25710 vsize=5126784 CPUtime=483.95 cores=0-31
/proc/25712/task/25719/stat : 25719 (plingeling) R 25710 25712 25686 0 -1 4202560 47603 1250 0 0 48349 46 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25712/tid=25720] ppid=25710 vsize=5126784 CPUtime=483.48 cores=0-31
/proc/25712/task/25720/stat : 25720 (plingeling) R 25710 25712 25686 0 -1 4202560 67916 1250 0 0 48287 61 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25712/tid=25721] ppid=25710 vsize=5126784 CPUtime=483.72 cores=0-31
/proc/25712/task/25721/stat : 25721 (plingeling) R 25710 25712 25686 0 -1 4202560 49612 1250 0 0 48347 25 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25712/tid=25722] ppid=25710 vsize=5126784 CPUtime=484.17 cores=0-31
/proc/25712/task/25722/stat : 25722 (plingeling) R 25710 25712 25686 0 -1 4202560 101877 1250 0 0 48343 74 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25712/tid=25723] ppid=25710 vsize=5126784 CPUtime=484 cores=0-31
/proc/25712/task/25723/stat : 25723 (plingeling) R 25710 25712 25686 0 -1 4202560 33187 1250 0 0 48369 31 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25712/tid=25724] ppid=25710 vsize=5126784 CPUtime=476.6 cores=0-31
/proc/25712/task/25724/stat : 25724 (plingeling) R 25710 25712 25686 0 -1 4202560 65194 1250 0 0 47612 48 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4357229 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25712/tid=25725] ppid=25710 vsize=5126784 CPUtime=484.09 cores=0-31
/proc/25712/task/25725/stat : 25725 (plingeling) R 25710 25712 25686 0 -1 4202560 54586 1250 0 0 48371 38 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25712/tid=25726] ppid=25710 vsize=5126784 CPUtime=483.85 cores=0-31
/proc/25712/task/25726/stat : 25726 (plingeling) R 25710 25712 25686 0 -1 4202560 58092 1250 0 0 48329 56 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25712/tid=25727] ppid=25710 vsize=5126784 CPUtime=483.92 cores=0-31
/proc/25712/task/25727/stat : 25727 (plingeling) R 25710 25712 25686 0 -1 4202560 90125 1250 0 0 48323 69 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4277871 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25712/tid=25728] ppid=25710 vsize=5126784 CPUtime=484.16 cores=0-31
/proc/25712/task/25728/stat : 25728 (plingeling) R 25710 25712 25686 0 -1 4202560 38080 1250 0 0 48369 47 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25712/tid=25729] ppid=25710 vsize=5126784 CPUtime=484.5 cores=0-31
/proc/25712/task/25729/stat : 25729 (plingeling) R 25710 25712 25686 0 -1 4202560 53954 1250 0 0 48414 36 0 0 25 0 33 0 676418204 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25712/tid=25730] ppid=25710 vsize=5126784 CPUtime=483.64 cores=0-31
/proc/25712/task/25730/stat : 25730 (plingeling) R 25710 25712 25686 0 -1 4202560 84913 1250 0 0 48315 49 0 0 25 0 33 0 676418205 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25712/tid=25731] ppid=25710 vsize=5126784 CPUtime=482.07 cores=0-31
/proc/25712/task/25731/stat : 25731 (plingeling) R 25710 25712 25686 0 -1 4202560 50477 1250 0 0 48162 45 0 0 25 0 33 0 676418205 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25712/tid=25732] ppid=25710 vsize=5126784 CPUtime=483.84 cores=0-31
/proc/25712/task/25732/stat : 25732 (plingeling) R 25710 25712 25686 0 -1 4202560 71343 1250 0 0 48342 42 0 0 25 0 33 0 676418205 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25712/tid=25733] ppid=25710 vsize=5126784 CPUtime=483.98 cores=0-31
/proc/25712/task/25733/stat : 25733 (plingeling) R 25710 25712 25686 0 -1 4202560 56783 1250 0 0 48352 46 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281851 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25712/tid=25734] ppid=25710 vsize=5126784 CPUtime=483.67 cores=0-31
/proc/25712/task/25734/stat : 25734 (plingeling) R 25710 25712 25686 0 -1 4202560 49499 1250 0 0 48326 41 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236830 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25712/tid=25735] ppid=25710 vsize=5126784 CPUtime=483.82 cores=0-31
/proc/25712/task/25735/stat : 25735 (plingeling) R 25710 25712 25686 0 -1 4202560 66731 1250 0 0 48325 57 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4265411 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25712/tid=25736] ppid=25710 vsize=5126784 CPUtime=477.38 cores=0-31
/proc/25712/task/25736/stat : 25736 (plingeling) R 25710 25712 25686 0 -1 4202560 69389 1250 0 0 47691 47 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25712/tid=25737] ppid=25710 vsize=5126784 CPUtime=483.71 cores=0-31
/proc/25712/task/25737/stat : 25737 (plingeling) R 25710 25712 25686 0 -1 4202560 37950 1250 0 0 48333 38 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25712/tid=25738] ppid=25710 vsize=5126784 CPUtime=483.63 cores=0-31
/proc/25712/task/25738/stat : 25738 (plingeling) R 25710 25712 25686 0 -1 4202560 55954 1250 0 0 48301 62 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25712/tid=25739] ppid=25710 vsize=5126784 CPUtime=484.24 cores=0-31
/proc/25712/task/25739/stat : 25739 (plingeling) R 25710 25712 25686 0 -1 4202560 43626 1250 0 0 48364 60 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25712/tid=25740] ppid=25710 vsize=5126784 CPUtime=483.65 cores=0-31
/proc/25712/task/25740/stat : 25740 (plingeling) R 25710 25712 25686 0 -1 4202560 66240 1250 0 0 48314 51 0 0 25 0 33 0 676418206 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25712/tid=25741] ppid=25710 vsize=5126784 CPUtime=484.52 cores=0-31
/proc/25712/task/25741/stat : 25741 (plingeling) R 25710 25712 25686 0 -1 4202560 41132 1250 0 0 48429 23 0 0 25 0 33 0 676418207 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25712/tid=25742] ppid=25710 vsize=5126784 CPUtime=483.86 cores=0-31
/proc/25712/task/25742/stat : 25742 (plingeling) R 25710 25712 25686 0 -1 4202560 60352 1250 0 0 48346 40 0 0 25 0 33 0 676418207 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25712/tid=25743] ppid=25710 vsize=5126784 CPUtime=484.03 cores=0-31
/proc/25712/task/25743/stat : 25743 (plingeling) R 25710 25712 25686 0 -1 4202560 90664 1250 0 0 48355 48 0 0 25 0 33 0 676418207 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25712/tid=25744] ppid=25710 vsize=5126784 CPUtime=484.1 cores=0-31
/proc/25712/task/25744/stat : 25744 (plingeling) R 25710 25712 25686 0 -1 4202560 76254 1250 0 0 48347 63 0 0 25 0 33 0 676418207 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25712/tid=25745] ppid=25710 vsize=5126784 CPUtime=484.21 cores=0-31
/proc/25712/task/25745/stat : 25745 (plingeling) R 25710 25712 25686 0 -1 4202560 42309 1250 0 0 48391 30 0 0 25 0 33 0 676418207 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25712/tid=25746] ppid=25710 vsize=5126784 CPUtime=483.72 cores=0-31
/proc/25712/task/25746/stat : 25746 (plingeling) R 25710 25712 25686 0 -1 4202560 55858 1250 0 0 48319 53 0 0 25 0 33 0 676418207 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25712/tid=25747] ppid=25710 vsize=5126784 CPUtime=483.83 cores=0-31
/proc/25712/task/25747/stat : 25747 (plingeling) R 25710 25712 25686 0 -1 4202560 76235 1250 0 0 48328 55 0 0 25 0 33 0 676418207 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364500 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25712/tid=25748] ppid=25710 vsize=5126784 CPUtime=484.02 cores=0-31
/proc/25712/task/25748/stat : 25748 (plingeling) R 25710 25712 25686 0 -1 4202560 56332 1250 0 0 48342 60 0 0 25 0 33 0 676418208 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4355841 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25712/tid=25749] ppid=25710 vsize=5126784 CPUtime=483.28 cores=0-31
/proc/25712/task/25749/stat : 25749 (plingeling) R 25710 25712 25686 0 -1 4202560 57317 1250 0 0 48285 43 0 0 25 0 33 0 676418208 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25712/tid=25750] ppid=25710 vsize=5126784 CPUtime=483.74 cores=0-31
/proc/25712/task/25750/stat : 25750 (plingeling) R 25710 25712 25686 0 -1 4202560 55272 1250 0 0 48323 51 0 0 25 0 33 0 676418208 5249826816 1127667 268435456000 4194304 4417452 140733745539904 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 15497.9
Current children cumulated vsize (KiB) 5126784
[startup+514.302 s]
/proc/loadavg: 32.17 26.30 19.51 33/446 25767
/proc/meminfo: memFree=250966572/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=5126428 CPUtime=15523.5 cores=0-31
/proc/25712/stat : 25712 (plingeling) S 25710 25712 25686 0 -1 4202496 2382150 1250 0 0 1550707 1641 0 0 18 0 33 0 676415380 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/25712/statm: 1281607 1127445 175 55 0 1279493 0
[pid=25712/tid=25719] ppid=25710 vsize=5126428 CPUtime=484.75 cores=0-31
/proc/25712/task/25719/stat : 25719 (plingeling) R 25710 25712 25686 0 -1 4202560 47665 1250 0 0 48429 46 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236861 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25712/tid=25720] ppid=25710 vsize=5126428 CPUtime=484.28 cores=0-31
/proc/25712/task/25720/stat : 25720 (plingeling) R 25710 25712 25686 0 -1 4202560 67916 1250 0 0 48367 61 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25712/tid=25721] ppid=25710 vsize=5126428 CPUtime=484.52 cores=0-31
/proc/25712/task/25721/stat : 25721 (plingeling) R 25710 25712 25686 0 -1 4202560 49612 1250 0 0 48427 25 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25712/tid=25722] ppid=25710 vsize=5126428 CPUtime=484.97 cores=0-31
/proc/25712/task/25722/stat : 25722 (plingeling) R 25710 25712 25686 0 -1 4202560 101877 1250 0 0 48423 74 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25712/tid=25723] ppid=25710 vsize=5126428 CPUtime=484.8 cores=0-31
/proc/25712/task/25723/stat : 25723 (plingeling) R 25710 25712 25686 0 -1 4202560 33187 1250 0 0 48449 31 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25712/tid=25724] ppid=25710 vsize=5126428 CPUtime=477.4 cores=0-31
/proc/25712/task/25724/stat : 25724 (plingeling) R 25710 25712 25686 0 -1 4202560 65194 1250 0 0 47692 48 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4251024 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25712/tid=25725] ppid=25710 vsize=5126428 CPUtime=484.89 cores=0-31
/proc/25712/task/25725/stat : 25725 (plingeling) R 25710 25712 25686 0 -1 4202560 54586 1250 0 0 48451 38 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25712/tid=25726] ppid=25710 vsize=5126428 CPUtime=484.65 cores=0-31
/proc/25712/task/25726/stat : 25726 (plingeling) R 25710 25712 25686 0 -1 4202560 58092 1250 0 0 48409 56 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236755 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25712/tid=25727] ppid=25710 vsize=5126428 CPUtime=484.72 cores=0-31
/proc/25712/task/25727/stat : 25727 (plingeling) R 25710 25712 25686 0 -1 4202560 90125 1250 0 0 48403 69 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4325770 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25712/tid=25728] ppid=25710 vsize=5126428 CPUtime=484.96 cores=0-31
/proc/25712/task/25728/stat : 25728 (plingeling) R 25710 25712 25686 0 -1 4202560 38080 1250 0 0 48449 47 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25712/tid=25729] ppid=25710 vsize=5126428 CPUtime=485.3 cores=0-31
/proc/25712/task/25729/stat : 25729 (plingeling) R 25710 25712 25686 0 -1 4202560 53954 1250 0 0 48494 36 0 0 25 0 33 0 676418204 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25712/tid=25730] ppid=25710 vsize=5126428 CPUtime=484.44 cores=0-31
/proc/25712/task/25730/stat : 25730 (plingeling) R 25710 25712 25686 0 -1 4202560 84913 1250 0 0 48395 49 0 0 25 0 33 0 676418205 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25712/tid=25731] ppid=25710 vsize=5126428 CPUtime=482.87 cores=0-31
/proc/25712/task/25731/stat : 25731 (plingeling) R 25710 25712 25686 0 -1 4202560 50477 1250 0 0 48242 45 0 0 25 0 33 0 676418205 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25712/tid=25732] ppid=25710 vsize=5126428 CPUtime=484.64 cores=0-31
/proc/25712/task/25732/stat : 25732 (plingeling) R 25710 25712 25686 0 -1 4202560 71343 1250 0 0 48422 42 0 0 25 0 33 0 676418205 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4275711 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25712/tid=25733] ppid=25710 vsize=5126428 CPUtime=484.78 cores=0-31
/proc/25712/task/25733/stat : 25733 (plingeling) R 25710 25712 25686 0 -1 4202560 56783 1250 0 0 48432 46 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25712/tid=25734] ppid=25710 vsize=5126428 CPUtime=484.47 cores=0-31
/proc/25712/task/25734/stat : 25734 (plingeling) R 25710 25712 25686 0 -1 4202560 49499 1250 0 0 48406 41 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25712/tid=25735] ppid=25710 vsize=5126428 CPUtime=484.62 cores=0-31
/proc/25712/task/25735/stat : 25735 (plingeling) R 25710 25712 25686 0 -1 4202560 66731 1250 0 0 48405 57 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4302950 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25712/tid=25736] ppid=25710 vsize=5126428 CPUtime=478.15 cores=0-31
/proc/25712/task/25736/stat : 25736 (plingeling) R 25710 25712 25686 0 -1 4202560 69389 1250 0 0 47768 47 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25712/tid=25737] ppid=25710 vsize=5126428 CPUtime=484.51 cores=0-31
/proc/25712/task/25737/stat : 25737 (plingeling) R 25710 25712 25686 0 -1 4202560 37950 1250 0 0 48413 38 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25712/tid=25738] ppid=25710 vsize=5126428 CPUtime=484.43 cores=0-31
/proc/25712/task/25738/stat : 25738 (plingeling) R 25710 25712 25686 0 -1 4202560 55954 1250 0 0 48381 62 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25712/tid=25739] ppid=25710 vsize=5126428 CPUtime=485.04 cores=0-31
/proc/25712/task/25739/stat : 25739 (plingeling) R 25710 25712 25686 0 -1 4202560 43626 1250 0 0 48444 60 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25712/tid=25740] ppid=25710 vsize=5126428 CPUtime=484.45 cores=0-31
/proc/25712/task/25740/stat : 25740 (plingeling) R 25710 25712 25686 0 -1 4202560 66240 1250 0 0 48394 51 0 0 25 0 33 0 676418206 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25712/tid=25741] ppid=25710 vsize=5126428 CPUtime=485.32 cores=0-31
/proc/25712/task/25741/stat : 25741 (plingeling) R 25710 25712 25686 0 -1 4202560 41132 1250 0 0 48509 23 0 0 25 0 33 0 676418207 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25712/tid=25742] ppid=25710 vsize=5126428 CPUtime=484.66 cores=0-31
/proc/25712/task/25742/stat : 25742 (plingeling) R 25710 25712 25686 0 -1 4202560 60352 1250 0 0 48426 40 0 0 25 0 33 0 676418207 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25712/tid=25743] ppid=25710 vsize=5126428 CPUtime=484.83 cores=0-31
/proc/25712/task/25743/stat : 25743 (plingeling) R 25710 25712 25686 0 -1 4202560 90664 1250 0 0 48435 48 0 0 25 0 33 0 676418207 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25712/tid=25744] ppid=25710 vsize=5126428 CPUtime=484.9 cores=0-31
/proc/25712/task/25744/stat : 25744 (plingeling) R 25710 25712 25686 0 -1 4202560 76254 1250 0 0 48427 63 0 0 25 0 33 0 676418207 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25712/tid=25745] ppid=25710 vsize=5126428 CPUtime=485.01 cores=0-31
/proc/25712/task/25745/stat : 25745 (plingeling) R 25710 25712 25686 0 -1 4202560 42309 1250 0 0 48471 30 0 0 25 0 33 0 676418207 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25712/tid=25746] ppid=25710 vsize=5126428 CPUtime=484.52 cores=0-31
/proc/25712/task/25746/stat : 25746 (plingeling) R 25710 25712 25686 0 -1 4202560 55858 1250 0 0 48399 53 0 0 25 0 33 0 676418207 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25712/tid=25747] ppid=25710 vsize=5126428 CPUtime=484.63 cores=0-31
/proc/25712/task/25747/stat : 25747 (plingeling) R 25710 25712 25686 0 -1 4202560 76235 1250 0 0 48408 55 0 0 25 0 33 0 676418207 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25712/tid=25748] ppid=25710 vsize=5126428 CPUtime=484.82 cores=0-31
/proc/25712/task/25748/stat : 25748 (plingeling) R 25710 25712 25686 0 -1 4202560 56332 1250 0 0 48422 60 0 0 25 0 33 0 676418208 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25712/tid=25749] ppid=25710 vsize=5126428 CPUtime=484.08 cores=0-31
/proc/25712/task/25749/stat : 25749 (plingeling) R 25710 25712 25686 0 -1 4202560 57317 1250 0 0 48365 43 0 0 25 0 33 0 676418208 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25712/tid=25750] ppid=25710 vsize=5126428 CPUtime=484.54 cores=0-31
/proc/25712/task/25750/stat : 25750 (plingeling) R 25710 25712 25686 0 -1 4202560 55272 1250 0 0 48403 51 0 0 25 0 33 0 676418208 5249462272 1127445 268435456000 4194304 4417452 140733745539904 18446744073709551615 4281957 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 15523.5
Current children cumulated vsize (KiB) 5126428
[startup+515.102 s]
/proc/loadavg: 32.17 26.30 19.51 33/446 25767
/proc/meminfo: memFree=250967580/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=5074680 CPUtime=15546.7 cores=0-31
/proc/25712/stat : 25712 (plingeling) S 25710 25712 25686 0 -1 4202496 2382182 1250 0 0 1553028 1641 0 0 17 0 3 0 676415380 5196472320 1126966 268435456000 4194304 4417452 140733745539904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 21 0 0 0
/proc/25712/statm: 1268670 1126966 176 55 0 1266556 0
[pid=25712/tid=25727] ppid=25710 vsize=5074680 CPUtime=485.52 cores=0-31
/proc/25712/task/25727/stat : 25727 (plingeling) R 25710 25712 25686 0 -1 4202560 90125 1250 0 0 48483 69 0 0 25 0 3 0 676418204 5196472320 1126966 268435456000 4194304 4417452 140733745539904 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25712/tid=25749] ppid=25710 vsize=5074680 CPUtime=484.88 cores=0-31
/proc/25712/task/25749/stat : 25749 (plingeling) R 25710 25712 25686 0 -1 4202560 57317 1250 0 0 48445 43 0 0 25 0 3 0 676418208 5196472320 1126966 268435456000 4194304 4417452 140733745539904 18446744073709551615 4275482 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 15546.7
Current children cumulated vsize (KiB) 5074680
[startup+515.501 s]
/proc/loadavg: 32.17 26.30 19.51 33/446 25767
/proc/meminfo: memFree=250967580/264257624 swapFree=67111528/67111528
[pid=25712] ppid=25710 vsize=0 CPUtime=15547.2 cores=0-31
/proc/25712/stat : 25712 (plingeling) R 25710 25712 25686 0 -1 4202500 2382186 1250 0 0 1553047 1671 0 0 16 0 1 0 676415380 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 21 0 0 0
/proc/25712/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 15547.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 515.572
CPU time (s): 15547.3
CPU user time (s): 15530.5
CPU system time (s): 16.7894
CPU usage (%): 3015.54
Max. virtual memory (cumulated for all children) (KiB): 5128016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15530.5
system time used= 16.7894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2383436
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= 5763
involuntary context switches= 39183
runsolver used 2.84057 second user time and 12.0322 second system time
The end
Begin job on node200 at 2011-05-17 18:21:30
IDJOB=3372468
IDBENCH=82403
IDSOLVER=1852
FILE ID=node200/3372468-1305649288
RUNJOBID= node200-1305649266-25700
PBS_JOBID= 13354308
Free space on /tmp= 62012 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372468-1305649288/watcher-3372468-1305649288 -o /tmp/evaluation-result-3372468-1305649288/solver-3372468-1305649288 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372468-1305649288.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a85b6db657886fb2a1a46ae1fe4d7999
RANDOM SEED=1497350553
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: 255486344 kB
Buffers: 449220 kB
Cached: 7919232 kB
SwapCached: 0 kB
Active: 7436688 kB
Inactive: 1000224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255486344 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 40392 kB
Writeback: 0 kB
AnonPages: 69172 kB
Mapped: 14464 kB
Slab: 252044 kB
PageTables: 4192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187264 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= 62012 MiB
End job on node200 at 2011-05-17 18:30:05