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-3372951-1306150133/watcher-3372951-1306150133 -o /tmp/evaluation-result-3372951-1306150133/solver-3372951-1306150133 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372951-1306150133.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.14 29.80 31.18 1/413 1883
/proc/meminfo: memFree=255322216/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=12200 CPUtime=0.01 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 1085 1243 0 0 0 0 0 1 21 0 1 0 726499733 12492800 1016 268435456000 4194304 4417452 140734806306240 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 3050 1032 138 55 0 936 0
[startup+0.0824439 s]
/proc/loadavg: 27.14 29.80 31.18 1/413 1883
/proc/meminfo: memFree=255322216/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=25408 CPUtime=0.08 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 4442 1243 0 0 6 1 0 1 21 0 1 0 726499733 26017792 4373 268435456000 4194304 4417452 140734806306240 18446744073709551615 4231423 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 6352 4373 145 55 0 4238 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25408
[startup+0.10045 s]
/proc/loadavg: 27.14 29.80 31.18 1/413 1883
/proc/meminfo: memFree=255322216/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=26048 CPUtime=0.1 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 4578 1243 0 0 8 1 0 1 21 0 1 0 726499733 26673152 4509 268435456000 4194304 4417452 140734806306240 18446744073709551615 4264950 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 6512 4509 145 55 0 4398 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26048
[startup+0.300442 s]
/proc/loadavg: 27.14 29.80 31.18 1/413 1883
/proc/meminfo: memFree=255322216/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=36764 CPUtime=0.29 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 7281 1243 0 0 27 1 0 1 22 0 1 0 726499733 37646336 7212 268435456000 4194304 4417452 140734806306240 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 9191 7212 145 55 0 7077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36764
[startup+0.700461 s]
/proc/loadavg: 27.14 29.80 31.18 1/413 1883
/proc/meminfo: memFree=255322216/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=55928 CPUtime=0.69 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 12056 1243 0 0 65 3 0 1 24 0 1 0 726499733 57270272 11987 268435456000 4194304 4417452 140734806306240 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 13982 11987 145 55 0 11868 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55928
[startup+1.50051 s]
/proc/loadavg: 25.04 29.32 31.02 2/414 1889
/proc/meminfo: memFree=255264808/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=81036 CPUtime=1.49 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 18333 1243 0 0 143 5 0 1 25 0 1 0 726499733 82980864 18264 268435456000 4194304 4417452 140734806306240 18446744073709551615 4228028 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 20259 18264 145 55 0 18145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81036
[startup+3.10059 s]
/proc/loadavg: 25.04 29.32 31.02 2/414 1889
/proc/meminfo: memFree=255248436/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=114832 CPUtime=3.09 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 26782 1243 0 0 301 7 0 1 25 0 1 0 726499733 117587968 26713 268435456000 4194304 4417452 140734806306240 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 28708 26713 145 55 0 26594 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114832
[startup+6.30068 s]
/proc/loadavg: 25.04 29.32 31.02 2/414 1889
/proc/meminfo: memFree=255149920/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=180560 CPUtime=6.29 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 43214 1243 0 0 617 11 0 1 25 0 1 0 726499733 184893440 43145 268435456000 4194304 4417452 140734806306240 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1883/statm: 45140 43145 145 55 0 43026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 180560
[startup+12.7018 s]
/proc/loadavg: 23.83 28.91 30.86 33/446 1921
/proc/meminfo: memFree=254857744/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=974216 CPUtime=170.59 cores=0-31
/proc/1883/stat : 1883 (plingeling) S 1881 1883 1658 0 -1 4202496 175747 1243 0 0 16953 105 0 1 19 0 33 0 726499733 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1883/statm: 243554 112918 175 55 0 241440 0
[pid=1883/tid=1890] ppid=1881 vsize=974216 CPUtime=5.09 cores=0-31
/proc/1883/task/1890/stat : 1890 (plingeling) R 1881 1883 1658 0 -1 4202560 5155 1243 0 0 507 1 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249991 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1883/tid=1891] ppid=1881 vsize=974216 CPUtime=5.11 cores=0-31
/proc/1883/task/1891/stat : 1891 (plingeling) R 1881 1883 1658 0 -1 4202560 3128 1243 0 0 507 3 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1883/tid=1892] ppid=1881 vsize=974216 CPUtime=4.84 cores=0-31
/proc/1883/task/1892/stat : 1892 (plingeling) R 1881 1883 1658 0 -1 4202560 3837 1243 0 0 482 1 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249967 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1883/tid=1893] ppid=1881 vsize=974216 CPUtime=5.14 cores=0-31
/proc/1883/task/1893/stat : 1893 (plingeling) R 1881 1883 1658 0 -1 4202560 3830 1243 0 0 508 5 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1883/tid=1894] ppid=1881 vsize=974216 CPUtime=5.16 cores=0-31
/proc/1883/task/1894/stat : 1894 (plingeling) R 1881 1883 1658 0 -1 4202560 4196 1243 0 0 511 4 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1883/tid=1895] ppid=1881 vsize=974216 CPUtime=5.14 cores=0-31
/proc/1883/task/1895/stat : 1895 (plingeling) R 1881 1883 1658 0 -1 4202560 3881 1243 0 0 510 3 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1883/tid=1896] ppid=1881 vsize=974216 CPUtime=5.18 cores=0-31
/proc/1883/task/1896/stat : 1896 (plingeling) R 1881 1883 1658 0 -1 4202560 3562 1243 0 0 514 3 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4337224 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1883/tid=1897] ppid=1881 vsize=974216 CPUtime=5.09 cores=0-31
/proc/1883/task/1897/stat : 1897 (plingeling) R 1881 1883 1658 0 -1 4202560 4219 1243 0 0 507 1 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1883/tid=1898] ppid=1881 vsize=974216 CPUtime=5.16 cores=0-31
/proc/1883/task/1898/stat : 1898 (plingeling) R 1881 1883 1658 0 -1 4202560 3412 1243 0 0 512 3 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4319417 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1883/tid=1899] ppid=1881 vsize=974216 CPUtime=5.12 cores=0-31
/proc/1883/task/1899/stat : 1899 (plingeling) R 1881 1883 1658 0 -1 4202560 4105 1243 0 0 506 5 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4248895 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1883/tid=1900] ppid=1881 vsize=974216 CPUtime=5.11 cores=0-31
/proc/1883/task/1900/stat : 1900 (plingeling) R 1881 1883 1658 0 -1 4202560 2957 1243 0 0 507 3 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1883/tid=1901] ppid=1881 vsize=974216 CPUtime=5.16 cores=0-31
/proc/1883/task/1901/stat : 1901 (plingeling) R 1881 1883 1658 0 -1 4202560 3761 1243 0 0 513 2 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249419 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1883/tid=1902] ppid=1881 vsize=974216 CPUtime=5.11 cores=0-31
/proc/1883/task/1902/stat : 1902 (plingeling) R 1881 1883 1658 0 -1 4202560 5106 1243 0 0 506 4 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4248932 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1883/tid=1903] ppid=1881 vsize=974216 CPUtime=5.14 cores=0-31
/proc/1883/task/1903/stat : 1903 (plingeling) R 1881 1883 1658 0 -1 4202560 3375 1243 0 0 511 2 0 1 25 0 33 0 726500480 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249950 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1883/tid=1904] ppid=1881 vsize=974216 CPUtime=5.1 cores=0-31
/proc/1883/task/1904/stat : 1904 (plingeling) R 1881 1883 1658 0 -1 4202560 4946 1243 0 0 508 1 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4258267 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1883/tid=1905] ppid=1881 vsize=974216 CPUtime=5.13 cores=0-31
/proc/1883/task/1905/stat : 1905 (plingeling) R 1881 1883 1658 0 -1 4202560 4614 1243 0 0 511 1 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4250381 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1883/tid=1906] ppid=1881 vsize=974216 CPUtime=5.17 cores=0-31
/proc/1883/task/1906/stat : 1906 (plingeling) R 1881 1883 1658 0 -1 4202560 5178 1243 0 0 514 2 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1883/tid=1907] ppid=1881 vsize=974216 CPUtime=5.15 cores=0-31
/proc/1883/task/1907/stat : 1907 (plingeling) R 1881 1883 1658 0 -1 4202560 5790 1243 0 0 513 1 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1883/tid=1908] ppid=1881 vsize=974216 CPUtime=5.13 cores=0-31
/proc/1883/task/1908/stat : 1908 (plingeling) R 1881 1883 1658 0 -1 4202560 4180 1243 0 0 508 4 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1883/tid=1909] ppid=1881 vsize=974216 CPUtime=5.17 cores=0-31
/proc/1883/task/1909/stat : 1909 (plingeling) R 1881 1883 1658 0 -1 4202560 4435 1243 0 0 511 5 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1883/tid=1910] ppid=1881 vsize=974216 CPUtime=5.17 cores=0-31
/proc/1883/task/1910/stat : 1910 (plingeling) R 1881 1883 1658 0 -1 4202560 4026 1243 0 0 512 4 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1883/tid=1911] ppid=1881 vsize=974216 CPUtime=5.14 cores=0-31
/proc/1883/task/1911/stat : 1911 (plingeling) R 1881 1883 1658 0 -1 4202560 3734 1243 0 0 512 1 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1883/tid=1912] ppid=1881 vsize=974216 CPUtime=5.12 cores=0-31
/proc/1883/task/1912/stat : 1912 (plingeling) R 1881 1883 1658 0 -1 4202560 3850 1243 0 0 510 1 0 1 25 0 33 0 726500481 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249216 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1883/tid=1913] ppid=1881 vsize=974216 CPUtime=5.09 cores=0-31
/proc/1883/task/1913/stat : 1913 (plingeling) R 1881 1883 1658 0 -1 4202560 5492 1243 0 0 507 1 0 1 25 0 33 0 726500482 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1883/tid=1914] ppid=1881 vsize=974216 CPUtime=5.16 cores=0-31
/proc/1883/task/1914/stat : 1914 (plingeling) R 1881 1883 1658 0 -1 4202560 3915 1243 0 0 513 2 0 1 25 0 33 0 726500482 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1883/tid=1915] ppid=1881 vsize=974216 CPUtime=5.16 cores=0-31
/proc/1883/task/1915/stat : 1915 (plingeling) R 1881 1883 1658 0 -1 4202560 5077 1243 0 0 513 2 0 1 25 0 33 0 726500482 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4258472 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1883/tid=1916] ppid=1881 vsize=974216 CPUtime=4.66 cores=0-31
/proc/1883/task/1916/stat : 1916 (plingeling) R 1881 1883 1658 0 -1 4202560 2358 1243 0 0 462 3 0 1 25 0 33 0 726500483 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249943 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1883/tid=1917] ppid=1881 vsize=974216 CPUtime=5.1 cores=0-31
/proc/1883/task/1917/stat : 1917 (plingeling) R 1881 1883 1658 0 -1 4202560 3171 1243 0 0 506 3 0 1 25 0 33 0 726500483 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4250082 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1883/tid=1918] ppid=1881 vsize=974216 CPUtime=5.02 cores=0-31
/proc/1883/task/1918/stat : 1918 (plingeling) R 1881 1883 1658 0 -1 4202560 4689 1243 0 0 500 1 0 1 25 0 33 0 726500483 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4258389 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1883/tid=1919] ppid=1881 vsize=974216 CPUtime=5.02 cores=0-31
/proc/1883/task/1919/stat : 1919 (plingeling) R 1881 1883 1658 0 -1 4202560 3388 1243 0 0 501 0 0 1 25 0 33 0 726500483 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1883/tid=1920] ppid=1881 vsize=974216 CPUtime=5.14 cores=0-31
/proc/1883/task/1920/stat : 1920 (plingeling) R 1881 1883 1658 0 -1 4202560 4465 1243 0 0 510 3 0 1 25 0 33 0 726500483 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4236008 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1883/tid=1921] ppid=1881 vsize=974216 CPUtime=4.97 cores=0-31
/proc/1883/task/1921/stat : 1921 (plingeling) R 1881 1883 1658 0 -1 4202560 4660 1243 0 0 495 1 0 1 25 0 33 0 726500483 997597184 112918 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 170.59
Current children cumulated vsize (KiB) 974216
[startup+25.5022 s]
/proc/loadavg: 25.08 29.01 30.87 33/446 1921
/proc/meminfo: memFree=254631028/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=1193996 CPUtime=578.5 cores=0-31
/proc/1883/stat : 1883 (plingeling) S 1881 1883 1658 0 -1 4202496 287431 1243 0 0 57656 193 0 1 19 0 33 0 726499733 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1883/statm: 298499 170934 175 55 0 296385 0
[pid=1883/tid=1890] ppid=1881 vsize=1193996 CPUtime=17.83 cores=0-31
/proc/1883/task/1890/stat : 1890 (plingeling) R 1881 1883 1658 0 -1 4202560 7836 1243 0 0 1781 1 0 1 18 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1883/tid=1891] ppid=1881 vsize=1193996 CPUtime=17.65 cores=0-31
/proc/1883/task/1891/stat : 1891 (plingeling) R 1881 1883 1658 0 -1 4202560 6141 1243 0 0 1756 8 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1883/tid=1892] ppid=1881 vsize=1193996 CPUtime=17.46 cores=0-31
/proc/1883/task/1892/stat : 1892 (plingeling) R 1881 1883 1658 0 -1 4202560 6810 1243 0 0 1743 2 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1883/tid=1893] ppid=1881 vsize=1193996 CPUtime=17.94 cores=0-31
/proc/1883/task/1893/stat : 1893 (plingeling) R 1881 1883 1658 0 -1 4202560 9994 1243 0 0 1780 13 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1883/tid=1894] ppid=1881 vsize=1193996 CPUtime=17.94 cores=0-31
/proc/1883/task/1894/stat : 1894 (plingeling) R 1881 1883 1658 0 -1 4202560 8347 1243 0 0 1788 5 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1883/tid=1895] ppid=1881 vsize=1193996 CPUtime=17.92 cores=0-31
/proc/1883/task/1895/stat : 1895 (plingeling) R 1881 1883 1658 0 -1 4202560 7144 1243 0 0 1782 9 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4321595 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1883/tid=1896] ppid=1881 vsize=1193996 CPUtime=17.97 cores=0-31
/proc/1883/task/1896/stat : 1896 (plingeling) R 1881 1883 1658 0 -1 4202560 7704 1243 0 0 1792 4 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1883/tid=1897] ppid=1881 vsize=1193996 CPUtime=17.85 cores=0-31
/proc/1883/task/1897/stat : 1897 (plingeling) R 1881 1883 1658 0 -1 4202560 6462 1243 0 0 1782 2 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4277155 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1883/tid=1898] ppid=1881 vsize=1193996 CPUtime=17.93 cores=0-31
/proc/1883/task/1898/stat : 1898 (plingeling) R 1881 1883 1658 0 -1 4202560 4436 1243 0 0 1789 3 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364903 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1883/tid=1899] ppid=1881 vsize=1193996 CPUtime=17.86 cores=0-31
/proc/1883/task/1899/stat : 1899 (plingeling) R 1881 1883 1658 0 -1 4202560 7557 1243 0 0 1775 10 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1883/tid=1900] ppid=1881 vsize=1193996 CPUtime=17.88 cores=0-31
/proc/1883/task/1900/stat : 1900 (plingeling) R 1881 1883 1658 0 -1 4202560 7134 1243 0 0 1783 4 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1883/tid=1901] ppid=1881 vsize=1193996 CPUtime=17.95 cores=0-31
/proc/1883/task/1901/stat : 1901 (plingeling) R 1881 1883 1658 0 -1 4202560 5028 1243 0 0 1791 3 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4259687 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1883/tid=1902] ppid=1881 vsize=1193996 CPUtime=17.78 cores=0-31
/proc/1883/task/1902/stat : 1902 (plingeling) R 1881 1883 1658 0 -1 4202560 7244 1243 0 0 1772 5 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4278178 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1883/tid=1903] ppid=1881 vsize=1193996 CPUtime=17.89 cores=0-31
/proc/1883/task/1903/stat : 1903 (plingeling) R 1881 1883 1658 0 -1 4202560 7472 1243 0 0 1780 8 0 1 25 0 33 0 726500480 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1883/tid=1904] ppid=1881 vsize=1193996 CPUtime=17.89 cores=0-31
/proc/1883/task/1904/stat : 1904 (plingeling) R 1881 1883 1658 0 -1 4202560 10511 1243 0 0 1785 3 0 1 25 0 33 0 726500481 1222651904 170934 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
################
# More data... #
################
[pid=1883/tid=1918] ppid=1881 vsize=1481328 CPUtime=56.09 cores=0-31
/proc/1883/task/1918/stat : 1918 (plingeling) R 1881 1883 1658 0 -1 4202560 14163 1243 0 0 5589 19 0 1 25 0 33 0 726500483 1516879872 247178 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1883/tid=1919] ppid=1881 vsize=1481328 CPUtime=56.16 cores=0-31
/proc/1883/task/1919/stat : 1919 (plingeling) R 1881 1883 1658 0 -1 4202560 12606 1243 0 0 5607 8 0 1 25 0 33 0 726500483 1516879872 247178 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1883/tid=1920] ppid=1881 vsize=1481328 CPUtime=56.29 cores=0-31
/proc/1883/task/1920/stat : 1920 (plingeling) R 1881 1883 1658 0 -1 4202560 13397 1243 0 0 5613 15 0 1 25 0 33 0 726500483 1516879872 247178 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1883/tid=1921] ppid=1881 vsize=1481328 CPUtime=56.12 cores=0-31
/proc/1883/task/1921/stat : 1921 (plingeling) R 1881 1883 1658 0 -1 4202560 13043 1243 0 0 5607 4 0 1 25 0 33 0 726500483 1516879872 247178 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1804.25
Current children cumulated vsize (KiB) 1481328
[startup+64.7016 s]
/proc/loadavg: 28.58 29.41 30.93 33/446 1921
/proc/meminfo: memFree=254330436/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=1485264 CPUtime=1829.84 cores=0-31
/proc/1883/stat : 1883 (plingeling) S 1881 1883 1658 0 -1 4202496 539886 1243 0 0 182458 525 0 1 19 0 33 0 726499733 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1883/statm: 371316 248162 175 55 0 369202 0
[pid=1883/tid=1890] ppid=1881 vsize=1485264 CPUtime=56.93 cores=0-31
/proc/1883/task/1890/stat : 1890 (plingeling) R 1881 1883 1658 0 -1 4202560 17102 1243 0 0 5683 9 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1883/tid=1891] ppid=1881 vsize=1485264 CPUtime=56.68 cores=0-31
/proc/1883/task/1891/stat : 1891 (plingeling) R 1881 1883 1658 0 -1 4202560 13555 1243 0 0 5648 19 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364791 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1883/tid=1892] ppid=1881 vsize=1485264 CPUtime=56.65 cores=0-31
/proc/1883/task/1892/stat : 1892 (plingeling) R 1881 1883 1658 0 -1 4202560 11759 1243 0 0 5651 13 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1883/tid=1893] ppid=1881 vsize=1485264 CPUtime=57.14 cores=0-31
/proc/1883/task/1893/stat : 1893 (plingeling) R 1881 1883 1658 0 -1 4202560 22449 1243 0 0 5683 30 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1883/tid=1894] ppid=1881 vsize=1485264 CPUtime=56.96 cores=0-31
/proc/1883/task/1894/stat : 1894 (plingeling) R 1881 1883 1658 0 -1 4202560 19026 1243 0 0 5682 13 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1883/tid=1895] ppid=1881 vsize=1485264 CPUtime=57.1 cores=0-31
/proc/1883/task/1895/stat : 1895 (plingeling) R 1881 1883 1658 0 -1 4202560 11240 1243 0 0 5689 20 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1883/tid=1896] ppid=1881 vsize=1485264 CPUtime=57.04 cores=0-31
/proc/1883/task/1896/stat : 1896 (plingeling) R 1881 1883 1658 0 -1 4202560 14232 1243 0 0 5688 15 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1883/tid=1897] ppid=1881 vsize=1485264 CPUtime=57.03 cores=0-31
/proc/1883/task/1897/stat : 1897 (plingeling) R 1881 1883 1658 0 -1 4202560 16082 1243 0 0 5683 19 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1883/tid=1898] ppid=1881 vsize=1485264 CPUtime=56.86 cores=0-31
/proc/1883/task/1898/stat : 1898 (plingeling) R 1881 1883 1658 0 -1 4202560 11267 1243 0 0 5665 20 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1883/tid=1899] ppid=1881 vsize=1485264 CPUtime=56.99 cores=0-31
/proc/1883/task/1899/stat : 1899 (plingeling) R 1881 1883 1658 0 -1 4202560 14395 1243 0 0 5676 22 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1883/tid=1900] ppid=1881 vsize=1485264 CPUtime=56.86 cores=0-31
/proc/1883/task/1900/stat : 1900 (plingeling) R 1881 1883 1658 0 -1 4202560 17490 1243 0 0 5663 22 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1883/tid=1901] ppid=1881 vsize=1485264 CPUtime=57.13 cores=0-31
/proc/1883/task/1901/stat : 1901 (plingeling) R 1881 1883 1658 0 -1 4202560 13219 1243 0 0 5698 14 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1883/tid=1902] ppid=1881 vsize=1485264 CPUtime=56.96 cores=0-31
/proc/1883/task/1902/stat : 1902 (plingeling) R 1881 1883 1658 0 -1 4202560 18627 1243 0 0 5678 17 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1883/tid=1903] ppid=1881 vsize=1485264 CPUtime=57.06 cores=0-31
/proc/1883/task/1903/stat : 1903 (plingeling) R 1881 1883 1658 0 -1 4202560 12856 1243 0 0 5695 10 0 1 25 0 33 0 726500480 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4302932 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1883/tid=1904] ppid=1881 vsize=1485264 CPUtime=57.08 cores=0-31
/proc/1883/task/1904/stat : 1904 (plingeling) R 1881 1883 1658 0 -1 4202560 18258 1243 0 0 5692 15 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1883/tid=1905] ppid=1881 vsize=1485264 CPUtime=57.11 cores=0-31
/proc/1883/task/1905/stat : 1905 (plingeling) R 1881 1883 1658 0 -1 4202560 12995 1243 0 0 5703 7 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4365088 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1883/tid=1906] ppid=1881 vsize=1485264 CPUtime=57.04 cores=0-31
/proc/1883/task/1906/stat : 1906 (plingeling) R 1881 1883 1658 0 -1 4202560 15426 1243 0 0 5683 20 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1883/tid=1907] ppid=1881 vsize=1485264 CPUtime=57.08 cores=0-31
/proc/1883/task/1907/stat : 1907 (plingeling) R 1881 1883 1658 0 -1 4202560 15014 1243 0 0 5698 9 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1883/tid=1908] ppid=1881 vsize=1485264 CPUtime=57.04 cores=0-31
/proc/1883/task/1908/stat : 1908 (plingeling) R 1881 1883 1658 0 -1 4202560 15911 1243 0 0 5697 6 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1883/tid=1909] ppid=1881 vsize=1485264 CPUtime=55.91 cores=0-31
/proc/1883/task/1909/stat : 1909 (plingeling) R 1881 1883 1658 0 -1 4202560 19965 1243 0 0 5566 24 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1883/tid=1910] ppid=1881 vsize=1485264 CPUtime=57.08 cores=0-31
/proc/1883/task/1910/stat : 1910 (plingeling) R 1881 1883 1658 0 -1 4202560 19825 1243 0 0 5684 23 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364845 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1883/tid=1911] ppid=1881 vsize=1485264 CPUtime=57.02 cores=0-31
/proc/1883/task/1911/stat : 1911 (plingeling) R 1881 1883 1658 0 -1 4202560 12617 1243 0 0 5697 4 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1883/tid=1912] ppid=1881 vsize=1485264 CPUtime=57.1 cores=0-31
/proc/1883/task/1912/stat : 1912 (plingeling) R 1881 1883 1658 0 -1 4202560 17612 1243 0 0 5690 19 0 1 25 0 33 0 726500481 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364693 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1883/tid=1913] ppid=1881 vsize=1485264 CPUtime=56.98 cores=0-31
/proc/1883/task/1913/stat : 1913 (plingeling) R 1881 1883 1658 0 -1 4202560 17516 1243 0 0 5683 14 0 1 25 0 33 0 726500482 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1883/tid=1914] ppid=1881 vsize=1485264 CPUtime=57.1 cores=0-31
/proc/1883/task/1914/stat : 1914 (plingeling) R 1881 1883 1658 0 -1 4202560 9931 1243 0 0 5700 9 0 1 25 0 33 0 726500482 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1883/tid=1915] ppid=1881 vsize=1485264 CPUtime=57.15 cores=0-31
/proc/1883/task/1915/stat : 1915 (plingeling) R 1881 1883 1658 0 -1 4202560 20375 1243 0 0 5692 22 0 1 25 0 33 0 726500482 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4260776 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1883/tid=1916] ppid=1881 vsize=1485264 CPUtime=56.36 cores=0-31
/proc/1883/task/1916/stat : 1916 (plingeling) R 1881 1883 1658 0 -1 4202560 22471 1243 0 0 5612 23 0 1 25 0 33 0 726500483 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1883/tid=1917] ppid=1881 vsize=1485264 CPUtime=57.03 cores=0-31
/proc/1883/task/1917/stat : 1917 (plingeling) R 1881 1883 1658 0 -1 4202560 12207 1243 0 0 5692 10 0 1 25 0 33 0 726500483 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1883/tid=1918] ppid=1881 vsize=1485264 CPUtime=56.89 cores=0-31
/proc/1883/task/1918/stat : 1918 (plingeling) R 1881 1883 1658 0 -1 4202560 14163 1243 0 0 5669 19 0 1 25 0 33 0 726500483 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366141 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1883/tid=1919] ppid=1881 vsize=1485264 CPUtime=56.96 cores=0-31
/proc/1883/task/1919/stat : 1919 (plingeling) R 1881 1883 1658 0 -1 4202560 12606 1243 0 0 5687 8 0 1 25 0 33 0 726500483 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1883/tid=1920] ppid=1881 vsize=1485264 CPUtime=57.09 cores=0-31
/proc/1883/task/1920/stat : 1920 (plingeling) R 1881 1883 1658 0 -1 4202560 13397 1243 0 0 5693 15 0 1 25 0 33 0 726500483 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1883/tid=1921] ppid=1881 vsize=1485264 CPUtime=56.92 cores=0-31
/proc/1883/task/1921/stat : 1921 (plingeling) R 1881 1883 1658 0 -1 4202560 13043 1243 0 0 5687 4 0 1 25 0 33 0 726500483 1520910336 248162 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1829.84
Current children cumulated vsize (KiB) 1485264
[startup+65.1016 s]
/proc/loadavg: 28.58 29.41 30.93 33/446 1921
/proc/meminfo: memFree=254328400/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=1485264 CPUtime=1842.53 cores=0-31
/proc/1883/stat : 1883 (plingeling) S 1881 1883 1658 0 -1 4202496 539887 1243 0 0 183727 525 0 1 19 0 29 0 726499733 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1883/statm: 371316 247847 176 55 0 369202 0
[pid=1883/tid=1890] ppid=1881 vsize=1485264 CPUtime=57.33 cores=0-31
/proc/1883/task/1890/stat : 1890 (plingeling) R 1881 1883 1658 0 -1 4202560 17102 1243 0 0 5723 9 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4262999 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1883/tid=1891] ppid=1881 vsize=1485264 CPUtime=57.08 cores=0-31
/proc/1883/task/1891/stat : 1891 (plingeling) R 1881 1883 1658 0 -1 4202560 13555 1243 0 0 5688 19 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1883/tid=1892] ppid=1881 vsize=1485264 CPUtime=57.05 cores=0-31
/proc/1883/task/1892/stat : 1892 (plingeling) R 1881 1883 1658 0 -1 4202560 11759 1243 0 0 5691 13 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1883/tid=1895] ppid=1881 vsize=1485264 CPUtime=57.5 cores=0-31
/proc/1883/task/1895/stat : 1895 (plingeling) R 1881 1883 1658 0 -1 4202560 11240 1243 0 0 5729 20 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1883/tid=1896] ppid=1881 vsize=1485264 CPUtime=57.44 cores=0-31
/proc/1883/task/1896/stat : 1896 (plingeling) R 1881 1883 1658 0 -1 4202560 14232 1243 0 0 5728 15 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1883/tid=1897] ppid=1881 vsize=1485264 CPUtime=57.43 cores=0-31
/proc/1883/task/1897/stat : 1897 (plingeling) R 1881 1883 1658 0 -1 4202560 16082 1243 0 0 5723 19 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1883/tid=1898] ppid=1881 vsize=1485264 CPUtime=57.26 cores=0-31
/proc/1883/task/1898/stat : 1898 (plingeling) R 1881 1883 1658 0 -1 4202560 11267 1243 0 0 5705 20 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1883/tid=1899] ppid=1881 vsize=1485264 CPUtime=57.39 cores=0-31
/proc/1883/task/1899/stat : 1899 (plingeling) R 1881 1883 1658 0 -1 4202560 14395 1243 0 0 5716 22 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1883/tid=1900] ppid=1881 vsize=1485264 CPUtime=57.26 cores=0-31
/proc/1883/task/1900/stat : 1900 (plingeling) R 1881 1883 1658 0 -1 4202560 17490 1243 0 0 5703 22 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1883/tid=1901] ppid=1881 vsize=1485264 CPUtime=57.53 cores=0-31
/proc/1883/task/1901/stat : 1901 (plingeling) R 1881 1883 1658 0 -1 4202560 13219 1243 0 0 5738 14 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1883/tid=1902] ppid=1881 vsize=1485264 CPUtime=57.36 cores=0-31
/proc/1883/task/1902/stat : 1902 (plingeling) R 1881 1883 1658 0 -1 4202560 18627 1243 0 0 5718 17 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1883/tid=1903] ppid=1881 vsize=1485264 CPUtime=57.46 cores=0-31
/proc/1883/task/1903/stat : 1903 (plingeling) R 1881 1883 1658 0 -1 4202560 12856 1243 0 0 5735 10 0 1 25 0 29 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1883/tid=1905] ppid=1881 vsize=1485264 CPUtime=57.51 cores=0-31
/proc/1883/task/1905/stat : 1905 (plingeling) R 1881 1883 1658 0 -1 4202560 12995 1243 0 0 5743 7 0 1 25 0 29 0 726500481 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1883/tid=1906] ppid=1881 vsize=1485264 CPUtime=57.44 cores=0-31
/proc/1883/task/1906/stat : 1906 (plingeling) R 1881 1883 1658 0 -1 4202560 15426 1243 0 0 5723 20 0 1 25 0 29 0 726500481 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1883/tid=1907] ppid=1881 vsize=1485264 CPUtime=57.48 cores=0-31
/proc/1883/task/1907/stat : 1907 (plingeling) R 1881 1883 1658 0 -1 4202560 15014 1243 0 0 5738 9 0 1 25 0 29 0 726500481 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4265437 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1883/tid=1909] ppid=1881 vsize=1485264 CPUtime=56.29 cores=0-31
/proc/1883/task/1909/stat : 1909 (plingeling) R 1881 1883 1658 0 -1 4202560 19965 1243 0 0 5604 24 0 1 25 0 29 0 726500481 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1883/tid=1910] ppid=1881 vsize=1485264 CPUtime=57.48 cores=0-31
/proc/1883/task/1910/stat : 1910 (plingeling) R 1881 1883 1658 0 -1 4202560 19825 1243 0 0 5724 23 0 1 25 0 29 0 726500481 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1883/tid=1911] ppid=1881 vsize=1485264 CPUtime=57.42 cores=0-31
/proc/1883/task/1911/stat : 1911 (plingeling) R 1881 1883 1658 0 -1 4202560 12617 1243 0 0 5737 4 0 1 25 0 29 0 726500481 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1883/tid=1912] ppid=1881 vsize=1485264 CPUtime=57.5 cores=0-31
/proc/1883/task/1912/stat : 1912 (plingeling) R 1881 1883 1658 0 -1 4202560 17612 1243 0 0 5730 19 0 1 25 0 29 0 726500481 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1883/tid=1913] ppid=1881 vsize=1485264 CPUtime=57.38 cores=0-31
/proc/1883/task/1913/stat : 1913 (plingeling) R 1881 1883 1658 0 -1 4202560 17516 1243 0 0 5723 14 0 1 25 0 29 0 726500482 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1883/tid=1914] ppid=1881 vsize=1485264 CPUtime=57.5 cores=0-31
/proc/1883/task/1914/stat : 1914 (plingeling) R 1881 1883 1658 0 -1 4202560 9931 1243 0 0 5740 9 0 1 25 0 29 0 726500482 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1883/tid=1915] ppid=1881 vsize=1485264 CPUtime=57.55 cores=0-31
/proc/1883/task/1915/stat : 1915 (plingeling) R 1881 1883 1658 0 -1 4202560 20375 1243 0 0 5732 22 0 1 25 0 29 0 726500482 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1883/tid=1916] ppid=1881 vsize=1485264 CPUtime=56.76 cores=0-31
/proc/1883/task/1916/stat : 1916 (plingeling) R 1881 1883 1658 0 -1 4202560 22471 1243 0 0 5652 23 0 1 25 0 29 0 726500483 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1883/tid=1917] ppid=1881 vsize=1485264 CPUtime=57.43 cores=0-31
/proc/1883/task/1917/stat : 1917 (plingeling) R 1881 1883 1658 0 -1 4202560 12207 1243 0 0 5732 10 0 1 25 0 29 0 726500483 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1883/tid=1918] ppid=1881 vsize=1485264 CPUtime=57.29 cores=0-31
/proc/1883/task/1918/stat : 1918 (plingeling) R 1881 1883 1658 0 -1 4202560 14163 1243 0 0 5709 19 0 1 25 0 29 0 726500483 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1883/tid=1919] ppid=1881 vsize=1485264 CPUtime=57.36 cores=0-31
/proc/1883/task/1919/stat : 1919 (plingeling) R 1881 1883 1658 0 -1 4202560 12606 1243 0 0 5727 8 0 1 25 0 29 0 726500483 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1883/tid=1920] ppid=1881 vsize=1485264 CPUtime=57.49 cores=0-31
/proc/1883/task/1920/stat : 1920 (plingeling) R 1881 1883 1658 0 -1 4202560 13397 1243 0 0 5733 15 0 1 25 0 29 0 726500483 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1883/tid=1921] ppid=1881 vsize=1485264 CPUtime=57.32 cores=0-31
/proc/1883/task/1921/stat : 1921 (plingeling) R 1881 1883 1658 0 -1 4202560 13043 1243 0 0 5727 4 0 1 25 0 29 0 726500483 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1842.53
Current children cumulated vsize (KiB) 1485264
[startup+65.3017 s]
/proc/loadavg: 28.58 29.41 30.93 33/446 1921
/proc/meminfo: memFree=254328400/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=1485264 CPUtime=1844.96 cores=0-31
/proc/1883/stat : 1883 (plingeling) S 1881 1883 1658 0 -1 4202496 540879 1243 0 0 183969 526 0 1 19 0 3 0 726499733 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/1883/statm: 371316 247847 176 55 0 369202 0
[pid=1883/tid=1890] ppid=1881 vsize=1485264 CPUtime=57.53 cores=0-31
/proc/1883/task/1890/stat : 1890 (plingeling) R 1881 1883 1658 0 -1 4202560 17102 1243 0 0 5743 9 0 1 25 0 3 0 726500480 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4353620 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1883/tid=1921] ppid=1881 vsize=1485264 CPUtime=57.52 cores=0-31
/proc/1883/task/1921/stat : 1921 (plingeling) R 1881 1883 1658 0 -1 4202560 13043 1243 0 0 5747 4 0 1 25 0 3 0 726500483 1520910336 247847 268435456000 4194304 4417452 140734806306240 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 1844.96
Current children cumulated vsize (KiB) 1485264
[startup+65.4007 s]
/proc/loadavg: 28.58 29.41 30.93 33/446 1921
/proc/meminfo: memFree=254328400/264257624 swapFree=67111528/67111528
[pid=1883] ppid=1881 vsize=406080 CPUtime=1845.05 cores=0-31
/proc/1883/stat : 1883 (plingeling) R 1881 1883 1658 0 -1 4202496 540879 1243 0 0 183971 533 0 1 18 0 1 0 726499733 415825920 39667 268435456000 4194304 4417452 140734806306240 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/1883/statm: 101520 39155 176 55 0 99406 0
Current children cumulated CPU time (s) 1845.05
Current children cumulated vsize (KiB) 406080
Child status: 20
Real time (s): 65.4178
CPU time (s): 1845.09
CPU user time (s): 1839.72
CPU system time (s): 5.36518
CPU usage (%): 2820.47
Max. virtual memory (cumulated for all children) (KiB): 1660092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1839.72
system time used= 5.36518
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542126
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= 2253
involuntary context switches= 4426
runsolver used 0.412937 second user time and 1.50977 second system time
The end
Begin job on node200 at 2011-05-23 13:28:53
IDJOB=3372951
IDBENCH=88066
IDSOLVER=1852
FILE ID=node200/3372951-1306150133
RUNJOBID= node200-1306150053-1672
PBS_JOBID= 13387845
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372951-1306150133/watcher-3372951-1306150133 -o /tmp/evaluation-result-3372951-1306150133/solver-3372951-1306150133 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372951-1306150133.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3469bb30890bba597175d692c3430b0e
RANDOM SEED=828885268
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: 255322248 kB
Buffers: 459952 kB
Cached: 8066656 kB
SwapCached: 0 kB
Active: 7617288 kB
Inactive: 978584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255322248 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4392 kB
Writeback: 16 kB
AnonPages: 71288 kB
Mapped: 15880 kB
Slab: 253912 kB
PageTables: 6276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190968 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= 62044 MiB
End job on node200 at 2011-05-23 13:29:59