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-3372639-1305698657/watcher-3372639-1305698657 -o /tmp/evaluation-result-3372639-1305698657/solver-3372639-1305698657 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372639-1305698657.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: 15.08 23.73 27.23 1/413 31690
/proc/meminfo: memFree=255503532/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=20128 CPUtime=0.02 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 3088 1240 0 0 2 0 0 0 21 0 1 0 681352383 20611072 3019 268435456000 4194304 4417452 140736625770672 18446744073709551615 4231657 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 5032 3019 144 55 0 2918 0
[startup+0.0841 s]
/proc/loadavg: 15.08 23.73 27.23 1/413 31690
/proc/meminfo: memFree=255503532/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=30712 CPUtime=0.06 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 5735 1240 0 0 6 0 0 0 21 0 1 0 681352383 31449088 5666 268435456000 4194304 4417452 140736625770672 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 7678 5666 145 55 0 5564 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30712
[startup+0.101087 s]
/proc/loadavg: 15.08 23.73 27.23 1/413 31690
/proc/meminfo: memFree=255503532/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=30712 CPUtime=0.08 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 5735 1240 0 0 8 0 0 0 21 0 1 0 681352383 31449088 5666 268435456000 4194304 4417452 140736625770672 18446744073709551615 4232648 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 7678 5666 145 55 0 5564 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30712
[startup+0.301103 s]
/proc/loadavg: 15.08 23.73 27.23 1/413 31690
/proc/meminfo: memFree=255503532/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=51532 CPUtime=0.29 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 10972 1240 0 0 27 2 0 0 22 0 1 0 681352383 52768768 10903 268435456000 4194304 4417452 140736625770672 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 12883 10903 145 55 0 10769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51532
[startup+0.701111 s]
/proc/loadavg: 15.08 23.73 27.23 1/413 31690
/proc/meminfo: memFree=255503532/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=102476 CPUtime=0.68 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 23541 1240 0 0 64 4 0 0 24 0 1 0 681352383 104935424 23455 268435456000 4194304 4417452 140736625770672 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 25619 23472 145 55 0 23505 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 102476
[startup+1.50116 s]
/proc/loadavg: 15.08 23.73 27.23 2/414 31696
/proc/meminfo: memFree=255308456/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=260008 CPUtime=1.49 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 63365 1240 0 0 137 12 0 0 25 0 1 0 681352383 266248192 63023 268435456000 4194304 4417452 140736625770672 18446744073709551615 4260012 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 65002 63023 146 55 0 62888 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 260008
[startup+3.10119 s]
/proc/loadavg: 15.08 23.73 27.23 2/414 31696
/proc/meminfo: memFree=255150100/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=424876 CPUtime=3.09 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 104582 1240 0 0 289 20 0 0 25 0 1 0 681352383 435073024 104240 268435456000 4194304 4417452 140736625770672 18446744073709551615 4323407 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 106219 104240 146 55 0 104105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 424876
[startup+6.30036 s]
/proc/loadavg: 13.95 23.36 27.09 2/414 31696
/proc/meminfo: memFree=254821316/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=703404 CPUtime=6.28 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 173318 1240 0 0 596 32 0 0 25 0 1 0 681352383 720285696 172976 268435456000 4194304 4417452 140736625770672 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 175851 172993 146 55 0 173737 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 703404
[startup+12.7006 s]
/proc/loadavg: 12.92 22.99 26.95 2/414 31696
/proc/meminfo: memFree=254297212/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=1276844 CPUtime=12.68 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 317331 1240 0 0 1207 61 0 0 25 0 1 0 681352383 1307488256 316989 268435456000 4194304 4417452 140736625770672 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/31690/statm: 319211 317008 146 55 0 317097 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1276844
[startup+25.5019 s]
/proc/loadavg: 17.14 23.43 27.03 33/446 31728
/proc/meminfo: memFree=253888728/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=2211096 CPUtime=404.64 cores=0-31
/proc/31690/stat : 31690 (plingeling) S 31688 31690 31664 0 -1 4202496 526023 1240 0 0 40316 148 0 0 18 0 33 0 681352383 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/31690/statm: 552774 395850 175 55 0 550660 0
[pid=31690/tid=31697] ppid=31688 vsize=2211096 CPUtime=12.29 cores=0-31
/proc/31690/task/31697/stat : 31697 (plingeling) R 31688 31690 31664 0 -1 4202560 2077 1240 0 0 1228 1 0 0 25 0 33 0 681353700 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31690/tid=31698] ppid=31688 vsize=2211096 CPUtime=12.29 cores=0-31
/proc/31690/task/31698/stat : 31698 (plingeling) R 31688 31690 31664 0 -1 4202560 1112 1240 0 0 1228 1 0 0 25 0 33 0 681353700 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31690/tid=31699] ppid=31688 vsize=2211096 CPUtime=12.24 cores=0-31
/proc/31690/task/31699/stat : 31699 (plingeling) R 31688 31690 31664 0 -1 4202560 3918 1240 0 0 1216 8 0 0 25 0 33 0 681353700 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31690/tid=31700] ppid=31688 vsize=2211096 CPUtime=12.33 cores=0-31
/proc/31690/task/31700/stat : 31700 (plingeling) R 31688 31690 31664 0 -1 4202560 142 1240 0 0 1233 0 0 0 25 0 33 0 681353700 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366447 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31690/tid=31701] ppid=31688 vsize=2211096 CPUtime=12.26 cores=0-31
/proc/31690/task/31701/stat : 31701 (plingeling) R 31688 31690 31664 0 -1 4202560 2266 1240 0 0 1225 1 0 0 25 0 33 0 681353700 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31690/tid=31702] ppid=31688 vsize=2211096 CPUtime=12.29 cores=0-31
/proc/31690/task/31702/stat : 31702 (plingeling) R 31688 31690 31664 0 -1 4202560 2524 1240 0 0 1228 1 0 0 25 0 33 0 681353700 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4354594 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31690/tid=31703] ppid=31688 vsize=2211096 CPUtime=12.29 cores=0-31
/proc/31690/task/31703/stat : 31703 (plingeling) R 31688 31690 31664 0 -1 4202560 1833 1240 0 0 1229 0 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31690/tid=31704] ppid=31688 vsize=2211096 CPUtime=12.25 cores=0-31
/proc/31690/task/31704/stat : 31704 (plingeling) R 31688 31690 31664 0 -1 4202560 4597 1240 0 0 1223 2 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31690/tid=31705] ppid=31688 vsize=2211096 CPUtime=12.23 cores=0-31
/proc/31690/task/31705/stat : 31705 (plingeling) R 31688 31690 31664 0 -1 4202560 4932 1240 0 0 1221 2 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31690/tid=31706] ppid=31688 vsize=2211096 CPUtime=12.27 cores=0-31
/proc/31690/task/31706/stat : 31706 (plingeling) R 31688 31690 31664 0 -1 4202560 2597 1240 0 0 1226 1 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31690/tid=31707] ppid=31688 vsize=2211096 CPUtime=12.23 cores=0-31
/proc/31690/task/31707/stat : 31707 (plingeling) R 31688 31690 31664 0 -1 4202560 6099 1240 0 0 1214 9 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31690/tid=31708] ppid=31688 vsize=2211096 CPUtime=12.12 cores=0-31
/proc/31690/task/31708/stat : 31708 (plingeling) R 31688 31690 31664 0 -1 4202560 4749 1240 0 0 1211 1 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31690/tid=31709] ppid=31688 vsize=2211096 CPUtime=11.93 cores=0-31
/proc/31690/task/31709/stat : 31709 (plingeling) R 31688 31690 31664 0 -1 4202560 3006 1240 0 0 1192 1 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4235614 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31690/tid=31710] ppid=31688 vsize=2211096 CPUtime=12.29 cores=0-31
/proc/31690/task/31710/stat : 31710 (plingeling) R 31688 31690 31664 0 -1 4202560 953 1240 0 0 1229 0 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31690/tid=31711] ppid=31688 vsize=2211096 CPUtime=12.29 cores=0-31
/proc/31690/task/31711/stat : 31711 (plingeling) R 31688 31690 31664 0 -1 4202560 2953 1240 0 0 1228 1 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366447 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31690/tid=31712] ppid=31688 vsize=2211096 CPUtime=12.16 cores=0-31
/proc/31690/task/31712/stat : 31712 (plingeling) R 31688 31690 31664 0 -1 4202560 4301 1240 0 0 1215 1 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4237743 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31690/tid=31713] ppid=31688 vsize=2211096 CPUtime=12.25 cores=0-31
/proc/31690/task/31713/stat : 31713 (plingeling) R 31688 31690 31664 0 -1 4202560 2536 1240 0 0 1224 1 0 0 25 0 33 0 681353701 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4258462 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31690/tid=31714] ppid=31688 vsize=2211096 CPUtime=12.06 cores=0-31
/proc/31690/task/31714/stat : 31714 (plingeling) R 31688 31690 31664 0 -1 4202560 3487 1240 0 0 1205 1 0 0 25 0 33 0 681353702 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4235359 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31690/tid=31715] ppid=31688 vsize=2211096 CPUtime=12.22 cores=0-31
/proc/31690/task/31715/stat : 31715 (plingeling) R 31688 31690 31664 0 -1 4202560 4341 1240 0 0 1214 8 0 0 25 0 33 0 681353703 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31690/tid=31716] ppid=31688 vsize=2211096 CPUtime=12.24 cores=0-31
/proc/31690/task/31716/stat : 31716 (plingeling) R 31688 31690 31664 0 -1 4202560 3102 1240 0 0 1224 0 0 0 25 0 33 0 681353703 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31690/tid=31717] ppid=31688 vsize=2211096 CPUtime=12.25 cores=0-31
/proc/31690/task/31717/stat : 31717 (plingeling) R 31688 31690 31664 0 -1 4202560 2168 1240 0 0 1225 0 0 0 25 0 33 0 681353703 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31690/tid=31718] ppid=31688 vsize=2211096 CPUtime=12.26 cores=0-31
/proc/31690/task/31718/stat : 31718 (plingeling) R 31688 31690 31664 0 -1 4202560 3870 1240 0 0 1225 1 0 0 25 0 33 0 681353703 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4248225 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31690/tid=31719] ppid=31688 vsize=2211096 CPUtime=12.21 cores=0-31
/proc/31690/task/31719/stat : 31719 (plingeling) R 31688 31690 31664 0 -1 4202560 2286 1240 0 0 1220 1 0 0 25 0 33 0 681353704 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31690/tid=31720] ppid=31688 vsize=2211096 CPUtime=12.25 cores=0-31
/proc/31690/task/31720/stat : 31720 (plingeling) R 31688 31690 31664 0 -1 4202560 1974 1240 0 0 1225 0 0 0 25 0 33 0 681353704 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31690/tid=31721] ppid=31688 vsize=2211096 CPUtime=12.2 cores=0-31
/proc/31690/task/31721/stat : 31721 (plingeling) R 31688 31690 31664 0 -1 4202560 4325 1240 0 0 1219 1 0 0 25 0 33 0 681353704 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31690/tid=31722] ppid=31688 vsize=2211096 CPUtime=12.25 cores=0-31
/proc/31690/task/31722/stat : 31722 (plingeling) R 31688 31690 31664 0 -1 4202560 1083 1240 0 0 1225 0 0 0 25 0 33 0 681353704 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31690/tid=31723] ppid=31688 vsize=2211096 CPUtime=12.24 cores=0-31
/proc/31690/task/31723/stat : 31723 (plingeling) R 31688 31690 31664 0 -1 4202560 1782 1240 0 0 1224 0 0 0 25 0 33 0 681353705 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31690/tid=31724] ppid=31688 vsize=2211096 CPUtime=12.24 cores=0-31
/proc/31690/task/31724/stat : 31724 (plingeling) R 31688 31690 31664 0 -1 4202560 2579 1240 0 0 1223 1 0 0 25 0 33 0 681353706 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4352488 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31690/tid=31725] ppid=31688 vsize=2211096 CPUtime=12.25 cores=0-31
/proc/31690/task/31725/stat : 31725 (plingeling) R 31688 31690 31664 0 -1 4202560 2503 1240 0 0 1224 1 0 0 25 0 33 0 681353706 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31690/tid=31726] ppid=31688 vsize=2211096 CPUtime=12.2 cores=0-31
/proc/31690/task/31726/stat : 31726 (plingeling) R 31688 31690 31664 0 -1 4202560 2321 1240 0 0 1219 1 0 0 25 0 33 0 681353706 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31690/tid=31727] ppid=31688 vsize=2211096 CPUtime=12.24 cores=0-31
/proc/31690/task/31727/stat : 31727 (plingeling) R 31688 31690 31664 0 -1 4202560 2273 1240 0 0 1223 1 0 0 25 0 33 0 681353706 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31690/tid=31728] ppid=31688 vsize=2211096 CPUtime=12.08 cores=0-31
/proc/31690/task/31728/stat : 31728 (plingeling) R 31688 31690 31664 0 -1 4202560 5033 1240 0 0 1206 2 0 0 25 0 33 0 681353707 2264162304 395850 268435456000 4194304 4417452 140736625770672 18446744073709551615 4270953 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 404.64
Current children cumulated vsize (KiB) 2211096
[startup+51.1018 s]
/proc/loadavg: 22.29 24.13 27.16 33/446 31730
/proc/meminfo: memFree=253853364/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=2220612 CPUtime=1222.94 cores=0-31
/proc/31690/stat : 31690 (plingeling) S 31688 31690 31664 0 -1 4202496 565032 1240 0 0 122135 159 0 0 18 0 33 0 681352383 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/31690/statm: 555153 409650 175 55 0 553039 0
[pid=31690/tid=31697] ppid=31688 vsize=2220612 CPUtime=37.88 cores=0-31
/proc/31690/task/31697/stat : 31697 (plingeling) R 31688 31690 31664 0 -1 4202560 2223 1240 0 0 3787 1 0 0 25 0 33 0 681353700 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4295171 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31690/tid=31698] ppid=31688 vsize=2220612 CPUtime=37.88 cores=0-31
/proc/31690/task/31698/stat : 31698 (plingeling) R 31688 31690 31664 0 -1 4202560 2467 1240 0 0 3787 1 0 0 25 0 33 0 681353700 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31690/tid=31699] ppid=31688 vsize=2220612 CPUtime=37.83 cores=0-31
/proc/31690/task/31699/stat : 31699 (plingeling) R 31688 31690 31664 0 -1 4202560 3918 1240 0 0 3775 8 0 0 25 0 33 0 681353700 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4250986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31690/tid=31700] ppid=31688 vsize=2220612 CPUtime=37.92 cores=0-31
/proc/31690/task/31700/stat : 31700 (plingeling) R 31688 31690 31664 0 -1 4202560 142 1240 0 0 3792 0 0 0 25 0 33 0 681353700 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31690/tid=31701] ppid=31688 vsize=2220612 CPUtime=37.86 cores=0-31
/proc/31690/task/31701/stat : 31701 (plingeling) R 31688 31690 31664 0 -1 4202560 5000 1240 0 0 3784 2 0 0 25 0 33 0 681353700 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31690/tid=31702] ppid=31688 vsize=2220612 CPUtime=37.88 cores=0-31
/proc/31690/task/31702/stat : 31702 (plingeling) R 31688 31690 31664 0 -1 4202560 3530 1240 0 0 3787 1 0 0 25 0 33 0 681353700 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31690/tid=31703] ppid=31688 vsize=2220612 CPUtime=37.87 cores=0-31
/proc/31690/task/31703/stat : 31703 (plingeling) R 31688 31690 31664 0 -1 4202560 1833 1240 0 0 3787 0 0 0 25 0 33 0 681353701 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31690/tid=31704] ppid=31688 vsize=2220612 CPUtime=37.85 cores=0-31
/proc/31690/task/31704/stat : 31704 (plingeling) R 31688 31690 31664 0 -1 4202560 5802 1240 0 0 3783 2 0 0 25 0 33 0 681353701 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31690/tid=31705] ppid=31688 vsize=2220612 CPUtime=37.82 cores=0-31
/proc/31690/task/31705/stat : 31705 (plingeling) R 31688 31690 31664 0 -1 4202560 4981 1240 0 0 3780 2 0 0 25 0 33 0 681353701 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31690/tid=31706] ppid=31688 vsize=2220612 CPUtime=37.86 cores=0-31
/proc/31690/task/31706/stat : 31706 (plingeling) R 31688 31690 31664 0 -1 4202560 2646 1240 0 0 3785 1 0 0 25 0 33 0 681353701 2273906688 409650 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31690/tid=31707] ppid=31688 vsize=2220612 CPUtime=37.82 cores=0-31
################
# More data... #
################
[pid=31690/tid=31697] ppid=31688 vsize=2197868 CPUtime=210.66 cores=0-31
/proc/31690/task/31697/stat : 31697 (plingeling) R 31688 31690 31664 0 -1 4202560 13796 1240 0 0 21061 5 0 0 25 0 33 0 681353700 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31690/tid=31698] ppid=31688 vsize=2197868 CPUtime=210.65 cores=0-31
/proc/31690/task/31698/stat : 31698 (plingeling) R 31688 31690 31664 0 -1 4202560 9255 1240 0 0 21062 3 0 0 25 0 33 0 681353700 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364877 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31690/tid=31699] ppid=31688 vsize=2197868 CPUtime=210.6 cores=0-31
/proc/31690/task/31699/stat : 31699 (plingeling) R 31688 31690 31664 0 -1 4202560 4566 1240 0 0 21052 8 0 0 25 0 33 0 681353700 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31690/tid=31700] ppid=31688 vsize=2197868 CPUtime=210.68 cores=0-31
/proc/31690/task/31700/stat : 31700 (plingeling) R 31688 31690 31664 0 -1 4202560 5107 1240 0 0 21067 1 0 0 25 0 33 0 681353700 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31690/tid=31701] ppid=31688 vsize=2197868 CPUtime=210.62 cores=0-31
/proc/31690/task/31701/stat : 31701 (plingeling) R 31688 31690 31664 0 -1 4202560 17053 1240 0 0 21057 5 0 0 25 0 33 0 681353700 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31690/tid=31702] ppid=31688 vsize=2197868 CPUtime=210.65 cores=0-31
/proc/31690/task/31702/stat : 31702 (plingeling) R 31688 31690 31664 0 -1 4202560 10473 1240 0 0 21061 4 0 0 25 0 33 0 681353700 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4331018 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31690/tid=31703] ppid=31688 vsize=2197868 CPUtime=210.64 cores=0-31
/proc/31690/task/31703/stat : 31703 (plingeling) R 31688 31690 31664 0 -1 4202560 1833 1240 0 0 21064 0 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4250532 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31690/tid=31704] ppid=31688 vsize=2197868 CPUtime=210.62 cores=0-31
/proc/31690/task/31704/stat : 31704 (plingeling) R 31688 31690 31664 0 -1 4202560 6640 1240 0 0 21059 3 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31690/tid=31705] ppid=31688 vsize=2197868 CPUtime=210.5 cores=0-31
/proc/31690/task/31705/stat : 31705 (plingeling) R 31688 31690 31664 0 -1 4202560 8320 1240 0 0 21045 5 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31690/tid=31706] ppid=31688 vsize=2197868 CPUtime=210.63 cores=0-31
/proc/31690/task/31706/stat : 31706 (plingeling) R 31688 31690 31664 0 -1 4202560 2725 1240 0 0 21062 1 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31690/tid=31707] ppid=31688 vsize=2197868 CPUtime=210.59 cores=0-31
/proc/31690/task/31707/stat : 31707 (plingeling) R 31688 31690 31664 0 -1 4202560 17711 1240 0 0 21047 12 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31690/tid=31708] ppid=31688 vsize=2197868 CPUtime=210.49 cores=0-31
/proc/31690/task/31708/stat : 31708 (plingeling) R 31688 31690 31664 0 -1 4202560 5413 1240 0 0 21047 2 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31690/tid=31709] ppid=31688 vsize=2197868 CPUtime=204.7 cores=0-31
/proc/31690/task/31709/stat : 31709 (plingeling) R 31688 31690 31664 0 -1 4202560 5283 1240 0 0 20468 2 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31690/tid=31710] ppid=31688 vsize=2197868 CPUtime=210.65 cores=0-31
/proc/31690/task/31710/stat : 31710 (plingeling) R 31688 31690 31664 0 -1 4202560 15210 1240 0 0 21061 4 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4260519 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31690/tid=31711] ppid=31688 vsize=2197868 CPUtime=210.65 cores=0-31
/proc/31690/task/31711/stat : 31711 (plingeling) R 31688 31690 31664 0 -1 4202560 3521 1240 0 0 21064 1 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31690/tid=31712] ppid=31688 vsize=2197868 CPUtime=210.47 cores=0-31
/proc/31690/task/31712/stat : 31712 (plingeling) R 31688 31690 31664 0 -1 4202560 5464 1240 0 0 21045 2 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31690/tid=31713] ppid=31688 vsize=2197868 CPUtime=210.61 cores=0-31
/proc/31690/task/31713/stat : 31713 (plingeling) R 31688 31690 31664 0 -1 4202560 9433 1240 0 0 21058 3 0 0 25 0 33 0 681353701 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31690/tid=31714] ppid=31688 vsize=2197868 CPUtime=210.42 cores=0-31
/proc/31690/task/31714/stat : 31714 (plingeling) R 31688 31690 31664 0 -1 4202560 17568 1240 0 0 21037 5 0 0 25 0 33 0 681353702 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4330497 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31690/tid=31715] ppid=31688 vsize=2197868 CPUtime=210.58 cores=0-31
/proc/31690/task/31715/stat : 31715 (plingeling) R 31688 31690 31664 0 -1 4202560 13372 1240 0 0 21048 10 0 0 25 0 33 0 681353703 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31690/tid=31716] ppid=31688 vsize=2197868 CPUtime=210.61 cores=0-31
/proc/31690/task/31716/stat : 31716 (plingeling) R 31688 31690 31664 0 -1 4202560 12280 1240 0 0 21058 3 0 0 25 0 33 0 681353703 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31690/tid=31717] ppid=31688 vsize=2197868 CPUtime=210.62 cores=0-31
/proc/31690/task/31717/stat : 31717 (plingeling) R 31688 31690 31664 0 -1 4202560 6224 1240 0 0 21061 1 0 0 25 0 33 0 681353703 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364842 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31690/tid=31718] ppid=31688 vsize=2197868 CPUtime=210.62 cores=0-31
/proc/31690/task/31718/stat : 31718 (plingeling) R 31688 31690 31664 0 -1 4202560 12384 1240 0 0 21059 3 0 0 25 0 33 0 681353703 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31690/tid=31719] ppid=31688 vsize=2197868 CPUtime=210.56 cores=0-31
/proc/31690/task/31719/stat : 31719 (plingeling) R 31688 31690 31664 0 -1 4202560 10469 1240 0 0 21053 3 0 0 25 0 33 0 681353704 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31690/tid=31720] ppid=31688 vsize=2197868 CPUtime=210.61 cores=0-31
/proc/31690/task/31720/stat : 31720 (plingeling) R 31688 31690 31664 0 -1 4202560 15453 1240 0 0 21057 4 0 0 25 0 33 0 681353704 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4327472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31690/tid=31721] ppid=31688 vsize=2197868 CPUtime=210.56 cores=0-31
/proc/31690/task/31721/stat : 31721 (plingeling) R 31688 31690 31664 0 -1 4202560 15622 1240 0 0 21053 3 0 0 25 0 33 0 681353704 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31690/tid=31722] ppid=31688 vsize=2197868 CPUtime=210.62 cores=0-31
/proc/31690/task/31722/stat : 31722 (plingeling) R 31688 31690 31664 0 -1 4202560 11801 1240 0 0 21058 4 0 0 25 0 33 0 681353704 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31690/tid=31723] ppid=31688 vsize=2197868 CPUtime=210.61 cores=0-31
/proc/31690/task/31723/stat : 31723 (plingeling) R 31688 31690 31664 0 -1 4202560 3425 1240 0 0 21060 1 0 0 25 0 33 0 681353705 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31690/tid=31724] ppid=31688 vsize=2197868 CPUtime=210.6 cores=0-31
/proc/31690/task/31724/stat : 31724 (plingeling) R 31688 31690 31664 0 -1 4202560 5841 1240 0 0 21059 1 0 0 25 0 33 0 681353706 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31690/tid=31725] ppid=31688 vsize=2197868 CPUtime=210.61 cores=0-31
/proc/31690/task/31725/stat : 31725 (plingeling) R 31688 31690 31664 0 -1 4202560 18750 1240 0 0 21056 5 0 0 25 0 33 0 681353706 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31690/tid=31726] ppid=31688 vsize=2197868 CPUtime=210.55 cores=0-31
/proc/31690/task/31726/stat : 31726 (plingeling) R 31688 31690 31664 0 -1 4202560 15617 1240 0 0 21049 6 0 0 25 0 33 0 681353706 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4235359 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31690/tid=31727] ppid=31688 vsize=2197868 CPUtime=210.6 cores=0-31
/proc/31690/task/31727/stat : 31727 (plingeling) R 31688 31690 31664 0 -1 4202560 2273 1240 0 0 21059 1 0 0 25 0 33 0 681353706 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31690/tid=31728] ppid=31688 vsize=2197868 CPUtime=210.44 cores=0-31
/proc/31690/task/31728/stat : 31728 (plingeling) R 31688 31690 31664 0 -1 4202560 16478 1240 0 0 21040 4 0 0 25 0 33 0 681353707 2250616832 411727 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6746.47
Current children cumulated vsize (KiB) 2197868
[startup+227.102 s]
/proc/loadavg: 31.58 27.65 28.00 33/446 31734
/proc/meminfo: memFree=253837656/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=2196908 CPUtime=6848.75 cores=0-31
/proc/31690/stat : 31690 (plingeling) S 31688 31690 31664 0 -1 4202496 754335 1240 0 0 684661 214 0 0 18 0 33 0 681352383 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/31690/statm: 549227 410317 175 55 0 547113 0
[pid=31690/tid=31697] ppid=31688 vsize=2196908 CPUtime=213.86 cores=0-31
/proc/31690/task/31697/stat : 31697 (plingeling) R 31688 31690 31664 0 -1 4202560 13796 1240 0 0 21381 5 0 0 25 0 33 0 681353700 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=31690/tid=31698] ppid=31688 vsize=2196908 CPUtime=213.85 cores=0-31
/proc/31690/task/31698/stat : 31698 (plingeling) R 31688 31690 31664 0 -1 4202560 9255 1240 0 0 21382 3 0 0 25 0 33 0 681353700 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31690/tid=31699] ppid=31688 vsize=2196908 CPUtime=213.8 cores=0-31
/proc/31690/task/31699/stat : 31699 (plingeling) R 31688 31690 31664 0 -1 4202560 4566 1240 0 0 21372 8 0 0 25 0 33 0 681353700 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31690/tid=31700] ppid=31688 vsize=2196908 CPUtime=213.88 cores=0-31
/proc/31690/task/31700/stat : 31700 (plingeling) R 31688 31690 31664 0 -1 4202560 5107 1240 0 0 21387 1 0 0 25 0 33 0 681353700 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=31690/tid=31701] ppid=31688 vsize=2196908 CPUtime=213.82 cores=0-31
/proc/31690/task/31701/stat : 31701 (plingeling) R 31688 31690 31664 0 -1 4202560 17053 1240 0 0 21377 5 0 0 25 0 33 0 681353700 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=31690/tid=31702] ppid=31688 vsize=2196908 CPUtime=213.85 cores=0-31
/proc/31690/task/31702/stat : 31702 (plingeling) R 31688 31690 31664 0 -1 4202560 10473 1240 0 0 21381 4 0 0 25 0 33 0 681353700 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31690/tid=31703] ppid=31688 vsize=2196908 CPUtime=213.84 cores=0-31
/proc/31690/task/31703/stat : 31703 (plingeling) R 31688 31690 31664 0 -1 4202560 1833 1240 0 0 21384 0 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31690/tid=31704] ppid=31688 vsize=2196908 CPUtime=213.82 cores=0-31
/proc/31690/task/31704/stat : 31704 (plingeling) R 31688 31690 31664 0 -1 4202560 6640 1240 0 0 21379 3 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4234399 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31690/tid=31705] ppid=31688 vsize=2196908 CPUtime=213.7 cores=0-31
/proc/31690/task/31705/stat : 31705 (plingeling) R 31688 31690 31664 0 -1 4202560 8320 1240 0 0 21365 5 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31690/tid=31706] ppid=31688 vsize=2196908 CPUtime=213.83 cores=0-31
/proc/31690/task/31706/stat : 31706 (plingeling) R 31688 31690 31664 0 -1 4202560 2725 1240 0 0 21382 1 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31690/tid=31707] ppid=31688 vsize=2196908 CPUtime=213.79 cores=0-31
/proc/31690/task/31707/stat : 31707 (plingeling) R 31688 31690 31664 0 -1 4202560 17711 1240 0 0 21367 12 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31690/tid=31708] ppid=31688 vsize=2196908 CPUtime=213.68 cores=0-31
/proc/31690/task/31708/stat : 31708 (plingeling) R 31688 31690 31664 0 -1 4202560 5413 1240 0 0 21366 2 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31690/tid=31709] ppid=31688 vsize=2196908 CPUtime=207.81 cores=0-31
/proc/31690/task/31709/stat : 31709 (plingeling) R 31688 31690 31664 0 -1 4202560 5283 1240 0 0 20779 2 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31690/tid=31710] ppid=31688 vsize=2196908 CPUtime=213.85 cores=0-31
/proc/31690/task/31710/stat : 31710 (plingeling) R 31688 31690 31664 0 -1 4202560 15210 1240 0 0 21381 4 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4253455 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31690/tid=31711] ppid=31688 vsize=2196908 CPUtime=213.85 cores=0-31
/proc/31690/task/31711/stat : 31711 (plingeling) R 31688 31690 31664 0 -1 4202560 3521 1240 0 0 21384 1 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31690/tid=31712] ppid=31688 vsize=2196908 CPUtime=213.65 cores=0-31
/proc/31690/task/31712/stat : 31712 (plingeling) R 31688 31690 31664 0 -1 4202560 5464 1240 0 0 21363 2 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31690/tid=31713] ppid=31688 vsize=2196908 CPUtime=213.81 cores=0-31
/proc/31690/task/31713/stat : 31713 (plingeling) R 31688 31690 31664 0 -1 4202560 9433 1240 0 0 21378 3 0 0 25 0 33 0 681353701 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364752 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31690/tid=31714] ppid=31688 vsize=2196908 CPUtime=213.62 cores=0-31
/proc/31690/task/31714/stat : 31714 (plingeling) R 31688 31690 31664 0 -1 4202560 17568 1240 0 0 21357 5 0 0 25 0 33 0 681353702 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4236324 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31690/tid=31715] ppid=31688 vsize=2196908 CPUtime=213.78 cores=0-31
/proc/31690/task/31715/stat : 31715 (plingeling) R 31688 31690 31664 0 -1 4202560 13372 1240 0 0 21368 10 0 0 25 0 33 0 681353703 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31690/tid=31716] ppid=31688 vsize=2196908 CPUtime=213.81 cores=0-31
/proc/31690/task/31716/stat : 31716 (plingeling) R 31688 31690 31664 0 -1 4202560 12280 1240 0 0 21378 3 0 0 25 0 33 0 681353703 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31690/tid=31717] ppid=31688 vsize=2196908 CPUtime=213.82 cores=0-31
/proc/31690/task/31717/stat : 31717 (plingeling) R 31688 31690 31664 0 -1 4202560 6224 1240 0 0 21381 1 0 0 25 0 33 0 681353703 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31690/tid=31718] ppid=31688 vsize=2196908 CPUtime=213.82 cores=0-31
/proc/31690/task/31718/stat : 31718 (plingeling) R 31688 31690 31664 0 -1 4202560 12384 1240 0 0 21379 3 0 0 25 0 33 0 681353703 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31690/tid=31719] ppid=31688 vsize=2196908 CPUtime=213.76 cores=0-31
/proc/31690/task/31719/stat : 31719 (plingeling) R 31688 31690 31664 0 -1 4202560 10469 1240 0 0 21373 3 0 0 25 0 33 0 681353704 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31690/tid=31720] ppid=31688 vsize=2196908 CPUtime=213.81 cores=0-31
/proc/31690/task/31720/stat : 31720 (plingeling) R 31688 31690 31664 0 -1 4202560 15965 1240 0 0 21377 4 0 0 25 0 33 0 681353704 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4354053 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31690/tid=31721] ppid=31688 vsize=2196908 CPUtime=213.77 cores=0-31
/proc/31690/task/31721/stat : 31721 (plingeling) R 31688 31690 31664 0 -1 4202560 16410 1240 0 0 21373 4 0 0 25 0 33 0 681353704 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4247478 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31690/tid=31722] ppid=31688 vsize=2196908 CPUtime=213.82 cores=0-31
/proc/31690/task/31722/stat : 31722 (plingeling) R 31688 31690 31664 0 -1 4202560 12592 1240 0 0 21378 4 0 0 25 0 33 0 681353704 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31690/tid=31723] ppid=31688 vsize=2196908 CPUtime=213.81 cores=0-31
/proc/31690/task/31723/stat : 31723 (plingeling) R 31688 31690 31664 0 -1 4202560 3425 1240 0 0 21380 1 0 0 25 0 33 0 681353705 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31690/tid=31724] ppid=31688 vsize=2196908 CPUtime=213.8 cores=0-31
/proc/31690/task/31724/stat : 31724 (plingeling) R 31688 31690 31664 0 -1 4202560 5841 1240 0 0 21379 1 0 0 25 0 33 0 681353706 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31690/tid=31725] ppid=31688 vsize=2196908 CPUtime=213.81 cores=0-31
/proc/31690/task/31725/stat : 31725 (plingeling) R 31688 31690 31664 0 -1 4202560 19305 1240 0 0 21375 6 0 0 25 0 33 0 681353706 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4245664 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31690/tid=31726] ppid=31688 vsize=2196908 CPUtime=213.75 cores=0-31
/proc/31690/task/31726/stat : 31726 (plingeling) R 31688 31690 31664 0 -1 4202560 15617 1240 0 0 21369 6 0 0 25 0 33 0 681353706 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=31690/tid=31727] ppid=31688 vsize=2196908 CPUtime=213.8 cores=0-31
/proc/31690/task/31727/stat : 31727 (plingeling) R 31688 31690 31664 0 -1 4202560 2273 1240 0 0 21379 1 0 0 25 0 33 0 681353706 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31690/tid=31728] ppid=31688 vsize=2196908 CPUtime=213.64 cores=0-31
/proc/31690/task/31728/stat : 31728 (plingeling) R 31688 31690 31664 0 -1 4202560 16506 1240 0 0 21360 4 0 0 25 0 33 0 681353707 2249633792 410317 268435456000 4194304 4417452 140736625770672 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 6848.75
Current children cumulated vsize (KiB) 2196908
[startup+228.701 s]
/proc/loadavg: 29.13 27.21 27.85 2/415 31734
/proc/meminfo: memFree=253849836/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=2150728 CPUtime=6876.96 cores=0-31
/proc/31690/stat : 31690 (plingeling) S 31688 31690 31664 0 -1 4202496 755354 1240 0 0 687482 214 0 0 17 0 2 0 681352383 2202345472 406407 268435456000 4194304 4417452 140736625770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/31690/statm: 537682 406407 176 55 0 535568 0
[pid=31690/tid=31704] ppid=31688 vsize=2150728 CPUtime=215.45 cores=0-31
/proc/31690/task/31704/stat : 31704 (plingeling) R 31688 31690 31664 0 -1 4202560 6832 1240 0 0 21542 3 0 0 25 0 2 0 681353701 2202345472 406407 268435456000 4194304 4417452 140736625770672 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 6876.96
Current children cumulated vsize (KiB) 2150728
[startup+229.5 s]
/proc/loadavg: 29.13 27.21 27.85 2/415 31734
/proc/meminfo: memFree=253849836/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=2150728 CPUtime=6877.73 cores=0-31
/proc/31690/stat : 31690 (plingeling) S 31688 31690 31664 0 -1 4202496 755354 1240 0 0 687559 214 0 0 17 0 2 0 681352383 2202345472 406407 268435456000 4194304 4417452 140736625770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/31690/statm: 537682 406407 176 55 0 535568 0
[pid=31690/tid=31704] ppid=31688 vsize=2150728 CPUtime=216.22 cores=0-31
/proc/31690/task/31704/stat : 31704 (plingeling) R 31688 31690 31664 0 -1 4202560 6832 1240 0 0 21619 3 0 0 25 0 2 0 681353701 2202345472 406407 268435456000 4194304 4417452 140736625770672 18446744073709551615 4254368 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 6877.73
Current children cumulated vsize (KiB) 2150728
[startup+229.934 s]
/proc/loadavg: 29.13 27.21 27.85 2/415 31734
/proc/meminfo: memFree=253851176/264257624 swapFree=67111528/67111528
[pid=31690] ppid=31688 vsize=683048 CPUtime=6878.16 cores=0-31
/proc/31690/stat : 31690 (plingeling) R 31688 31690 31664 0 -1 4202496 755354 1240 0 0 687594 222 0 0 15 0 1 0 681352383 699441152 88469 268435456000 4194304 4417452 140736625770672 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 16 0 0 0
/proc/31690/statm: 170762 87957 176 55 0 168648 0
Current children cumulated CPU time (s) 6878.16
Current children cumulated vsize (KiB) 683048
Child status: 20
Real time (s): 229.961
CPU time (s): 6878.21
CPU user time (s): 6875.95
CPU system time (s): 2.25866
CPU usage (%): 2991.03
Max. virtual memory (cumulated for all children) (KiB): 2229184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6875.95
system time used= 2.25866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756598
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= 1604
involuntary context switches= 16909
runsolver used 1.23281 second user time and 5.32519 second system time
The end
Begin job on node200 at 2011-05-18 08:04:20
IDJOB=3372639
IDBENCH=82496
IDSOLVER=1852
FILE ID=node200/3372639-1305698657
RUNJOBID= node200-1305698649-31678
PBS_JOBID= 13357386
Free space on /tmp= 62036 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372639-1305698657/watcher-3372639-1305698657 -o /tmp/evaluation-result-3372639-1305698657/solver-3372639-1305698657 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372639-1305698657.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=115237485
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: 255503696 kB
Buffers: 452552 kB
Cached: 7905852 kB
SwapCached: 0 kB
Active: 7418376 kB
Inactive: 1009064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255503696 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 17136 kB
Writeback: 0 kB
AnonPages: 68900 kB
Mapped: 14480 kB
Slab: 252072 kB
PageTables: 4448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 161732 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= 62036 MiB
End job on node200 at 2011-05-18 08:08:10