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-3372477-1305667546/watcher-3372477-1305667546 -o /tmp/evaluation-result-3372477-1305667546/solver-3372477-1305667546 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372477-1305667546.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: 14.14 19.47 26.39 1/413 26497
/proc/meminfo: memFree=255475780/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=25752 CPUtime=0.03 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 4492 1247 0 0 2 1 0 0 21 0 1 0 678241252 26370048 4423 268435456000 4194304 4417452 140736697614128 18446744073709551615 4231585 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 6438 4423 141 55 0 4324 0
[startup+0.067261 s]
/proc/loadavg: 14.14 19.47 26.39 1/413 26497
/proc/meminfo: memFree=255475780/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=30600 CPUtime=0.05 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 5727 1247 0 0 4 1 0 0 21 0 1 0 678241252 31334400 5658 268435456000 4194304 4417452 140736697614128 18446744073709551615 258650653120 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 7698 5678 141 55 0 5584 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30600
[startup+0.101261 s]
/proc/loadavg: 14.14 19.47 26.39 1/413 26497
/proc/meminfo: memFree=255475780/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=30792 CPUtime=0.09 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 5768 1247 0 0 8 1 0 0 21 0 1 0 678241252 31531008 5699 268435456000 4194304 4417452 140736697614128 18446744073709551615 4232577 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 7698 5699 141 55 0 5584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30792
[startup+0.301261 s]
/proc/loadavg: 14.14 19.47 26.39 1/413 26497
/proc/meminfo: memFree=255475780/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=55784 CPUtime=0.28 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 12001 1247 0 0 26 2 0 0 22 0 1 0 678241252 57122816 11932 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235968 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 13946 11932 142 55 0 11832 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 55784
[startup+0.700319 s]
/proc/loadavg: 14.14 19.47 26.39 1/413 26497
/proc/meminfo: memFree=255475780/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=98644 CPUtime=0.69 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 22751 1247 0 0 64 5 0 0 23 0 1 0 678241252 101011456 22682 268435456000 4194304 4417452 140736697614128 18446744073709551615 4228002 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 24661 22682 145 55 0 22547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98644
[startup+1.50031 s]
/proc/loadavg: 14.14 19.47 26.39 2/414 26503
/proc/meminfo: memFree=255373932/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=126072 CPUtime=1.49 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 29601 1247 0 0 142 7 0 0 25 0 1 0 678241252 129097728 29532 268435456000 4194304 4417452 140736697614128 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 31518 29532 146 55 0 29404 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126072
[startup+3.10037 s]
/proc/loadavg: 14.14 19.47 26.39 2/414 26503
/proc/meminfo: memFree=255276568/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=214032 CPUtime=3.08 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 51599 1247 0 0 296 12 0 0 25 0 1 0 678241252 219168768 51530 268435456000 4194304 4417452 140736697614128 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 53508 51530 146 55 0 51394 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 214032
[startup+6.30047 s]
/proc/loadavg: 13.08 19.16 26.25 2/414 26503
/proc/meminfo: memFree=255053312/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=469372 CPUtime=6.29 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 115466 1247 0 0 604 25 0 0 25 0 1 0 678241252 480636928 115365 268435456000 4194304 4417452 140736697614128 18446744073709551615 4259025 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 117343 115365 146 55 0 115229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 469372
[startup+12.7007 s]
/proc/loadavg: 12.12 18.86 26.12 2/414 26505
/proc/meminfo: memFree=254492628/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=990528 CPUtime=12.68 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 245755 1247 0 0 1217 51 0 0 25 0 1 0 678241252 1014300672 245654 268435456000 4194304 4417452 140736697614128 18446744073709551615 4264920 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 247632 245654 146 55 0 245518 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 990528
[startup+25.5012 s]
/proc/loadavg: 9.65 17.98 25.71 2/414 26505
/proc/meminfo: memFree=254133972/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=1350976 CPUtime=25.48 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202496 335867 1247 0 0 2476 72 0 0 25 0 1 0 678241252 1383399424 335766 268435456000 4194304 4417452 140736697614128 18446744073709551615 4231569 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26497/statm: 337744 335766 146 55 0 335630 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1350976
[startup+51.1019 s]
/proc/loadavg: 15.41 18.61 25.71 33/446 26537
/proc/meminfo: memFree=253167588/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=2849360 CPUtime=624.83 cores=0-31
/proc/26497/stat : 26497 (plingeling) S 26495 26497 26399 0 -1 4202496 1487599 1247 0 0 61512 971 0 0 18 0 33 0 678241252 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26497/statm: 712340 569921 174 55 0 710226 0
[pid=26497/tid=26506] ppid=26495 vsize=2849360 CPUtime=18.47 cores=0-31
/proc/26497/task/26506/stat : 26506 (plingeling) R 26495 26497 26399 0 -1 4202560 25877 1247 0 0 1825 22 0 0 25 0 33 0 678244401 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4253475 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26497/tid=26507] ppid=26495 vsize=2849360 CPUtime=18.5 cores=0-31
/proc/26497/task/26507/stat : 26507 (plingeling) R 26495 26497 26399 0 -1 4202560 29045 1247 0 0 1821 29 0 0 25 0 33 0 678244401 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26497/tid=26508] ppid=26495 vsize=2849360 CPUtime=18.45 cores=0-31
/proc/26497/task/26508/stat : 26508 (plingeling) R 26495 26497 26399 0 -1 4202560 25716 1247 0 0 1827 18 0 0 25 0 33 0 678244401 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4253538 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26497/tid=26509] ppid=26495 vsize=2849360 CPUtime=18.4 cores=0-31
/proc/26497/task/26509/stat : 26509 (plingeling) R 26495 26497 26399 0 -1 4202560 3973 1247 0 0 1834 6 0 0 25 0 33 0 678244401 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4251024 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26497/tid=26510] ppid=26495 vsize=2849360 CPUtime=18.45 cores=0-31
/proc/26497/task/26510/stat : 26510 (plingeling) R 26495 26497 26399 0 -1 4202560 22395 1247 0 0 1828 17 0 0 25 0 33 0 678244402 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4255010 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26497/tid=26511] ppid=26495 vsize=2849360 CPUtime=18.32 cores=0-31
/proc/26497/task/26511/stat : 26511 (plingeling) R 26495 26497 26399 0 -1 4202560 32658 1247 0 0 1785 47 0 0 25 0 33 0 678244402 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254868 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26497/tid=26512] ppid=26495 vsize=2849360 CPUtime=18.72 cores=0-31
/proc/26497/task/26512/stat : 26512 (plingeling) R 26495 26497 26399 0 -1 4202560 32881 1247 0 0 1834 38 0 0 25 0 33 0 678244402 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26497/tid=26513] ppid=26495 vsize=2849360 CPUtime=18.78 cores=0-31
/proc/26497/task/26513/stat : 26513 (plingeling) R 26495 26497 26399 0 -1 4202560 27693 1247 0 0 1855 23 0 0 25 0 33 0 678244402 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4255010 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26497/tid=26514] ppid=26495 vsize=2849360 CPUtime=18.68 cores=0-31
/proc/26497/task/26514/stat : 26514 (plingeling) R 26495 26497 26399 0 -1 4202560 18493 1247 0 0 1846 22 0 0 25 0 33 0 678244402 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26497/tid=26515] ppid=26495 vsize=2849360 CPUtime=18.57 cores=0-31
/proc/26497/task/26515/stat : 26515 (plingeling) R 26495 26497 26399 0 -1 4202560 29377 1247 0 0 1834 23 0 0 25 0 33 0 678244403 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26497/tid=26516] ppid=26495 vsize=2849360 CPUtime=18.76 cores=0-31
/proc/26497/task/26516/stat : 26516 (plingeling) R 26495 26497 26399 0 -1 4202560 36644 1247 0 0 1843 33 0 0 25 0 33 0 678244403 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26497/tid=26517] ppid=26495 vsize=2849360 CPUtime=18.94 cores=0-31
/proc/26497/task/26517/stat : 26517 (plingeling) R 26495 26497 26399 0 -1 4202560 28624 1247 0 0 1874 20 0 0 25 0 33 0 678244403 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254955 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26497/tid=26518] ppid=26495 vsize=2849360 CPUtime=18.86 cores=0-31
/proc/26497/task/26518/stat : 26518 (plingeling) R 26495 26497 26399 0 -1 4202560 27530 1247 0 0 1853 33 0 0 25 0 33 0 678244404 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26497/tid=26519] ppid=26495 vsize=2849360 CPUtime=18.72 cores=0-31
/proc/26497/task/26519/stat : 26519 (plingeling) R 26495 26497 26399 0 -1 4202560 25261 1247 0 0 1851 21 0 0 25 0 33 0 678244404 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26497/tid=26520] ppid=26495 vsize=2849360 CPUtime=18.62 cores=0-31
/proc/26497/task/26520/stat : 26520 (plingeling) R 26495 26497 26399 0 -1 4202560 26142 1247 0 0 1834 28 0 0 25 0 33 0 678244408 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254821 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26497/tid=26521] ppid=26495 vsize=2849360 CPUtime=18.46 cores=0-31
/proc/26497/task/26521/stat : 26521 (plingeling) R 26495 26497 26399 0 -1 4202560 31956 1247 0 0 1816 30 0 0 25 0 33 0 678244408 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4253440 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26497/tid=26522] ppid=26495 vsize=2849360 CPUtime=18.38 cores=0-31
/proc/26497/task/26522/stat : 26522 (plingeling) R 26495 26497 26399 0 -1 4202560 31949 1247 0 0 1807 31 0 0 25 0 33 0 678244409 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254843 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26497/tid=26523] ppid=26495 vsize=2849360 CPUtime=18.46 cores=0-31
/proc/26497/task/26523/stat : 26523 (plingeling) R 26495 26497 26399 0 -1 4202560 29396 1247 0 0 1810 36 0 0 25 0 33 0 678244409 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254896 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26497/tid=26524] ppid=26495 vsize=2849360 CPUtime=17.75 cores=0-31
/proc/26497/task/26524/stat : 26524 (plingeling) R 26495 26497 26399 0 -1 4202560 23494 1247 0 0 1755 20 0 0 25 0 33 0 678244409 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254468 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26497/tid=26525] ppid=26495 vsize=2849360 CPUtime=18.47 cores=0-31
/proc/26497/task/26525/stat : 26525 (plingeling) R 26495 26497 26399 0 -1 4202560 25516 1247 0 0 1820 27 0 0 25 0 33 0 678244413 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4253513 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26497/tid=26526] ppid=26495 vsize=2849360 CPUtime=18.3 cores=0-31
/proc/26497/task/26526/stat : 26526 (plingeling) R 26495 26497 26399 0 -1 4202560 30899 1247 0 0 1793 37 0 0 25 0 33 0 678244414 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4253528 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26497/tid=26527] ppid=26495 vsize=2849360 CPUtime=18.48 cores=0-31
/proc/26497/task/26527/stat : 26527 (plingeling) R 26495 26497 26399 0 -1 4202560 32860 1247 0 0 1818 30 0 0 25 0 33 0 678244414 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26497/tid=26528] ppid=26495 vsize=2849360 CPUtime=18.5 cores=0-31
/proc/26497/task/26528/stat : 26528 (plingeling) R 26495 26497 26399 0 -1 4202560 29248 1247 0 0 1829 21 0 0 25 0 33 0 678244414 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26497/tid=26529] ppid=26495 vsize=2849360 CPUtime=18.63 cores=0-31
/proc/26497/task/26529/stat : 26529 (plingeling) R 26495 26497 26399 0 -1 4202560 22229 1247 0 0 1846 17 0 0 25 0 33 0 678244414 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254893 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26497/tid=26530] ppid=26495 vsize=2849360 CPUtime=18.34 cores=0-31
/proc/26497/task/26530/stat : 26530 (plingeling) R 26495 26497 26399 0 -1 4202560 30539 1247 0 0 1803 31 0 0 25 0 33 0 678244415 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254810 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26497/tid=26531] ppid=26495 vsize=2849360 CPUtime=18.52 cores=0-31
/proc/26497/task/26531/stat : 26531 (plingeling) R 26495 26497 26399 0 -1 4202560 17759 1247 0 0 1836 16 0 0 25 0 33 0 678244415 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254983 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26497/tid=26532] ppid=26495 vsize=2849360 CPUtime=18.82 cores=0-31
/proc/26497/task/26532/stat : 26532 (plingeling) R 26495 26497 26399 0 -1 4202560 28442 1247 0 0 1848 34 0 0 25 0 33 0 678244415 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254990 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26497/tid=26533] ppid=26495 vsize=2849360 CPUtime=18.64 cores=0-31
/proc/26497/task/26533/stat : 26533 (plingeling) R 26495 26497 26399 0 -1 4202560 27194 1247 0 0 1840 24 0 0 25 0 33 0 678244415 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254468 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26497/tid=26534] ppid=26495 vsize=2849360 CPUtime=18.34 cores=0-31
/proc/26497/task/26534/stat : 26534 (plingeling) R 26495 26497 26399 0 -1 4202560 31611 1247 0 0 1807 27 0 0 25 0 33 0 678244416 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4253440 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26497/tid=26535] ppid=26495 vsize=2849360 CPUtime=18.54 cores=0-31
/proc/26497/task/26535/stat : 26535 (plingeling) R 26495 26497 26399 0 -1 4202560 24974 1247 0 0 1834 20 0 0 25 0 33 0 678244416 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26497/tid=26536] ppid=26495 vsize=2849360 CPUtime=18.52 cores=0-31
/proc/26497/task/26536/stat : 26536 (plingeling) R 26495 26497 26399 0 -1 4202560 32475 1247 0 0 1830 22 0 0 25 0 33 0 678244417 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254024 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26497/tid=26537] ppid=26495 vsize=2849360 CPUtime=18.66 cores=0-31
/proc/26497/task/26537/stat : 26537 (plingeling) R 26495 26497 26399 0 -1 4202560 28129 1247 0 0 1842 24 0 0 25 0 33 0 678244424 2917744640 569921 268435456000 4194304 4417452 140736697614128 18446744073709551615 4253830 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 624.83
Current children cumulated vsize (KiB) 2849360
Solver just ended. Dumping a history of the last processes samples
[startup+57.5021 s]
/proc/loadavg: 16.90 18.86 25.76 33/446 26537
/proc/meminfo: memFree=253087004/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=2982548 CPUtime=829.33 cores=0-31
/proc/26497/stat : 26497 (plingeling) S 26495 26497 26399 0 -1 4202496 1513747 1247 0 0 81924 1009 0 0 18 0 33 0 678241252 3054129152 592490 268435456000 4194304 4417452 140736697614128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26497/statm: 745637 592511 175 55 0 743523 0
[pid=26497/tid=26506] ppid=26495 vsize=2982548 CPUtime=24.87 cores=0-31
/proc/26497/task/26506/stat : 26506 (plingeling) R 26495 26497 26399 0 -1 4202560 25877 1247 0 0 2465 22 0 0 25 0 33 0 678244401 3054129152 592519 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254990 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26497/tid=26507] ppid=26495 vsize=2982548 CPUtime=24.9 cores=0-31
/proc/26497/task/26507/stat : 26507 (plingeling) R 26495 26497 26399 0 -1 4202560 29045 1247 0 0 2461 29 0 0 25 0 33 0 678244401 3054129152 592530 268435456000 4194304 4417452 140736697614128 18446744073709551615 4254964 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26497/tid=26508] ppid=26495 vsize=2982548 CPUtime=24.86 cores=0-31
/proc/26497/task/26508/stat : 26508 (plingeling) R 26495 26497 26399 0 -1 4202560 27891 1247 0 0 2465 21 0 0 25 0 33 0 678244401 3054129152 592540 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26497/tid=26509] ppid=26495 vsize=2982548 CPUtime=24.8 cores=0-31
/proc/26497/task/26509/stat : 26509 (plingeling) R 26495 26497 26399 0 -1 4202560 3973 1247 0 0 2474 6 0 0 25 0 33 0 678244401 3054129152 592549 268435456000 4194304 4417452 140736697614128 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26497/tid=26510] ppid=26495 vsize=2982548 CPUtime=24.85 cores=0-31
/proc/26497/task/26510/stat : 26510 (plingeling) R 26495 26497 26399 0 -1 4202560 23122 1247 0 0 2468 17 0 0 25 0 33 0 678244402 3054129152 592559 268435456000 4194304 4417452 140736697614128 18446744073709551615 4252927 0 0 4096 17442 0 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/26497/task/26528/stat : 26528 (plingeling) R 26495 26497 26399 0 -1 4202560 30007 1247 0 0 2627 23 0 0 25 0 33 0 678244414 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26497/tid=26529] ppid=26495 vsize=2874544 CPUtime=26.62 cores=0-31
/proc/26497/task/26529/stat : 26529 (plingeling) R 26495 26497 26399 0 -1 4202560 22965 1247 0 0 2645 17 0 0 25 0 33 0 678244414 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26497/tid=26530] ppid=26495 vsize=2874544 CPUtime=26.32 cores=0-31
/proc/26497/task/26530/stat : 26530 (plingeling) R 26495 26497 26399 0 -1 4202560 31266 1247 0 0 2599 33 0 0 25 0 33 0 678244415 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26497/tid=26531] ppid=26495 vsize=2874544 CPUtime=26.52 cores=0-31
/proc/26497/task/26531/stat : 26531 (plingeling) R 26495 26497 26399 0 -1 4202560 18486 1247 0 0 2636 16 0 0 25 0 33 0 678244415 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26497/tid=26532] ppid=26495 vsize=2874544 CPUtime=26.81 cores=0-31
/proc/26497/task/26532/stat : 26532 (plingeling) R 26495 26497 26399 0 -1 4202560 29200 1247 0 0 2645 36 0 0 25 0 33 0 678244415 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26497/tid=26533] ppid=26495 vsize=2874544 CPUtime=26.63 cores=0-31
/proc/26497/task/26533/stat : 26533 (plingeling) R 26495 26497 26399 0 -1 4202560 27921 1247 0 0 2638 25 0 0 25 0 33 0 678244415 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26497/tid=26534] ppid=26495 vsize=2874544 CPUtime=26.34 cores=0-31
/proc/26497/task/26534/stat : 26534 (plingeling) R 26495 26497 26399 0 -1 4202560 32338 1247 0 0 2604 30 0 0 25 0 33 0 678244416 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26497/tid=26535] ppid=26495 vsize=2874544 CPUtime=26.54 cores=0-31
/proc/26497/task/26535/stat : 26535 (plingeling) R 26495 26497 26399 0 -1 4202560 25701 1247 0 0 2633 21 0 0 25 0 33 0 678244416 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26497/tid=26536] ppid=26495 vsize=2874544 CPUtime=26.52 cores=0-31
/proc/26497/task/26536/stat : 26536 (plingeling) R 26495 26497 26399 0 -1 4202560 37796 1247 0 0 2627 25 0 0 25 0 33 0 678244417 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26497/tid=26537] ppid=26495 vsize=2874544 CPUtime=26.56 cores=0-31
/proc/26497/task/26537/stat : 26537 (plingeling) R 26495 26497 26399 0 -1 4202560 28856 1247 0 0 2630 26 0 0 21 0 33 0 678244424 2943533056 598627 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235411 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 880.46
Current children cumulated vsize (KiB) 2874544
[startup+60.7022 s]
/proc/loadavg: 18.11 19.08 25.79 33/446 26537
/proc/meminfo: memFree=253064560/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=2874492 CPUtime=931.59 cores=0-31
/proc/26497/stat : 26497 (plingeling) S 26495 26497 26399 0 -1 4202496 1522066 1247 0 0 92141 1018 0 0 18 0 33 0 678241252 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26497/statm: 718623 598437 175 55 0 716509 0
[pid=26497/tid=26506] ppid=26495 vsize=2874492 CPUtime=28.07 cores=0-31
/proc/26497/task/26506/stat : 26506 (plingeling) R 26495 26497 26399 0 -1 4202560 26604 1247 0 0 2783 24 0 0 25 0 33 0 678244401 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249365 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26497/tid=26507] ppid=26495 vsize=2874492 CPUtime=28.1 cores=0-31
/proc/26497/task/26507/stat : 26507 (plingeling) R 26495 26497 26399 0 -1 4202560 29781 1247 0 0 2779 31 0 0 25 0 33 0 678244401 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249909 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26497/tid=26508] ppid=26495 vsize=2874492 CPUtime=28.05 cores=0-31
/proc/26497/task/26508/stat : 26508 (plingeling) R 26495 26497 26399 0 -1 4202560 29238 1247 0 0 2784 21 0 0 25 0 33 0 678244401 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4281649 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26497/tid=26509] ppid=26495 vsize=2874492 CPUtime=28 cores=0-31
/proc/26497/task/26509/stat : 26509 (plingeling) R 26495 26497 26399 0 -1 4202560 3973 1247 0 0 2794 6 0 0 25 0 33 0 678244401 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26497/tid=26510] ppid=26495 vsize=2874492 CPUtime=28.05 cores=0-31
/proc/26497/task/26510/stat : 26510 (plingeling) R 26495 26497 26399 0 -1 4202560 23122 1247 0 0 2788 17 0 0 25 0 33 0 678244402 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235421 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26497/tid=26511] ppid=26495 vsize=2874492 CPUtime=27.92 cores=0-31
/proc/26497/task/26511/stat : 26511 (plingeling) R 26495 26497 26399 0 -1 4202560 33394 1247 0 0 2743 49 0 0 25 0 33 0 678244402 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236290 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26497/tid=26512] ppid=26495 vsize=2874492 CPUtime=28.32 cores=0-31
/proc/26497/task/26512/stat : 26512 (plingeling) R 26495 26497 26399 0 -1 4202560 33639 1247 0 0 2792 40 0 0 25 0 33 0 678244402 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26497/tid=26513] ppid=26495 vsize=2874492 CPUtime=28.37 cores=0-31
/proc/26497/task/26513/stat : 26513 (plingeling) R 26495 26497 26399 0 -1 4202560 28420 1247 0 0 2812 25 0 0 25 0 33 0 678244402 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26497/tid=26514] ppid=26495 vsize=2874492 CPUtime=28.25 cores=0-31
/proc/26497/task/26514/stat : 26514 (plingeling) R 26495 26497 26399 0 -1 4202560 19220 1247 0 0 2801 24 0 0 25 0 33 0 678244402 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26497/tid=26515] ppid=26495 vsize=2874492 CPUtime=28.17 cores=0-31
/proc/26497/task/26515/stat : 26515 (plingeling) R 26495 26497 26399 0 -1 4202560 30113 1247 0 0 2792 25 0 0 25 0 33 0 678244403 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26497/tid=26516] ppid=26495 vsize=2874492 CPUtime=28.36 cores=0-31
/proc/26497/task/26516/stat : 26516 (plingeling) R 26495 26497 26399 0 -1 4202560 40312 1247 0 0 2802 34 0 0 25 0 33 0 678244403 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4265411 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26497/tid=26517] ppid=26495 vsize=2874492 CPUtime=28.54 cores=0-31
/proc/26497/task/26517/stat : 26517 (plingeling) R 26495 26497 26399 0 -1 4202560 29583 1247 0 0 2832 22 0 0 25 0 33 0 678244403 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26497/tid=26518] ppid=26495 vsize=2874492 CPUtime=28.38 cores=0-31
/proc/26497/task/26518/stat : 26518 (plingeling) R 26495 26497 26399 0 -1 4202560 28257 1247 0 0 2803 35 0 0 25 0 33 0 678244404 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26497/tid=26519] ppid=26495 vsize=2874492 CPUtime=28.31 cores=0-31
/proc/26497/task/26519/stat : 26519 (plingeling) R 26495 26497 26399 0 -1 4202560 26125 1247 0 0 2808 23 0 0 25 0 33 0 678244404 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4352029 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26497/tid=26520] ppid=26495 vsize=2874492 CPUtime=28.22 cores=0-31
/proc/26497/task/26520/stat : 26520 (plingeling) R 26495 26497 26399 0 -1 4202560 27930 1247 0 0 2791 31 0 0 25 0 33 0 678244408 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236797 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26497/tid=26521] ppid=26495 vsize=2874492 CPUtime=28.06 cores=0-31
/proc/26497/task/26521/stat : 26521 (plingeling) R 26495 26497 26399 0 -1 4202560 32683 1247 0 0 2774 32 0 0 25 0 33 0 678244408 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26497/tid=26522] ppid=26495 vsize=2874492 CPUtime=27.97 cores=0-31
/proc/26497/task/26522/stat : 26522 (plingeling) R 26495 26497 26399 0 -1 4202560 32676 1247 0 0 2766 31 0 0 25 0 33 0 678244409 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4258161 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26497/tid=26523] ppid=26495 vsize=2874492 CPUtime=28.05 cores=0-31
/proc/26497/task/26523/stat : 26523 (plingeling) R 26495 26497 26399 0 -1 4202560 30132 1247 0 0 2769 36 0 0 25 0 33 0 678244409 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249347 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26497/tid=26524] ppid=26495 vsize=2874492 CPUtime=27.2 cores=0-31
/proc/26497/task/26524/stat : 26524 (plingeling) R 26495 26497 26399 0 -1 4202560 24252 1247 0 0 2697 23 0 0 25 0 33 0 678244409 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26497/tid=26525] ppid=26495 vsize=2874492 CPUtime=28.07 cores=0-31
/proc/26497/task/26525/stat : 26525 (plingeling) R 26495 26497 26399 0 -1 4202560 26243 1247 0 0 2780 27 0 0 25 0 33 0 678244413 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26497/tid=26526] ppid=26495 vsize=2874492 CPUtime=27.9 cores=0-31
/proc/26497/task/26526/stat : 26526 (plingeling) R 26495 26497 26399 0 -1 4202560 31626 1247 0 0 2753 37 0 0 25 0 33 0 678244414 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4248939 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26497/tid=26527] ppid=26495 vsize=2874492 CPUtime=28.07 cores=0-31
/proc/26497/task/26527/stat : 26527 (plingeling) R 26495 26497 26399 0 -1 4202560 33587 1247 0 0 2775 32 0 0 25 0 33 0 678244414 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235295 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26497/tid=26528] ppid=26495 vsize=2874492 CPUtime=28.1 cores=0-31
/proc/26497/task/26528/stat : 26528 (plingeling) R 26495 26497 26399 0 -1 4202560 30007 1247 0 0 2787 23 0 0 25 0 33 0 678244414 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26497/tid=26529] ppid=26495 vsize=2874492 CPUtime=28.22 cores=0-31
/proc/26497/task/26529/stat : 26529 (plingeling) R 26495 26497 26399 0 -1 4202560 22965 1247 0 0 2805 17 0 0 25 0 33 0 678244414 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26497/tid=26530] ppid=26495 vsize=2874492 CPUtime=27.92 cores=0-31
/proc/26497/task/26530/stat : 26530 (plingeling) R 26495 26497 26399 0 -1 4202560 31266 1247 0 0 2759 33 0 0 25 0 33 0 678244415 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26497/tid=26531] ppid=26495 vsize=2874492 CPUtime=28.12 cores=0-31
/proc/26497/task/26531/stat : 26531 (plingeling) R 26495 26497 26399 0 -1 4202560 18486 1247 0 0 2796 16 0 0 25 0 33 0 678244415 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26497/tid=26532] ppid=26495 vsize=2874492 CPUtime=28.41 cores=0-31
/proc/26497/task/26532/stat : 26532 (plingeling) R 26495 26497 26399 0 -1 4202560 29200 1247 0 0 2805 36 0 0 25 0 33 0 678244415 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26497/tid=26533] ppid=26495 vsize=2874492 CPUtime=28.23 cores=0-31
/proc/26497/task/26533/stat : 26533 (plingeling) R 26495 26497 26399 0 -1 4202560 27921 1247 0 0 2798 25 0 0 25 0 33 0 678244415 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236008 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26497/tid=26534] ppid=26495 vsize=2874492 CPUtime=27.94 cores=0-31
/proc/26497/task/26534/stat : 26534 (plingeling) R 26495 26497 26399 0 -1 4202560 32338 1247 0 0 2764 30 0 0 25 0 33 0 678244416 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26497/tid=26535] ppid=26495 vsize=2874492 CPUtime=28.14 cores=0-31
/proc/26497/task/26535/stat : 26535 (plingeling) R 26495 26497 26399 0 -1 4202560 25701 1247 0 0 2793 21 0 0 25 0 33 0 678244416 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26497/tid=26536] ppid=26495 vsize=2874492 CPUtime=28.12 cores=0-31
/proc/26497/task/26536/stat : 26536 (plingeling) R 26495 26497 26399 0 -1 4202560 37796 1247 0 0 2787 25 0 0 25 0 33 0 678244417 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26497/tid=26537] ppid=26495 vsize=2874492 CPUtime=28.16 cores=0-31
/proc/26497/task/26537/stat : 26537 (plingeling) R 26495 26497 26399 0 -1 4202560 28856 1247 0 0 2790 26 0 0 25 0 33 0 678244424 2943479808 598437 268435456000 4194304 4417452 140736697614128 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 931.59
Current children cumulated vsize (KiB) 2874492
[startup+61.1023 s]
/proc/loadavg: 18.11 19.08 25.79 33/446 26537
/proc/meminfo: memFree=253064560/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=2874492 CPUtime=944.36 cores=0-31
/proc/26497/stat : 26497 (plingeling) S 26495 26497 26399 0 -1 4202496 1522067 1247 0 0 93418 1018 0 0 18 0 30 0 678241252 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26497/statm: 718623 598438 176 55 0 716509 0
[pid=26497/tid=26506] ppid=26495 vsize=2874492 CPUtime=28.47 cores=0-31
/proc/26497/task/26506/stat : 26506 (plingeling) R 26495 26497 26399 0 -1 4202560 26604 1247 0 0 2823 24 0 0 25 0 30 0 678244401 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235398 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26497/tid=26507] ppid=26495 vsize=2874492 CPUtime=28.5 cores=0-31
/proc/26497/task/26507/stat : 26507 (plingeling) R 26495 26497 26399 0 -1 4202560 29781 1247 0 0 2819 31 0 0 25 0 30 0 678244401 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26497/tid=26510] ppid=26495 vsize=2874492 CPUtime=28.45 cores=0-31
/proc/26497/task/26510/stat : 26510 (plingeling) R 26495 26497 26399 0 -1 4202560 23122 1247 0 0 2828 17 0 0 25 0 30 0 678244402 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341419 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26497/tid=26511] ppid=26495 vsize=2874492 CPUtime=28.32 cores=0-31
/proc/26497/task/26511/stat : 26511 (plingeling) R 26495 26497 26399 0 -1 4202560 33394 1247 0 0 2783 49 0 0 25 0 30 0 678244402 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26497/tid=26512] ppid=26495 vsize=2874492 CPUtime=28.72 cores=0-31
/proc/26497/task/26512/stat : 26512 (plingeling) R 26495 26497 26399 0 -1 4202560 33639 1247 0 0 2832 40 0 0 25 0 30 0 678244402 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236644 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26497/tid=26513] ppid=26495 vsize=2874492 CPUtime=28.77 cores=0-31
/proc/26497/task/26513/stat : 26513 (plingeling) R 26495 26497 26399 0 -1 4202560 28420 1247 0 0 2852 25 0 0 25 0 30 0 678244402 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26497/tid=26514] ppid=26495 vsize=2874492 CPUtime=28.65 cores=0-31
/proc/26497/task/26514/stat : 26514 (plingeling) R 26495 26497 26399 0 -1 4202560 19220 1247 0 0 2841 24 0 0 25 0 30 0 678244402 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26497/tid=26515] ppid=26495 vsize=2874492 CPUtime=28.57 cores=0-31
/proc/26497/task/26515/stat : 26515 (plingeling) R 26495 26497 26399 0 -1 4202560 30113 1247 0 0 2832 25 0 0 25 0 30 0 678244403 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341392 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26497/tid=26516] ppid=26495 vsize=2874492 CPUtime=28.76 cores=0-31
/proc/26497/task/26516/stat : 26516 (plingeling) R 26495 26497 26399 0 -1 4202560 40312 1247 0 0 2842 34 0 0 25 0 30 0 678244403 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26497/tid=26517] ppid=26495 vsize=2874492 CPUtime=28.94 cores=0-31
/proc/26497/task/26517/stat : 26517 (plingeling) R 26495 26497 26399 0 -1 4202560 29583 1247 0 0 2872 22 0 0 25 0 30 0 678244403 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26497/tid=26518] ppid=26495 vsize=2874492 CPUtime=28.77 cores=0-31
/proc/26497/task/26518/stat : 26518 (plingeling) R 26495 26497 26399 0 -1 4202560 28257 1247 0 0 2842 35 0 0 25 0 30 0 678244404 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26497/tid=26519] ppid=26495 vsize=2874492 CPUtime=28.71 cores=0-31
/proc/26497/task/26519/stat : 26519 (plingeling) R 26495 26497 26399 0 -1 4202560 26125 1247 0 0 2848 23 0 0 25 0 30 0 678244404 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236982 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26497/tid=26520] ppid=26495 vsize=2874492 CPUtime=28.62 cores=0-31
/proc/26497/task/26520/stat : 26520 (plingeling) R 26495 26497 26399 0 -1 4202560 27930 1247 0 0 2831 31 0 0 25 0 30 0 678244408 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4352339 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26497/tid=26521] ppid=26495 vsize=2874492 CPUtime=28.46 cores=0-31
/proc/26497/task/26521/stat : 26521 (plingeling) R 26495 26497 26399 0 -1 4202560 32683 1247 0 0 2814 32 0 0 25 0 30 0 678244408 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26497/tid=26522] ppid=26495 vsize=2874492 CPUtime=28.37 cores=0-31
/proc/26497/task/26522/stat : 26522 (plingeling) R 26495 26497 26399 0 -1 4202560 32676 1247 0 0 2806 31 0 0 25 0 30 0 678244409 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26497/tid=26523] ppid=26495 vsize=2874492 CPUtime=28.45 cores=0-31
/proc/26497/task/26523/stat : 26523 (plingeling) R 26495 26497 26399 0 -1 4202560 30132 1247 0 0 2809 36 0 0 25 0 30 0 678244409 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4235411 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26497/tid=26524] ppid=26495 vsize=2874492 CPUtime=27.6 cores=0-31
/proc/26497/task/26524/stat : 26524 (plingeling) R 26495 26497 26399 0 -1 4202560 24252 1247 0 0 2737 23 0 0 25 0 30 0 678244409 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249976 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26497/tid=26525] ppid=26495 vsize=2874492 CPUtime=28.47 cores=0-31
/proc/26497/task/26525/stat : 26525 (plingeling) R 26495 26497 26399 0 -1 4202560 26243 1247 0 0 2820 27 0 0 25 0 30 0 678244413 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26497/tid=26526] ppid=26495 vsize=2874492 CPUtime=28.3 cores=0-31
/proc/26497/task/26526/stat : 26526 (plingeling) R 26495 26497 26399 0 -1 4202560 31626 1247 0 0 2793 37 0 0 25 0 30 0 678244414 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4258436 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26497/tid=26527] ppid=26495 vsize=2874492 CPUtime=28.48 cores=0-31
/proc/26497/task/26527/stat : 26527 (plingeling) R 26495 26497 26399 0 -1 4202560 33587 1247 0 0 2816 32 0 0 25 0 30 0 678244414 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26497/tid=26529] ppid=26495 vsize=2874492 CPUtime=28.62 cores=0-31
/proc/26497/task/26529/stat : 26529 (plingeling) R 26495 26497 26399 0 -1 4202560 22965 1247 0 0 2845 17 0 0 25 0 30 0 678244414 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341341 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26497/tid=26530] ppid=26495 vsize=2874492 CPUtime=28.32 cores=0-31
/proc/26497/task/26530/stat : 26530 (plingeling) R 26495 26497 26399 0 -1 4202560 31266 1247 0 0 2799 33 0 0 25 0 30 0 678244415 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341341 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26497/tid=26531] ppid=26495 vsize=2874492 CPUtime=28.52 cores=0-31
/proc/26497/task/26531/stat : 26531 (plingeling) R 26495 26497 26399 0 -1 4202560 18486 1247 0 0 2836 16 0 0 25 0 30 0 678244415 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26497/tid=26532] ppid=26495 vsize=2874492 CPUtime=28.81 cores=0-31
/proc/26497/task/26532/stat : 26532 (plingeling) R 26495 26497 26399 0 -1 4202560 29200 1247 0 0 2845 36 0 0 25 0 30 0 678244415 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26497/tid=26533] ppid=26495 vsize=2874492 CPUtime=28.63 cores=0-31
/proc/26497/task/26533/stat : 26533 (plingeling) R 26495 26497 26399 0 -1 4202560 27921 1247 0 0 2838 25 0 0 25 0 30 0 678244415 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26497/tid=26534] ppid=26495 vsize=2874492 CPUtime=28.34 cores=0-31
/proc/26497/task/26534/stat : 26534 (plingeling) R 26495 26497 26399 0 -1 4202560 32338 1247 0 0 2804 30 0 0 25 0 30 0 678244416 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26497/tid=26535] ppid=26495 vsize=2874492 CPUtime=28.54 cores=0-31
/proc/26497/task/26535/stat : 26535 (plingeling) R 26495 26497 26399 0 -1 4202560 25701 1247 0 0 2833 21 0 0 25 0 30 0 678244416 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26497/tid=26536] ppid=26495 vsize=2874492 CPUtime=28.52 cores=0-31
/proc/26497/task/26536/stat : 26536 (plingeling) R 26495 26497 26399 0 -1 4202560 37796 1247 0 0 2827 25 0 0 25 0 30 0 678244417 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4282041 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26497/tid=26537] ppid=26495 vsize=2874492 CPUtime=28.56 cores=0-31
/proc/26497/task/26537/stat : 26537 (plingeling) R 26495 26497 26399 0 -1 4202560 28856 1247 0 0 2830 26 0 0 25 0 30 0 678244424 2943479808 598438 268435456000 4194304 4417452 140736697614128 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 944.36
Current children cumulated vsize (KiB) 2874492
[startup+61.5014 s]
/proc/loadavg: 18.11 19.08 25.79 2/414 26537
/proc/meminfo: memFree=255159796/264257624 swapFree=67111528/67111528
[pid=26497] ppid=26495 vsize=0 CPUtime=949.63 cores=0-31
/proc/26497/stat : 26497 (plingeling) R 26495 26497 26399 0 -1 4202500 1524779 1247 0 0 93925 1038 0 0 18 0 1 0 678241252 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/26497/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 949.63
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 61.5295
CPU time (s): 949.652
CPU user time (s): 939.258
CPU system time (s): 10.3934
CPU usage (%): 1543.41
Max. virtual memory (cumulated for all children) (KiB): 3455920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 939.258
system time used= 10.3934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1526026
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= 5595
involuntary context switches= 2484
runsolver used 0.488925 second user time and 1.42778 second system time
The end
Begin job on node200 at 2011-05-17 23:25:48
IDJOB=3372477
IDBENCH=82409
IDSOLVER=1852
FILE ID=node200/3372477-1305667546
RUNJOBID= node200-1305667311-26413
PBS_JOBID= 13357371
Free space on /tmp= 62004 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372477-1305667546/watcher-3372477-1305667546 -o /tmp/evaluation-result-3372477-1305667546/solver-3372477-1305667546 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372477-1305667546.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 7a66f04f295b538081ccaebd0fd7d9b2
RANDOM SEED=1044991043
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: 255475936 kB
Buffers: 449760 kB
Cached: 7926500 kB
SwapCached: 0 kB
Active: 7446696 kB
Inactive: 1001064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255475936 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 46588 kB
Writeback: 0 kB
AnonPages: 71800 kB
Mapped: 14536 kB
Slab: 252128 kB
PageTables: 4376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185960 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= 62004 MiB
End job on node200 at 2011-05-17 23:26:50