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-3372144-1305451207/watcher-3372144-1305451207 -o /tmp/evaluation-result-3372144-1305451207/solver-3372144-1305451207 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372144-1305451207.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: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=25628 CPUtime=0.03 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 4491 1240 0 0 2 1 0 0 21 0 1 0 656607145 26243072 4423 268435456000 4194304 4417452 140736169442112 18446744073709551615 4227769 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 6407 4423 141 55 0 4293 0
[startup+0.098711 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=57412 CPUtime=0.09 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 12363 1240 0 0 7 2 0 0 21 0 1 0 656607145 58789888 12295 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 14353 12314 142 55 0 12239 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57412
[startup+0.100712 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=59460 CPUtime=0.09 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 12941 1240 0 0 7 2 0 0 21 0 1 0 656607145 60887040 12874 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 14993 12884 142 55 0 12879 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59460
[startup+0.300723 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=117180 CPUtime=0.28 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 27380 1240 0 0 24 4 0 0 22 0 1 0 656607145 119992320 27312 268435456000 4194304 4417452 140736169442112 18446744073709551615 4232654 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 29295 27312 142 55 0 27181 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 117180
[startup+0.700734 s]
/proc/loadavg: 21.05 26.27 29.56 1/413 10628
/proc/meminfo: memFree=255552864/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=231268 CPUtime=0.69 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 55934 1240 0 0 58 11 0 0 23 0 1 0 656607145 236818432 55838 268435456000 4194304 4417452 140736169442112 18446744073709551615 4259979 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 57817 55838 146 55 0 55703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 231268
[startup+1.50076 s]
/proc/loadavg: 21.05 26.27 29.56 2/414 10634
/proc/meminfo: memFree=255262036/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=346900 CPUtime=1.48 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 85178 1240 0 0 132 16 0 0 25 0 1 0 656607145 355225600 84746 268435456000 4194304 4417452 140736169442112 18446744073709551615 4231480 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 86725 84746 146 55 0 84611 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 346900
[startup+3.10085 s]
/proc/loadavg: 19.44 25.85 29.41 2/414 10634
/proc/meminfo: memFree=255214480/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=529876 CPUtime=3.09 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 130986 1240 0 0 283 26 0 0 25 0 1 0 656607145 542593024 130490 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 132469 130490 146 55 0 130355 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 529876
[startup+6.30093 s]
/proc/loadavg: 19.44 25.85 29.41 2/414 10634
/proc/meminfo: memFree=254902720/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=660948 CPUtime=6.28 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 163754 1240 0 0 595 33 0 0 25 0 1 0 656607145 676810752 163258 268435456000 4194304 4417452 140736169442112 18446744073709551615 4264976 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10628/statm: 165237 163258 146 55 0 163123 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 660948
[startup+12.703 s]
/proc/loadavg: 17.96 25.44 29.26 16/430 10652
/proc/meminfo: memFree=254457460/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1829424 CPUtime=31.87 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 440454 1240 0 0 2834 353 0 0 18 0 33 0 656607145 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 457356 329166 168 55 0 455242 0
[pid=10628/tid=10637] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10637/stat : 10637 (plingeling) R 10626 10628 10406 0 -1 4202560 4860 1240 0 0 57 8 0 0 25 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286278 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10628/tid=10638] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10638/stat : 10638 (plingeling) R 10626 10628 10406 0 -1 4202560 4858 1240 0 0 55 10 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10628/tid=10639] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10639/stat : 10639 (plingeling) R 10626 10628 10406 0 -1 4202560 4857 1240 0 0 59 6 0 0 20 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4285102 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10628/tid=10640] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10640/stat : 10640 (plingeling) R 10626 10628 10406 0 -1 4202560 3417 1240 0 0 53 8 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4364456 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10628/tid=10641] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10641/stat : 10641 (plingeling) R 10626 10628 10406 0 -1 4202560 4857 1240 0 0 50 10 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10628/tid=10642] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10642/stat : 10642 (plingeling) R 10626 10628 10406 0 -1 4202560 4787 1240 0 0 51 9 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10628/tid=10643] ppid=10626 vsize=1829424 CPUtime=0.66 cores=0-31
/proc/10628/task/10643/stat : 10643 (plingeling) R 10626 10628 10406 0 -1 4202560 4814 1240 0 0 58 8 0 0 21 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10628/tid=10644] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10644/stat : 10644 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 55 10 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10628/tid=10645] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 4823 1240 0 0 52 9 0 0 18 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10628/tid=10646] ppid=10626 vsize=1829424 CPUtime=0.55 cores=0-31
/proc/10628/task/10646/stat : 10646 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 48 7 0 0 20 0 33 0 656608341 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10628/tid=10647] ppid=10626 vsize=1829424 CPUtime=0.64 cores=0-31
/proc/10628/task/10647/stat : 10647 (plingeling) R 10626 10628 10406 0 -1 4202560 4839 1240 0 0 56 8 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286197 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10628/tid=10648] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10648/stat : 10648 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 55 6 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10628/tid=10649] ppid=10626 vsize=1829424 CPUtime=0.55 cores=0-31
/proc/10628/task/10649/stat : 10649 (plingeling) R 10626 10628 10406 0 -1 4202560 4640 1240 0 0 49 6 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10650] ppid=10626 vsize=1829424 CPUtime=0.66 cores=0-31
/proc/10628/task/10650/stat : 10650 (plingeling) R 10626 10628 10406 0 -1 4202560 4855 1240 0 0 57 9 0 0 18 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286210 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10628/tid=10651] ppid=10626 vsize=1829424 CPUtime=0.65 cores=0-31
/proc/10628/task/10651/stat : 10651 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 58 7 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10628/tid=10652] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10652/stat : 10652 (plingeling) R 10626 10628 10406 0 -1 4202560 4829 1240 0 0 51 10 0 0 21 0 33 0 656608342 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10628/tid=10653] ppid=10626 vsize=1829424 CPUtime=0.63 cores=0-31
/proc/10628/task/10653/stat : 10653 (plingeling) R 10626 10628 10406 0 -1 4202560 4853 1240 0 0 52 11 0 0 21 0 33 0 656608346 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10628/tid=10654] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10654/stat : 10654 (plingeling) R 10626 10628 10406 0 -1 4202560 4881 1240 0 0 53 9 0 0 18 0 33 0 656608347 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10628/tid=10655] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10655/stat : 10655 (plingeling) R 10626 10628 10406 0 -1 4202560 4878 1240 0 0 53 9 0 0 18 0 33 0 656608347 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10628/tid=10656] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10656/stat : 10656 (plingeling) R 10626 10628 10406 0 -1 4202560 4643 1240 0 0 52 8 0 0 21 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10628/tid=10657] ppid=10626 vsize=1829424 CPUtime=0.61 cores=0-31
/proc/10628/task/10657/stat : 10657 (plingeling) R 10626 10628 10406 0 -1 4202560 4642 1240 0 0 51 10 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10628/tid=10658] ppid=10626 vsize=1829424 CPUtime=0.59 cores=0-31
/proc/10628/task/10658/stat : 10658 (plingeling) R 10626 10628 10406 0 -1 4202560 4855 1240 0 0 47 12 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10628/tid=10659] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10659/stat : 10659 (plingeling) R 10626 10628 10406 0 -1 4202560 4707 1240 0 0 51 9 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1829424 CPUtime=0.6 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 51 9 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4294425 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10628/tid=10661] ppid=10626 vsize=1829424 CPUtime=0.58 cores=0-31
/proc/10628/task/10661/stat : 10661 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 46 12 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284346 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10628/tid=10662] ppid=10626 vsize=1829424 CPUtime=0.58 cores=0-31
/proc/10628/task/10662/stat : 10662 (plingeling) R 10626 10628 10406 0 -1 4202560 4873 1240 0 0 50 8 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10628/tid=10663] ppid=10626 vsize=1829424 CPUtime=0.63 cores=0-31
/proc/10628/task/10663/stat : 10663 (plingeling) R 10626 10628 10406 0 -1 4202560 4812 1240 0 0 53 10 0 0 20 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10628/tid=10664] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10664/stat : 10664 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 50 12 0 0 18 0 33 0 656608348 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10628/tid=10665] ppid=10626 vsize=1829424 CPUtime=0.62 cores=0-31
/proc/10628/task/10665/stat : 10665 (plingeling) R 10626 10628 10406 0 -1 4202560 4811 1240 0 0 55 7 0 0 18 0 33 0 656608349 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286752 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10628/tid=10666] ppid=10626 vsize=1829424 CPUtime=0.57 cores=0-31
/proc/10628/task/10666/stat : 10666 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 51 6 0 0 20 0 33 0 656608349 1873330176 329166 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 1829424
Solver just ended. Dumping a history of the last processes samples
[startup+13.5021 s]
/proc/loadavg: 18.13 25.35 29.21 33/446 10668
/proc/meminfo: memFree=254363092/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1836792 CPUtime=57.39 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 495859 1240 0 0 5366 373 0 0 18 0 33 0 656607145 1880875008 333112 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 459198 333131 168 55 0 457084 0
[pid=10628/tid=10637] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10637/stat : 10637 (plingeling) R 10626 10628 10406 0 -1 4202560 7234 1240 0 0 136 9 0 0 25 0 33 0 656608341 1880875008 333138 268435456000 4194304 4417452 140736169442112 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10628/tid=10638] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10638/stat : 10638 (plingeling) R 10626 10628 10406 0 -1 4202560 9649 1240 0 0 134 11 0 0 19 0 33 0 656608341 1880875008 333146 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10628/tid=10639] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10639/stat : 10639 (plingeling) R 10626 10628 10406 0 -1 4202560 7876 1240 0 0 138 7 0 0 21 0 33 0 656608341 1880875008 333155 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292095 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10628/tid=10640] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10640/stat : 10640 (plingeling) R 10626 10628 10406 0 -1 4202560 3417 1240 0 0 133 8 0 0 19 0 33 0 656608341 1880875008 333163 268435456000 4194304 4417452 140736169442112 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10628/tid=10641] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10641/stat : 10641 (plingeling) R 10626 10628 10406 0 -1 4202560 4858 1240 0 0 130 10 0 0 19 0 33 0 656608341 1880875008 333170 268435456000 4194304 4417452 140736169442112 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10628/tid=10642] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10642/stat : 10642 (plingeling) R 10626 10628 10406 0 -1 4202560 6112 1240 0 0 130 10 0 0 19 0 33 0 656608341 1880875008 333179 268435456000 4194304 4417452 140736169442112 18446744073709551615 4265911 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10628/tid=10643] ppid=10626 vsize=1836792 CPUtime=1.46 cores=0-31
/proc/10628/task/10643/stat : 10643 (plingeling) R 10626 10628 10406 0 -1 4202560 5831 1240 0 0 138 8 0 0 25 0 33 0 656608341 1880875008 333187 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10628/tid=10644] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10644/stat : 10644 (plingeling) R 10626 10628 10406 0 -1 4202560 7876 1240 0 0 134 11 0 0 19 0 33 0 656608341 1880875008 333194 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292151 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10628/tid=10645] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 5197 1240 0 0 131 9 0 0 19 0 33 0 656608341 1880875008 333201 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650649899 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10628/tid=10646] ppid=10626 vsize=1836792 CPUtime=1.35 cores=0-31
/proc/10628/task/10646/stat : 10646 (plingeling) R 10626 10628 10406 0 -1 4202560 7230 1240 0 0 127 8 0 0 23 0 33 0 656608341 1880875008 333209 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10628/tid=10647] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10647/stat : 10647 (plingeling) R 10626 10628 10406 0 -1 4202560 6164 1240 0 0 136 9 0 0 25 0 33 0 656608342 1880875008 333217 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10628/tid=10648] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10648/stat : 10648 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 135 6 0 0 24 0 33 0 656608342 1880875008 333225 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292092 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10628/tid=10649] ppid=10626 vsize=1836792 CPUtime=1.35 cores=0-31
/proc/10628/task/10649/stat : 10649 (plingeling) R 10626 10628 10406 0 -1 4202560 8369 1240 0 0 127 8 0 0 23 0 33 0 656608342 1880875008 333232 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10650] ppid=10626 vsize=1836792 CPUtime=1.45 cores=0-31
/proc/10628/task/10650/stat : 10650 (plingeling) R 10626 10628 10406 0 -1 4202560 8586 1240 0 0 135 10 0 0 19 0 33 0 656608342 1880875008 333240 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284636 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10628/tid=10651] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10651/stat : 10651 (plingeling) R 10626 10628 10406 0 -1 4202560 7526 1240 0 0 134 8 0 0 25 0 33 0 656608342 1880875008 333248 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10628/tid=10652] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10652/stat : 10652 (plingeling) R 10626 10628 10406 0 -1 4202560 6185 1240 0 0 130 11 0 0 24 0 33 0 656608342 1880875008 333257 268435456000 4194304 4417452 140736169442112 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10628/tid=10653] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10653/stat : 10653 (plingeling) R 10626 10628 10406 0 -1 4202560 7227 1240 0 0 130 12 0 0 25 0 33 0 656608346 1880875008 333264 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10628/tid=10654] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10654/stat : 10654 (plingeling) R 10626 10628 10406 0 -1 4202560 7254 1240 0 0 132 10 0 0 19 0 33 0 656608347 1880875008 333273 268435456000 4194304 4417452 140736169442112 18446744073709551615 4291893 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10628/tid=10655] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10655/stat : 10655 (plingeling) R 10626 10628 10406 0 -1 4202560 7220 1240 0 0 132 10 0 0 19 0 33 0 656608347 1880875008 333281 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292031 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10628/tid=10656] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10656/stat : 10656 (plingeling) R 10626 10628 10406 0 -1 4202560 7005 1240 0 0 131 8 0 0 25 0 33 0 656608348 1880875008 333289 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10628/tid=10657] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10657/stat : 10657 (plingeling) R 10626 10628 10406 0 -1 4202560 8377 1240 0 0 130 11 0 0 22 0 33 0 656608348 1880875008 333296 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10628/tid=10658] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10658/stat : 10658 (plingeling) R 10626 10628 10406 0 -1 4202560 7228 1240 0 0 126 13 0 0 21 0 33 0 656608348 1880875008 333304 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10628/tid=10659] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10659/stat : 10659 (plingeling) R 10626 10628 10406 0 -1 4202560 4707 1240 0 0 130 9 0 0 19 0 33 0 656608348 1880875008 333313 268435456000 4194304 4417452 140736169442112 18446744073709551615 4302105 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 131 9 0 0 19 0 33 0 656608348 1880875008 333321 268435456000 4194304 4417452 140736169442112 18446744073709551615 4265937 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10628/tid=10661] ppid=10626 vsize=1836792 CPUtime=1.38 cores=0-31
/proc/10628/task/10661/stat : 10661 (plingeling) R 10626 10628 10406 0 -1 4202560 7569 1240 0 0 125 13 0 0 22 0 33 0 656608348 1880875008 333328 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10628/tid=10662] ppid=10626 vsize=1836792 CPUtime=1.38 cores=0-31
/proc/10628/task/10662/stat : 10662 (plingeling) R 10626 10628 10406 0 -1 4202560 4873 1240 0 0 130 8 0 0 19 0 33 0 656608348 1880875008 333336 268435456000 4194304 4417452 140736169442112 18446744073709551615 4302121 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10628/tid=10663] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10663/stat : 10663 (plingeling) R 10626 10628 10406 0 -1 4202560 4812 1240 0 0 132 10 0 0 22 0 33 0 656608348 1880875008 333343 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10628/tid=10664] ppid=10626 vsize=1836792 CPUtime=1.41 cores=0-31
/proc/10628/task/10664/stat : 10664 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 129 12 0 0 19 0 33 0 656608348 1880875008 333350 268435456000 4194304 4417452 140736169442112 18446744073709551615 4292281 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10628/tid=10665] ppid=10626 vsize=1836792 CPUtime=1.42 cores=0-31
/proc/10628/task/10665/stat : 10665 (plingeling) R 10626 10628 10406 0 -1 4202560 4811 1240 0 0 135 7 0 0 19 0 33 0 656608349 1880875008 333357 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10628/tid=10666] ppid=10626 vsize=1836792 CPUtime=1.36 cores=0-31
/proc/10628/task/10666/stat : 10666 (plingeling) R 10626 10628 10406 0 -1 4202560 8555 1240 0 0 129 7 0 0 21 0 33 0 656608349 1880875008 333365 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10628/tid=10667] ppid=10626 vsize=1836792 CPUtime=1.4 cores=0-31
/proc/10628/task/10667/stat : 10667 (plingeling) R 10626 10628 10406 0 -1 4202560 4855 1240 0 0 132 8 0 0 22 0 33 0 656608349 1880875008 333373 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10628/tid=10668] ppid=10626 vsize=1836792 CPUtime=1.39 cores=0-31
/proc/10628/task/10668/stat : 10668 (plingeling) R 10626 10628 10406 0 -1 4202560 7017 1240 0 0 130 9 0 0 22 0 33 0 656608349 1880875008 333380 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 57.39
Current children cumulated vsize (KiB) 1836792
[startup+13.9021 s]
/proc/loadavg: 18.13 25.35 29.21 33/446 10668
/proc/meminfo: memFree=254363092/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1836564 CPUtime=70.18 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 528642 1240 0 0 6635 383 0 0 18 0 33 0 656607145 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 459141 345017 168 55 0 457027 0
[pid=10628/tid=10637] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10637/stat : 10637 (plingeling) R 10626 10628 10406 0 -1 4202560 7234 1240 0 0 176 9 0 0 25 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10628/tid=10638] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10638/stat : 10638 (plingeling) R 10626 10628 10406 0 -1 4202560 10992 1240 0 0 174 11 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10628/tid=10639] ppid=10626 vsize=1836564 CPUtime=1.86 cores=0-31
/proc/10628/task/10639/stat : 10639 (plingeling) R 10626 10628 10406 0 -1 4202560 8883 1240 0 0 178 8 0 0 23 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10628/tid=10640] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10640/stat : 10640 (plingeling) R 10626 10628 10406 0 -1 4202560 3417 1240 0 0 173 8 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10628/tid=10641] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10641/stat : 10641 (plingeling) R 10626 10628 10406 0 -1 4202560 7208 1240 0 0 169 11 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284512 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10628/tid=10642] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10642/stat : 10642 (plingeling) R 10626 10628 10406 0 -1 4202560 6112 1240 0 0 170 10 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10628/tid=10643] ppid=10626 vsize=1836564 CPUtime=1.86 cores=0-31
/proc/10628/task/10643/stat : 10643 (plingeling) R 10626 10628 10406 0 -1 4202560 5831 1240 0 0 178 8 0 0 25 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4285604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10628/tid=10644] ppid=10626 vsize=1836564 CPUtime=1.86 cores=0-31
/proc/10628/task/10644/stat : 10644 (plingeling) R 10626 10628 10406 0 -1 4202560 8851 1240 0 0 174 12 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10628/tid=10645] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 8179 1240 0 0 170 10 0 0 20 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10628/tid=10646] ppid=10626 vsize=1836564 CPUtime=1.75 cores=0-31
/proc/10628/task/10646/stat : 10646 (plingeling) R 10626 10628 10406 0 -1 4202560 8540 1240 0 0 167 8 0 0 25 0 33 0 656608341 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10628/tid=10647] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10647/stat : 10647 (plingeling) R 10626 10628 10406 0 -1 4202560 6164 1240 0 0 176 9 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10628/tid=10648] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10648/stat : 10648 (plingeling) R 10626 10628 10406 0 -1 4202560 4856 1240 0 0 175 6 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10628/tid=10649] ppid=10626 vsize=1836564 CPUtime=1.75 cores=0-31
/proc/10628/task/10649/stat : 10649 (plingeling) R 10626 10628 10406 0 -1 4202560 8369 1240 0 0 167 8 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10650] ppid=10626 vsize=1836564 CPUtime=1.85 cores=0-31
/proc/10628/task/10650/stat : 10650 (plingeling) R 10626 10628 10406 0 -1 4202560 12246 1240 0 0 174 11 0 0 20 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287189 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10628/tid=10651] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10651/stat : 10651 (plingeling) R 10626 10628 10406 0 -1 4202560 11218 1240 0 0 173 8 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10628/tid=10652] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10652/stat : 10652 (plingeling) R 10626 10628 10406 0 -1 4202560 6185 1240 0 0 170 11 0 0 25 0 33 0 656608342 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284528 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10628/tid=10653] ppid=10626 vsize=1836564 CPUtime=1.83 cores=0-31
/proc/10628/task/10653/stat : 10653 (plingeling) R 10626 10628 10406 0 -1 4202560 8569 1240 0 0 170 13 0 0 25 0 33 0 656608346 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10628/tid=10654] ppid=10626 vsize=1836564 CPUtime=1.82 cores=0-31
/proc/10628/task/10654/stat : 10654 (plingeling) R 10626 10628 10406 0 -1 4202560 10945 1240 0 0 171 11 0 0 20 0 33 0 656608347 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10628/tid=10655] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10655/stat : 10655 (plingeling) R 10626 10628 10406 0 -1 4202560 9538 1240 0 0 171 10 0 0 20 0 33 0 656608347 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10628/tid=10656] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10656/stat : 10656 (plingeling) R 10626 10628 10406 0 -1 4202560 7005 1240 0 0 171 8 0 0 25 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10628/tid=10657] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10657/stat : 10657 (plingeling) R 10626 10628 10406 0 -1 4202560 10726 1240 0 0 169 12 0 0 24 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10628/tid=10658] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10658/stat : 10658 (plingeling) R 10626 10628 10406 0 -1 4202560 8202 1240 0 0 166 13 0 0 23 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10628/tid=10659] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10659/stat : 10659 (plingeling) R 10626 10628 10406 0 -1 4202560 4707 1240 0 0 170 9 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4286483 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 171 9 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10628/tid=10661] ppid=10626 vsize=1836564 CPUtime=1.78 cores=0-31
/proc/10628/task/10661/stat : 10661 (plingeling) R 10626 10628 10406 0 -1 4202560 8912 1240 0 0 165 13 0 0 23 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284793 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10628/tid=10662] ppid=10626 vsize=1836564 CPUtime=1.78 cores=0-31
/proc/10628/task/10662/stat : 10662 (plingeling) R 10626 10628 10406 0 -1 4202560 5880 1240 0 0 169 9 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287388 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10628/tid=10663] ppid=10626 vsize=1836564 CPUtime=1.82 cores=0-31
/proc/10628/task/10663/stat : 10663 (plingeling) R 10626 10628 10406 0 -1 4202560 4812 1240 0 0 172 10 0 0 24 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10628/tid=10664] ppid=10626 vsize=1836564 CPUtime=1.81 cores=0-31
/proc/10628/task/10664/stat : 10664 (plingeling) R 10626 10628 10406 0 -1 4202560 4813 1240 0 0 169 12 0 0 20 0 33 0 656608348 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10628/tid=10665] ppid=10626 vsize=1836564 CPUtime=1.82 cores=0-31
/proc/10628/task/10665/stat : 10665 (plingeling) R 10626 10628 10406 0 -1 4202560 4811 1240 0 0 175 7 0 0 20 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10628/tid=10666] ppid=10626 vsize=1836564 CPUtime=1.76 cores=0-31
/proc/10628/task/10666/stat : 10666 (plingeling) R 10626 10628 10406 0 -1 4202560 8555 1240 0 0 169 7 0 0 23 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10628/tid=10667] ppid=10626 vsize=1836564 CPUtime=1.8 cores=0-31
/proc/10628/task/10667/stat : 10667 (plingeling) R 10626 10628 10406 0 -1 4202560 7205 1240 0 0 171 9 0 0 24 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10628/tid=10668] ppid=10626 vsize=1836564 CPUtime=1.79 cores=0-31
/proc/10628/task/10668/stat : 10668 (plingeling) R 10626 10628 10406 0 -1 4202560 7017 1240 0 0 170 9 0 0 23 0 33 0 656608349 1880641536 345017 268435456000 4194304 4417452 140736169442112 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 70.18
Current children cumulated vsize (KiB) 1836564
[startup+14.1022 s]
/proc/loadavg: 18.13 25.35 29.21 33/446 10668
/proc/meminfo: memFree=254363092/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1767700 CPUtime=75.94 cores=0-31
/proc/10628/stat : 10628 (plingeling) S 10626 10628 10406 0 -1 4202496 528643 1240 0 0 7211 383 0 0 17 0 3 0 656607145 1810124800 324711 268435456000 4194304 4417452 140736169442112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/10628/statm: 441925 324711 169 55 0 439811 0
[pid=10628/tid=10645] ppid=10626 vsize=1767700 CPUtime=2 cores=0-31
/proc/10628/task/10645/stat : 10645 (plingeling) R 10626 10628 10406 0 -1 4202560 8179 1240 0 0 190 10 0 0 20 0 3 0 656608341 1810124800 324711 268435456000 4194304 4417452 140736169442112 18446744073709551615 4283508 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10628/tid=10660] ppid=10626 vsize=1767700 CPUtime=2 cores=0-31
/proc/10628/task/10660/stat : 10660 (plingeling) R 10626 10628 10406 0 -1 4202560 4851 1240 0 0 191 9 0 0 20 0 3 0 656608348 1810124800 324711 268435456000 4194304 4417452 140736169442112 18446744073709551615 4234224 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 75.94
Current children cumulated vsize (KiB) 1767700
[startup+14.2014 s]
/proc/loadavg: 18.13 25.35 29.21 2/414 10668
/proc/meminfo: memFree=254419432/264257624 swapFree=67111528/67111528
[pid=10628] ppid=10626 vsize=1163324 CPUtime=76.1 cores=0-31
/proc/10628/stat : 10628 (plingeling) R 10626 10628 10406 0 -1 4202496 528643 1240 0 0 7223 387 0 0 16 0 1 0 656607145 1191243776 227685 268435456000 4194304 4417452 140736169442112 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10628/statm: 290831 227685 169 55 0 288717 0
Current children cumulated CPU time (s) 76.1
Current children cumulated vsize (KiB) 1163324
Child status: 20
Real time (s): 14.3011
CPU time (s): 76.1934
CPU user time (s): 72.234
CPU system time (s): 3.9594
CPU usage (%): 532.781
Max. virtual memory (cumulated for all children) (KiB): 1881348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.234
system time used= 3.9594
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529887
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= 4064
involuntary context switches= 325
runsolver used 0.12798 second user time and 0.348946 second system time
The end
Begin job on node200 at 2011-05-15 11:20:07
IDJOB=3372144
IDBENCH=20467
IDSOLVER=1852
FILE ID=node200/3372144-1305451207
RUNJOBID= node200-1305450992-10420
PBS_JOBID= 13285511
Free space on /tmp= 62040 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc12062.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372144-1305451207/watcher-3372144-1305451207 -o /tmp/evaluation-result-3372144-1305451207/solver-3372144-1305451207 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372144-1305451207.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= cc0ca898241ac312882fa93ead2b644b
RANDOM SEED=582863024
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: 255553020 kB
Buffers: 439636 kB
Cached: 7841464 kB
SwapCached: 0 kB
Active: 7390608 kB
Inactive: 959680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255553020 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11032 kB
Writeback: 0 kB
AnonPages: 71224 kB
Mapped: 14592 kB
Slab: 250792 kB
PageTables: 4960 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190520 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-15 11:20:22