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-3372687-1305957491/watcher-3372687-1305957491 -o /tmp/evaluation-result-3372687-1305957491/solver-3372687-1305957491 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372687-1305957491.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.24 31.03 31.72 1/413 11800
/proc/meminfo: memFree=255502000/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=34400 CPUtime=0.03 cores=0-31
/proc/11800/stat : 11800 (plingeling) R 11798 11800 11774 0 -1 4202496 6207 1240 0 0 1 1 0 1 21 0 1 0 707235540 35225600 6139 268435456000 4194304 4417452 140736685363280 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11800/statm: 8600 6151 138 55 0 6486 0
[startup+0.0452371 s]
/proc/loadavg: 27.24 31.03 31.72 1/413 11800
/proc/meminfo: memFree=255502000/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=42608 CPUtime=0.04 cores=0-31
/proc/11800/stat : 11800 (plingeling) R 11798 11800 11774 0 -1 4202496 8267 1240 0 0 2 1 0 1 21 0 1 0 707235540 43630592 8199 268435456000 4194304 4417452 140736685363280 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11800/statm: 10652 8213 138 55 0 8538 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 42608
[startup+0.101229 s]
/proc/loadavg: 27.24 31.03 31.72 1/413 11800
/proc/meminfo: memFree=255502000/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=79336 CPUtime=0.1 cores=0-31
/proc/11800/stat : 11800 (plingeling) R 11798 11800 11774 0 -1 4202496 17918 1240 0 0 5 4 0 1 21 0 1 0 707235540 81240064 17849 268435456000 4194304 4417452 140736685363280 18446744073709551615 4232651 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11800/statm: 19834 17849 141 55 0 17720 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 79336
[startup+0.301248 s]
/proc/loadavg: 27.24 31.03 31.72 1/413 11800
/proc/meminfo: memFree=255502000/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=98040 CPUtime=0.3 cores=0-31
/proc/11800/stat : 11800 (plingeling) R 11798 11800 11774 0 -1 4202496 22585 1240 0 0 23 6 0 1 22 0 1 0 707235540 100392960 22516 268435456000 4194304 4417452 140736685363280 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11800/statm: 24510 22516 146 55 0 22396 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 98040
[startup+0.700282 s]
/proc/loadavg: 27.24 31.03 31.72 1/413 11800
/proc/meminfo: memFree=255502000/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=125916 CPUtime=0.7 cores=0-31
/proc/11800/stat : 11800 (plingeling) R 11798 11800 11774 0 -1 4202496 29538 1240 0 0 61 8 0 1 23 0 1 0 707235540 128937984 29469 268435456000 4194304 4417452 140736685363280 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11800/statm: 31479 29469 146 55 0 29365 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 125916
[startup+1.50032 s]
/proc/loadavg: 25.13 30.53 31.55 2/414 11806
/proc/meminfo: memFree=255338176/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=204756 CPUtime=1.49 cores=0-31
/proc/11800/stat : 11800 (plingeling) R 11798 11800 11774 0 -1 4202496 49280 1240 0 0 137 11 0 1 25 0 1 0 707235540 209670144 49211 268435456000 4194304 4417452 140736685363280 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11800/statm: 51189 49211 146 55 0 49075 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204756
[startup+3.10038 s]
/proc/loadavg: 25.13 30.53 31.55 2/414 11806
/proc/meminfo: memFree=255245272/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=328332 CPUtime=3.1 cores=0-31
/proc/11800/stat : 11800 (plingeling) R 11798 11800 11774 0 -1 4202496 80182 1240 0 0 291 18 0 1 25 0 1 0 707235540 336211968 80105 268435456000 4194304 4417452 140736685363280 18446744073709551615 4231250 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11800/statm: 82083 80105 146 55 0 79969 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 328332
[startup+6.30235 s]
/proc/loadavg: 25.13 30.53 31.55 33/446 11838
/proc/meminfo: memFree=255037296/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=879444 CPUtime=78.42 cores=0-31
/proc/11800/stat : 11800 (plingeling) S 11798 11800 11774 0 -1 4202496 268720 1240 0 0 7693 148 0 1 19 0 33 0 707235540 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/11800/statm: 219861 112843 171 55 0 217747 0
[pid=11800/tid=11807] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11807/stat : 11807 (plingeling) R 11798 11800 11774 0 -1 4202560 2423 1240 0 0 231 2 0 1 21 0 33 0 707235931 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11800/tid=11808] ppid=11798 vsize=879444 CPUtime=2.36 cores=0-31
/proc/11800/task/11808/stat : 11808 (plingeling) R 11798 11800 11774 0 -1 4202560 2553 1240 0 0 233 2 0 1 21 0 33 0 707235931 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4306616 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11800/tid=11809] ppid=11798 vsize=879444 CPUtime=2.35 cores=0-31
/proc/11800/task/11809/stat : 11809 (plingeling) R 11798 11800 11774 0 -1 4202560 3709 1240 0 0 230 4 0 1 25 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11800/tid=11810] ppid=11798 vsize=879444 CPUtime=2.32 cores=0-31
/proc/11800/task/11810/stat : 11810 (plingeling) R 11798 11800 11774 0 -1 4202560 2159 1240 0 0 226 5 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4232721 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11800/tid=11811] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11811/stat : 11811 (plingeling) R 11798 11800 11774 0 -1 4202560 4267 1240 0 0 229 4 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4292063 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11800/tid=11812] ppid=11798 vsize=879444 CPUtime=2.29 cores=0-31
/proc/11800/task/11812/stat : 11812 (plingeling) R 11798 11800 11774 0 -1 4202560 8987 1240 0 0 225 3 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284167 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11800/tid=11813] ppid=11798 vsize=879444 CPUtime=2.33 cores=0-31
/proc/11800/task/11813/stat : 11813 (plingeling) R 11798 11800 11774 0 -1 4202560 4635 1240 0 0 229 3 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11800/tid=11814] ppid=11798 vsize=879444 CPUtime=2.35 cores=0-31
/proc/11800/task/11814/stat : 11814 (plingeling) R 11798 11800 11774 0 -1 4202560 6252 1240 0 0 231 3 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284693 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11800/tid=11815] ppid=11798 vsize=879444 CPUtime=2.35 cores=0-31
/proc/11800/task/11815/stat : 11815 (plingeling) R 11798 11800 11774 0 -1 4202560 2618 1240 0 0 231 3 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11800/tid=11816] ppid=11798 vsize=879444 CPUtime=2.35 cores=0-31
/proc/11800/task/11816/stat : 11816 (plingeling) R 11798 11800 11774 0 -1 4202560 3862 1240 0 0 232 2 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11800/tid=11817] ppid=11798 vsize=879444 CPUtime=2.36 cores=0-31
/proc/11800/task/11817/stat : 11817 (plingeling) R 11798 11800 11774 0 -1 4202560 4915 1240 0 0 232 3 0 1 21 0 33 0 707235932 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11800/tid=11818] ppid=11798 vsize=879444 CPUtime=2.35 cores=0-31
/proc/11800/task/11818/stat : 11818 (plingeling) R 11798 11800 11774 0 -1 4202560 4344 1240 0 0 230 4 0 1 21 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11800/tid=11819] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11819/stat : 11819 (plingeling) R 11798 11800 11774 0 -1 4202560 7244 1240 0 0 229 4 0 1 25 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11800/tid=11820] ppid=11798 vsize=879444 CPUtime=2.36 cores=0-31
/proc/11800/task/11820/stat : 11820 (plingeling) R 11798 11800 11774 0 -1 4202560 8878 1240 0 0 231 4 0 1 21 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4286440 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11800/tid=11821] ppid=11798 vsize=879444 CPUtime=2.26 cores=0-31
/proc/11800/task/11821/stat : 11821 (plingeling) R 11798 11800 11774 0 -1 4202560 5037 1240 0 0 221 4 0 1 25 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11800/tid=11822] ppid=11798 vsize=879444 CPUtime=2.35 cores=0-31
/proc/11800/task/11822/stat : 11822 (plingeling) R 11798 11800 11774 0 -1 4202560 4279 1240 0 0 231 3 0 1 21 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4302145 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11800/tid=11823] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11823/stat : 11823 (plingeling) R 11798 11800 11774 0 -1 4202560 4052 1240 0 0 229 4 0 1 21 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11800/tid=11824] ppid=11798 vsize=879444 CPUtime=2.31 cores=0-31
/proc/11800/task/11824/stat : 11824 (plingeling) R 11798 11800 11774 0 -1 4202560 3218 1240 0 0 227 3 0 1 22 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11800/tid=11825] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11825/stat : 11825 (plingeling) R 11798 11800 11774 0 -1 4202560 2988 1240 0 0 229 4 0 1 21 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4281428 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11800/tid=11826] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11826/stat : 11826 (plingeling) R 11798 11800 11774 0 -1 4202560 3079 1240 0 0 229 4 0 1 22 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11800/tid=11827] ppid=11798 vsize=879444 CPUtime=2.32 cores=0-31
/proc/11800/task/11827/stat : 11827 (plingeling) R 11798 11800 11774 0 -1 4202560 2985 1240 0 0 228 3 0 1 21 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4292063 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11800/tid=11828] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11828/stat : 11828 (plingeling) R 11798 11800 11774 0 -1 4202560 4204 1240 0 0 229 4 0 1 21 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11800/tid=11829] ppid=11798 vsize=879444 CPUtime=2.34 cores=0-31
/proc/11800/task/11829/stat : 11829 (plingeling) R 11798 11800 11774 0 -1 4202560 4989 1240 0 0 230 3 0 1 25 0 33 0 707235933 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4292058 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11800/tid=11830] ppid=11798 vsize=879444 CPUtime=2.27 cores=0-31
/proc/11800/task/11830/stat : 11830 (plingeling) R 11798 11800 11774 0 -1 4202560 8680 1240 0 0 224 2 0 1 25 0 33 0 707235934 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11800/tid=11831] ppid=11798 vsize=879444 CPUtime=2.33 cores=0-31
/proc/11800/task/11831/stat : 11831 (plingeling) R 11798 11800 11774 0 -1 4202560 7378 1240 0 0 228 4 0 1 25 0 33 0 707235934 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11800/tid=11832] ppid=11798 vsize=879444 CPUtime=2.29 cores=0-31
/proc/11800/task/11832/stat : 11832 (plingeling) R 11798 11800 11774 0 -1 4202560 8202 1240 0 0 224 4 0 1 25 0 33 0 707235935 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11800/tid=11833] ppid=11798 vsize=879444 CPUtime=2.33 cores=0-31
/proc/11800/task/11833/stat : 11833 (plingeling) R 11798 11800 11774 0 -1 4202560 5005 1240 0 0 229 3 0 1 21 0 33 0 707235935 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284677 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11800/tid=11834] ppid=11798 vsize=879444 CPUtime=2.32 cores=0-31
/proc/11800/task/11834/stat : 11834 (plingeling) R 11798 11800 11774 0 -1 4202560 7567 1240 0 0 227 4 0 1 25 0 33 0 707235935 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11800/tid=11835] ppid=11798 vsize=879444 CPUtime=2.32 cores=0-31
/proc/11800/task/11835/stat : 11835 (plingeling) R 11798 11800 11774 0 -1 4202560 4268 1240 0 0 229 2 0 1 25 0 33 0 707235935 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11800/tid=11836] ppid=11798 vsize=879444 CPUtime=2.32 cores=0-31
/proc/11800/task/11836/stat : 11836 (plingeling) R 11798 11800 11774 0 -1 4202560 5470 1240 0 0 228 3 0 1 25 0 33 0 707235935 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11800/tid=11837] ppid=11798 vsize=879444 CPUtime=2.25 cores=0-31
/proc/11800/task/11837/stat : 11837 (plingeling) R 11798 11800 11774 0 -1 4202560 5101 1240 0 0 223 1 0 1 21 0 33 0 707235936 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11800/tid=11838] ppid=11798 vsize=879444 CPUtime=2.3 cores=0-31
/proc/11800/task/11838/stat : 11838 (plingeling) R 11798 11800 11774 0 -1 4202560 5007 1240 0 0 227 2 0 1 25 0 33 0 707235936 900550656 112843 268435456000 4194304 4417452 140736685363280 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 78.42
Current children cumulated vsize (KiB) 879444
[startup+12.7016 s]
/proc/loadavg: 26.19 30.58 31.55 33/446 11838
/proc/meminfo: memFree=254734628/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=1188940 CPUtime=280.71 cores=0-31
/proc/11800/stat : 11800 (plingeling) S 11798 11800 11774 0 -1 4202496 377263 1240 0 0 27836 234 0 1 19 0 33 0 707235540 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/11800/statm: 297235 186743 175 55 0 295121 0
[pid=11800/tid=11807] ppid=11798 vsize=1188940 CPUtime=8.64 cores=0-31
/proc/11800/task/11807/stat : 11807 (plingeling) R 11798 11800 11774 0 -1 4202560 7026 1240 0 0 857 6 0 1 25 0 33 0 707235931 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4258389 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11800/tid=11808] ppid=11798 vsize=1188940 CPUtime=8.54 cores=0-31
/proc/11800/task/11808/stat : 11808 (plingeling) R 11798 11800 11774 0 -1 4202560 6134 1240 0 0 849 4 0 1 25 0 33 0 707235931 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4258359 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11800/tid=11809] ppid=11798 vsize=1188940 CPUtime=8.74 cores=0-31
/proc/11800/task/11809/stat : 11809 (plingeling) R 11798 11800 11774 0 -1 4202560 6805 1240 0 0 868 5 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11800/tid=11810] ppid=11798 vsize=1188940 CPUtime=8.68 cores=0-31
/proc/11800/task/11810/stat : 11810 (plingeling) R 11798 11800 11774 0 -1 4202560 2527 1240 0 0 862 5 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11800/tid=11811] ppid=11798 vsize=1188940 CPUtime=8.68 cores=0-31
/proc/11800/task/11811/stat : 11811 (plingeling) R 11798 11800 11774 0 -1 4202560 6922 1240 0 0 860 7 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4250080 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11800/tid=11812] ppid=11798 vsize=1188940 CPUtime=8.5 cores=0-31
/proc/11800/task/11812/stat : 11812 (plingeling) R 11798 11800 11774 0 -1 4202560 13928 1240 0 0 841 8 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4252806 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11800/tid=11813] ppid=11798 vsize=1188940 CPUtime=8.71 cores=0-31
/proc/11800/task/11813/stat : 11813 (plingeling) R 11798 11800 11774 0 -1 4202560 6299 1240 0 0 866 4 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11800/tid=11814] ppid=11798 vsize=1188940 CPUtime=8.63 cores=0-31
/proc/11800/task/11814/stat : 11814 (plingeling) R 11798 11800 11774 0 -1 4202560 10800 1240 0 0 854 8 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11800/tid=11815] ppid=11798 vsize=1188940 CPUtime=8.64 cores=0-31
/proc/11800/task/11815/stat : 11815 (plingeling) R 11798 11800 11774 0 -1 4202560 4972 1240 0 0 856 7 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4258134 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11800/tid=11816] ppid=11798 vsize=1188940 CPUtime=8.6 cores=0-31
/proc/11800/task/11816/stat : 11816 (plingeling) R 11798 11800 11774 0 -1 4202560 8269 1240 0 0 853 6 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4258229 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11800/tid=11817] ppid=11798 vsize=1188940 CPUtime=8.74 cores=0-31
/proc/11800/task/11817/stat : 11817 (plingeling) R 11798 11800 11774 0 -1 4202560 9045 1240 0 0 868 5 0 1 25 0 33 0 707235932 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4236267 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11800/tid=11818] ppid=11798 vsize=1188940 CPUtime=8.56 cores=0-31
/proc/11800/task/11818/stat : 11818 (plingeling) R 11798 11800 11774 0 -1 4202560 8742 1240 0 0 847 8 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4236296 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11800/tid=11819] ppid=11798 vsize=1188940 CPUtime=8.45 cores=0-31
/proc/11800/task/11819/stat : 11819 (plingeling) R 11798 11800 11774 0 -1 4202560 11347 1240 0 0 835 9 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4252447 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11800/tid=11820] ppid=11798 vsize=1188940 CPUtime=8.66 cores=0-31
/proc/11800/task/11820/stat : 11820 (plingeling) R 11798 11800 11774 0 -1 4202560 12220 1240 0 0 857 8 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11800/tid=11821] ppid=11798 vsize=1188940 CPUtime=8.63 cores=0-31
/proc/11800/task/11821/stat : 11821 (plingeling) R 11798 11800 11774 0 -1 4202560 7713 1240 0 0 854 8 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11800/tid=11822] ppid=11798 vsize=1188940 CPUtime=8.75 cores=0-31
/proc/11800/task/11822/stat : 11822 (plingeling) R 11798 11800 11774 0 -1 4202560 7204 1240 0 0 870 4 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11800/tid=11823] ppid=11798 vsize=1188940 CPUtime=8.72 cores=0-31
/proc/11800/task/11823/stat : 11823 (plingeling) R 11798 11800 11774 0 -1 4202560 8173 1240 0 0 866 5 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4249997 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11800/tid=11824] ppid=11798 vsize=1188940 CPUtime=8.67 cores=0-31
/proc/11800/task/11824/stat : 11824 (plingeling) R 11798 11800 11774 0 -1 4202560 7686 1240 0 0 859 7 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4249786 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11800/tid=11825] ppid=11798 vsize=1188940 CPUtime=8.71 cores=0-31
/proc/11800/task/11825/stat : 11825 (plingeling) R 11798 11800 11774 0 -1 4202560 6283 1240 0 0 866 4 0 1 25 0 33 0 707235933 1217474560 186743 268435456000 4194304 4417452 140736685363280 18446744073709551615 4249577 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11800/tid=11826] ppid=11798 vsize=1188940 CPUtime=8.67 cores=0-31
################
# More data... #
################
/proc/11800/task/11812/stat : 11812 (plingeling) R 11798 11800 11774 0 -1 4202560 637890 1240 0 0 493393 913 0 1 25 0 33 0 707235932 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11800/tid=11813] ppid=11798 vsize=13424736 CPUtime=4947.52 cores=0-31
/proc/11800/task/11813/stat : 11813 (plingeling) R 11798 11800 11774 0 -1 4202560 614089 1240 0 0 494020 731 0 1 25 0 33 0 707235932 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11800/tid=11814] ppid=11798 vsize=13424736 CPUtime=4954.85 cores=0-31
/proc/11800/task/11814/stat : 11814 (plingeling) R 11798 11800 11774 0 -1 4202560 612475 1240 0 0 494708 776 0 1 25 0 33 0 707235932 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11800/tid=11815] ppid=11798 vsize=13424736 CPUtime=4956.05 cores=0-31
/proc/11800/task/11815/stat : 11815 (plingeling) R 11798 11800 11774 0 -1 4202560 662949 1240 0 0 494745 859 0 1 25 0 33 0 707235932 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11800/tid=11816] ppid=11798 vsize=13424736 CPUtime=4910.22 cores=0-31
/proc/11800/task/11816/stat : 11816 (plingeling) R 11798 11800 11774 0 -1 4202560 593339 1240 0 0 490362 659 0 1 25 0 33 0 707235932 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11800/tid=11817] ppid=11798 vsize=13424736 CPUtime=4950.42 cores=0-31
/proc/11800/task/11817/stat : 11817 (plingeling) R 11798 11800 11774 0 -1 4202560 606088 1240 0 0 494188 853 0 1 25 0 33 0 707235932 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11800/tid=11818] ppid=11798 vsize=13424736 CPUtime=4944.24 cores=0-31
/proc/11800/task/11818/stat : 11818 (plingeling) R 11798 11800 11774 0 -1 4202560 615481 1240 0 0 493743 680 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11800/tid=11819] ppid=11798 vsize=13424736 CPUtime=4951.21 cores=0-31
/proc/11800/task/11819/stat : 11819 (plingeling) R 11798 11800 11774 0 -1 4202560 578912 1240 0 0 494341 779 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11800/tid=11820] ppid=11798 vsize=13424736 CPUtime=4955.98 cores=0-31
/proc/11800/task/11820/stat : 11820 (plingeling) R 11798 11800 11774 0 -1 4202560 675977 1240 0 0 494818 779 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11800/tid=11821] ppid=11798 vsize=13424736 CPUtime=4951.76 cores=0-31
/proc/11800/task/11821/stat : 11821 (plingeling) R 11798 11800 11774 0 -1 4202560 635920 1240 0 0 494264 911 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11800/tid=11822] ppid=11798 vsize=13424736 CPUtime=4947.82 cores=0-31
/proc/11800/task/11822/stat : 11822 (plingeling) R 11798 11800 11774 0 -1 4202560 621277 1240 0 0 493858 923 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11800/tid=11823] ppid=11798 vsize=13424736 CPUtime=4953.66 cores=0-31
/proc/11800/task/11823/stat : 11823 (plingeling) R 11798 11800 11774 0 -1 4202560 647419 1240 0 0 494665 700 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11800/tid=11824] ppid=11798 vsize=13424736 CPUtime=4950.81 cores=0-31
/proc/11800/task/11824/stat : 11824 (plingeling) R 11798 11800 11774 0 -1 4202560 628392 1240 0 0 494356 724 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11800/tid=11825] ppid=11798 vsize=13424736 CPUtime=4953.6 cores=0-31
/proc/11800/task/11825/stat : 11825 (plingeling) R 11798 11800 11774 0 -1 4202560 582006 1240 0 0 494574 785 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11800/tid=11826] ppid=11798 vsize=13424736 CPUtime=4953.77 cores=0-31
/proc/11800/task/11826/stat : 11826 (plingeling) R 11798 11800 11774 0 -1 4202560 625136 1240 0 0 494473 903 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11800/tid=11827] ppid=11798 vsize=13424736 CPUtime=4953.41 cores=0-31
/proc/11800/task/11827/stat : 11827 (plingeling) R 11798 11800 11774 0 -1 4202560 582450 1240 0 0 494539 801 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11800/tid=11828] ppid=11798 vsize=13424736 CPUtime=4949.52 cores=0-31
/proc/11800/task/11828/stat : 11828 (plingeling) R 11798 11800 11774 0 -1 4202560 677515 1240 0 0 494048 903 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11800/tid=11829] ppid=11798 vsize=13424736 CPUtime=4956.14 cores=0-31
/proc/11800/task/11829/stat : 11829 (plingeling) R 11798 11800 11774 0 -1 4202560 560859 1240 0 0 494855 758 0 1 25 0 33 0 707235933 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11800/tid=11830] ppid=11798 vsize=13424736 CPUtime=4955.82 cores=0-31
/proc/11800/task/11830/stat : 11830 (plingeling) R 11798 11800 11774 0 -1 4202560 596230 1240 0 0 494698 883 0 1 25 0 33 0 707235934 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11800/tid=11831] ppid=11798 vsize=13424736 CPUtime=4953.5 cores=0-31
/proc/11800/task/11831/stat : 11831 (plingeling) R 11798 11800 11774 0 -1 4202560 680598 1240 0 0 494431 918 0 1 25 0 33 0 707235934 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11800/tid=11832] ppid=11798 vsize=13424736 CPUtime=4949.11 cores=0-31
/proc/11800/task/11832/stat : 11832 (plingeling) R 11798 11800 11774 0 -1 4202560 669684 1240 0 0 494159 751 0 1 25 0 33 0 707235935 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11800/tid=11833] ppid=11798 vsize=13424736 CPUtime=4955.37 cores=0-31
/proc/11800/task/11833/stat : 11833 (plingeling) R 11798 11800 11774 0 -1 4202560 680002 1240 0 0 494728 808 0 1 25 0 33 0 707235935 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11800/tid=11834] ppid=11798 vsize=13424736 CPUtime=4956.32 cores=0-31
/proc/11800/task/11834/stat : 11834 (plingeling) R 11798 11800 11774 0 -1 4202560 665367 1240 0 0 494688 943 0 1 25 0 33 0 707235935 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11800/tid=11835] ppid=11798 vsize=13424736 CPUtime=4952.22 cores=0-31
/proc/11800/task/11835/stat : 11835 (plingeling) R 11798 11800 11774 0 -1 4202560 641229 1240 0 0 494478 743 0 1 25 0 33 0 707235935 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11800/tid=11836] ppid=11798 vsize=13424736 CPUtime=4950.6 cores=0-31
/proc/11800/task/11836/stat : 11836 (plingeling) R 11798 11800 11774 0 -1 4202560 612826 1240 0 0 494410 649 0 1 25 0 33 0 707235935 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11800/tid=11837] ppid=11798 vsize=13424736 CPUtime=4949.44 cores=0-31
/proc/11800/task/11837/stat : 11837 (plingeling) R 11798 11800 11774 0 -1 4202560 633130 1240 0 0 494256 687 0 1 25 0 33 0 707235936 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11800/tid=11838] ppid=11798 vsize=13424736 CPUtime=4947.97 cores=0-31
/proc/11800/task/11838/stat : 11838 (plingeling) R 11798 11800 11774 0 -1 4202560 569086 1240 0 0 494073 723 0 1 25 0 33 0 707235936 13746929664 3243811 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 158360
Current children cumulated vsize (KiB) 13424736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5013.6 s]
/proc/loadavg: 32.06 32.10 32.05 33/446 11991
/proc/meminfo: memFree=242448768/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=13482308 CPUtime=160001 cores=0-31
/proc/11800/stat : 11800 (plingeling) S 11798 11800 11774 0 -1 4202496 20355026 1240 0 0 15974373 25715 0 1 19 0 33 0 707235540 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/11800/statm: 3370577 3258614 175 55 0 3368463 0
[pid=11800/tid=11807] ppid=11798 vsize=13482308 CPUtime=4977.94 cores=0-31
/proc/11800/task/11807/stat : 11807 (plingeling) R 11798 11800 11774 0 -1 4202560 562183 1240 0 0 497104 689 0 1 25 0 33 0 707235931 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11800/tid=11808] ppid=11798 vsize=13482308 CPUtime=5005.6 cores=0-31
/proc/11800/task/11808/stat : 11808 (plingeling) R 11798 11800 11774 0 -1 4202560 705288 1240 0 0 499662 897 0 1 25 0 33 0 707235931 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11800/tid=11809] ppid=11798 vsize=13482308 CPUtime=4989.71 cores=0-31
/proc/11800/task/11809/stat : 11809 (plingeling) R 11798 11800 11774 0 -1 4202560 657049 1240 0 0 498071 899 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11800/tid=11810] ppid=11798 vsize=13482308 CPUtime=4983.97 cores=0-31
/proc/11800/task/11810/stat : 11810 (plingeling) R 11798 11800 11774 0 -1 4202560 496217 1240 0 0 497908 488 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11800/tid=11811] ppid=11798 vsize=13482308 CPUtime=4999.96 cores=0-31
/proc/11800/task/11811/stat : 11811 (plingeling) R 11798 11800 11774 0 -1 4202560 646472 1240 0 0 499118 877 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11800/tid=11812] ppid=11798 vsize=13482308 CPUtime=4994.39 cores=0-31
/proc/11800/task/11812/stat : 11812 (plingeling) R 11798 11800 11774 0 -1 4202560 695288 1240 0 0 498449 989 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11800/tid=11813] ppid=11798 vsize=13482308 CPUtime=4998.83 cores=0-31
/proc/11800/task/11813/stat : 11813 (plingeling) R 11798 11800 11774 0 -1 4202560 632593 1240 0 0 499147 735 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11800/tid=11814] ppid=11798 vsize=13482308 CPUtime=5006.15 cores=0-31
/proc/11800/task/11814/stat : 11814 (plingeling) R 11798 11800 11774 0 -1 4202560 612475 1240 0 0 499838 776 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11800/tid=11815] ppid=11798 vsize=13482308 CPUtime=5007.37 cores=0-31
/proc/11800/task/11815/stat : 11815 (plingeling) R 11798 11800 11774 0 -1 4202560 662949 1240 0 0 499877 859 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11800/tid=11816] ppid=11798 vsize=13482308 CPUtime=4961.53 cores=0-31
/proc/11800/task/11816/stat : 11816 (plingeling) R 11798 11800 11774 0 -1 4202560 593339 1240 0 0 495493 659 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11800/tid=11817] ppid=11798 vsize=13482308 CPUtime=5001.73 cores=0-31
/proc/11800/task/11817/stat : 11817 (plingeling) R 11798 11800 11774 0 -1 4202560 606088 1240 0 0 499319 853 0 1 25 0 33 0 707235932 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11800/tid=11818] ppid=11798 vsize=13482308 CPUtime=4995.55 cores=0-31
/proc/11800/task/11818/stat : 11818 (plingeling) R 11798 11800 11774 0 -1 4202560 615481 1240 0 0 498874 680 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11800/tid=11819] ppid=11798 vsize=13482308 CPUtime=5002.53 cores=0-31
/proc/11800/task/11819/stat : 11819 (plingeling) R 11798 11800 11774 0 -1 4202560 578912 1240 0 0 499471 781 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11800/tid=11820] ppid=11798 vsize=13482308 CPUtime=5007.29 cores=0-31
/proc/11800/task/11820/stat : 11820 (plingeling) R 11798 11800 11774 0 -1 4202560 708745 1240 0 0 499859 869 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11800/tid=11821] ppid=11798 vsize=13482308 CPUtime=5003.07 cores=0-31
/proc/11800/task/11821/stat : 11821 (plingeling) R 11798 11800 11774 0 -1 4202560 635927 1240 0 0 499395 911 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11800/tid=11822] ppid=11798 vsize=13482308 CPUtime=4999.14 cores=0-31
/proc/11800/task/11822/stat : 11822 (plingeling) R 11798 11800 11774 0 -1 4202560 637661 1240 0 0 498986 927 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11800/tid=11823] ppid=11798 vsize=13482308 CPUtime=5004.97 cores=0-31
/proc/11800/task/11823/stat : 11823 (plingeling) R 11798 11800 11774 0 -1 4202560 647426 1240 0 0 499796 700 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4366806 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11800/tid=11824] ppid=11798 vsize=13482308 CPUtime=5002.12 cores=0-31
/proc/11800/task/11824/stat : 11824 (plingeling) R 11798 11800 11774 0 -1 4202560 628392 1240 0 0 499487 724 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11800/tid=11825] ppid=11798 vsize=13482308 CPUtime=5004.91 cores=0-31
/proc/11800/task/11825/stat : 11825 (plingeling) R 11798 11800 11774 0 -1 4202560 582006 1240 0 0 499705 785 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11800/tid=11826] ppid=11798 vsize=13482308 CPUtime=5005.09 cores=0-31
/proc/11800/task/11826/stat : 11826 (plingeling) R 11798 11800 11774 0 -1 4202560 625136 1240 0 0 499605 903 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11800/tid=11827] ppid=11798 vsize=13482308 CPUtime=5004.73 cores=0-31
/proc/11800/task/11827/stat : 11827 (plingeling) R 11798 11800 11774 0 -1 4202560 583502 1240 0 0 499670 802 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11800/tid=11828] ppid=11798 vsize=13482308 CPUtime=5000.81 cores=0-31
/proc/11800/task/11828/stat : 11828 (plingeling) R 11798 11800 11774 0 -1 4202560 677515 1240 0 0 499176 904 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11800/tid=11829] ppid=11798 vsize=13482308 CPUtime=5007.45 cores=0-31
/proc/11800/task/11829/stat : 11829 (plingeling) R 11798 11800 11774 0 -1 4202560 598466 1240 0 0 499968 776 0 1 25 0 33 0 707235933 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11800/tid=11830] ppid=11798 vsize=13482308 CPUtime=5007.13 cores=0-31
/proc/11800/task/11830/stat : 11830 (plingeling) R 11798 11800 11774 0 -1 4202560 596230 1240 0 0 499829 883 0 1 25 0 33 0 707235934 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11800/tid=11831] ppid=11798 vsize=13482308 CPUtime=5004.82 cores=0-31
/proc/11800/task/11831/stat : 11831 (plingeling) R 11798 11800 11774 0 -1 4202560 680598 1240 0 0 499563 918 0 1 25 0 33 0 707235934 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11800/tid=11832] ppid=11798 vsize=13482308 CPUtime=5000.42 cores=0-31
/proc/11800/task/11832/stat : 11832 (plingeling) R 11798 11800 11774 0 -1 4202560 702868 1240 0 0 499264 777 0 1 25 0 33 0 707235935 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11800/tid=11833] ppid=11798 vsize=13482308 CPUtime=5006.69 cores=0-31
/proc/11800/task/11833/stat : 11833 (plingeling) R 11798 11800 11774 0 -1 4202560 680002 1240 0 0 499860 808 0 1 25 0 33 0 707235935 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11800/tid=11834] ppid=11798 vsize=13482308 CPUtime=5007.63 cores=0-31
/proc/11800/task/11834/stat : 11834 (plingeling) R 11798 11800 11774 0 -1 4202560 665367 1240 0 0 499819 943 0 1 25 0 33 0 707235935 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11800/tid=11835] ppid=11798 vsize=13482308 CPUtime=5003.53 cores=0-31
/proc/11800/task/11835/stat : 11835 (plingeling) R 11798 11800 11774 0 -1 4202560 641229 1240 0 0 499609 743 0 1 25 0 33 0 707235935 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11800/tid=11836] ppid=11798 vsize=13482308 CPUtime=5001.92 cores=0-31
/proc/11800/task/11836/stat : 11836 (plingeling) R 11798 11800 11774 0 -1 4202560 670649 1240 0 0 499485 706 0 1 25 0 33 0 707235935 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11800/tid=11837] ppid=11798 vsize=13482308 CPUtime=5000.76 cores=0-31
/proc/11800/task/11837/stat : 11837 (plingeling) R 11798 11800 11774 0 -1 4202560 649522 1240 0 0 499384 691 0 1 25 0 33 0 707235936 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11800/tid=11838] ppid=11798 vsize=13482308 CPUtime=4999.28 cores=0-31
/proc/11800/task/11838/stat : 11838 (plingeling) R 11798 11800 11774 0 -1 4202560 569086 1240 0 0 499204 723 0 1 25 0 33 0 707235936 13805883392 3258614 268435456000 4194304 4417452 140736685363280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 13482308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5014.2 s]
/proc/loadavg: 32.06 32.10 32.05 2/416 11992
/proc/meminfo: memFree=243592296/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=0 CPUtime=160002 cores=0-31
/proc/11800/stat : 11800 (plingeling) Z 11798 11800 11774 0 -1 4203548 20355026 1240 0 0 15974395 25772 0 1 18 0 2 0 707235540 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/11800/statm: 0 0 0 0 0 0 0
[pid=11800/tid=11820] ppid=11798 vsize=0 CPUtime=5007.87 cores=0-31
/proc/11800/task/11820/stat : 11820 (plingeling) R 11798 11800 11774 0 -1 4203588 708745 1240 0 0 499860 926 0 1 25 0 2 0 707235933 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5014.4 s]
/proc/loadavg: 32.06 32.10 32.05 2/416 11992
/proc/meminfo: memFree=243592296/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=0 CPUtime=160002 cores=0-31
/proc/11800/stat : 11800 (plingeling) Z 11798 11800 11774 0 -1 4203548 20355026 1240 0 0 15974395 25792 0 1 18 0 2 0 707235540 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/11800/statm: 0 0 0 0 0 0 0
[pid=11800/tid=11820] ppid=11798 vsize=0 CPUtime=5008.07 cores=0-31
/proc/11800/task/11820/stat : 11820 (plingeling) R 11798 11800 11774 0 -1 4203588 708745 1240 0 0 499860 946 0 1 25 0 2 0 707235933 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5014.5 s]
/proc/loadavg: 32.06 32.10 32.05 2/416 11992
/proc/meminfo: memFree=243592296/264257624 swapFree=67111528/67111528
[pid=11800] ppid=11798 vsize=0 CPUtime=160002 cores=0-31
/proc/11800/stat : 11800 (plingeling) Z 11798 11800 11774 0 -1 4203548 20355026 1240 0 0 15974395 25802 0 1 18 0 2 0 707235540 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/11800/statm: 0 0 0 0 0 0 0
[pid=11800/tid=11820] ppid=11798 vsize=0 CPUtime=5008.17 cores=0-31
/proc/11800/task/11820/stat : 11820 (plingeling) R 11798 11800 11774 0 -1 4203588 708745 1240 0 0 499860 956 0 1 25 0 2 0 707235933 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.55
CPU time (s): 160002
CPU user time (s): 159744
CPU system time (s): 258.091
CPU usage (%): 3190.76
Max. virtual memory (cumulated for all children) (KiB): 14474044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159744
system time used= 258.091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20356266
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= 10626
involuntary context switches= 407877
runsolver used 27.6468 second user time and 113.822 second system time
The end
Begin job on node200 at 2011-05-21 07:58:11
IDJOB=3372687
IDBENCH=83116
IDSOLVER=1852
FILE ID=node200/3372687-1305957491
RUNJOBID= node200-1305957490-11788
PBS_JOBID= 13387786
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top24.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372687-1305957491/watcher-3372687-1305957491 -o /tmp/evaluation-result-3372687-1305957491/solver-3372687-1305957491 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372687-1305957491.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 1f485d737caaaca49e2c467c83cbdcec
RANDOM SEED=123379539
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: 255502156 kB
Buffers: 453496 kB
Cached: 7899532 kB
SwapCached: 0 kB
Active: 7414108 kB
Inactive: 1007848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255502156 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3764 kB
Writeback: 0 kB
AnonPages: 69476 kB
Mapped: 14408 kB
Slab: 252512 kB
PageTables: 4320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186416 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= 62040 MiB
End job on node200 at 2011-05-21 09:21:47