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-3372165-1305468094/watcher-3372165-1305468094 -o /tmp/evaluation-result-3372165-1305468094/solver-3372165-1305468094 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372165-1305468094.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.59 31.64 31.97 1/413 11679
/proc/meminfo: memFree=255583220/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=10248 CPUtime=0.03 cores=0-31
/proc/11679/stat : 11679 (plingeling) R 11677 11679 11653 0 -1 4202496 649 1252 0 0 2 0 0 1 21 0 1 0 658295828 10493952 580 268435456000 4194304 4417452 140733439156976 18446744073709551615 4259889 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11679/statm: 2562 580 145 55 0 448 0
[startup+0.134219 s]
/proc/loadavg: 29.59 31.64 31.97 1/413 11679
/proc/meminfo: memFree=255583220/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=18972 CPUtime=0.12 cores=0-31
/proc/11679/stat : 11679 (plingeling) R 11677 11679 11653 0 -1 4202496 2807 1252 0 0 11 0 0 1 21 0 1 0 658295828 19427328 2738 268435456000 4194304 4417452 140733439156976 18446744073709551615 4209666 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11679/statm: 4743 2738 145 55 0 2629 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 18972
[startup+0.201208 s]
/proc/loadavg: 29.59 31.64 31.97 1/413 11679
/proc/meminfo: memFree=255583220/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=23704 CPUtime=0.19 cores=0-31
/proc/11679/stat : 11679 (plingeling) R 11677 11679 11653 0 -1 4202496 3985 1252 0 0 17 1 0 1 21 0 1 0 658295828 24272896 3916 268435456000 4194304 4417452 140733439156976 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11679/statm: 5926 3916 146 55 0 3812 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23704
[startup+0.301228 s]
/proc/loadavg: 29.59 31.64 31.97 1/413 11679
/proc/meminfo: memFree=255583220/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=28240 CPUtime=0.29 cores=0-31
/proc/11679/stat : 11679 (plingeling) R 11677 11679 11653 0 -1 4202496 5139 1252 0 0 27 1 0 1 22 0 1 0 658295828 28917760 5070 268435456000 4194304 4417452 140733439156976 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11679/statm: 7060 5070 146 55 0 4946 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28240
[startup+0.701234 s]
/proc/loadavg: 29.59 31.64 31.97 1/413 11679
/proc/meminfo: memFree=255583220/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=64012 CPUtime=0.7 cores=0-31
/proc/11679/stat : 11679 (plingeling) R 11677 11679 11653 0 -1 4202496 14062 1252 0 0 65 4 0 1 23 0 1 0 658295828 65548288 13993 268435456000 4194304 4417452 140733439156976 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11679/statm: 16003 13993 146 55 0 13889 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 64012
[startup+1.50126 s]
/proc/loadavg: 27.30 31.13 31.80 2/414 11685
/proc/meminfo: memFree=255472136/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=155036 CPUtime=1.49 cores=0-31
/proc/11679/stat : 11679 (plingeling) R 11677 11679 11653 0 -1 4202496 36850 1252 0 0 140 8 0 1 25 0 1 0 658295828 158756864 36781 268435456000 4194304 4417452 140733439156976 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11679/statm: 38759 36781 146 55 0 36645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155036
[startup+3.10118 s]
/proc/loadavg: 27.30 31.13 31.80 2/414 11685
/proc/meminfo: memFree=255364864/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=1001484 CPUtime=20.13 cores=0-31
/proc/11679/stat : 11679 (plingeling) S 11677 11679 11653 0 -1 4202496 95357 1252 0 0 1942 70 0 1 18 0 33 0 658295828 1025519616 65917 268435456000 4194304 4417452 140733439156976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/11679/statm: 250371 65917 170 55 0 248257 0
Current children cumulated CPU time (s) 20.13
Current children cumulated vsize (KiB) 1001484
[startup+6.30229 s]
/proc/loadavg: 27.30 31.13 31.80 33/446 11717
/proc/meminfo: memFree=255248784/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=1066824 CPUtime=122.09 cores=0-31
/proc/11679/stat : 11679 (plingeling) S 11677 11679 11653 0 -1 4202496 183001 1252 0 0 12098 110 0 1 18 0 33 0 658295828 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/11679/statm: 266706 81553 175 55 0 264592 0
[pid=11679/tid=11686] ppid=11677 vsize=1066824 CPUtime=3.7 cores=0-31
/proc/11679/task/11686/stat : 11686 (plingeling) R 11677 11679 11653 0 -1 4202560 4057 1252 0 0 366 3 0 1 25 0 33 0 658296076 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253272 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11679/tid=11687] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11687/stat : 11687 (plingeling) R 11677 11679 11653 0 -1 4202560 3997 1252 0 0 371 3 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4252163 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11679/tid=11688] ppid=11677 vsize=1066824 CPUtime=3.74 cores=0-31
/proc/11679/task/11688/stat : 11688 (plingeling) R 11677 11679 11653 0 -1 4202560 2100 1252 0 0 372 1 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11679/tid=11689] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11689/stat : 11689 (plingeling) R 11677 11679 11653 0 -1 4202560 575 1252 0 0 373 1 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4352496 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11679/tid=11690] ppid=11677 vsize=1066824 CPUtime=3.74 cores=0-31
/proc/11679/task/11690/stat : 11690 (plingeling) R 11677 11679 11653 0 -1 4202560 4005 1252 0 0 370 3 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11679/tid=11691] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11691/stat : 11691 (plingeling) R 11677 11679 11653 0 -1 4202560 2928 1252 0 0 373 2 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4252959 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11679/tid=11692] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11692/stat : 11692 (plingeling) R 11677 11679 11653 0 -1 4202560 2843 1252 0 0 372 2 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 258650624601 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11679/tid=11693] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11693/stat : 11693 (plingeling) R 11677 11679 11653 0 -1 4202560 5755 1252 0 0 372 3 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11679/tid=11694] ppid=11677 vsize=1066824 CPUtime=3.7 cores=0-31
/proc/11679/task/11694/stat : 11694 (plingeling) R 11677 11679 11653 0 -1 4202560 2554 1252 0 0 368 1 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4233447 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11679/tid=11695] ppid=11677 vsize=1066824 CPUtime=3.72 cores=0-31
/proc/11679/task/11695/stat : 11695 (plingeling) R 11677 11679 11653 0 -1 4202560 6577 1252 0 0 368 3 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4272241 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11679/tid=11696] ppid=11677 vsize=1066824 CPUtime=3.71 cores=0-31
/proc/11679/task/11696/stat : 11696 (plingeling) R 11677 11679 11653 0 -1 4202560 3010 1252 0 0 368 2 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11679/tid=11697] ppid=11677 vsize=1066824 CPUtime=3.73 cores=0-31
/proc/11679/task/11697/stat : 11697 (plingeling) R 11677 11679 11653 0 -1 4202560 5140 1252 0 0 369 3 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4274020 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11679/tid=11698] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11698/stat : 11698 (plingeling) R 11677 11679 11653 0 -1 4202560 6910 1252 0 0 368 6 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4252531 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11679/tid=11699] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11699/stat : 11699 (plingeling) R 11677 11679 11653 0 -1 4202560 7607 1252 0 0 369 5 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11679/tid=11700] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11700/stat : 11700 (plingeling) R 11677 11679 11653 0 -1 4202560 2552 1252 0 0 372 3 0 1 18 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4366014 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11679/tid=11701] ppid=11677 vsize=1066824 CPUtime=3.7 cores=0-31
/proc/11679/task/11701/stat : 11701 (plingeling) R 11677 11679 11653 0 -1 4202560 2942 1252 0 0 368 1 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4257807 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11679/tid=11702] ppid=11677 vsize=1066824 CPUtime=3.74 cores=0-31
/proc/11679/task/11702/stat : 11702 (plingeling) R 11677 11679 11653 0 -1 4202560 6565 1252 0 0 369 4 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4272693 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11679/tid=11703] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11703/stat : 11703 (plingeling) R 11677 11679 11653 0 -1 4202560 5745 1252 0 0 372 3 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4319664 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11679/tid=11704] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11704/stat : 11704 (plingeling) R 11677 11679 11653 0 -1 4202560 3320 1252 0 0 373 2 0 1 25 0 33 0 658296077 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11679/tid=11705] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11705/stat : 11705 (plingeling) R 11677 11679 11653 0 -1 4202560 1948 1252 0 0 373 1 0 1 25 0 33 0 658296079 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4252515 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11679/tid=11706] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11706/stat : 11706 (plingeling) R 11677 11679 11653 0 -1 4202560 2042 1252 0 0 374 1 0 1 25 0 33 0 658296079 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11679/tid=11707] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11707/stat : 11707 (plingeling) R 11677 11679 11653 0 -1 4202560 6282 1252 0 0 372 3 0 1 25 0 33 0 658296079 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11679/tid=11708] ppid=11677 vsize=1066824 CPUtime=3.74 cores=0-31
/proc/11679/task/11708/stat : 11708 (plingeling) R 11677 11679 11653 0 -1 4202560 1801 1252 0 0 371 2 0 1 25 0 33 0 658296079 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11679/tid=11709] ppid=11677 vsize=1066824 CPUtime=3.76 cores=0-31
/proc/11679/task/11709/stat : 11709 (plingeling) R 11677 11679 11653 0 -1 4202560 5955 1252 0 0 371 4 0 1 25 0 33 0 658296080 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11679/tid=11710] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11710/stat : 11710 (plingeling) R 11677 11679 11653 0 -1 4202560 2802 1252 0 0 371 3 0 1 25 0 33 0 658296080 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253214 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11679/tid=11711] ppid=11677 vsize=1066824 CPUtime=3.74 cores=0-31
/proc/11679/task/11711/stat : 11711 (plingeling) R 11677 11679 11653 0 -1 4202560 6496 1252 0 0 370 3 0 1 25 0 33 0 658296080 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253304 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11679/tid=11712] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11712/stat : 11712 (plingeling) R 11677 11679 11653 0 -1 4202560 2306 1252 0 0 372 2 0 1 25 0 33 0 658296080 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4365120 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11679/tid=11713] ppid=11677 vsize=1066824 CPUtime=3.75 cores=0-31
/proc/11679/task/11713/stat : 11713 (plingeling) R 11677 11679 11653 0 -1 4202560 3971 1252 0 0 372 2 0 1 25 0 33 0 658296080 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4257011 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11679/tid=11714] ppid=11677 vsize=1066824 CPUtime=3.65 cores=0-31
/proc/11679/task/11714/stat : 11714 (plingeling) R 11677 11679 11653 0 -1 4202560 3636 1252 0 0 361 3 0 1 25 0 33 0 658296080 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4272737 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11679/tid=11715] ppid=11677 vsize=1066824 CPUtime=3.69 cores=0-31
/proc/11679/task/11715/stat : 11715 (plingeling) R 11677 11679 11653 0 -1 4202560 4057 1252 0 0 367 1 0 1 25 0 33 0 658296080 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4273602 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11679/tid=11716] ppid=11677 vsize=1066824 CPUtime=3.72 cores=0-31
/proc/11679/task/11716/stat : 11716 (plingeling) R 11677 11679 11653 0 -1 4202560 3656 1252 0 0 369 2 0 1 25 0 33 0 658296081 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11679/tid=11717] ppid=11677 vsize=1066824 CPUtime=3.73 cores=0-31
/proc/11679/task/11717/stat : 11717 (plingeling) R 11677 11679 11653 0 -1 4202560 4433 1252 0 0 370 2 0 1 25 0 33 0 658296081 1092427776 81553 268435456000 4194304 4417452 140733439156976 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 122.09
Current children cumulated vsize (KiB) 1066824
[startup+12.7015 s]
/proc/loadavg: 28.02 31.16 31.80 33/446 11717
/proc/meminfo: memFree=255045580/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=1230700 CPUtime=324.9 cores=0-31
/proc/11679/stat : 11679 (plingeling) S 11677 11679 11653 0 -1 4202496 246695 1252 0 0 32320 169 0 1 18 0 33 0 658295828 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/11679/statm: 307675 128498 175 55 0 305561 0
[pid=11679/tid=11686] ppid=11677 vsize=1230700 CPUtime=10.09 cores=0-31
/proc/11679/task/11686/stat : 11686 (plingeling) R 11677 11679 11653 0 -1 4202560 6161 1252 0 0 1003 5 0 1 25 0 33 0 658296076 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11679/tid=11687] ppid=11677 vsize=1230700 CPUtime=10.04 cores=0-31
/proc/11679/task/11687/stat : 11687 (plingeling) R 11677 11679 11653 0 -1 4202560 6135 1252 0 0 996 7 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4257738 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11679/tid=11688] ppid=11677 vsize=1230700 CPUtime=10.12 cores=0-31
/proc/11679/task/11688/stat : 11688 (plingeling) R 11677 11679 11653 0 -1 4202560 2100 1252 0 0 1010 1 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11679/tid=11689] ppid=11677 vsize=1230700 CPUtime=10.09 cores=0-31
/proc/11679/task/11689/stat : 11689 (plingeling) R 11677 11679 11653 0 -1 4202560 1855 1252 0 0 1007 1 0 1 18 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11679/tid=11690] ppid=11677 vsize=1230700 CPUtime=10.07 cores=0-31
/proc/11679/task/11690/stat : 11690 (plingeling) R 11677 11679 11653 0 -1 4202560 7180 1252 0 0 999 7 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4308374 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11679/tid=11691] ppid=11677 vsize=1230700 CPUtime=10.11 cores=0-31
/proc/11679/task/11691/stat : 11691 (plingeling) R 11677 11679 11653 0 -1 4202560 4037 1252 0 0 1004 6 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11679/tid=11692] ppid=11677 vsize=1230700 CPUtime=10.15 cores=0-31
/proc/11679/task/11692/stat : 11692 (plingeling) R 11677 11679 11653 0 -1 4202560 3550 1252 0 0 1011 3 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11679/tid=11693] ppid=11677 vsize=1230700 CPUtime=10.11 cores=0-31
/proc/11679/task/11693/stat : 11693 (plingeling) R 11677 11679 11653 0 -1 4202560 11263 1252 0 0 1005 5 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4257090 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11679/tid=11694] ppid=11677 vsize=1230700 CPUtime=10 cores=0-31
/proc/11679/task/11694/stat : 11694 (plingeling) R 11677 11679 11653 0 -1 4202560 4978 1252 0 0 994 5 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11679/tid=11695] ppid=11677 vsize=1230700 CPUtime=10.04 cores=0-31
/proc/11679/task/11695/stat : 11695 (plingeling) R 11677 11679 11653 0 -1 4202560 8142 1252 0 0 999 4 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11679/tid=11696] ppid=11677 vsize=1230700 CPUtime=10.09 cores=0-31
/proc/11679/task/11696/stat : 11696 (plingeling) R 11677 11679 11653 0 -1 4202560 4187 1252 0 0 1005 3 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4336704 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11679/tid=11697] ppid=11677 vsize=1230700 CPUtime=10.11 cores=0-31
/proc/11679/task/11697/stat : 11697 (plingeling) R 11677 11679 11653 0 -1 4202560 7084 1252 0 0 1006 4 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4269690 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11679/tid=11698] ppid=11677 vsize=1230700 CPUtime=9.98 cores=0-31
/proc/11679/task/11698/stat : 11698 (plingeling) R 11677 11679 11653 0 -1 4202560 8733 1252 0 0 991 6 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4236732 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11679/tid=11699] ppid=11677 vsize=1230700 CPUtime=10.03 cores=0-31
/proc/11679/task/11699/stat : 11699 (plingeling) R 11677 11679 11653 0 -1 4202560 8644 1252 0 0 994 8 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4277606 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11679/tid=11700] ppid=11677 vsize=1230700 CPUtime=10.14 cores=0-31
/proc/11679/task/11700/stat : 11700 (plingeling) R 11677 11679 11653 0 -1 4202560 3193 1252 0 0 1010 3 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11679/tid=11701] ppid=11677 vsize=1230700 CPUtime=10.03 cores=0-31
/proc/11679/task/11701/stat : 11701 (plingeling) R 11677 11679 11653 0 -1 4202560 5747 1252 0 0 998 4 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11679/tid=11702] ppid=11677 vsize=1230700 CPUtime=10.03 cores=0-31
/proc/11679/task/11702/stat : 11702 (plingeling) R 11677 11679 11653 0 -1 4202560 8762 1252 0 0 995 7 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4354492 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11679/tid=11703] ppid=11677 vsize=1230700 CPUtime=9.89 cores=0-31
/proc/11679/task/11703/stat : 11703 (plingeling) R 11677 11679 11653 0 -1 4202560 8064 1252 0 0 982 6 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11679/tid=11704] ppid=11677 vsize=1230700 CPUtime=10.14 cores=0-31
/proc/11679/task/11704/stat : 11704 (plingeling) R 11677 11679 11653 0 -1 4202560 6412 1252 0 0 1011 2 0 1 25 0 33 0 658296077 1260236800 128498 268435456000 4194304 4417452 140733439156976 18446744073709551615 4357418 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11679/tid=11705] ppid=11677 vsize=1230700 CPUtime=10.11 cores=0-31
################
# More data... #
################
/proc/11679/task/11691/stat : 11691 (plingeling) R 11677 11679 11653 0 -1 4202560 706421 1252 0 0 494268 913 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11679/tid=11692] ppid=11677 vsize=5953432 CPUtime=4945.68 cores=0-31
/proc/11679/task/11692/stat : 11692 (plingeling) R 11677 11679 11653 0 -1 4202560 819656 1252 0 0 494096 471 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11679/tid=11693] ppid=11677 vsize=5953432 CPUtime=4954.39 cores=0-31
/proc/11679/task/11693/stat : 11693 (plingeling) R 11677 11679 11653 0 -1 4202560 1132347 1252 0 0 494384 1054 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11679/tid=11694] ppid=11677 vsize=5953432 CPUtime=4954.38 cores=0-31
/proc/11679/task/11694/stat : 11694 (plingeling) R 11677 11679 11653 0 -1 4202560 741050 1252 0 0 494902 535 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11679/tid=11695] ppid=11677 vsize=5953432 CPUtime=4949.49 cores=0-31
/proc/11679/task/11695/stat : 11695 (plingeling) R 11677 11679 11653 0 -1 4202560 1463599 1252 0 0 493782 1166 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11679/tid=11696] ppid=11677 vsize=5953432 CPUtime=4950.89 cores=0-31
/proc/11679/task/11696/stat : 11696 (plingeling) R 11677 11679 11653 0 -1 4202560 694425 1252 0 0 494288 800 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4236630 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11679/tid=11697] ppid=11677 vsize=5953432 CPUtime=4952.26 cores=0-31
/proc/11679/task/11697/stat : 11697 (plingeling) R 11677 11679 11653 0 -1 4202560 1719501 1252 0 0 493807 1418 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11679/tid=11698] ppid=11677 vsize=5953432 CPUtime=4953.82 cores=0-31
/proc/11679/task/11698/stat : 11698 (plingeling) R 11677 11679 11653 0 -1 4202560 1165410 1252 0 0 494565 816 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11679/tid=11699] ppid=11677 vsize=5953432 CPUtime=4946.12 cores=0-31
/proc/11679/task/11699/stat : 11699 (plingeling) R 11677 11679 11653 0 -1 4202560 1521618 1252 0 0 493474 1137 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11679/tid=11700] ppid=11677 vsize=5953432 CPUtime=4952.73 cores=0-31
/proc/11679/task/11700/stat : 11700 (plingeling) R 11677 11679 11653 0 -1 4202560 468496 1252 0 0 494847 425 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11679/tid=11701] ppid=11677 vsize=5953432 CPUtime=4948.25 cores=0-31
/proc/11679/task/11701/stat : 11701 (plingeling) R 11677 11679 11653 0 -1 4202560 1198677 1252 0 0 493602 1222 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4316282 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11679/tid=11702] ppid=11677 vsize=5953432 CPUtime=4951.61 cores=0-31
/proc/11679/task/11702/stat : 11702 (plingeling) R 11677 11679 11653 0 -1 4202560 1255470 1252 0 0 494258 902 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4321680 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11679/tid=11703] ppid=11677 vsize=5953432 CPUtime=4953.56 cores=0-31
/proc/11679/task/11703/stat : 11703 (plingeling) R 11677 11679 11653 0 -1 4202560 1478949 1252 0 0 493863 1492 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11679/tid=11704] ppid=11677 vsize=5953432 CPUtime=4941.88 cores=0-31
/proc/11679/task/11704/stat : 11704 (plingeling) R 11677 11679 11653 0 -1 4202560 649206 1252 0 0 493445 742 0 1 25 0 33 0 658296077 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4236601 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11679/tid=11705] ppid=11677 vsize=5953432 CPUtime=4945.82 cores=0-31
/proc/11679/task/11705/stat : 11705 (plingeling) R 11677 11679 11653 0 -1 4202560 597303 1252 0 0 493938 643 0 1 25 0 33 0 658296079 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11679/tid=11706] ppid=11677 vsize=5953432 CPUtime=4932.98 cores=0-31
/proc/11679/task/11706/stat : 11706 (plingeling) R 11677 11679 11653 0 -1 4202560 801847 1252 0 0 492716 581 0 1 25 0 33 0 658296079 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11679/tid=11707] ppid=11677 vsize=5953432 CPUtime=4950.17 cores=0-31
/proc/11679/task/11707/stat : 11707 (plingeling) R 11677 11679 11653 0 -1 4202560 1050283 1252 0 0 493862 1154 0 1 25 0 33 0 658296079 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11679/tid=11708] ppid=11677 vsize=5953432 CPUtime=4954.53 cores=0-31
/proc/11679/task/11708/stat : 11708 (plingeling) R 11677 11679 11653 0 -1 4202560 641305 1252 0 0 494836 616 0 1 25 0 33 0 658296079 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11679/tid=11709] ppid=11677 vsize=5953432 CPUtime=4949.77 cores=0-31
/proc/11679/task/11709/stat : 11709 (plingeling) R 11677 11679 11653 0 -1 4202560 1318048 1252 0 0 493786 1190 0 1 25 0 33 0 658296080 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11679/tid=11710] ppid=11677 vsize=5953432 CPUtime=4953.03 cores=0-31
/proc/11679/task/11710/stat : 11710 (plingeling) R 11677 11679 11653 0 -1 4202560 475039 1252 0 0 494854 448 0 1 25 0 33 0 658296080 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4366447 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11679/tid=11711] ppid=11677 vsize=5953432 CPUtime=4953.12 cores=0-31
/proc/11679/task/11711/stat : 11711 (plingeling) R 11677 11679 11653 0 -1 4202560 1173602 1252 0 0 494388 923 0 1 25 0 33 0 658296080 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11679/tid=11712] ppid=11677 vsize=5953432 CPUtime=4954.19 cores=0-31
/proc/11679/task/11712/stat : 11712 (plingeling) R 11677 11679 11653 0 -1 4202560 734466 1252 0 0 494717 701 0 1 25 0 33 0 658296080 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4251063 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11679/tid=11713] ppid=11677 vsize=5953432 CPUtime=4952.59 cores=0-31
/proc/11679/task/11713/stat : 11713 (plingeling) R 11677 11679 11653 0 -1 4202560 1281570 1252 0 0 494300 958 0 1 25 0 33 0 658296080 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11679/tid=11714] ppid=11677 vsize=5953432 CPUtime=4951.79 cores=0-31
/proc/11679/task/11714/stat : 11714 (plingeling) R 11677 11679 11653 0 -1 4202560 783521 1252 0 0 494326 852 0 1 25 0 33 0 658296080 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11679/tid=11715] ppid=11677 vsize=5953432 CPUtime=4949.41 cores=0-31
/proc/11679/task/11715/stat : 11715 (plingeling) R 11677 11679 11653 0 -1 4202560 996039 1252 0 0 493513 1427 0 1 25 0 33 0 658296080 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4366141 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11679/tid=11716] ppid=11677 vsize=5953432 CPUtime=4955.26 cores=0-31
/proc/11679/task/11716/stat : 11716 (plingeling) R 11677 11679 11653 0 -1 4202560 376477 1252 0 0 495194 331 0 1 25 0 33 0 658296081 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11679/tid=11717] ppid=11677 vsize=5953432 CPUtime=4943.17 cores=0-31
/proc/11679/task/11717/stat : 11717 (plingeling) R 11677 11679 11653 0 -1 4202560 771717 1252 0 0 493782 534 0 1 25 0 33 0 658296081 6096314368 1340585 268435456000 4194304 4417452 140733439156976 18446744073709551615 4356874 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 158421
Current children cumulated vsize (KiB) 5953432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5011.8 s]
/proc/loadavg: 32.06 32.04 32.02 33/446 11863
/proc/meminfo: memFree=250123036/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=6066420 CPUtime=160002 cores=0-31
/proc/11679/stat : 11679 (plingeling) S 11677 11679 11653 0 -1 4202496 30168799 1252 0 0 15972017 28211 0 1 18 0 33 0 658295828 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/11679/statm: 1516605 1363951 175 55 0 1514491 0
[pid=11679/tid=11686] ppid=11677 vsize=6066420 CPUtime=4999.44 cores=0-31
/proc/11679/task/11686/stat : 11686 (plingeling) R 11677 11679 11653 0 -1 4202560 365945 1252 0 0 499699 244 0 1 25 0 33 0 658296076 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4250524 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11679/tid=11687] ppid=11677 vsize=6066420 CPUtime=5003.62 cores=0-31
/proc/11679/task/11687/stat : 11687 (plingeling) R 11677 11679 11653 0 -1 4202560 827341 1252 0 0 499444 917 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11679/tid=11688] ppid=11677 vsize=6066420 CPUtime=5006.53 cores=0-31
/proc/11679/task/11688/stat : 11688 (plingeling) R 11677 11679 11653 0 -1 4202560 815972 1252 0 0 499562 1090 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11679/tid=11689] ppid=11677 vsize=6066420 CPUtime=4997.07 cores=0-31
/proc/11679/task/11689/stat : 11689 (plingeling) R 11677 11679 11653 0 -1 4202560 1274937 1252 0 0 498003 1703 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11679/tid=11690] ppid=11677 vsize=6066420 CPUtime=5004.76 cores=0-31
/proc/11679/task/11690/stat : 11690 (plingeling) R 11677 11679 11653 0 -1 4202560 542640 1252 0 0 500011 464 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11679/tid=11691] ppid=11677 vsize=6066420 CPUtime=5001.33 cores=0-31
/proc/11679/task/11691/stat : 11691 (plingeling) R 11677 11679 11653 0 -1 4202560 716743 1252 0 0 499209 923 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11679/tid=11692] ppid=11677 vsize=6066420 CPUtime=4995.19 cores=0-31
/proc/11679/task/11692/stat : 11692 (plingeling) R 11677 11679 11653 0 -1 4202560 828627 1252 0 0 499046 472 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11679/tid=11693] ppid=11677 vsize=6066420 CPUtime=5003.9 cores=0-31
/proc/11679/task/11693/stat : 11693 (plingeling) R 11677 11679 11653 0 -1 4202560 1150746 1252 0 0 499331 1058 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11679/tid=11694] ppid=11677 vsize=6066420 CPUtime=5003.89 cores=0-31
/proc/11679/task/11694/stat : 11694 (plingeling) R 11677 11679 11653 0 -1 4202560 749243 1252 0 0 499851 537 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11679/tid=11695] ppid=11677 vsize=6066420 CPUtime=4998.99 cores=0-31
/proc/11679/task/11695/stat : 11695 (plingeling) R 11677 11679 11653 0 -1 4202560 1472075 1252 0 0 498708 1190 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11679/tid=11696] ppid=11677 vsize=6066420 CPUtime=5000.37 cores=0-31
/proc/11679/task/11696/stat : 11696 (plingeling) R 11677 11679 11653 0 -1 4202560 695778 1252 0 0 499235 801 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11679/tid=11697] ppid=11677 vsize=6066420 CPUtime=5001.61 cores=0-31
/proc/11679/task/11697/stat : 11697 (plingeling) R 11677 11679 11653 0 -1 4202560 1735886 1252 0 0 498718 1442 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11679/tid=11698] ppid=11677 vsize=6066420 CPUtime=5003.33 cores=0-31
/proc/11679/task/11698/stat : 11698 (plingeling) R 11677 11679 11653 0 -1 4202560 1165410 1252 0 0 499516 816 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11679/tid=11699] ppid=11677 vsize=6066420 CPUtime=4995.64 cores=0-31
/proc/11679/task/11699/stat : 11699 (plingeling) R 11677 11679 11653 0 -1 4202560 1525714 1252 0 0 498414 1149 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11679/tid=11700] ppid=11677 vsize=6066420 CPUtime=5002.23 cores=0-31
/proc/11679/task/11700/stat : 11700 (plingeling) R 11677 11679 11653 0 -1 4202560 491089 1252 0 0 499791 431 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11679/tid=11701] ppid=11677 vsize=6066420 CPUtime=4997.6 cores=0-31
/proc/11679/task/11701/stat : 11701 (plingeling) R 11677 11679 11653 0 -1 4202560 1209186 1252 0 0 498530 1229 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11679/tid=11702] ppid=11677 vsize=6066420 CPUtime=5001.12 cores=0-31
/proc/11679/task/11702/stat : 11702 (plingeling) R 11677 11679 11653 0 -1 4202560 1263038 1252 0 0 499208 903 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11679/tid=11703] ppid=11677 vsize=6066420 CPUtime=5003.07 cores=0-31
/proc/11679/task/11703/stat : 11703 (plingeling) R 11677 11679 11653 0 -1 4202560 1497250 1252 0 0 498809 1497 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11679/tid=11704] ppid=11677 vsize=6066420 CPUtime=4991.39 cores=0-31
/proc/11679/task/11704/stat : 11704 (plingeling) R 11677 11679 11653 0 -1 4202560 660064 1252 0 0 498393 745 0 1 25 0 33 0 658296077 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11679/tid=11705] ppid=11677 vsize=6066420 CPUtime=4994.95 cores=0-31
/proc/11679/task/11705/stat : 11705 (plingeling) R 11677 11679 11653 0 -1 4202560 607869 1252 0 0 498822 672 0 1 25 0 33 0 658296079 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11679/tid=11706] ppid=11677 vsize=6066420 CPUtime=4982.5 cores=0-31
/proc/11679/task/11706/stat : 11706 (plingeling) R 11677 11679 11653 0 -1 4202560 838190 1252 0 0 497621 628 0 1 25 0 33 0 658296079 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11679/tid=11707] ppid=11677 vsize=6066420 CPUtime=4999.69 cores=0-31
/proc/11679/task/11707/stat : 11707 (plingeling) R 11677 11679 11653 0 -1 4202560 1052444 1252 0 0 498812 1156 0 1 25 0 33 0 658296079 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11679/tid=11708] ppid=11677 vsize=6066420 CPUtime=5003.93 cores=0-31
/proc/11679/task/11708/stat : 11708 (plingeling) R 11677 11679 11653 0 -1 4202560 652473 1252 0 0 499744 648 0 1 25 0 33 0 658296079 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11679/tid=11709] ppid=11677 vsize=6066420 CPUtime=4999.25 cores=0-31
/proc/11679/task/11709/stat : 11709 (plingeling) R 11677 11679 11653 0 -1 4202560 1327331 1252 0 0 498718 1206 0 1 25 0 33 0 658296080 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11679/tid=11710] ppid=11677 vsize=6066420 CPUtime=5002.54 cores=0-31
/proc/11679/task/11710/stat : 11710 (plingeling) R 11677 11679 11653 0 -1 4202560 481067 1252 0 0 499804 449 0 1 25 0 33 0 658296080 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4366113 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11679/tid=11711] ppid=11677 vsize=6066420 CPUtime=5002.62 cores=0-31
/proc/11679/task/11711/stat : 11711 (plingeling) R 11677 11679 11653 0 -1 4202560 1178775 1252 0 0 499337 924 0 1 25 0 33 0 658296080 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11679/tid=11712] ppid=11677 vsize=6066420 CPUtime=5003.7 cores=0-31
/proc/11679/task/11712/stat : 11712 (plingeling) R 11677 11679 11653 0 -1 4202560 738562 1252 0 0 499668 701 0 1 25 0 33 0 658296080 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11679/tid=11713] ppid=11677 vsize=6066420 CPUtime=5002.1 cores=0-31
/proc/11679/task/11713/stat : 11713 (plingeling) R 11677 11679 11653 0 -1 4202560 1287296 1252 0 0 499249 960 0 1 25 0 33 0 658296080 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364903 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11679/tid=11714] ppid=11677 vsize=6066420 CPUtime=5001.15 cores=0-31
/proc/11679/task/11714/stat : 11714 (plingeling) R 11677 11679 11653 0 -1 4202560 791649 1252 0 0 499245 869 0 1 25 0 33 0 658296080 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11679/tid=11715] ppid=11677 vsize=6066420 CPUtime=4998.93 cores=0-31
/proc/11679/task/11715/stat : 11715 (plingeling) R 11677 11679 11653 0 -1 4202560 1013755 1252 0 0 498420 1472 0 1 25 0 33 0 658296080 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11679/tid=11716] ppid=11677 vsize=6066420 CPUtime=5004.77 cores=0-31
/proc/11679/task/11716/stat : 11716 (plingeling) R 11677 11679 11653 0 -1 4202560 376477 1252 0 0 500145 331 0 1 25 0 33 0 658296081 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4237326 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11679/tid=11717] ppid=11677 vsize=6066420 CPUtime=4992.66 cores=0-31
/proc/11679/task/11717/stat : 11717 (plingeling) R 11677 11679 11653 0 -1 4202560 780793 1252 0 0 498707 558 0 1 25 0 33 0 658296081 6212014080 1363951 268435456000 4194304 4417452 140733439156976 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 6066420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5011.93 s]
/proc/loadavg: 32.06 32.04 32.02 33/446 11863
/proc/meminfo: memFree=250123036/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=0 CPUtime=160003 cores=0-31
/proc/11679/stat : 11679 (plingeling) Z 11677 11679 11653 0 -1 4203548 30168799 1252 0 0 15972040 28221 0 1 18 0 2 0 658295828 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 18 0 0 0
/proc/11679/statm: 0 0 0 0 0 0 0
[pid=11679/tid=11706] ppid=11677 vsize=0 CPUtime=4982.6 cores=0-31
/proc/11679/task/11706/stat : 11706 (plingeling) R 11677 11679 11653 0 -1 4203588 838190 1252 0 0 497621 638 0 1 25 0 2 0 658296079 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5012.1 s]
/proc/loadavg: 32.06 32.04 32.02 33/446 11863
/proc/meminfo: memFree=250123036/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=0 CPUtime=160003 cores=0-31
/proc/11679/stat : 11679 (plingeling) Z 11677 11679 11653 0 -1 4203548 30168799 1252 0 0 15972040 28238 0 1 18 0 2 0 658295828 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 18 0 0 0
/proc/11679/statm: 0 0 0 0 0 0 0
[pid=11679/tid=11706] ppid=11677 vsize=0 CPUtime=4982.77 cores=0-31
/proc/11679/task/11706/stat : 11706 (plingeling) R 11677 11679 11653 0 -1 4203588 838190 1252 0 0 497621 655 0 1 25 0 2 0 658296079 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5012.2 s]
/proc/loadavg: 32.06 32.04 32.02 33/446 11863
/proc/meminfo: memFree=250123036/264257624 swapFree=67111528/67111528
[pid=11679] ppid=11677 vsize=0 CPUtime=160003 cores=0-31
/proc/11679/stat : 11679 (plingeling) Z 11677 11679 11653 0 -1 4203548 30168799 1252 0 0 15972040 28248 0 1 18 0 2 0 658295828 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 18 0 0 0
/proc/11679/statm: 0 0 0 0 0 0 0
[pid=11679/tid=11706] ppid=11677 vsize=0 CPUtime=4982.87 cores=0-31
/proc/11679/task/11706/stat : 11706 (plingeling) R 11677 11679 11653 0 -1 4203588 838190 1252 0 0 497621 665 0 1 25 0 2 0 658296079 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.27
CPU time (s): 160003
CPU user time (s): 159720
CPU system time (s): 282.564
CPU usage (%): 3192.23
Max. virtual memory (cumulated for all children) (KiB): 6877488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159720
system time used= 282.564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30170051
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= 11060
involuntary context switches= 400747
runsolver used 24.9412 second user time and 116.626 second system time
The end
Begin job on node200 at 2011-05-15 16:01:34
IDJOB=3372165
IDBENCH=20529
IDSOLVER=1852
FILE ID=node200/3372165-1305468094
RUNJOBID= node200-1305468094-11667
PBS_JOBID= 13285515
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k20.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372165-1305468094/watcher-3372165-1305468094 -o /tmp/evaluation-result-3372165-1305468094/solver-3372165-1305468094 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372165-1305468094.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 2bee695ce4278b72ee9295631ad94252
RANDOM SEED=2063483484
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: 255583624 kB
Buffers: 440156 kB
Cached: 7834620 kB
SwapCached: 0 kB
Active: 7383772 kB
Inactive: 959448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255583624 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3824 kB
Writeback: 0 kB
AnonPages: 69320 kB
Mapped: 13484 kB
Slab: 250388 kB
PageTables: 3996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189640 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= 62048 MiB
End job on node200 at 2011-05-15 17:25:08