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-3372573-1305685043/watcher-3372573-1305685043 -o /tmp/evaluation-result-3372573-1305685043/solver-3372573-1305685043 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372573-1305685043.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: 17.20 26.63 30.05 1/413 29695
/proc/meminfo: memFree=255496180/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=12520 CPUtime=0.03 cores=0-31
/proc/29695/stat : 29695 (plingeling) R 29693 29695 29539 0 -1 4202496 1212 1240 0 0 2 0 0 1 21 0 1 0 679990797 12820480 1142 268435456000 4194304 4417452 140735426151664 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29695/statm: 3130 1142 145 55 0 1016 0
[startup+0.12286 s]
/proc/loadavg: 17.20 26.63 30.05 1/413 29695
/proc/meminfo: memFree=255496180/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=19532 CPUtime=0.11 cores=0-31
/proc/29695/stat : 29695 (plingeling) R 29693 29695 29539 0 -1 4202496 2973 1240 0 0 10 0 0 1 21 0 1 0 679990797 20000768 2903 268435456000 4194304 4417452 140735426151664 18446744073709551615 4231392 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29695/statm: 4883 2903 145 55 0 2769 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19532
[startup+0.200862 s]
/proc/loadavg: 17.20 26.63 30.05 1/413 29695
/proc/meminfo: memFree=255496180/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=26664 CPUtime=0.19 cores=0-31
/proc/29695/stat : 29695 (plingeling) R 29693 29695 29539 0 -1 4202496 4785 1240 0 0 17 1 0 1 21 0 1 0 679990797 27303936 4687 268435456000 4194304 4417452 140735426151664 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29695/statm: 6698 4702 146 55 0 4584 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26664
[startup+0.300863 s]
/proc/loadavg: 17.20 26.63 30.05 1/413 29695
/proc/meminfo: memFree=255496180/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=35840 CPUtime=0.3 cores=0-31
/proc/29695/stat : 29695 (plingeling) R 29693 29695 29539 0 -1 4202496 7069 1240 0 0 27 2 0 1 22 0 1 0 679990797 36700160 6971 268435456000 4194304 4417452 140735426151664 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29695/statm: 8993 6985 146 55 0 6879 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 35840
[startup+0.700872 s]
/proc/loadavg: 17.20 26.63 30.05 1/413 29695
/proc/meminfo: memFree=255496180/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=64748 CPUtime=0.69 cores=0-31
/proc/29695/stat : 29695 (plingeling) R 29693 29695 29539 0 -1 4202496 14306 1240 0 0 64 4 0 1 23 0 1 0 679990797 66301952 14208 268435456000 4194304 4417452 140735426151664 18446744073709551615 4209661 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29695/statm: 16187 14208 146 55 0 14073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64748
[startup+1.5009 s]
/proc/loadavg: 17.20 26.63 30.05 2/414 29701
/proc/meminfo: memFree=255413812/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=152180 CPUtime=1.5 cores=0-31
/proc/29695/stat : 29695 (plingeling) R 29693 29695 29539 0 -1 4202496 36166 1240 0 0 140 9 0 1 25 0 1 0 679990797 155832320 36066 268435456000 4194304 4417452 140735426151664 18446744073709551615 4232464 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29695/statm: 38045 36066 146 55 0 35931 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 152180
[startup+3.10082 s]
/proc/loadavg: 17.20 26.63 30.05 2/414 29701
/proc/meminfo: memFree=255276272/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=914500 CPUtime=11.82 cores=0-31
/proc/29695/stat : 29695 (plingeling) S 29693 29695 29539 0 -1 4202496 118955 1240 0 0 1111 70 0 1 18 0 33 0 679990797 936448000 72167 268435456000 4194304 4417452 140735426151664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29695/statm: 228625 72204 168 55 0 226511 0
Current children cumulated CPU time (s) 11.82
Current children cumulated vsize (KiB) 914500
[startup+6.30193 s]
/proc/loadavg: 18.46 26.74 30.07 33/446 29733
/proc/meminfo: memFree=255131228/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=959180 CPUtime=114.06 cores=0-31
/proc/29695/stat : 29695 (plingeling) S 29693 29695 29539 0 -1 4202496 206924 1240 0 0 11308 97 0 1 18 0 33 0 679990797 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29695/statm: 239795 91569 173 55 0 237681 0
[pid=29695/tid=29702] ppid=29693 vsize=959180 CPUtime=3.51 cores=0-31
/proc/29695/task/29702/stat : 29702 (plingeling) R 29693 29695 29539 0 -1 4202560 3970 1240 0 0 348 2 0 1 25 0 33 0 679991073 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4274888 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29695/tid=29703] ppid=29693 vsize=959180 CPUtime=3.51 cores=0-31
/proc/29695/task/29703/stat : 29703 (plingeling) R 29693 29695 29539 0 -1 4202560 3660 1240 0 0 348 2 0 1 25 0 33 0 679991073 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4302036 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29695/tid=29704] ppid=29693 vsize=959180 CPUtime=3.49 cores=0-31
/proc/29695/task/29704/stat : 29704 (plingeling) R 29693 29695 29539 0 -1 4202560 3042 1240 0 0 346 2 0 1 25 0 33 0 679991073 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29695/tid=29705] ppid=29693 vsize=959180 CPUtime=3.51 cores=0-31
/proc/29695/task/29705/stat : 29705 (plingeling) R 29693 29695 29539 0 -1 4202560 1007 1240 0 0 350 0 0 1 25 0 33 0 679991073 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29695/tid=29706] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29706/stat : 29706 (plingeling) R 29693 29695 29539 0 -1 4202560 6471 1240 0 0 344 3 0 1 25 0 33 0 679991073 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4234260 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29695/tid=29707] ppid=29693 vsize=959180 CPUtime=3.49 cores=0-31
/proc/29695/task/29707/stat : 29707 (plingeling) R 29693 29695 29539 0 -1 4202560 4468 1240 0 0 345 3 0 1 25 0 33 0 679991073 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4234260 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29695/tid=29708] ppid=29693 vsize=959180 CPUtime=3.47 cores=0-31
/proc/29695/task/29708/stat : 29708 (plingeling) R 29693 29695 29539 0 -1 4202560 2566 1240 0 0 343 3 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29695/tid=29709] ppid=29693 vsize=959180 CPUtime=3.5 cores=0-31
/proc/29695/task/29709/stat : 29709 (plingeling) R 29693 29695 29539 0 -1 4202560 6387 1240 0 0 346 3 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346306 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29695/tid=29710] ppid=29693 vsize=959180 CPUtime=3.49 cores=0-31
/proc/29695/task/29710/stat : 29710 (plingeling) R 29693 29695 29539 0 -1 4202560 7117 1240 0 0 345 3 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29695/tid=29711] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29711/stat : 29711 (plingeling) R 29693 29695 29539 0 -1 4202560 3768 1240 0 0 344 3 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346524 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29695/tid=29712] ppid=29693 vsize=959180 CPUtime=3.47 cores=0-31
/proc/29695/task/29712/stat : 29712 (plingeling) R 29693 29695 29539 0 -1 4202560 3997 1240 0 0 344 2 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29695/tid=29713] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29713/stat : 29713 (plingeling) R 29693 29695 29539 0 -1 4202560 4149 1240 0 0 345 2 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346069 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29695/tid=29714] ppid=29693 vsize=959180 CPUtime=3.49 cores=0-31
/proc/29695/task/29714/stat : 29714 (plingeling) R 29693 29695 29539 0 -1 4202560 3434 1240 0 0 345 3 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29695/tid=29715] ppid=29693 vsize=959180 CPUtime=3.51 cores=0-31
/proc/29695/task/29715/stat : 29715 (plingeling) R 29693 29695 29539 0 -1 4202560 4827 1240 0 0 348 2 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4302036 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29695/tid=29716] ppid=29693 vsize=959180 CPUtime=3.5 cores=0-31
/proc/29695/task/29716/stat : 29716 (plingeling) R 29693 29695 29539 0 -1 4202560 3265 1240 0 0 347 2 0 1 22 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4345943 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29695/tid=29717] ppid=29693 vsize=959180 CPUtime=3.5 cores=0-31
/proc/29695/task/29717/stat : 29717 (plingeling) R 29693 29695 29539 0 -1 4202560 2664 1240 0 0 347 2 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29695/tid=29718] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29718/stat : 29718 (plingeling) R 29693 29695 29539 0 -1 4202560 3899 1240 0 0 346 1 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4255595 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29695/tid=29719] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29719/stat : 29719 (plingeling) R 29693 29695 29539 0 -1 4202560 7262 1240 0 0 344 3 0 1 25 0 33 0 679991074 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29695/tid=29720] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29720/stat : 29720 (plingeling) R 29693 29695 29539 0 -1 4202560 2315 1240 0 0 346 1 0 1 25 0 33 0 679991075 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29721/stat : 29721 (plingeling) R 29693 29695 29539 0 -1 4202560 4032 1240 0 0 345 2 0 1 25 0 33 0 679991076 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4234289 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29695/tid=29722] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29722/stat : 29722 (plingeling) R 29693 29695 29539 0 -1 4202560 3881 1240 0 0 345 2 0 1 25 0 33 0 679991076 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29695/tid=29723] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29723/stat : 29723 (plingeling) R 29693 29695 29539 0 -1 4202560 4256 1240 0 0 344 3 0 1 25 0 33 0 679991076 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29695/tid=29724] ppid=29693 vsize=959180 CPUtime=3.45 cores=0-31
/proc/29695/task/29724/stat : 29724 (plingeling) R 29693 29695 29539 0 -1 4202560 3356 1240 0 0 343 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4283508 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29695/tid=29725] ppid=29693 vsize=959180 CPUtime=3.44 cores=0-31
/proc/29695/task/29725/stat : 29725 (plingeling) R 29693 29695 29539 0 -1 4202560 5424 1240 0 0 342 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29695/tid=29726] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29726/stat : 29726 (plingeling) R 29693 29695 29539 0 -1 4202560 2879 1240 0 0 346 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4234260 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29695/tid=29727] ppid=29693 vsize=959180 CPUtime=3.46 cores=0-31
/proc/29695/task/29727/stat : 29727 (plingeling) R 29693 29695 29539 0 -1 4202560 8016 1240 0 0 342 3 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4265992 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29695/tid=29728] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29728/stat : 29728 (plingeling) R 29693 29695 29539 0 -1 4202560 2416 1240 0 0 346 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346546 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29695/tid=29729] ppid=29693 vsize=959180 CPUtime=3.48 cores=0-31
/proc/29695/task/29729/stat : 29729 (plingeling) R 29693 29695 29539 0 -1 4202560 3357 1240 0 0 346 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4317337 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29695/tid=29730] ppid=29693 vsize=959180 CPUtime=3.46 cores=0-31
/proc/29695/task/29730/stat : 29730 (plingeling) R 29693 29695 29539 0 -1 4202560 10079 1240 0 0 342 3 0 1 24 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29695/tid=29731] ppid=29693 vsize=959180 CPUtime=3.47 cores=0-31
/proc/29695/task/29731/stat : 29731 (plingeling) R 29693 29695 29539 0 -1 4202560 3047 1240 0 0 345 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4317237 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29695/tid=29732] ppid=29693 vsize=959180 CPUtime=3.44 cores=0-31
/proc/29695/task/29732/stat : 29732 (plingeling) R 29693 29695 29539 0 -1 4202560 3284 1240 0 0 342 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29695/tid=29733] ppid=29693 vsize=959180 CPUtime=3.37 cores=0-31
/proc/29695/task/29733/stat : 29733 (plingeling) R 29693 29695 29539 0 -1 4202560 3245 1240 0 0 335 1 0 1 25 0 33 0 679991077 982200320 91569 268435456000 4194304 4417452 140735426151664 18446744073709551615 4261381 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 114.06
Current children cumulated vsize (KiB) 959180
[startup+12.7021 s]
/proc/loadavg: 19.55 26.82 30.08 33/446 29733
/proc/meminfo: memFree=255064256/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=957872 CPUtime=316.19 cores=0-31
/proc/29695/stat : 29695 (plingeling) S 29693 29695 29539 0 -1 4202496 247884 1240 0 0 31466 152 0 1 18 0 33 0 679990797 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29695/statm: 239468 101895 175 55 0 237354 0
[pid=29695/tid=29702] ppid=29693 vsize=957872 CPUtime=9.74 cores=0-31
/proc/29695/task/29702/stat : 29702 (plingeling) R 29693 29695 29539 0 -1 4202560 6247 1240 0 0 971 2 0 1 25 0 33 0 679991073 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29695/tid=29703] ppid=29693 vsize=957872 CPUtime=9.75 cores=0-31
/proc/29695/task/29703/stat : 29703 (plingeling) R 29693 29695 29539 0 -1 4202560 4690 1240 0 0 968 6 0 1 25 0 33 0 679991073 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4356843 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29695/tid=29704] ppid=29693 vsize=957872 CPUtime=9.89 cores=0-31
/proc/29695/task/29704/stat : 29704 (plingeling) R 29693 29695 29539 0 -1 4202560 4612 1240 0 0 986 2 0 1 25 0 33 0 679991073 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4326931 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29695/tid=29705] ppid=29693 vsize=957872 CPUtime=9.91 cores=0-31
/proc/29695/task/29705/stat : 29705 (plingeling) R 29693 29695 29539 0 -1 4202560 1007 1240 0 0 990 0 0 1 25 0 33 0 679991073 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29695/tid=29706] ppid=29693 vsize=957872 CPUtime=9.79 cores=0-31
/proc/29695/task/29706/stat : 29706 (plingeling) R 29693 29695 29539 0 -1 4202560 7510 1240 0 0 972 6 0 1 25 0 33 0 679991073 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29695/tid=29707] ppid=29693 vsize=957872 CPUtime=9.78 cores=0-31
/proc/29695/task/29707/stat : 29707 (plingeling) R 29693 29695 29539 0 -1 4202560 5507 1240 0 0 972 5 0 1 25 0 33 0 679991073 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29695/tid=29708] ppid=29693 vsize=957872 CPUtime=9.83 cores=0-31
/proc/29695/task/29708/stat : 29708 (plingeling) R 29693 29695 29539 0 -1 4202560 4265 1240 0 0 979 3 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4275873 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29695/tid=29709] ppid=29693 vsize=957872 CPUtime=9.7 cores=0-31
/proc/29695/task/29709/stat : 29709 (plingeling) R 29693 29695 29539 0 -1 4202560 7425 1240 0 0 965 4 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29695/tid=29710] ppid=29693 vsize=957872 CPUtime=9.72 cores=0-31
/proc/29695/task/29710/stat : 29710 (plingeling) R 29693 29695 29539 0 -1 4202560 8276 1240 0 0 964 7 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29695/tid=29711] ppid=29693 vsize=957872 CPUtime=9.82 cores=0-31
/proc/29695/task/29711/stat : 29711 (plingeling) R 29693 29695 29539 0 -1 4202560 5600 1240 0 0 977 4 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4237639 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29695/tid=29712] ppid=29693 vsize=957872 CPUtime=9.87 cores=0-31
/proc/29695/task/29712/stat : 29712 (plingeling) R 29693 29695 29539 0 -1 4202560 4277 1240 0 0 984 2 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29695/tid=29713] ppid=29693 vsize=957872 CPUtime=9.84 cores=0-31
/proc/29695/task/29713/stat : 29713 (plingeling) R 29693 29695 29539 0 -1 4202560 5179 1240 0 0 978 5 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29695/tid=29714] ppid=29693 vsize=957872 CPUtime=9.81 cores=0-31
/proc/29695/task/29714/stat : 29714 (plingeling) R 29693 29695 29539 0 -1 4202560 5291 1240 0 0 975 5 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29695/tid=29715] ppid=29693 vsize=957872 CPUtime=9.75 cores=0-31
/proc/29695/task/29715/stat : 29715 (plingeling) R 29693 29695 29539 0 -1 4202560 5866 1240 0 0 972 2 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29695/tid=29716] ppid=29693 vsize=957872 CPUtime=9.9 cores=0-31
/proc/29695/task/29716/stat : 29716 (plingeling) R 29693 29695 29539 0 -1 4202560 4431 1240 0 0 987 2 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29695/tid=29717] ppid=29693 vsize=957872 CPUtime=9.8 cores=0-31
/proc/29695/task/29717/stat : 29717 (plingeling) R 29693 29695 29539 0 -1 4202560 3694 1240 0 0 974 5 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4232791 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29695/tid=29718] ppid=29693 vsize=957872 CPUtime=9.88 cores=0-31
/proc/29695/task/29718/stat : 29718 (plingeling) R 29693 29695 29539 0 -1 4202560 4938 1240 0 0 986 1 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29695/tid=29719] ppid=29693 vsize=957872 CPUtime=9.73 cores=0-31
/proc/29695/task/29719/stat : 29719 (plingeling) R 29693 29695 29539 0 -1 4202560 9152 1240 0 0 967 5 0 1 25 0 33 0 679991074 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4283554 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29695/tid=29720] ppid=29693 vsize=957872 CPUtime=9.88 cores=0-31
/proc/29695/task/29720/stat : 29720 (plingeling) R 29693 29695 29539 0 -1 4202560 3252 1240 0 0 986 1 0 1 25 0 33 0 679991075 980860928 101895 268435456000 4194304 4417452 140735426151664 18446744073709551615 4302020 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29693 vsize=957872 CPUtime=9.81 cores=0-31
################
# More data... #
################
/proc/29695/task/29712/stat : 29712 (plingeling) R 29693 29695 29539 0 -1 4202560 75067 1240 0 0 214629 21 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4236891 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29695/tid=29713] ppid=29693 vsize=4392172 CPUtime=2149.95 cores=0-31
/proc/29695/task/29713/stat : 29713 (plingeling) R 29693 29695 29539 0 -1 4202560 233745 1240 0 0 214754 240 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29695/tid=29714] ppid=29693 vsize=4392172 CPUtime=2147.32 cores=0-31
/proc/29695/task/29714/stat : 29714 (plingeling) R 29693 29695 29539 0 -1 4202560 170634 1240 0 0 214650 81 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29695/tid=29715] ppid=29693 vsize=4392172 CPUtime=2149.76 cores=0-31
/proc/29695/task/29715/stat : 29715 (plingeling) R 29693 29695 29539 0 -1 4202560 377242 1240 0 0 214623 352 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29695/tid=29716] ppid=29693 vsize=4392172 CPUtime=2149.82 cores=0-31
/proc/29695/task/29716/stat : 29716 (plingeling) R 29693 29695 29539 0 -1 4202560 215291 1240 0 0 214832 149 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29695/tid=29717] ppid=29693 vsize=4392172 CPUtime=2148.71 cores=0-31
/proc/29695/task/29717/stat : 29717 (plingeling) R 29693 29695 29539 0 -1 4202560 78253 1240 0 0 214779 91 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29695/tid=29718] ppid=29693 vsize=4392172 CPUtime=2149.45 cores=0-31
/proc/29695/task/29718/stat : 29718 (plingeling) R 29693 29695 29539 0 -1 4202560 241094 1240 0 0 214824 120 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29695/tid=29719] ppid=29693 vsize=4392172 CPUtime=2146.55 cores=0-31
/proc/29695/task/29719/stat : 29719 (plingeling) R 29693 29695 29539 0 -1 4202560 96510 1240 0 0 214563 91 0 1 25 0 33 0 679991074 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4199443 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29695/tid=29720] ppid=29693 vsize=4392172 CPUtime=2149.92 cores=0-31
/proc/29695/task/29720/stat : 29720 (plingeling) R 29693 29695 29539 0 -1 4202560 113422 1240 0 0 214915 76 0 1 25 0 33 0 679991075 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4346383 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29693 vsize=4392172 CPUtime=2149.42 cores=0-31
/proc/29695/task/29721/stat : 29721 (plingeling) R 29693 29695 29539 0 -1 4202560 171687 1240 0 0 214812 129 0 1 25 0 33 0 679991076 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29695/tid=29722] ppid=29693 vsize=4392172 CPUtime=2137.45 cores=0-31
/proc/29695/task/29722/stat : 29722 (plingeling) R 29693 29695 29539 0 -1 4202560 87267 1240 0 0 213689 55 0 1 25 0 33 0 679991076 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29695/tid=29723] ppid=29693 vsize=4392172 CPUtime=2149.58 cores=0-31
/proc/29695/task/29723/stat : 29723 (plingeling) R 29693 29695 29539 0 -1 4202560 216551 1240 0 0 214776 181 0 1 25 0 33 0 679991076 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29695/tid=29724] ppid=29693 vsize=4392172 CPUtime=2149.48 cores=0-31
/proc/29695/task/29724/stat : 29724 (plingeling) R 29693 29695 29539 0 -1 4202560 108549 1240 0 0 214855 92 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29695/tid=29725] ppid=29693 vsize=4392172 CPUtime=2149.68 cores=0-31
/proc/29695/task/29725/stat : 29725 (plingeling) R 29693 29695 29539 0 -1 4202560 213164 1240 0 0 214818 149 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29695/tid=29726] ppid=29693 vsize=4392172 CPUtime=2149.27 cores=0-31
/proc/29695/task/29726/stat : 29726 (plingeling) R 29693 29695 29539 0 -1 4202560 246662 1240 0 0 214791 135 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29695/tid=29727] ppid=29693 vsize=4392172 CPUtime=2148.37 cores=0-31
/proc/29695/task/29727/stat : 29727 (plingeling) R 29693 29695 29539 0 -1 4202560 207995 1240 0 0 214671 165 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29695/tid=29728] ppid=29693 vsize=4392172 CPUtime=2149.1 cores=0-31
/proc/29695/task/29728/stat : 29728 (plingeling) R 29693 29695 29539 0 -1 4202560 152686 1240 0 0 214807 102 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29695/tid=29729] ppid=29693 vsize=4392172 CPUtime=2149.03 cores=0-31
/proc/29695/task/29729/stat : 29729 (plingeling) R 29693 29695 29539 0 -1 4202560 147696 1240 0 0 214762 140 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364427 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29695/tid=29730] ppid=29693 vsize=4392172 CPUtime=2149.72 cores=0-31
/proc/29695/task/29730/stat : 29730 (plingeling) R 29693 29695 29539 0 -1 4202560 300551 1240 0 0 214686 285 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29695/tid=29731] ppid=29693 vsize=4392172 CPUtime=2146.29 cores=0-31
/proc/29695/task/29731/stat : 29731 (plingeling) R 29693 29695 29539 0 -1 4202560 335484 1240 0 0 214347 281 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29695/tid=29732] ppid=29693 vsize=4392172 CPUtime=2144.09 cores=0-31
/proc/29695/task/29732/stat : 29732 (plingeling) R 29693 29695 29539 0 -1 4202560 209837 1240 0 0 214266 142 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29695/tid=29733] ppid=29693 vsize=4392172 CPUtime=2144.19 cores=0-31
/proc/29695/task/29733/stat : 29733 (plingeling) R 29693 29695 29539 0 -1 4202560 325940 1240 0 0 214131 287 0 1 25 0 33 0 679991077 4497584128 960743 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 68729.6
Current children cumulated vsize (KiB) 4392172
[startup+2155.2 s]
/proc/loadavg: 32.04 32.04 31.83 33/446 29792
/proc/meminfo: memFree=251664608/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=4379596 CPUtime=68780.7 cores=0-31
/proc/29695/stat : 29695 (plingeling) S 29693 29695 29539 0 -1 4202496 5896445 1240 0 0 6873543 4526 0 1 18 0 33 0 679990797 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29695/statm: 1094899 957599 175 55 0 1092785 0
[pid=29695/tid=29702] ppid=29693 vsize=4379596 CPUtime=2147.89 cores=0-31
/proc/29695/task/29702/stat : 29702 (plingeling) R 29693 29695 29539 0 -1 4202560 114576 1240 0 0 214702 86 0 1 25 0 33 0 679991073 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29695/tid=29703] ppid=29693 vsize=4379596 CPUtime=2150.73 cores=0-31
/proc/29695/task/29703/stat : 29703 (plingeling) R 29693 29695 29539 0 -1 4202560 289222 1240 0 0 214770 302 0 1 25 0 33 0 679991073 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29695/tid=29704] ppid=29693 vsize=4379596 CPUtime=2149.86 cores=0-31
/proc/29695/task/29704/stat : 29704 (plingeling) R 29693 29695 29539 0 -1 4202560 125490 1240 0 0 214934 51 0 1 25 0 33 0 679991073 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29695/tid=29705] ppid=29693 vsize=4379596 CPUtime=2144.96 cores=0-31
/proc/29695/task/29705/stat : 29705 (plingeling) R 29693 29695 29539 0 -1 4202560 58941 1240 0 0 214432 63 0 1 25 0 33 0 679991073 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29695/tid=29706] ppid=29693 vsize=4379596 CPUtime=2148.21 cores=0-31
/proc/29695/task/29706/stat : 29706 (plingeling) R 29693 29695 29539 0 -1 4202560 90999 1240 0 0 214724 96 0 1 25 0 33 0 679991073 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29695/tid=29707] ppid=29693 vsize=4379596 CPUtime=2150.82 cores=0-31
/proc/29695/task/29707/stat : 29707 (plingeling) R 29693 29695 29539 0 -1 4202560 177846 1240 0 0 214943 138 0 1 25 0 33 0 679991073 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29695/tid=29708] ppid=29693 vsize=4379596 CPUtime=2149.82 cores=0-31
/proc/29695/task/29708/stat : 29708 (plingeling) R 29693 29695 29539 0 -1 4202560 159729 1240 0 0 214877 104 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29695/tid=29709] ppid=29693 vsize=4379596 CPUtime=2143.69 cores=0-31
/proc/29695/task/29709/stat : 29709 (plingeling) R 29693 29695 29539 0 -1 4202560 118345 1240 0 0 214290 78 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29695/tid=29710] ppid=29693 vsize=4379596 CPUtime=2151.76 cores=0-31
/proc/29695/task/29710/stat : 29710 (plingeling) R 29693 29695 29539 0 -1 4202560 267732 1240 0 0 215032 143 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29695/tid=29711] ppid=29693 vsize=4379596 CPUtime=2151.39 cores=0-31
/proc/29695/task/29711/stat : 29711 (plingeling) R 29693 29695 29539 0 -1 4202560 95902 1240 0 0 215070 68 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29695/tid=29712] ppid=29693 vsize=4379596 CPUtime=2148.11 cores=0-31
/proc/29695/task/29712/stat : 29712 (plingeling) R 29693 29695 29539 0 -1 4202560 75067 1240 0 0 214789 21 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29695/tid=29713] ppid=29693 vsize=4379596 CPUtime=2151.55 cores=0-31
/proc/29695/task/29713/stat : 29713 (plingeling) R 29693 29695 29539 0 -1 4202560 233745 1240 0 0 214914 240 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29695/tid=29714] ppid=29693 vsize=4379596 CPUtime=2148.92 cores=0-31
/proc/29695/task/29714/stat : 29714 (plingeling) R 29693 29695 29539 0 -1 4202560 170634 1240 0 0 214810 81 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29695/tid=29715] ppid=29693 vsize=4379596 CPUtime=2151.36 cores=0-31
/proc/29695/task/29715/stat : 29715 (plingeling) R 29693 29695 29539 0 -1 4202560 377242 1240 0 0 214783 352 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29695/tid=29716] ppid=29693 vsize=4379596 CPUtime=2151.42 cores=0-31
/proc/29695/task/29716/stat : 29716 (plingeling) R 29693 29695 29539 0 -1 4202560 215291 1240 0 0 214992 149 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29695/tid=29717] ppid=29693 vsize=4379596 CPUtime=2150.31 cores=0-31
/proc/29695/task/29717/stat : 29717 (plingeling) R 29693 29695 29539 0 -1 4202560 78253 1240 0 0 214939 91 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29695/tid=29718] ppid=29693 vsize=4379596 CPUtime=2151.06 cores=0-31
/proc/29695/task/29718/stat : 29718 (plingeling) R 29693 29695 29539 0 -1 4202560 242046 1240 0 0 214984 121 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29695/tid=29719] ppid=29693 vsize=4379596 CPUtime=2148.15 cores=0-31
/proc/29695/task/29719/stat : 29719 (plingeling) R 29693 29695 29539 0 -1 4202560 96510 1240 0 0 214723 91 0 1 25 0 33 0 679991074 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29695/tid=29720] ppid=29693 vsize=4379596 CPUtime=2151.52 cores=0-31
/proc/29695/task/29720/stat : 29720 (plingeling) R 29693 29695 29539 0 -1 4202560 113422 1240 0 0 215075 76 0 1 25 0 33 0 679991075 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29693 vsize=4379596 CPUtime=2151.02 cores=0-31
/proc/29695/task/29721/stat : 29721 (plingeling) R 29693 29695 29539 0 -1 4202560 171687 1240 0 0 214972 129 0 1 25 0 33 0 679991076 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29695/tid=29722] ppid=29693 vsize=4379596 CPUtime=2139.05 cores=0-31
/proc/29695/task/29722/stat : 29722 (plingeling) R 29693 29695 29539 0 -1 4202560 87267 1240 0 0 213849 55 0 1 25 0 33 0 679991076 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29695/tid=29723] ppid=29693 vsize=4379596 CPUtime=2151.18 cores=0-31
/proc/29695/task/29723/stat : 29723 (plingeling) R 29693 29695 29539 0 -1 4202560 216551 1240 0 0 214936 181 0 1 25 0 33 0 679991076 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29695/tid=29724] ppid=29693 vsize=4379596 CPUtime=2151.08 cores=0-31
/proc/29695/task/29724/stat : 29724 (plingeling) R 29693 29695 29539 0 -1 4202560 108549 1240 0 0 215015 92 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29695/tid=29725] ppid=29693 vsize=4379596 CPUtime=2151.28 cores=0-31
/proc/29695/task/29725/stat : 29725 (plingeling) R 29693 29695 29539 0 -1 4202560 213164 1240 0 0 214978 149 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364412 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29695/tid=29726] ppid=29693 vsize=4379596 CPUtime=2150.87 cores=0-31
/proc/29695/task/29726/stat : 29726 (plingeling) R 29693 29695 29539 0 -1 4202560 246662 1240 0 0 214951 135 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29695/tid=29727] ppid=29693 vsize=4379596 CPUtime=2149.97 cores=0-31
/proc/29695/task/29727/stat : 29727 (plingeling) R 29693 29695 29539 0 -1 4202560 207995 1240 0 0 214831 165 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29695/tid=29728] ppid=29693 vsize=4379596 CPUtime=2150.7 cores=0-31
/proc/29695/task/29728/stat : 29728 (plingeling) R 29693 29695 29539 0 -1 4202560 152686 1240 0 0 214967 102 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29695/tid=29729] ppid=29693 vsize=4379596 CPUtime=2150.63 cores=0-31
/proc/29695/task/29729/stat : 29729 (plingeling) R 29693 29695 29539 0 -1 4202560 147696 1240 0 0 214922 140 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29695/tid=29730] ppid=29693 vsize=4379596 CPUtime=2151.32 cores=0-31
/proc/29695/task/29730/stat : 29730 (plingeling) R 29693 29695 29539 0 -1 4202560 300551 1240 0 0 214846 285 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29695/tid=29731] ppid=29693 vsize=4379596 CPUtime=2147.89 cores=0-31
/proc/29695/task/29731/stat : 29731 (plingeling) R 29693 29695 29539 0 -1 4202560 335484 1240 0 0 214507 281 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29695/tid=29732] ppid=29693 vsize=4379596 CPUtime=2145.69 cores=0-31
/proc/29695/task/29732/stat : 29732 (plingeling) R 29693 29695 29539 0 -1 4202560 209837 1240 0 0 214426 142 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29695/tid=29733] ppid=29693 vsize=4379596 CPUtime=2145.79 cores=0-31
/proc/29695/task/29733/stat : 29733 (plingeling) R 29693 29695 29539 0 -1 4202560 325940 1240 0 0 214291 287 0 1 25 0 33 0 679991077 4484706304 957599 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 68780.7
Current children cumulated vsize (KiB) 4379596
[startup+2155.6 s]
/proc/loadavg: 32.04 32.04 31.83 33/446 29792
/proc/meminfo: memFree=251664608/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=4348800 CPUtime=68793.1 cores=0-31
/proc/29695/stat : 29695 (plingeling) S 29693 29695 29539 0 -1 4202496 5896446 1240 0 0 6874782 4526 0 1 18 0 18 0 679990797 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29695/statm: 1087200 949901 176 55 0 1085086 0
[pid=29695/tid=29704] ppid=29693 vsize=4348800 CPUtime=2150.26 cores=0-31
/proc/29695/task/29704/stat : 29704 (plingeling) R 29693 29695 29539 0 -1 4202560 125490 1240 0 0 214974 51 0 1 25 0 18 0 679991073 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29695/tid=29706] ppid=29693 vsize=4348800 CPUtime=2148.61 cores=0-31
/proc/29695/task/29706/stat : 29706 (plingeling) R 29693 29695 29539 0 -1 4202560 90999 1240 0 0 214764 96 0 1 25 0 18 0 679991073 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29695/tid=29708] ppid=29693 vsize=4348800 CPUtime=2150.22 cores=0-31
/proc/29695/task/29708/stat : 29708 (plingeling) R 29693 29695 29539 0 -1 4202560 159729 1240 0 0 214917 104 0 1 25 0 18 0 679991074 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29695/tid=29710] ppid=29693 vsize=4348800 CPUtime=2152.16 cores=0-31
/proc/29695/task/29710/stat : 29710 (plingeling) R 29693 29695 29539 0 -1 4202560 267732 1240 0 0 215072 143 0 1 25 0 18 0 679991074 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29695/tid=29711] ppid=29693 vsize=4348800 CPUtime=2151.79 cores=0-31
/proc/29695/task/29711/stat : 29711 (plingeling) R 29693 29695 29539 0 -1 4202560 95902 1240 0 0 215110 68 0 1 25 0 18 0 679991074 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29695/tid=29713] ppid=29693 vsize=4348800 CPUtime=2151.95 cores=0-31
/proc/29695/task/29713/stat : 29713 (plingeling) R 29693 29695 29539 0 -1 4202560 233745 1240 0 0 214954 240 0 1 25 0 18 0 679991074 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4357959 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29695/tid=29714] ppid=29693 vsize=4348800 CPUtime=2149.32 cores=0-31
/proc/29695/task/29714/stat : 29714 (plingeling) R 29693 29695 29539 0 -1 4202560 170634 1240 0 0 214850 81 0 1 25 0 18 0 679991074 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29695/tid=29715] ppid=29693 vsize=4348800 CPUtime=2151.76 cores=0-31
/proc/29695/task/29715/stat : 29715 (plingeling) R 29693 29695 29539 0 -1 4202560 377242 1240 0 0 214823 352 0 1 25 0 18 0 679991074 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29695/tid=29719] ppid=29693 vsize=4348800 CPUtime=2148.55 cores=0-31
/proc/29695/task/29719/stat : 29719 (plingeling) R 29693 29695 29539 0 -1 4202560 96510 1240 0 0 214763 91 0 1 25 0 18 0 679991074 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29695/tid=29721] ppid=29693 vsize=4348800 CPUtime=2151.42 cores=0-31
/proc/29695/task/29721/stat : 29721 (plingeling) R 29693 29695 29539 0 -1 4202560 171687 1240 0 0 215012 129 0 1 25 0 18 0 679991076 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364791 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29695/tid=29724] ppid=29693 vsize=4348800 CPUtime=2151.48 cores=0-31
/proc/29695/task/29724/stat : 29724 (plingeling) R 29693 29695 29539 0 -1 4202560 108549 1240 0 0 215055 92 0 1 25 0 18 0 679991077 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29695/tid=29725] ppid=29693 vsize=4348800 CPUtime=2151.68 cores=0-31
/proc/29695/task/29725/stat : 29725 (plingeling) R 29693 29695 29539 0 -1 4202560 213164 1240 0 0 215018 149 0 1 25 0 18 0 679991077 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29695/tid=29729] ppid=29693 vsize=4348800 CPUtime=2151.03 cores=0-31
/proc/29695/task/29729/stat : 29729 (plingeling) R 29693 29695 29539 0 -1 4202560 147696 1240 0 0 214962 140 0 1 25 0 18 0 679991077 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4357376 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29695/tid=29730] ppid=29693 vsize=4348800 CPUtime=2151.71 cores=0-31
/proc/29695/task/29730/stat : 29730 (plingeling) R 29693 29695 29539 0 -1 4202560 300551 1240 0 0 214885 285 0 1 25 0 18 0 679991077 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4277632 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29695/tid=29731] ppid=29693 vsize=4348800 CPUtime=2148.29 cores=0-31
/proc/29695/task/29731/stat : 29731 (plingeling) R 29693 29695 29539 0 -1 4202560 335484 1240 0 0 214547 281 0 1 25 0 18 0 679991077 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29695/tid=29732] ppid=29693 vsize=4348800 CPUtime=2146.09 cores=0-31
/proc/29695/task/29732/stat : 29732 (plingeling) R 29693 29695 29539 0 -1 4202560 209837 1240 0 0 214466 142 0 1 25 0 18 0 679991077 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29695/tid=29733] ppid=29693 vsize=4348800 CPUtime=2146.19 cores=0-31
/proc/29695/task/29733/stat : 29733 (plingeling) R 29693 29695 29539 0 -1 4202560 325940 1240 0 0 214331 287 0 1 25 0 17 0 679991077 4453171200 949901 268435456000 4194304 4417452 140735426151664 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 68793.1
Current children cumulated vsize (KiB) 4348800
[startup+2156 s]
/proc/loadavg: 32.04 32.04 31.83 2/414 29792
/proc/meminfo: memFree=255135120/264257624 swapFree=67111528/67111528
[pid=29695] ppid=29693 vsize=0 CPUtime=68794 cores=0-31
/proc/29695/stat : 29695 (plingeling) R 29693 29695 29539 0 -1 4202500 5896450 1240 0 0 6874835 4562 0 1 17 0 1 0 679990797 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/29695/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 68794
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2156.04
CPU time (s): 68794
CPU user time (s): 68748.4
CPU system time (s): 45.6391
CPU usage (%): 3190.76
Max. virtual memory (cumulated for all children) (KiB): 4763804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68748.4
system time used= 45.6391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5897690
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= 16582
involuntary context switches= 173822
runsolver used 10.5404 second user time and 50.3333 second system time
The end
Begin job on node200 at 2011-05-18 04:17:24
IDJOB=3372573
IDBENCH=82466
IDSOLVER=1852
FILE ID=node200/3372573-1305685043
RUNJOBID= node200-1305684983-29553
PBS_JOBID= 13357378
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372573-1305685043/watcher-3372573-1305685043 -o /tmp/evaluation-result-3372573-1305685043/solver-3372573-1305685043 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372573-1305685043.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=1691552808
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: 255496576 kB
Buffers: 451728 kB
Cached: 7889384 kB
SwapCached: 0 kB
Active: 7402108 kB
Inactive: 1008040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255496576 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 2308 kB
Writeback: 0 kB
AnonPages: 69752 kB
Mapped: 14476 kB
Slab: 251884 kB
PageTables: 4312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 169176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62048 MiB
End job on node200 at 2011-05-18 04:53:20