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-3372972-1306152412/watcher-3372972-1306152412 -o /tmp/evaluation-result-3372972-1306152412/solver-3372972-1306152412 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372972-1306152412.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: 26.44 30.08 30.01 1/413 2922
/proc/meminfo: memFree=255059272/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=17584 CPUtime=0 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 2482 1241 0 0 0 0 0 0 25 0 1 0 726728566 18006016 2412 268435456000 4194304 4417452 140736969917904 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 4432 2423 145 55 0 2318 0
[startup+0.103688 s]
/proc/loadavg: 26.44 30.08 30.01 1/413 2922
/proc/meminfo: memFree=255059272/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=27892 CPUtime=0.09 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 5031 1241 0 0 8 1 0 0 25 0 1 0 726728566 28561408 4961 268435456000 4194304 4417452 140736969917904 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 6973 4961 145 55 0 4859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27892
[startup+0.200678 s]
/proc/loadavg: 26.44 30.08 30.01 1/413 2922
/proc/meminfo: memFree=255059272/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=38796 CPUtime=0.18 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 7782 1241 0 0 17 1 0 0 25 0 1 0 726728566 39727104 7712 268435456000 4194304 4417452 140736969917904 18446744073709551615 4321583 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 9699 7712 146 55 0 7585 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 38796
[startup+0.300697 s]
/proc/loadavg: 26.44 30.08 30.01 1/413 2922
/proc/meminfo: memFree=255059272/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=47260 CPUtime=0.29 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 9898 1241 0 0 27 2 0 0 25 0 1 0 726728566 48394240 9828 268435456000 4194304 4417452 140736969917904 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 11815 9828 146 55 0 9701 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47260
[startup+0.700758 s]
/proc/loadavg: 26.44 30.08 30.01 1/413 2922
/proc/meminfo: memFree=255059272/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=77720 CPUtime=0.69 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 17497 1241 0 0 65 4 0 0 25 0 1 0 726728566 79585280 17427 268435456000 4194304 4417452 140736969917904 18446744073709551615 4227874 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 19430 17427 146 55 0 17316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77720
[startup+1.50074 s]
/proc/loadavg: 26.44 30.08 30.01 2/414 2928
/proc/meminfo: memFree=254928552/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=137952 CPUtime=1.48 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 32563 1241 0 0 141 7 0 0 25 0 1 0 726728566 141262848 32493 268435456000 4194304 4417452 140736969917904 18446744073709551615 4227760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 34488 32493 146 55 0 32374 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 137952
[startup+3.1008 s]
/proc/loadavg: 26.44 30.08 30.01 2/414 2928
/proc/meminfo: memFree=254846544/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=256596 CPUtime=3.08 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 62240 1241 0 0 295 13 0 0 25 0 1 0 726728566 262754304 62170 268435456000 4194304 4417452 140736969917904 18446744073709551615 4231573 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 64149 62170 146 55 0 62035 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 256596
[startup+6.30092 s]
/proc/loadavg: 24.41 29.59 29.86 2/414 2928
/proc/meminfo: memFree=254571008/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=495528 CPUtime=6.28 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 121974 1241 0 0 604 24 0 0 25 0 1 0 726728566 507420672 121903 268435456000 4194304 4417452 140736969917904 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 123882 121903 146 55 0 121768 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 495528
[startup+12.7011 s]
/proc/loadavg: 22.53 29.12 29.70 2/414 2928
/proc/meminfo: memFree=254094112/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=973812 CPUtime=12.69 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 241545 1241 0 0 1220 49 0 0 25 0 1 0 726728566 997183488 241474 268435456000 4194304 4417452 140736969917904 18446744073709551615 4274378 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 243453 241474 146 55 0 241339 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 973812
[startup+25.5006 s]
/proc/loadavg: 17.76 27.74 29.24 2/414 2928
/proc/meminfo: memFree=253139120/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=1929968 CPUtime=25.48 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 480604 1241 0 0 2451 97 0 0 25 0 1 0 726728566 1976287232 480513 268435456000 4194304 4417452 140736969917904 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 482492 480513 146 55 0 480378 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1929968
[startup+51.1005 s]
/proc/loadavg: 12.20 25.62 28.50 2/414 2930
/proc/meminfo: memFree=251827352/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=3240688 CPUtime=51.08 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 808284 1241 0 0 4949 159 0 0 25 0 1 0 726728566 3318464512 808193 268435456000 4194304 4417452 140736969917904 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 810172 808193 146 55 0 808058 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3240688
[startup+102.301 s]
/proc/loadavg: 5.86 21.83 27.06 2/414 2930
/proc/meminfo: memFree=248602928/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=6459360 CPUtime=102.29 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 1613092 1241 0 0 9914 315 0 0 25 0 1 0 726728566 6614384640 1612861 268435456000 4194304 4417452 140736969917904 18446744073709551615 4231675 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 1614840 1612861 146 55 0 1612726 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 6459360
[startup+162.3 s]
/proc/loadavg: 2.85 18.06 25.43 2/414 2932
/proc/meminfo: memFree=246355560/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=8702752 CPUtime=162.26 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 2174637 1241 0 0 15798 428 0 0 25 0 1 0 726728566 8911618048 2173709 268435456000 4194304 4417452 140736969917904 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2922/statm: 2175688 2173709 146 55 0 2173574 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 8702752
[startup+222.322 s]
/proc/loadavg: 17.54 19.14 25.31 33/446 2966
/proc/meminfo: memFree=242044824/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=13691716 CPUtime=1536.07 cores=0-31
/proc/2922/stat : 2922 (plingeling) S 2920 2922 2896 0 -1 4202496 6390314 1241 0 0 149446 4161 0 0 18 0 33 0 726728566 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2922/statm: 3422929 3243721 175 55 0 3420815 0
[pid=2922/tid=2933] ppid=2920 vsize=13691716 CPUtime=44.04 cores=0-31
/proc/2922/task/2933/stat : 2933 (plingeling) R 2920 2922 2896 0 -1 4202560 104954 1241 0 0 4283 121 0 0 25 0 33 0 726745920 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2922/tid=2934] ppid=2920 vsize=13691716 CPUtime=40.92 cores=0-31
/proc/2922/task/2934/stat : 2934 (plingeling) R 2920 2922 2896 0 -1 4202560 100301 1241 0 0 3977 115 0 0 25 0 33 0 726745920 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2922/tid=2935] ppid=2920 vsize=13691716 CPUtime=44.3 cores=0-31
/proc/2922/task/2935/stat : 2935 (plingeling) R 2920 2922 2896 0 -1 4202560 104384 1241 0 0 4363 67 0 0 25 0 33 0 726745920 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2922/tid=2936] ppid=2920 vsize=13691716 CPUtime=45.63 cores=0-31
/proc/2922/task/2936/stat : 2936 (plingeling) R 2920 2922 2896 0 -1 4202560 15563 1241 0 0 4558 5 0 0 25 0 33 0 726745921 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232580 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2922/tid=2937] ppid=2920 vsize=13691716 CPUtime=40.86 cores=0-31
/proc/2922/task/2937/stat : 2937 (plingeling) R 2920 2922 2896 0 -1 4202560 111646 1241 0 0 3962 124 0 0 25 0 33 0 726745921 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2922/tid=2938] ppid=2920 vsize=13691716 CPUtime=43.56 cores=0-31
/proc/2922/task/2938/stat : 2938 (plingeling) R 2920 2922 2896 0 -1 4202560 107745 1241 0 0 4257 99 0 0 25 0 33 0 726745922 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2922/tid=2939] ppid=2920 vsize=13691716 CPUtime=41.22 cores=0-31
/proc/2922/task/2939/stat : 2939 (plingeling) R 2920 2922 2896 0 -1 4202560 110641 1241 0 0 4008 114 0 0 25 0 33 0 726745922 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2922/tid=2940] ppid=2920 vsize=13691716 CPUtime=41.47 cores=0-31
/proc/2922/task/2940/stat : 2940 (plingeling) R 2920 2922 2896 0 -1 4202560 105669 1241 0 0 3987 160 0 0 25 0 33 0 726745923 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2922/tid=2941] ppid=2920 vsize=13691716 CPUtime=43.26 cores=0-31
/proc/2922/task/2941/stat : 2941 (plingeling) R 2920 2922 2896 0 -1 4202560 108717 1241 0 0 4226 100 0 0 25 0 33 0 726745924 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2922/tid=2942] ppid=2920 vsize=13691716 CPUtime=44.34 cores=0-31
/proc/2922/task/2942/stat : 2942 (plingeling) R 2920 2922 2896 0 -1 4202560 104940 1241 0 0 4314 120 0 0 25 0 33 0 726745924 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2922/tid=2943] ppid=2920 vsize=13691716 CPUtime=39.7 cores=0-31
/proc/2922/task/2943/stat : 2943 (plingeling) R 2920 2922 2896 0 -1 4202560 122244 1241 0 0 3833 137 0 0 25 0 33 0 726745924 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2922/tid=2944] ppid=2920 vsize=13691716 CPUtime=43.54 cores=0-31
/proc/2922/task/2944/stat : 2944 (plingeling) R 2920 2922 2896 0 -1 4202560 114998 1241 0 0 4253 101 0 0 25 0 33 0 726745924 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2922/tid=2945] ppid=2920 vsize=13691716 CPUtime=42.7 cores=0-31
/proc/2922/task/2945/stat : 2945 (plingeling) R 2920 2922 2896 0 -1 4202560 118097 1241 0 0 4153 117 0 0 25 0 33 0 726745924 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2922/tid=2946] ppid=2920 vsize=13691716 CPUtime=40.87 cores=0-31
/proc/2922/task/2946/stat : 2946 (plingeling) R 2920 2922 2896 0 -1 4202560 105940 1241 0 0 3961 126 0 0 25 0 33 0 726745924 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2922/tid=2947] ppid=2920 vsize=13691716 CPUtime=43.44 cores=0-31
/proc/2922/task/2947/stat : 2947 (plingeling) R 2920 2922 2896 0 -1 4202560 115636 1241 0 0 4215 129 0 0 25 0 33 0 726745926 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2922/tid=2948] ppid=2920 vsize=13691716 CPUtime=41.03 cores=0-31
/proc/2922/task/2948/stat : 2948 (plingeling) R 2920 2922 2896 0 -1 4202560 130598 1241 0 0 3924 179 0 0 25 0 33 0 726745927 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236961 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2922/tid=2949] ppid=2920 vsize=13691716 CPUtime=41.05 cores=0-31
/proc/2922/task/2949/stat : 2949 (plingeling) R 2920 2922 2896 0 -1 4202560 66482 1241 0 0 4018 87 0 0 25 0 33 0 726745927 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2922/tid=2950] ppid=2920 vsize=13691716 CPUtime=40.4 cores=0-31
/proc/2922/task/2950/stat : 2950 (plingeling) R 2920 2922 2896 0 -1 4202560 117977 1241 0 0 3922 118 0 0 25 0 33 0 726745928 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2922/tid=2951] ppid=2920 vsize=13691716 CPUtime=42.72 cores=0-31
/proc/2922/task/2951/stat : 2951 (plingeling) R 2920 2922 2896 0 -1 4202560 58000 1241 0 0 4225 47 0 0 25 0 33 0 726745928 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2922/tid=2952] ppid=2920 vsize=13691716 CPUtime=44.08 cores=0-31
/proc/2922/task/2952/stat : 2952 (plingeling) R 2920 2922 2896 0 -1 4202560 110233 1241 0 0 4275 133 0 0 25 0 33 0 726745929 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2922/tid=2953] ppid=2920 vsize=13691716 CPUtime=41.35 cores=0-31
/proc/2922/task/2953/stat : 2953 (plingeling) R 2920 2922 2896 0 -1 4202560 99839 1241 0 0 4016 119 0 0 25 0 33 0 726745929 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4240345 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2922/tid=2954] ppid=2920 vsize=13691716 CPUtime=40.73 cores=0-31
/proc/2922/task/2954/stat : 2954 (plingeling) R 2920 2922 2896 0 -1 4202560 66214 1241 0 0 3994 79 0 0 25 0 33 0 726745930 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2922/tid=2955] ppid=2920 vsize=13691716 CPUtime=44.29 cores=0-31
/proc/2922/task/2955/stat : 2955 (plingeling) R 2920 2922 2896 0 -1 4202560 88208 1241 0 0 4347 82 0 0 25 0 33 0 726745931 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2922/tid=2956] ppid=2920 vsize=13691716 CPUtime=42.81 cores=0-31
/proc/2922/task/2956/stat : 2956 (plingeling) R 2920 2922 2896 0 -1 4202560 64993 1241 0 0 4181 100 0 0 25 0 33 0 726745931 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236623 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2922/tid=2957] ppid=2920 vsize=13691716 CPUtime=43.48 cores=0-31
/proc/2922/task/2957/stat : 2957 (plingeling) R 2920 2922 2896 0 -1 4202560 107525 1241 0 0 4238 110 0 0 25 0 33 0 726745932 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236797 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2922/tid=2958] ppid=2920 vsize=13691716 CPUtime=43.85 cores=0-31
/proc/2922/task/2958/stat : 2958 (plingeling) R 2920 2922 2896 0 -1 4202560 94121 1241 0 0 4281 104 0 0 25 0 33 0 726745932 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2922/tid=2959] ppid=2920 vsize=13691716 CPUtime=41.35 cores=0-31
/proc/2922/task/2959/stat : 2959 (plingeling) R 2920 2922 2896 0 -1 4202560 109481 1241 0 0 4032 103 0 0 25 0 33 0 726745933 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2922/tid=2960] ppid=2920 vsize=13691716 CPUtime=42.43 cores=0-31
/proc/2922/task/2960/stat : 2960 (plingeling) R 2920 2922 2896 0 -1 4202560 93845 1241 0 0 4157 86 0 0 25 0 33 0 726745933 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2922/tid=2961] ppid=2920 vsize=13691716 CPUtime=45.25 cores=0-31
/proc/2922/task/2961/stat : 2961 (plingeling) R 2920 2922 2896 0 -1 4202560 90398 1241 0 0 4412 113 0 0 25 0 33 0 726745934 14020317184 3243721 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 17 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=245347244/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=10311728 CPUtime=55776.6 cores=0-31
/proc/2922/stat : 2922 (plingeling) S 2920 2922 2896 0 -1 4202496 9891079 1241 0 0 5570582 7079 0 0 18 0 33 0 726728566 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2922/statm: 2577932 2423291 175 55 0 2575818 0
[pid=2922/tid=2933] ppid=2920 vsize=10311728 CPUtime=1739.65 cores=0-31
/proc/2922/task/2933/stat : 2933 (plingeling) R 2920 2922 2896 0 -1 4202560 205134 1241 0 0 173737 228 0 0 25 0 33 0 726745920 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2922/tid=2934] ppid=2920 vsize=10311728 CPUtime=1737.67 cores=0-31
/proc/2922/task/2934/stat : 2934 (plingeling) R 2920 2922 2896 0 -1 4202560 241315 1241 0 0 173534 233 0 0 25 0 33 0 726745920 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2922/tid=2935] ppid=2920 vsize=10311728 CPUtime=1741.39 cores=0-31
/proc/2922/task/2935/stat : 2935 (plingeling) R 2920 2922 2896 0 -1 4202560 198136 1241 0 0 174028 111 0 0 25 0 33 0 726745920 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2922/tid=2936] ppid=2920 vsize=10311728 CPUtime=1742.85 cores=0-31
/proc/2922/task/2936/stat : 2936 (plingeling) R 2920 2922 2896 0 -1 4202560 24322 1241 0 0 174277 8 0 0 25 0 33 0 726745921 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2922/tid=2937] ppid=2920 vsize=10311728 CPUtime=1736.32 cores=0-31
/proc/2922/task/2937/stat : 2937 (plingeling) R 2920 2922 2896 0 -1 4202560 312702 1241 0 0 173375 257 0 0 25 0 33 0 726745921 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2922/tid=2938] ppid=2920 vsize=10311728 CPUtime=1740.76 cores=0-31
/proc/2922/task/2938/stat : 2938 (plingeling) R 2920 2922 2896 0 -1 4202560 214317 1241 0 0 173873 203 0 0 25 0 33 0 726745922 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2922/tid=2939] ppid=2920 vsize=10311728 CPUtime=1738.07 cores=0-31
/proc/2922/task/2939/stat : 2939 (plingeling) R 2920 2922 2896 0 -1 4202560 227211 1241 0 0 173588 219 0 0 25 0 33 0 726745922 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2922/tid=2940] ppid=2920 vsize=10311728 CPUtime=1725.67 cores=0-31
/proc/2922/task/2940/stat : 2940 (plingeling) R 2920 2922 2896 0 -1 4202560 212065 1241 0 0 172271 296 0 0 25 0 33 0 726745923 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4357737 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2922/tid=2941] ppid=2920 vsize=10311728 CPUtime=1731.87 cores=0-31
/proc/2922/task/2941/stat : 2941 (plingeling) R 2920 2922 2896 0 -1 4202560 208885 1241 0 0 172959 228 0 0 25 0 33 0 726745924 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2922/tid=2942] ppid=2920 vsize=10311728 CPUtime=1740.01 cores=0-31
/proc/2922/task/2942/stat : 2942 (plingeling) R 2920 2922 2896 0 -1 4202560 221450 1241 0 0 173833 168 0 0 25 0 33 0 726745924 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2922/tid=2943] ppid=2920 vsize=10311728 CPUtime=1735.94 cores=0-31
/proc/2922/task/2943/stat : 2943 (plingeling) R 2920 2922 2896 0 -1 4202560 246717 1241 0 0 173426 168 0 0 25 0 33 0 726745924 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2922/tid=2944] ppid=2920 vsize=10311728 CPUtime=1739.87 cores=0-31
/proc/2922/task/2944/stat : 2944 (plingeling) R 2920 2922 2896 0 -1 4202560 219223 1241 0 0 173779 208 0 0 25 0 33 0 726745924 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2922/tid=2945] ppid=2920 vsize=10311728 CPUtime=1739.36 cores=0-31
/proc/2922/task/2945/stat : 2945 (plingeling) R 2920 2922 2896 0 -1 4202560 218285 1241 0 0 173684 252 0 0 25 0 33 0 726745924 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2922/tid=2946] ppid=2920 vsize=10311728 CPUtime=1736.59 cores=0-31
/proc/2922/task/2946/stat : 2946 (plingeling) R 2920 2922 2896 0 -1 4202560 215319 1241 0 0 173459 200 0 0 25 0 33 0 726745924 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2922/tid=2947] ppid=2920 vsize=10311728 CPUtime=1739.87 cores=0-31
/proc/2922/task/2947/stat : 2947 (plingeling) R 2920 2922 2896 0 -1 4202560 230382 1241 0 0 173767 220 0 0 25 0 33 0 726745926 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2922/tid=2948] ppid=2920 vsize=10311728 CPUtime=1738.38 cores=0-31
/proc/2922/task/2948/stat : 2948 (plingeling) R 2920 2922 2896 0 -1 4202560 214281 1241 0 0 173553 285 0 0 25 0 33 0 726745927 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2922/tid=2949] ppid=2920 vsize=10311728 CPUtime=1735.69 cores=0-31
/proc/2922/task/2949/stat : 2949 (plingeling) R 2920 2922 2896 0 -1 4202560 179908 1241 0 0 173371 198 0 0 25 0 33 0 726745927 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2922/tid=2950] ppid=2920 vsize=10311728 CPUtime=1737.35 cores=0-31
/proc/2922/task/2950/stat : 2950 (plingeling) R 2920 2922 2896 0 -1 4202560 226318 1241 0 0 173570 165 0 0 25 0 33 0 726745928 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2922/tid=2951] ppid=2920 vsize=10311728 CPUtime=1739.22 cores=0-31
/proc/2922/task/2951/stat : 2951 (plingeling) R 2920 2922 2896 0 -1 4202560 177492 1241 0 0 173827 95 0 0 25 0 33 0 726745928 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2922/tid=2952] ppid=2920 vsize=10311728 CPUtime=1739.75 cores=0-31
/proc/2922/task/2952/stat : 2952 (plingeling) R 2920 2922 2896 0 -1 4202560 226208 1241 0 0 173731 244 0 0 25 0 33 0 726745929 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2922/tid=2953] ppid=2920 vsize=10311728 CPUtime=1738.71 cores=0-31
/proc/2922/task/2953/stat : 2953 (plingeling) R 2920 2922 2896 0 -1 4202560 183593 1241 0 0 173731 140 0 0 25 0 33 0 726745929 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2922/tid=2954] ppid=2920 vsize=10311728 CPUtime=1737.51 cores=0-31
/proc/2922/task/2954/stat : 2954 (plingeling) R 2920 2922 2896 0 -1 4202560 166347 1241 0 0 173567 184 0 0 25 0 33 0 726745930 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2922/tid=2955] ppid=2920 vsize=10311728 CPUtime=1727.58 cores=0-31
/proc/2922/task/2955/stat : 2955 (plingeling) R 2920 2922 2896 0 -1 4202560 224115 1241 0 0 172564 194 0 0 25 0 33 0 726745931 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2922/tid=2956] ppid=2920 vsize=10311728 CPUtime=1739.72 cores=0-31
/proc/2922/task/2956/stat : 2956 (plingeling) R 2920 2922 2896 0 -1 4202560 173293 1241 0 0 173763 209 0 0 25 0 33 0 726745931 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4366659 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2922/tid=2957] ppid=2920 vsize=10311728 CPUtime=1738.88 cores=0-31
/proc/2922/task/2957/stat : 2957 (plingeling) R 2920 2922 2896 0 -1 4202560 210491 1241 0 0 173664 224 0 0 25 0 33 0 726745932 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2922/tid=2958] ppid=2920 vsize=10311728 CPUtime=1739.92 cores=0-31
/proc/2922/task/2958/stat : 2958 (plingeling) R 2920 2922 2896 0 -1 4202560 211992 1241 0 0 173855 137 0 0 25 0 33 0 726745932 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2922/tid=2959] ppid=2920 vsize=10311728 CPUtime=1737 cores=0-31
/proc/2922/task/2959/stat : 2959 (plingeling) R 2920 2922 2896 0 -1 4202560 219568 1241 0 0 173505 195 0 0 25 0 33 0 726745933 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2922/tid=2960] ppid=2920 vsize=10311728 CPUtime=1736.6 cores=0-31
/proc/2922/task/2960/stat : 2960 (plingeling) R 2920 2922 2896 0 -1 4202560 201634 1241 0 0 173462 198 0 0 25 0 33 0 726745933 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2922/tid=2961] ppid=2920 vsize=10311728 CPUtime=1741.37 cores=0-31
/proc/2922/task/2961/stat : 2961 (plingeling) R 2920 2922 2896 0 -1 4202560 179306 1241 0 0 173919 218 0 0 25 0 33 0 726745934 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2922/tid=2962] ppid=2920 vsize=10311728 CPUtime=1738.39 cores=0-31
/proc/2922/task/2962/stat : 2962 (plingeling) R 2920 2922 2896 0 -1 4202560 205514 1241 0 0 173559 280 0 0 25 0 33 0 726745935 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2922/tid=2963] ppid=2920 vsize=10311728 CPUtime=1732.12 cores=0-31
/proc/2922/task/2963/stat : 2963 (plingeling) R 2920 2922 2896 0 -1 4202560 241044 1241 0 0 173001 211 0 0 25 0 33 0 726745936 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2922/tid=2964] ppid=2920 vsize=10311728 CPUtime=1738.7 cores=0-31
/proc/2922/task/2964/stat : 2964 (plingeling) R 2920 2922 2896 0 -1 4202560 231257 1241 0 0 173609 261 0 0 25 0 33 0 726745936 10559209472 2423291 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55776.6
Current children cumulated vsize (KiB) 10311728
[startup+1923.2 s]
/proc/loadavg: 32.04 32.01 30.95 33/446 3016
/proc/meminfo: memFree=245318176/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=10342100 CPUtime=55878.9 cores=0-31
/proc/2922/stat : 2922 (plingeling) S 2920 2922 2896 0 -1 4202496 9898611 1241 0 0 5580809 7081 0 0 18 0 33 0 726728566 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2922/statm: 2585525 2430822 175 55 0 2583411 0
[pid=2922/tid=2933] ppid=2920 vsize=10342100 CPUtime=1742.85 cores=0-31
/proc/2922/task/2933/stat : 2933 (plingeling) R 2920 2922 2896 0 -1 4202560 205134 1241 0 0 174057 228 0 0 25 0 33 0 726745920 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232443 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2922/tid=2934] ppid=2920 vsize=10342100 CPUtime=1740.87 cores=0-31
/proc/2922/task/2934/stat : 2934 (plingeling) R 2920 2922 2896 0 -1 4202560 241315 1241 0 0 173854 233 0 0 25 0 33 0 726745920 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2922/tid=2935] ppid=2920 vsize=10342100 CPUtime=1744.59 cores=0-31
/proc/2922/task/2935/stat : 2935 (plingeling) R 2920 2922 2896 0 -1 4202560 198136 1241 0 0 174348 111 0 0 25 0 33 0 726745920 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2922/tid=2936] ppid=2920 vsize=10342100 CPUtime=1746.05 cores=0-31
/proc/2922/task/2936/stat : 2936 (plingeling) R 2920 2922 2896 0 -1 4202560 24322 1241 0 0 174597 8 0 0 25 0 33 0 726745921 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2922/tid=2937] ppid=2920 vsize=10342100 CPUtime=1739.52 cores=0-31
/proc/2922/task/2937/stat : 2937 (plingeling) R 2920 2922 2896 0 -1 4202560 312702 1241 0 0 173695 257 0 0 25 0 33 0 726745921 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2922/tid=2938] ppid=2920 vsize=10342100 CPUtime=1743.96 cores=0-31
/proc/2922/task/2938/stat : 2938 (plingeling) R 2920 2922 2896 0 -1 4202560 214317 1241 0 0 174193 203 0 0 25 0 33 0 726745922 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2922/tid=2939] ppid=2920 vsize=10342100 CPUtime=1741.27 cores=0-31
/proc/2922/task/2939/stat : 2939 (plingeling) R 2920 2922 2896 0 -1 4202560 227211 1241 0 0 173908 219 0 0 25 0 33 0 726745922 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2922/tid=2940] ppid=2920 vsize=10342100 CPUtime=1728.87 cores=0-31
/proc/2922/task/2940/stat : 2940 (plingeling) R 2920 2922 2896 0 -1 4202560 212065 1241 0 0 172591 296 0 0 25 0 33 0 726745923 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2922/tid=2941] ppid=2920 vsize=10342100 CPUtime=1735.07 cores=0-31
/proc/2922/task/2941/stat : 2941 (plingeling) R 2920 2922 2896 0 -1 4202560 208916 1241 0 0 173279 228 0 0 25 0 33 0 726745924 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4288630 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2922/tid=2942] ppid=2920 vsize=10342100 CPUtime=1743.21 cores=0-31
/proc/2922/task/2942/stat : 2942 (plingeling) R 2920 2922 2896 0 -1 4202560 221450 1241 0 0 174153 168 0 0 25 0 33 0 726745924 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2922/tid=2943] ppid=2920 vsize=10342100 CPUtime=1739.14 cores=0-31
/proc/2922/task/2943/stat : 2943 (plingeling) R 2920 2922 2896 0 -1 4202560 246717 1241 0 0 173746 168 0 0 25 0 33 0 726745924 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2922/tid=2944] ppid=2920 vsize=10342100 CPUtime=1743.07 cores=0-31
/proc/2922/task/2944/stat : 2944 (plingeling) R 2920 2922 2896 0 -1 4202560 219223 1241 0 0 174099 208 0 0 25 0 33 0 726745924 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2922/tid=2945] ppid=2920 vsize=10342100 CPUtime=1742.56 cores=0-31
/proc/2922/task/2945/stat : 2945 (plingeling) R 2920 2922 2896 0 -1 4202560 218285 1241 0 0 174004 252 0 0 25 0 33 0 726745924 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2922/tid=2946] ppid=2920 vsize=10342100 CPUtime=1739.79 cores=0-31
/proc/2922/task/2946/stat : 2946 (plingeling) R 2920 2922 2896 0 -1 4202560 215319 1241 0 0 173779 200 0 0 25 0 33 0 726745924 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2922/tid=2947] ppid=2920 vsize=10342100 CPUtime=1743.07 cores=0-31
/proc/2922/task/2947/stat : 2947 (plingeling) R 2920 2922 2896 0 -1 4202560 230382 1241 0 0 174087 220 0 0 25 0 33 0 726745926 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2922/tid=2948] ppid=2920 vsize=10342100 CPUtime=1741.58 cores=0-31
/proc/2922/task/2948/stat : 2948 (plingeling) R 2920 2922 2896 0 -1 4202560 214281 1241 0 0 173873 285 0 0 25 0 33 0 726745927 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4320867 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2922/tid=2949] ppid=2920 vsize=10342100 CPUtime=1738.8 cores=0-31
/proc/2922/task/2949/stat : 2949 (plingeling) R 2920 2922 2896 0 -1 4202560 179908 1241 0 0 173682 198 0 0 25 0 33 0 726745927 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2922/tid=2950] ppid=2920 vsize=10342100 CPUtime=1740.54 cores=0-31
/proc/2922/task/2950/stat : 2950 (plingeling) R 2920 2922 2896 0 -1 4202560 226318 1241 0 0 173889 165 0 0 25 0 33 0 726745928 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2922/tid=2951] ppid=2920 vsize=10342100 CPUtime=1742.42 cores=0-31
/proc/2922/task/2951/stat : 2951 (plingeling) R 2920 2922 2896 0 -1 4202560 177492 1241 0 0 174147 95 0 0 25 0 33 0 726745928 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4264953 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2922/tid=2952] ppid=2920 vsize=10342100 CPUtime=1742.95 cores=0-31
/proc/2922/task/2952/stat : 2952 (plingeling) R 2920 2922 2896 0 -1 4202560 226208 1241 0 0 174051 244 0 0 25 0 33 0 726745929 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236800 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2922/tid=2953] ppid=2920 vsize=10342100 CPUtime=1741.91 cores=0-31
/proc/2922/task/2953/stat : 2953 (plingeling) R 2920 2922 2896 0 -1 4202560 183593 1241 0 0 174051 140 0 0 25 0 33 0 726745929 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2922/tid=2954] ppid=2920 vsize=10342100 CPUtime=1740.7 cores=0-31
/proc/2922/task/2954/stat : 2954 (plingeling) R 2920 2922 2896 0 -1 4202560 166347 1241 0 0 173886 184 0 0 25 0 33 0 726745930 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=2922/tid=2955] ppid=2920 vsize=10342100 CPUtime=1730.78 cores=0-31
/proc/2922/task/2955/stat : 2955 (plingeling) R 2920 2922 2896 0 -1 4202560 224115 1241 0 0 172884 194 0 0 25 0 33 0 726745931 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2922/tid=2956] ppid=2920 vsize=10342100 CPUtime=1742.92 cores=0-31
/proc/2922/task/2956/stat : 2956 (plingeling) R 2920 2922 2896 0 -1 4202560 173293 1241 0 0 174083 209 0 0 25 0 33 0 726745931 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2922/tid=2957] ppid=2920 vsize=10342100 CPUtime=1742.08 cores=0-31
/proc/2922/task/2957/stat : 2957 (plingeling) R 2920 2922 2896 0 -1 4202560 210491 1241 0 0 173984 224 0 0 25 0 33 0 726745932 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2922/tid=2958] ppid=2920 vsize=10342100 CPUtime=1743.12 cores=0-31
/proc/2922/task/2958/stat : 2958 (plingeling) R 2920 2922 2896 0 -1 4202560 217057 1241 0 0 174174 138 0 0 25 0 33 0 726745932 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2922/tid=2959] ppid=2920 vsize=10342100 CPUtime=1740.2 cores=0-31
/proc/2922/task/2959/stat : 2959 (plingeling) R 2920 2922 2896 0 -1 4202560 219568 1241 0 0 173825 195 0 0 25 0 33 0 726745933 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2922/tid=2960] ppid=2920 vsize=10342100 CPUtime=1739.8 cores=0-31
/proc/2922/task/2960/stat : 2960 (plingeling) R 2920 2922 2896 0 -1 4202560 201634 1241 0 0 173782 198 0 0 25 0 33 0 726745933 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2922/tid=2961] ppid=2920 vsize=10342100 CPUtime=1744.57 cores=0-31
/proc/2922/task/2961/stat : 2961 (plingeling) R 2920 2922 2896 0 -1 4202560 179306 1241 0 0 174239 218 0 0 25 0 33 0 726745934 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2922/tid=2962] ppid=2920 vsize=10342100 CPUtime=1741.59 cores=0-31
/proc/2922/task/2962/stat : 2962 (plingeling) R 2920 2922 2896 0 -1 4202560 205514 1241 0 0 173879 280 0 0 25 0 33 0 726745935 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2922/tid=2963] ppid=2920 vsize=10342100 CPUtime=1735.32 cores=0-31
/proc/2922/task/2963/stat : 2963 (plingeling) R 2920 2922 2896 0 -1 4202560 241044 1241 0 0 173321 211 0 0 25 0 33 0 726745936 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2922/tid=2964] ppid=2920 vsize=10342100 CPUtime=1741.9 cores=0-31
/proc/2922/task/2964/stat : 2964 (plingeling) R 2920 2922 2896 0 -1 4202560 233693 1241 0 0 173928 262 0 0 25 0 33 0 726745936 10590310400 2430822 268435456000 4194304 4417452 140736969917904 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55878.9
Current children cumulated vsize (KiB) 10342100
[startup+1924.8 s]
/proc/loadavg: 32.04 32.01 30.95 33/446 3016
/proc/meminfo: memFree=245318316/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=7999004 CPUtime=55923.9 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 9898612 1241 0 0 5585292 7099 0 0 17 0 1 0 726728566 8190980096 1932471 268435456000 4194304 4417452 140736969917904 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 12 0 0 0
/proc/2922/statm: 1999751 1932127 176 55 0 1997637 0
Current children cumulated CPU time (s) 55923.9
Current children cumulated vsize (KiB) 7999004
[startup+1925.2 s]
/proc/loadavg: 32.04 32.01 30.95 2/414 3016
/proc/meminfo: memFree=249549944/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=3368532 CPUtime=55924.3 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202496 9898612 1241 0 0 5585292 7139 0 0 18 0 1 0 726728566 3449376768 732853 268435456000 4194304 4417452 140736969917904 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 12 0 0 0
/proc/2922/statm: 842133 732853 176 55 0 840019 0
Current children cumulated CPU time (s) 55924.3
Current children cumulated vsize (KiB) 3368532
[startup+1925.4 s]
/proc/loadavg: 32.04 32.01 30.95 2/414 3016
/proc/meminfo: memFree=249549944/264257624 swapFree=67111528/67111528
[pid=2922] ppid=2920 vsize=0 CPUtime=55924.5 cores=0-31
/proc/2922/stat : 2922 (plingeling) R 2920 2922 2896 0 -1 4202500 9898616 1241 0 0 5585292 7159 0 0 18 0 1 0 726728566 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 12 0 0 0
/proc/2922/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 55924.5
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1925.44
CPU time (s): 55924.6
CPU user time (s): 55852.9
CPU system time (s): 71.6321
CPU usage (%): 2904.51
Max. virtual memory (cumulated for all children) (KiB): 15312808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55852.9
system time used= 71.6321
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9899857
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= 6965
involuntary context switches= 141410
runsolver used 10.2484 second user time and 44.6132 second system time
The end
Begin job on node200 at 2011-05-23 14:07:02
IDJOB=3372972
IDBENCH=88158
IDSOLVER=1852
FILE ID=node200/3372972-1306152412
RUNJOBID= node200-1306152412-2910
PBS_JOBID= 13387847
Free space on /tmp= 61828 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372972-1306152412/watcher-3372972-1306152412 -o /tmp/evaluation-result-3372972-1306152412/solver-3372972-1306152412 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372972-1306152412.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=1396902272
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: 255059684 kB
Buffers: 460860 kB
Cached: 8325540 kB
SwapCached: 0 kB
Active: 7876004 kB
Inactive: 979324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255059684 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 225696 kB
Writeback: 0 kB
AnonPages: 68828 kB
Mapped: 14480 kB
Slab: 256268 kB
PageTables: 4384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192688 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= 61824 MiB
End job on node200 at 2011-05-23 14:39:07