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-3372150-1305456234/watcher-3372150-1305456234 -o /tmp/evaluation-result-3372150-1305456234/solver-3372150-1305456234 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372150-1305456234.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: 29.56 31.56 31.92 1/413 10928
/proc/meminfo: memFree=255588768/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=12204 CPUtime=0.03 cores=0-31
/proc/10928/stat : 10928 (plingeling) R 10926 10928 10902 0 -1 4202496 1108 1242 0 0 2 0 0 1 24 0 1 0 657109810 12496896 1039 268435456000 4194304 4417452 140736510781280 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10928/statm: 3051 1039 145 55 0 937 0
[startup+0.0502149 s]
/proc/loadavg: 29.56 31.56 31.92 1/413 10928
/proc/meminfo: memFree=255588768/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=13964 CPUtime=0.04 cores=0-31
/proc/10928/stat : 10928 (plingeling) R 10926 10928 10902 0 -1 4202496 1572 1242 0 0 3 0 0 1 24 0 1 0 657109810 14299136 1503 268435456000 4194304 4417452 140736510781280 18446744073709551615 4259826 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10928/statm: 3491 1503 145 55 0 1377 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13964
[startup+0.101222 s]
/proc/loadavg: 29.56 31.56 31.92 1/413 10928
/proc/meminfo: memFree=255588768/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=18040 CPUtime=0.09 cores=0-31
/proc/10928/stat : 10928 (plingeling) R 10926 10928 10902 0 -1 4202496 2577 1242 0 0 8 0 0 1 24 0 1 0 657109810 18472960 2508 268435456000 4194304 4417452 140736510781280 18446744073709551615 4322371 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10928/statm: 4510 2508 145 55 0 2396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18040
[startup+0.301085 s]
/proc/loadavg: 29.56 31.56 31.92 1/413 10928
/proc/meminfo: memFree=255588768/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=679736 CPUtime=5.32 cores=0-31
/proc/10928/stat : 10928 (plingeling) S 10926 10928 10902 0 -1 4202496 5476 1242 0 0 527 4 0 1 18 0 33 0 657109810 696049664 5134 268435456000 4194304 4417452 140736510781280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/10928/statm: 169934 5134 175 55 0 167820 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 679736
[startup+0.701099 s]
/proc/loadavg: 29.56 31.56 31.92 1/413 10928
/proc/meminfo: memFree=255588768/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=696516 CPUtime=18.02 cores=0-31
/proc/10928/stat : 10928 (plingeling) S 10926 10928 10902 0 -1 4202496 10821 1242 0 0 1790 11 0 1 18 0 33 0 657109810 713232384 9716 268435456000 4194304 4417452 140736510781280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/10928/statm: 174129 9716 175 55 0 172015 0
Current children cumulated CPU time (s) 18.02
Current children cumulated vsize (KiB) 696516
[startup+1.50112 s]
/proc/loadavg: 29.75 31.57 31.92 33/446 10966
/proc/meminfo: memFree=255546116/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=707048 CPUtime=43.41 cores=0-31
/proc/10928/stat : 10928 (plingeling) S 10926 10928 10902 0 -1 4202496 24567 1242 0 0 4310 30 0 1 18 0 33 0 657109810 724017152 12323 268435456000 4194304 4417452 140736510781280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/10928/statm: 176762 12323 175 55 0 174648 0
[pid=10928/tid=10935] ppid=10926 vsize=707048 CPUtime=1.36 cores=0-31
/proc/10928/task/10935/stat : 10935 (plingeling) R 10926 10928 10902 0 -1 4202560 722 1242 0 0 135 0 0 1 19 0 33 0 657109822 724017152 12323 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10928/tid=10936] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10936/stat : 10936 (plingeling) R 10926 10928 10902 0 -1 4202560 655 1242 0 0 134 1 0 1 25 0 33 0 657109822 724320256 12334 268435456000 4194304 4417452 140736510781280 18446744073709551615 4353528 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10928/tid=10937] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10937/stat : 10937 (plingeling) R 10926 10928 10902 0 -1 4202560 940 1242 0 0 134 1 0 1 25 0 33 0 657109822 724320256 12352 268435456000 4194304 4417452 140736510781280 18446744073709551615 258650649918 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10928/tid=10938] ppid=10926 vsize=707344 CPUtime=1.34 cores=0-31
/proc/10928/task/10938/stat : 10938 (plingeling) R 10926 10928 10902 0 -1 4202560 690 1242 0 0 132 1 0 1 25 0 33 0 657109822 724320256 12369 268435456000 4194304 4417452 140736510781280 18446744073709551615 4236689 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10928/tid=10939] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10939/stat : 10939 (plingeling) R 10926 10928 10902 0 -1 4202560 532 1242 0 0 135 0 0 1 18 0 33 0 657109822 724320256 12387 268435456000 4194304 4417452 140736510781280 18446744073709551615 4252491 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10928/tid=10940] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10940/stat : 10940 (plingeling) R 10926 10928 10902 0 -1 4202560 844 1242 0 0 133 1 0 1 19 0 33 0 657109822 724320256 12403 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364696 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10928/tid=10941] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10941/stat : 10941 (plingeling) R 10926 10928 10902 0 -1 4202560 796 1242 0 0 135 0 0 1 18 0 33 0 657109823 724320256 12421 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10928/tid=10942] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10942/stat : 10942 (plingeling) R 10926 10928 10902 0 -1 4202560 545 1242 0 0 134 0 0 1 19 0 33 0 657109823 724320256 12432 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10928/tid=10943] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10943/stat : 10943 (plingeling) R 10926 10928 10902 0 -1 4202560 715 1242 0 0 135 0 0 1 25 0 33 0 657109823 724320256 12440 268435456000 4194304 4417452 140736510781280 18446744073709551615 4353632 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10928/tid=10944] ppid=10926 vsize=707344 CPUtime=1.34 cores=0-31
/proc/10928/task/10944/stat : 10944 (plingeling) R 10926 10928 10902 0 -1 4202560 621 1242 0 0 133 0 0 1 18 0 33 0 657109823 724320256 12449 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10928/tid=10945] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10945/stat : 10945 (plingeling) R 10926 10928 10902 0 -1 4202560 727 1242 0 0 134 0 0 1 19 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10928/tid=10946] ppid=10926 vsize=707344 CPUtime=1.34 cores=0-31
/proc/10928/task/10946/stat : 10946 (plingeling) R 10926 10928 10902 0 -1 4202560 697 1242 0 0 133 0 0 1 22 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10928/tid=10947] ppid=10926 vsize=707344 CPUtime=1.37 cores=0-31
/proc/10928/task/10947/stat : 10947 (plingeling) R 10926 10928 10902 0 -1 4202560 710 1242 0 0 136 0 0 1 23 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365198 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10928/tid=10948] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10948/stat : 10948 (plingeling) R 10926 10928 10902 0 -1 4202560 544 1242 0 0 135 0 0 1 19 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4250593 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10928/tid=10949] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10949/stat : 10949 (plingeling) R 10926 10928 10902 0 -1 4202560 791 1242 0 0 134 1 0 1 18 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10928/tid=10950] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10950/stat : 10950 (plingeling) R 10926 10928 10902 0 -1 4202560 603 1242 0 0 135 0 0 1 18 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10928/tid=10951] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10951/stat : 10951 (plingeling) R 10926 10928 10902 0 -1 4202560 709 1242 0 0 134 0 0 1 19 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10928/tid=10952] ppid=10926 vsize=707344 CPUtime=1.3 cores=0-31
/proc/10928/task/10952/stat : 10952 (plingeling) R 10926 10928 10902 0 -1 4202560 692 1242 0 0 129 0 0 1 18 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4277034 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10928/tid=10953] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10953/stat : 10953 (plingeling) R 10926 10928 10902 0 -1 4202560 820 1242 0 0 133 1 0 1 25 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4255681 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10928/tid=10954] ppid=10926 vsize=707344 CPUtime=1.36 cores=0-31
/proc/10928/task/10954/stat : 10954 (plingeling) R 10926 10928 10902 0 -1 4202560 905 1242 0 0 134 1 0 1 18 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10928/tid=10955] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10955/stat : 10955 (plingeling) R 10926 10928 10902 0 -1 4202560 725 1242 0 0 134 0 0 1 23 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10928/tid=10956] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10956/stat : 10956 (plingeling) R 10926 10928 10902 0 -1 4202560 728 1242 0 0 134 0 0 1 19 0 33 0 657109823 724320256 12455 268435456000 4194304 4417452 140736510781280 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10928/tid=10957] ppid=10926 vsize=707344 CPUtime=1.35 cores=0-31
/proc/10928/task/10957/stat : 10957 (plingeling) R 10926 10928 10902 0 -1 4202560 743 1242 0 0 134 0 0 1 18 0 33 0 657109823 724320256 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10928/tid=10958] ppid=10926 vsize=707272 CPUtime=1.36 cores=0-31
/proc/10928/task/10958/stat : 10958 (plingeling) R 10926 10928 10902 0 -1 4202560 611 1242 0 0 134 1 0 1 22 0 33 0 657109823 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10928/tid=10959] ppid=10926 vsize=707272 CPUtime=1.36 cores=0-31
/proc/10928/task/10959/stat : 10959 (plingeling) R 10926 10928 10902 0 -1 4202560 811 1242 0 0 135 0 0 1 23 0 33 0 657109824 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4253176 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10928/tid=10960] ppid=10926 vsize=707272 CPUtime=1.34 cores=0-31
/proc/10928/task/10960/stat : 10960 (plingeling) R 10926 10928 10902 0 -1 4202560 485 1242 0 0 133 0 0 1 19 0 33 0 657109824 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10928/tid=10961] ppid=10926 vsize=707272 CPUtime=1.34 cores=0-31
/proc/10928/task/10961/stat : 10961 (plingeling) R 10926 10928 10902 0 -1 4202560 596 1242 0 0 133 0 0 1 23 0 33 0 657109824 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365162 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10928/tid=10962] ppid=10926 vsize=707272 CPUtime=1.35 cores=0-31
/proc/10928/task/10962/stat : 10962 (plingeling) R 10926 10928 10902 0 -1 4202560 601 1242 0 0 134 0 0 1 23 0 33 0 657109824 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10928/tid=10963] ppid=10926 vsize=707272 CPUtime=1.35 cores=0-31
/proc/10928/task/10963/stat : 10963 (plingeling) R 10926 10928 10902 0 -1 4202560 602 1242 0 0 134 0 0 1 19 0 33 0 657109824 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10928/tid=10964] ppid=10926 vsize=707272 CPUtime=1.35 cores=0-31
/proc/10928/task/10964/stat : 10964 (plingeling) R 10926 10928 10902 0 -1 4202560 644 1242 0 0 134 0 0 1 19 0 33 0 657109824 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10928/tid=10965] ppid=10926 vsize=707272 CPUtime=1.35 cores=0-31
/proc/10928/task/10965/stat : 10965 (plingeling) R 10926 10928 10902 0 -1 4202560 649 1242 0 0 133 1 0 1 23 0 33 0 657109825 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4277701 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10928/tid=10966] ppid=10926 vsize=707272 CPUtime=1.35 cores=0-31
/proc/10928/task/10966/stat : 10966 (plingeling) R 10926 10928 10902 0 -1 4202560 590 1242 0 0 134 0 0 1 23 0 33 0 657109825 724246528 12437 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 43.41
Current children cumulated vsize (KiB) 707048
[startup+3.10118 s]
/proc/loadavg: 29.75 31.57 31.92 33/446 10966
/proc/meminfo: memFree=255526524/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=734188 CPUtime=93.75 cores=0-31
/proc/10928/stat : 10928 (plingeling) S 10926 10928 10902 0 -1 4202496 56860 1242 0 0 9290 84 0 1 18 0 33 0 657109810 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/10928/statm: 183547 19255 175 55 0 181433 0
[pid=10928/tid=10935] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10935/stat : 10935 (plingeling) R 10926 10928 10902 0 -1 4202560 1656 1242 0 0 290 2 0 1 19 0 33 0 657109822 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10928/tid=10936] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10936/stat : 10936 (plingeling) R 10926 10928 10902 0 -1 4202560 1524 1242 0 0 290 2 0 1 25 0 33 0 657109822 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4309880 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10928/tid=10937] ppid=10926 vsize=734188 CPUtime=2.92 cores=0-31
/proc/10928/task/10937/stat : 10937 (plingeling) R 10926 10928 10902 0 -1 4202560 1812 1242 0 0 289 2 0 1 19 0 33 0 657109822 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4256976 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10928/tid=10938] ppid=10926 vsize=734188 CPUtime=2.9 cores=0-31
/proc/10928/task/10938/stat : 10938 (plingeling) R 10926 10928 10902 0 -1 4202560 1679 1242 0 0 286 3 0 1 18 0 33 0 657109822 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10928/tid=10939] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10939/stat : 10939 (plingeling) R 10926 10928 10902 0 -1 4202560 1680 1242 0 0 291 2 0 1 20 0 33 0 657109822 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10928/tid=10940] ppid=10926 vsize=734188 CPUtime=2.92 cores=0-31
/proc/10928/task/10940/stat : 10940 (plingeling) R 10926 10928 10902 0 -1 4202560 1877 1242 0 0 289 2 0 1 19 0 33 0 657109822 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4307678 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10928/tid=10941] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10941/stat : 10941 (plingeling) R 10926 10928 10902 0 -1 4202560 1792 1242 0 0 291 2 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365943 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10928/tid=10942] ppid=10926 vsize=734188 CPUtime=2.92 cores=0-31
/proc/10928/task/10942/stat : 10942 (plingeling) R 10926 10928 10902 0 -1 4202560 1546 1242 0 0 289 2 0 1 23 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10928/tid=10943] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10943/stat : 10943 (plingeling) R 10926 10928 10902 0 -1 4202560 1469 1242 0 0 291 2 0 1 18 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4236713 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10928/tid=10944] ppid=10926 vsize=734188 CPUtime=2.92 cores=0-31
/proc/10928/task/10944/stat : 10944 (plingeling) R 10926 10928 10902 0 -1 4202560 1968 1242 0 0 289 2 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10928/tid=10945] ppid=10926 vsize=734188 CPUtime=2.92 cores=0-31
/proc/10928/task/10945/stat : 10945 (plingeling) R 10926 10928 10902 0 -1 4202560 2036 1242 0 0 289 2 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4275947 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10928/tid=10946] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10946/stat : 10946 (plingeling) R 10926 10928 10902 0 -1 4202560 1611 1242 0 0 291 1 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10928/tid=10947] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10947/stat : 10947 (plingeling) R 10926 10928 10902 0 -1 4202560 1856 1242 0 0 290 2 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10928/tid=10948] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10948/stat : 10948 (plingeling) R 10926 10928 10902 0 -1 4202560 1635 1242 0 0 291 1 0 1 18 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10928/tid=10949] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10949/stat : 10949 (plingeling) R 10926 10928 10902 0 -1 4202560 1684 1242 0 0 291 2 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4277543 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10928/tid=10950] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10950/stat : 10950 (plingeling) R 10926 10928 10902 0 -1 4202560 1534 1242 0 0 290 2 0 1 18 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4270130 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10928/tid=10951] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10951/stat : 10951 (plingeling) R 10926 10928 10902 0 -1 4202560 1816 1242 0 0 290 2 0 1 18 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4308162 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10928/tid=10952] ppid=10926 vsize=734188 CPUtime=2.87 cores=0-31
/proc/10928/task/10952/stat : 10952 (plingeling) R 10926 10928 10902 0 -1 4202560 1655 1242 0 0 284 2 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365987 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10928/tid=10953] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10953/stat : 10953 (plingeling) R 10926 10928 10902 0 -1 4202560 1848 1242 0 0 290 3 0 1 25 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10928/tid=10954] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10954/stat : 10954 (plingeling) R 10926 10928 10902 0 -1 4202560 1718 1242 0 0 290 2 0 1 18 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4236008 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10928/tid=10955] ppid=10926 vsize=734188 CPUtime=2.91 cores=0-31
/proc/10928/task/10955/stat : 10955 (plingeling) R 10926 10928 10902 0 -1 4202560 1635 1242 0 0 289 1 0 1 25 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4310221 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10928/tid=10956] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10956/stat : 10956 (plingeling) R 10926 10928 10902 0 -1 4202560 1841 1242 0 0 290 3 0 1 23 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10928/tid=10957] ppid=10926 vsize=734188 CPUtime=2.92 cores=0-31
/proc/10928/task/10957/stat : 10957 (plingeling) R 10926 10928 10902 0 -1 4202560 1609 1242 0 0 289 2 0 1 18 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10928/tid=10958] ppid=10926 vsize=734188 CPUtime=2.92 cores=0-31
/proc/10928/task/10958/stat : 10958 (plingeling) R 10926 10928 10902 0 -1 4202560 1596 1242 0 0 289 2 0 1 19 0 33 0 657109823 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10928/tid=10959] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10959/stat : 10959 (plingeling) R 10926 10928 10902 0 -1 4202560 1822 1242 0 0 292 1 0 1 25 0 33 0 657109824 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10928/tid=10960] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
/proc/10928/task/10960/stat : 10960 (plingeling) R 10926 10928 10902 0 -1 4202560 1370 1242 0 0 290 2 0 1 18 0 33 0 657109824 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4302932 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10928/tid=10961] ppid=10926 vsize=734188 CPUtime=2.89 cores=0-31
/proc/10928/task/10961/stat : 10961 (plingeling) R 10926 10928 10902 0 -1 4202560 1363 1242 0 0 286 2 0 1 25 0 33 0 657109824 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 18446744073699065873 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10928/tid=10962] ppid=10926 vsize=734188 CPUtime=2.94 cores=0-31
/proc/10928/task/10962/stat : 10962 (plingeling) R 10926 10928 10902 0 -1 4202560 1836 1242 0 0 291 2 0 1 25 0 33 0 657109824 751808512 19255 268435456000 4194304 4417452 140736510781280 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10928/tid=10963] ppid=10926 vsize=734188 CPUtime=2.93 cores=0-31
################
# More data... #
################
[pid=10928/tid=10959] ppid=10926 vsize=3583580 CPUtime=1685.27 cores=0-31
/proc/10928/task/10959/stat : 10959 (plingeling) R 10926 10928 10902 0 -1 4202560 189336 1242 0 0 168331 195 0 1 25 0 33 0 657109824 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10928/tid=10960] ppid=10926 vsize=3583580 CPUtime=1684.03 cores=0-31
/proc/10928/task/10960/stat : 10960 (plingeling) R 10926 10928 10902 0 -1 4202560 177464 1242 0 0 168183 219 0 1 25 0 33 0 657109824 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10928/tid=10961] ppid=10926 vsize=3583580 CPUtime=1684.84 cores=0-31
/proc/10928/task/10961/stat : 10961 (plingeling) R 10926 10928 10902 0 -1 4202560 192140 1242 0 0 168262 221 0 1 25 0 33 0 657109824 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10928/tid=10962] ppid=10926 vsize=3583580 CPUtime=1685.16 cores=0-31
/proc/10928/task/10962/stat : 10962 (plingeling) R 10926 10928 10902 0 -1 4202560 187051 1242 0 0 168297 218 0 1 25 0 33 0 657109824 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10928/tid=10963] ppid=10926 vsize=3583580 CPUtime=1684.29 cores=0-31
/proc/10928/task/10963/stat : 10963 (plingeling) R 10926 10928 10902 0 -1 4202560 182820 1242 0 0 168195 233 0 1 25 0 33 0 657109824 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10928/tid=10964] ppid=10926 vsize=3583580 CPUtime=1684.23 cores=0-31
/proc/10928/task/10964/stat : 10964 (plingeling) R 10926 10928 10902 0 -1 4202560 183943 1242 0 0 168197 225 0 1 25 0 33 0 657109824 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10928/tid=10965] ppid=10926 vsize=3583580 CPUtime=1681.14 cores=0-31
/proc/10928/task/10965/stat : 10965 (plingeling) R 10926 10928 10902 0 -1 4202560 177558 1242 0 0 167869 244 0 1 25 0 33 0 657109825 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10928/tid=10966] ppid=10926 vsize=3583580 CPUtime=1656.51 cores=0-31
/proc/10928/task/10966/stat : 10966 (plingeling) R 10926 10928 10902 0 -1 4202560 197690 1242 0 0 165406 244 0 1 25 0 33 0 657109825 3669585920 732019 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 53880.2
Current children cumulated vsize (KiB) 3583580
[startup+1687.9 s]
/proc/loadavg: 32.39 32.11 32.03 33/446 11021
/proc/meminfo: memFree=252677260/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=3567196 CPUtime=53930.7 cores=0-31
/proc/10928/stat : 10928 (plingeling) S 10926 10928 10902 0 -1 4202496 5896568 1242 0 0 5385627 7441 0 1 18 0 33 0 657109810 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/10928/statm: 891799 727923 175 55 0 889685 0
[pid=10928/tid=10935] ppid=10926 vsize=3567196 CPUtime=1686.94 cores=0-31
/proc/10928/task/10935/stat : 10935 (plingeling) R 10926 10928 10902 0 -1 4202560 175900 1242 0 0 168460 233 0 1 25 0 33 0 657109822 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10928/tid=10936] ppid=10926 vsize=3567196 CPUtime=1687.07 cores=0-31
/proc/10928/task/10936/stat : 10936 (plingeling) R 10926 10928 10902 0 -1 4202560 170861 1242 0 0 168500 206 0 1 25 0 33 0 657109822 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10928/tid=10937] ppid=10926 vsize=3567196 CPUtime=1686.54 cores=0-31
/proc/10928/task/10937/stat : 10937 (plingeling) R 10926 10928 10902 0 -1 4202560 153753 1242 0 0 168424 229 0 1 25 0 33 0 657109822 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10928/tid=10938] ppid=10926 vsize=3567196 CPUtime=1686.75 cores=0-31
/proc/10928/task/10938/stat : 10938 (plingeling) R 10926 10928 10902 0 -1 4202560 213368 1242 0 0 168414 260 0 1 25 0 33 0 657109822 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10928/tid=10939] ppid=10926 vsize=3567196 CPUtime=1686.12 cores=0-31
/proc/10928/task/10939/stat : 10939 (plingeling) R 10926 10928 10902 0 -1 4202560 173705 1242 0 0 168346 265 0 1 25 0 33 0 657109822 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10928/tid=10940] ppid=10926 vsize=3567196 CPUtime=1686.62 cores=0-31
/proc/10928/task/10940/stat : 10940 (plingeling) R 10926 10928 10902 0 -1 4202560 148772 1242 0 0 168442 219 0 1 25 0 33 0 657109822 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4366105 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10928/tid=10941] ppid=10926 vsize=3567196 CPUtime=1686.67 cores=0-31
/proc/10928/task/10941/stat : 10941 (plingeling) R 10926 10928 10902 0 -1 4202560 206348 1242 0 0 168440 226 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10928/tid=10942] ppid=10926 vsize=3567196 CPUtime=1686.74 cores=0-31
/proc/10928/task/10942/stat : 10942 (plingeling) R 10926 10928 10902 0 -1 4202560 219707 1242 0 0 168431 242 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10928/tid=10943] ppid=10926 vsize=3567196 CPUtime=1686.39 cores=0-31
/proc/10928/task/10943/stat : 10943 (plingeling) R 10926 10928 10902 0 -1 4202560 163768 1242 0 0 168401 237 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10928/tid=10944] ppid=10926 vsize=3567196 CPUtime=1685.84 cores=0-31
/proc/10928/task/10944/stat : 10944 (plingeling) R 10926 10928 10902 0 -1 4202560 158692 1242 0 0 168358 225 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10928/tid=10945] ppid=10926 vsize=3567196 CPUtime=1686.88 cores=0-31
/proc/10928/task/10945/stat : 10945 (plingeling) R 10926 10928 10902 0 -1 4202560 228696 1242 0 0 168395 292 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10928/tid=10946] ppid=10926 vsize=3567196 CPUtime=1686.19 cores=0-31
/proc/10928/task/10946/stat : 10946 (plingeling) R 10926 10928 10902 0 -1 4202560 195275 1242 0 0 168352 266 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10928/tid=10947] ppid=10926 vsize=3567196 CPUtime=1686.89 cores=0-31
/proc/10928/task/10947/stat : 10947 (plingeling) R 10926 10928 10902 0 -1 4202560 164601 1242 0 0 168485 203 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10928/tid=10948] ppid=10926 vsize=3567196 CPUtime=1686.88 cores=0-31
/proc/10928/task/10948/stat : 10948 (plingeling) R 10926 10928 10902 0 -1 4202560 178397 1242 0 0 168470 217 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10928/tid=10949] ppid=10926 vsize=3567196 CPUtime=1686.68 cores=0-31
/proc/10928/task/10949/stat : 10949 (plingeling) R 10926 10928 10902 0 -1 4202560 224288 1242 0 0 168424 243 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10928/tid=10950] ppid=10926 vsize=3567196 CPUtime=1686.22 cores=0-31
/proc/10928/task/10950/stat : 10950 (plingeling) R 10926 10928 10902 0 -1 4202560 166480 1242 0 0 168399 222 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10928/tid=10951] ppid=10926 vsize=3567196 CPUtime=1684.48 cores=0-31
/proc/10928/task/10951/stat : 10951 (plingeling) R 10926 10928 10902 0 -1 4202560 179909 1242 0 0 168204 243 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10928/tid=10952] ppid=10926 vsize=3567196 CPUtime=1686.5 cores=0-31
/proc/10928/task/10952/stat : 10952 (plingeling) R 10926 10928 10902 0 -1 4202560 212851 1242 0 0 168421 228 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10928/tid=10953] ppid=10926 vsize=3567196 CPUtime=1686.79 cores=0-31
/proc/10928/task/10953/stat : 10953 (plingeling) R 10926 10928 10902 0 -1 4202560 173490 1242 0 0 168438 240 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10928/tid=10954] ppid=10926 vsize=3567196 CPUtime=1685.94 cores=0-31
/proc/10928/task/10954/stat : 10954 (plingeling) R 10926 10928 10902 0 -1 4202560 173204 1242 0 0 168386 207 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10928/tid=10955] ppid=10926 vsize=3567196 CPUtime=1686.23 cores=0-31
/proc/10928/task/10955/stat : 10955 (plingeling) R 10926 10928 10902 0 -1 4202560 171263 1242 0 0 168390 232 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10928/tid=10956] ppid=10926 vsize=3567196 CPUtime=1686.42 cores=0-31
/proc/10928/task/10956/stat : 10956 (plingeling) R 10926 10928 10902 0 -1 4202560 162159 1242 0 0 168443 198 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10928/tid=10957] ppid=10926 vsize=3567196 CPUtime=1684.01 cores=0-31
/proc/10928/task/10957/stat : 10957 (plingeling) R 10926 10928 10902 0 -1 4202560 193535 1242 0 0 168149 251 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4250715 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10928/tid=10958] ppid=10926 vsize=3567196 CPUtime=1686.73 cores=0-31
/proc/10928/task/10958/stat : 10958 (plingeling) R 10926 10928 10902 0 -1 4202560 196928 1242 0 0 168430 242 0 1 25 0 33 0 657109823 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10928/tid=10959] ppid=10926 vsize=3567196 CPUtime=1686.85 cores=0-31
/proc/10928/task/10959/stat : 10959 (plingeling) R 10926 10928 10902 0 -1 4202560 189336 1242 0 0 168489 195 0 1 25 0 33 0 657109824 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10928/tid=10960] ppid=10926 vsize=3567196 CPUtime=1685.61 cores=0-31
/proc/10928/task/10960/stat : 10960 (plingeling) R 10926 10928 10902 0 -1 4202560 177464 1242 0 0 168341 219 0 1 25 0 33 0 657109824 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10928/tid=10961] ppid=10926 vsize=3567196 CPUtime=1686.42 cores=0-31
/proc/10928/task/10961/stat : 10961 (plingeling) R 10926 10928 10902 0 -1 4202560 192140 1242 0 0 168420 221 0 1 25 0 33 0 657109824 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10928/tid=10962] ppid=10926 vsize=3567196 CPUtime=1686.74 cores=0-31
/proc/10928/task/10962/stat : 10962 (plingeling) R 10926 10928 10902 0 -1 4202560 187051 1242 0 0 168455 218 0 1 25 0 33 0 657109824 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10928/tid=10963] ppid=10926 vsize=3567196 CPUtime=1685.87 cores=0-31
/proc/10928/task/10963/stat : 10963 (plingeling) R 10926 10928 10902 0 -1 4202560 182820 1242 0 0 168353 233 0 1 25 0 33 0 657109824 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10928/tid=10964] ppid=10926 vsize=3567196 CPUtime=1685.81 cores=0-31
/proc/10928/task/10964/stat : 10964 (plingeling) R 10926 10928 10902 0 -1 4202560 183943 1242 0 0 168355 225 0 1 25 0 33 0 657109824 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10928/tid=10965] ppid=10926 vsize=3567196 CPUtime=1682.72 cores=0-31
/proc/10928/task/10965/stat : 10965 (plingeling) R 10926 10928 10902 0 -1 4202560 177558 1242 0 0 168027 244 0 1 25 0 33 0 657109825 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10928/tid=10966] ppid=10926 vsize=3567196 CPUtime=1658.05 cores=0-31
/proc/10928/task/10966/stat : 10966 (plingeling) R 10926 10928 10902 0 -1 4202560 197690 1242 0 0 165560 244 0 1 25 0 33 0 657109825 3652808704 727923 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 53930.7
Current children cumulated vsize (KiB) 3567196
[startup+1688.7 s]
/proc/loadavg: 32.39 32.11 32.03 33/446 11021
/proc/meminfo: memFree=252677012/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=3518636 CPUtime=53955.1 cores=0-31
/proc/10928/stat : 10928 (plingeling) S 10926 10928 10902 0 -1 4202496 5896569 1242 0 0 5388071 7442 0 1 18 0 22 0 657109810 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/10928/statm: 879659 715784 176 55 0 877545 0
[pid=10928/tid=10935] ppid=10926 vsize=3518636 CPUtime=1687.73 cores=0-31
/proc/10928/task/10935/stat : 10935 (plingeling) R 10926 10928 10902 0 -1 4202560 175900 1242 0 0 168539 233 0 1 25 0 22 0 657109822 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10928/tid=10936] ppid=10926 vsize=3518636 CPUtime=1687.87 cores=0-31
/proc/10928/task/10936/stat : 10936 (plingeling) R 10926 10928 10902 0 -1 4202560 170861 1242 0 0 168580 206 0 1 25 0 22 0 657109822 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10928/tid=10942] ppid=10926 vsize=3518636 CPUtime=1687.54 cores=0-31
/proc/10928/task/10942/stat : 10942 (plingeling) R 10926 10928 10902 0 -1 4202560 219707 1242 0 0 168511 242 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10928/tid=10943] ppid=10926 vsize=3518636 CPUtime=1687.19 cores=0-31
/proc/10928/task/10943/stat : 10943 (plingeling) R 10926 10928 10902 0 -1 4202560 163768 1242 0 0 168481 237 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10928/tid=10946] ppid=10926 vsize=3518636 CPUtime=1686.99 cores=0-31
/proc/10928/task/10946/stat : 10946 (plingeling) R 10926 10928 10902 0 -1 4202560 195275 1242 0 0 168432 266 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10928/tid=10947] ppid=10926 vsize=3518636 CPUtime=1687.69 cores=0-31
/proc/10928/task/10947/stat : 10947 (plingeling) R 10926 10928 10902 0 -1 4202560 164601 1242 0 0 168565 203 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10928/tid=10948] ppid=10926 vsize=3518636 CPUtime=1687.67 cores=0-31
/proc/10928/task/10948/stat : 10948 (plingeling) R 10926 10928 10902 0 -1 4202560 178397 1242 0 0 168549 217 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10928/tid=10949] ppid=10926 vsize=3518636 CPUtime=1687.48 cores=0-31
/proc/10928/task/10949/stat : 10949 (plingeling) R 10926 10928 10902 0 -1 4202560 224288 1242 0 0 168504 243 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10928/tid=10950] ppid=10926 vsize=3518636 CPUtime=1687.02 cores=0-31
/proc/10928/task/10950/stat : 10950 (plingeling) R 10926 10928 10902 0 -1 4202560 166480 1242 0 0 168479 222 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10928/tid=10951] ppid=10926 vsize=3518636 CPUtime=1685.28 cores=0-31
/proc/10928/task/10951/stat : 10951 (plingeling) R 10926 10928 10902 0 -1 4202560 179909 1242 0 0 168284 243 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10928/tid=10952] ppid=10926 vsize=3518636 CPUtime=1687.3 cores=0-31
/proc/10928/task/10952/stat : 10952 (plingeling) R 10926 10928 10902 0 -1 4202560 212851 1242 0 0 168501 228 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10928/tid=10956] ppid=10926 vsize=3518636 CPUtime=1687.22 cores=0-31
/proc/10928/task/10956/stat : 10956 (plingeling) R 10926 10928 10902 0 -1 4202560 162159 1242 0 0 168523 198 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10928/tid=10957] ppid=10926 vsize=3518636 CPUtime=1684.8 cores=0-31
/proc/10928/task/10957/stat : 10957 (plingeling) R 10926 10928 10902 0 -1 4202560 193535 1242 0 0 168228 251 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10928/tid=10958] ppid=10926 vsize=3518636 CPUtime=1687.53 cores=0-31
/proc/10928/task/10958/stat : 10958 (plingeling) R 10926 10928 10902 0 -1 4202560 196928 1242 0 0 168510 242 0 1 25 0 22 0 657109823 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10928/tid=10959] ppid=10926 vsize=3518636 CPUtime=1687.65 cores=0-31
/proc/10928/task/10959/stat : 10959 (plingeling) R 10926 10928 10902 0 -1 4202560 189336 1242 0 0 168569 195 0 1 25 0 22 0 657109824 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4366113 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10928/tid=10960] ppid=10926 vsize=3518636 CPUtime=1686.41 cores=0-31
/proc/10928/task/10960/stat : 10960 (plingeling) R 10926 10928 10902 0 -1 4202560 177464 1242 0 0 168421 219 0 1 25 0 22 0 657109824 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10928/tid=10961] ppid=10926 vsize=3518636 CPUtime=1687.22 cores=0-31
/proc/10928/task/10961/stat : 10961 (plingeling) R 10926 10928 10902 0 -1 4202560 192140 1242 0 0 168500 221 0 1 25 0 22 0 657109824 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10928/tid=10962] ppid=10926 vsize=3518636 CPUtime=1687.54 cores=0-31
/proc/10928/task/10962/stat : 10962 (plingeling) R 10926 10928 10902 0 -1 4202560 187051 1242 0 0 168535 218 0 1 25 0 22 0 657109824 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10928/tid=10963] ppid=10926 vsize=3518636 CPUtime=1686.66 cores=0-31
/proc/10928/task/10963/stat : 10963 (plingeling) R 10926 10928 10902 0 -1 4202560 182820 1242 0 0 168432 233 0 1 25 0 22 0 657109824 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10928/tid=10965] ppid=10926 vsize=3518636 CPUtime=1683.52 cores=0-31
/proc/10928/task/10965/stat : 10965 (plingeling) R 10926 10928 10902 0 -1 4202560 177558 1242 0 0 168107 244 0 1 25 0 22 0 657109825 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10928/tid=10966] ppid=10926 vsize=3518636 CPUtime=1658.82 cores=0-31
/proc/10928/task/10966/stat : 10966 (plingeling) R 10926 10928 10902 0 -1 4202560 197690 1242 0 0 165637 244 0 1 25 0 22 0 657109825 3603083264 715784 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 53955.1
Current children cumulated vsize (KiB) 3518636
[startup+1689.1 s]
/proc/loadavg: 32.39 32.11 32.03 33/446 11021
/proc/meminfo: memFree=252677012/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=3340016 CPUtime=53960 cores=0-31
/proc/10928/stat : 10928 (plingeling) S 10926 10928 10902 0 -1 4202496 5896569 1242 0 0 5388552 7443 0 1 18 0 6 0 657109810 3420176384 691559 268435456000 4194304 4417452 140736510781280 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/10928/statm: 835004 691559 176 55 0 832890 0
[pid=10928/tid=10946] ppid=10926 vsize=3340016 CPUtime=1687.39 cores=0-31
/proc/10928/task/10946/stat : 10946 (plingeling) R 10926 10928 10902 0 -1 4202560 195275 1242 0 0 168472 266 0 1 25 0 6 0 657109823 3420176384 691559 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10928/tid=10950] ppid=10926 vsize=3340016 CPUtime=1687.42 cores=0-31
/proc/10928/task/10950/stat : 10950 (plingeling) R 10926 10928 10902 0 -1 4202560 166480 1242 0 0 168519 222 0 1 25 0 6 0 657109823 3420176384 691559 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10928/tid=10956] ppid=10926 vsize=3340016 CPUtime=1687.62 cores=0-31
/proc/10928/task/10956/stat : 10956 (plingeling) R 10926 10928 10902 0 -1 4202560 162159 1242 0 0 168563 198 0 1 25 0 6 0 657109823 3420176384 691559 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10928/tid=10960] ppid=10926 vsize=3340016 CPUtime=1686.81 cores=0-31
/proc/10928/task/10960/stat : 10960 (plingeling) R 10926 10928 10902 0 -1 4202560 177464 1242 0 0 168461 219 0 1 25 0 6 0 657109824 3420176384 691559 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10928/tid=10961] ppid=10926 vsize=3340016 CPUtime=1687.62 cores=0-31
/proc/10928/task/10961/stat : 10961 (plingeling) R 10926 10928 10902 0 -1 4202560 192140 1242 0 0 168540 221 0 1 25 0 6 0 657109824 3420176384 691559 268435456000 4194304 4417452 140736510781280 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 53960
Current children cumulated vsize (KiB) 3340016
[startup+1689.5 s]
/proc/loadavg: 32.39 32.11 32.03 2/414 11021
/proc/meminfo: memFree=255525928/264257624 swapFree=67111528/67111528
[pid=10928] ppid=10926 vsize=0 CPUtime=53960.6 cores=0-31
/proc/10928/stat : 10928 (plingeling) Z 10926 10928 10902 0 -1 4202524 5896573 1242 0 0 5388588 7467 0 1 16 0 1 0 657109810 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/10928/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 53960.6
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1689.54
CPU time (s): 53960.6
CPU user time (s): 53885.9
CPU system time (s): 74.6876
CPU usage (%): 3193.81
Max. virtual memory (cumulated for all children) (KiB): 3595328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53885.9
system time used= 74.6876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5897815
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= 10947
involuntary context switches= 133904
runsolver used 8.93764 second user time and 38.8131 second system time
The end
Begin job on node200 at 2011-05-15 12:43:54
IDJOB=3372150
IDBENCH=20472
IDSOLVER=1852
FILE ID=node200/3372150-1305456234
RUNJOBID= node200-1305456234-10916
PBS_JOBID= 13285512
Free space on /tmp= 62052 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372150-1305456234/watcher-3372150-1305456234 -o /tmp/evaluation-result-3372150-1305456234/solver-3372150-1305456234 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372150-1305456234.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=1228208851
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: 255589040 kB
Buffers: 439736 kB
Cached: 7830628 kB
SwapCached: 0 kB
Active: 7379772 kB
Inactive: 959636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255589040 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 28 kB
Writeback: 0 kB
AnonPages: 69256 kB
Mapped: 13404 kB
Slab: 250488 kB
PageTables: 3988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186328 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= 62052 MiB
End job on node200 at 2011-05-15 13:12:04