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-3372237-1305508047/watcher-3372237-1305508047 -o /tmp/evaluation-result-3372237-1305508047/solver-3372237-1305508047 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372237-1305508047.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.23 31.05 31.75 1/413 14747
/proc/meminfo: memFree=255573252/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=12900 CPUtime=0.03 cores=0-31
/proc/14747/stat : 14747 (plingeling) R 14745 14747 14721 0 -1 4202496 1290 1249 0 0 2 0 0 1 22 0 1 0 662291148 13209600 1221 268435456000 4194304 4417452 140733335849104 18446744073709551615 4231423 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14747/statm: 3225 1221 145 55 0 1111 0
[startup+0.130371 s]
/proc/loadavg: 27.23 31.05 31.75 1/413 14747
/proc/meminfo: memFree=255573252/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=19848 CPUtime=0.13 cores=0-31
/proc/14747/stat : 14747 (plingeling) R 14745 14747 14721 0 -1 4202496 3010 1249 0 0 11 1 0 1 22 0 1 0 662291148 20324352 2942 268435456000 4194304 4417452 140733335849104 18446744073709551615 258650653112 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14747/statm: 4962 2961 145 55 0 2848 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 19848
[startup+0.200381 s]
/proc/loadavg: 27.23 31.05 31.75 1/413 14747
/proc/meminfo: memFree=255573252/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=28456 CPUtime=0.19 cores=0-31
/proc/14747/stat : 14747 (plingeling) R 14745 14747 14721 0 -1 4202496 5196 1249 0 0 17 1 0 1 23 0 1 0 662291148 29138944 5127 268435456000 4194304 4417452 140733335849104 18446744073709551615 4231393 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14747/statm: 7114 5127 146 55 0 5000 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28456
[startup+0.300382 s]
/proc/loadavg: 27.23 31.05 31.75 1/413 14747
/proc/meminfo: memFree=255573252/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=37520 CPUtime=0.3 cores=0-31
/proc/14747/stat : 14747 (plingeling) R 14745 14747 14721 0 -1 4202496 7454 1249 0 0 27 2 0 1 23 0 1 0 662291148 38420480 7385 268435456000 4194304 4417452 140733335849104 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14747/statm: 9380 7385 146 55 0 7266 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 37520
[startup+0.700405 s]
/proc/loadavg: 27.23 31.05 31.75 1/413 14747
/proc/meminfo: memFree=255573252/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=64820 CPUtime=0.69 cores=0-31
/proc/14747/stat : 14747 (plingeling) R 14745 14747 14721 0 -1 4202496 14279 1249 0 0 65 3 0 1 25 0 1 0 662291148 66375680 14210 268435456000 4194304 4417452 140733335849104 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14747/statm: 16205 14210 146 55 0 14091 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64820
[startup+1.50045 s]
/proc/loadavg: 27.23 31.05 31.75 2/414 14753
/proc/meminfo: memFree=255498812/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=151612 CPUtime=1.49 cores=0-31
/proc/14747/stat : 14747 (plingeling) R 14745 14747 14721 0 -1 4202496 35993 1249 0 0 141 7 0 1 25 0 1 0 662291148 155250688 35924 268435456000 4194304 4417452 140733335849104 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14747/statm: 37903 35924 146 55 0 35789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151612
[startup+3.10049 s]
/proc/loadavg: 27.23 31.05 31.75 2/414 14753
/proc/meminfo: memFree=255353248/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=292236 CPUtime=3.1 cores=0-31
/proc/14747/stat : 14747 (plingeling) R 14745 14747 14721 0 -1 4202496 71185 1249 0 0 294 15 0 1 25 0 1 0 662291148 299249664 71080 268435456000 4194304 4417452 140733335849104 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14747/statm: 73059 71080 146 55 0 70945 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 292236
[startup+6.30247 s]
/proc/loadavg: 25.13 30.55 31.59 17/446 14785
/proc/meminfo: memFree=255054968/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=1282200 CPUtime=31.86 cores=0-31
/proc/14747/stat : 14747 (plingeling) S 14745 14747 14721 0 -1 4202496 267706 1249 0 0 3011 174 0 1 19 0 33 0 662291148 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/14747/statm: 320550 182225 168 55 0 318436 0
[pid=14747/tid=14754] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14754/stat : 14754 (plingeling) R 14745 14747 14721 0 -1 4202560 3887 1249 0 0 77 5 0 1 18 0 33 0 662291690 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4290546 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14747/tid=14755] ppid=14745 vsize=1282200 CPUtime=0.84 cores=0-31
/proc/14747/task/14755/stat : 14755 (plingeling) R 14745 14747 14721 0 -1 4202560 4425 1249 0 0 80 3 0 1 18 0 33 0 662291690 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14747/tid=14756] ppid=14745 vsize=1282200 CPUtime=0.84 cores=0-31
/proc/14747/task/14756/stat : 14756 (plingeling) R 14745 14747 14721 0 -1 4202560 3166 1249 0 0 81 2 0 1 18 0 33 0 662291690 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4292119 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14747/tid=14757] ppid=14745 vsize=1282200 CPUtime=0.86 cores=0-31
/proc/14747/task/14757/stat : 14757 (plingeling) R 14745 14747 14721 0 -1 4202560 1967 1249 0 0 85 0 0 1 18 0 33 0 662291690 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14747/tid=14758] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14758/stat : 14758 (plingeling) R 14745 14747 14721 0 -1 4202560 3997 1249 0 0 77 5 0 1 18 0 33 0 662291690 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14747/tid=14759] ppid=14745 vsize=1282200 CPUtime=0.84 cores=0-31
/proc/14747/task/14759/stat : 14759 (plingeling) R 14745 14747 14721 0 -1 4202560 3701 1249 0 0 80 3 0 1 18 0 33 0 662291690 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4291216 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14747/tid=14760] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14760/stat : 14760 (plingeling) R 14745 14747 14721 0 -1 4202560 4840 1249 0 0 77 5 0 1 18 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14747/tid=14761] ppid=14745 vsize=1282200 CPUtime=0.84 cores=0-31
/proc/14747/task/14761/stat : 14761 (plingeling) R 14745 14747 14721 0 -1 4202560 3160 1249 0 0 80 3 0 1 18 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4291497 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14747/tid=14762] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14762/stat : 14762 (plingeling) R 14745 14747 14721 0 -1 4202560 4535 1249 0 0 78 4 0 1 20 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14747/tid=14763] ppid=14745 vsize=1282200 CPUtime=0.85 cores=0-31
/proc/14747/task/14763/stat : 14763 (plingeling) R 14745 14747 14721 0 -1 4202560 5150 1249 0 0 79 5 0 1 21 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14747/tid=14764] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14764/stat : 14764 (plingeling) R 14745 14747 14721 0 -1 4202560 4428 1249 0 0 78 4 0 1 21 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14747/tid=14765] ppid=14745 vsize=1282200 CPUtime=0.84 cores=0-31
/proc/14747/task/14765/stat : 14765 (plingeling) R 14745 14747 14721 0 -1 4202560 2533 1249 0 0 79 4 0 1 21 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14747/tid=14766] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14766/stat : 14766 (plingeling) R 14745 14747 14721 0 -1 4202560 3887 1249 0 0 78 4 0 1 21 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14747/tid=14767] ppid=14745 vsize=1282200 CPUtime=0.84 cores=0-31
/proc/14747/task/14767/stat : 14767 (plingeling) R 14745 14747 14721 0 -1 4202560 4534 1249 0 0 78 5 0 1 22 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14747/tid=14768] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14768/stat : 14768 (plingeling) R 14745 14747 14721 0 -1 4202560 3096 1249 0 0 77 5 0 1 18 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14747/tid=14769] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14769/stat : 14769 (plingeling) R 14745 14747 14721 0 -1 4202560 4445 1249 0 0 78 4 0 1 18 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4291921 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14747/tid=14770] ppid=14745 vsize=1282200 CPUtime=0.85 cores=0-31
/proc/14747/task/14770/stat : 14770 (plingeling) R 14745 14747 14721 0 -1 4202560 4421 1249 0 0 79 5 0 1 18 0 33 0 662291691 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4292143 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14747/tid=14771] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14771/stat : 14771 (plingeling) R 14745 14747 14721 0 -1 4202560 3995 1249 0 0 78 4 0 1 18 0 33 0 662291692 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4202560 3701 1249 0 0 78 4 0 1 18 0 33 0 662291692 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4291995 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14747/tid=14773] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14773/stat : 14773 (plingeling) R 14745 14747 14721 0 -1 4202560 3880 1249 0 0 79 3 0 1 18 0 33 0 662291692 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4290921 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14747/tid=14774] ppid=14745 vsize=1282200 CPUtime=0.79 cores=0-31
/proc/14747/task/14774/stat : 14774 (plingeling) R 14745 14747 14721 0 -1 4202560 3521 1249 0 0 75 3 0 1 21 0 33 0 662291692 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14747/tid=14775] ppid=14745 vsize=1282200 CPUtime=0.84 cores=0-31
/proc/14747/task/14775/stat : 14775 (plingeling) R 14745 14747 14721 0 -1 4202560 4331 1249 0 0 79 4 0 1 18 0 33 0 662291692 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4294805 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14747/tid=14776] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14776/stat : 14776 (plingeling) R 14745 14747 14721 0 -1 4202560 4535 1249 0 0 77 5 0 1 18 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14747/tid=14777] ppid=14745 vsize=1282200 CPUtime=0.78 cores=0-31
/proc/14747/task/14777/stat : 14777 (plingeling) R 14745 14747 14721 0 -1 4202560 5593 1249 0 0 73 4 0 1 20 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284346 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14747/tid=14778] ppid=14745 vsize=1282200 CPUtime=0.8 cores=0-31
/proc/14747/task/14778/stat : 14778 (plingeling) R 14745 14747 14721 0 -1 4202560 2529 1249 0 0 77 2 0 1 21 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14747/tid=14779] ppid=14745 vsize=1282200 CPUtime=0.81 cores=0-31
/proc/14747/task/14779/stat : 14779 (plingeling) R 14745 14747 14721 0 -1 4202560 5797 1249 0 0 76 4 0 1 21 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14747/tid=14780] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14780/stat : 14780 (plingeling) R 14745 14747 14721 0 -1 4202560 4421 1249 0 0 76 6 0 1 22 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14747/tid=14781] ppid=14745 vsize=1282200 CPUtime=0.76 cores=0-31
/proc/14747/task/14781/stat : 14781 (plingeling) R 14745 14747 14721 0 -1 4202560 2551 1249 0 0 74 1 0 1 18 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14747/tid=14782] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14782/stat : 14782 (plingeling) R 14745 14747 14721 0 -1 4202560 3273 1249 0 0 77 5 0 1 22 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14747/tid=14783] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14783/stat : 14783 (plingeling) R 14745 14747 14721 0 -1 4202560 3814 1249 0 0 76 6 0 1 22 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14747/tid=14784] ppid=14745 vsize=1282200 CPUtime=0.83 cores=0-31
/proc/14747/task/14784/stat : 14784 (plingeling) R 14745 14747 14721 0 -1 4202560 4693 1249 0 0 77 5 0 1 18 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4294244 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14747/tid=14785] ppid=14745 vsize=1282200 CPUtime=0.75 cores=0-31
/proc/14747/task/14785/stat : 14785 (plingeling) R 14745 14747 14721 0 -1 4202560 3161 1249 0 0 72 2 0 1 22 0 33 0 662291693 1312972800 182225 268435456000 4194304 4417452 140733335849104 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 31.86
Current children cumulated vsize (KiB) 1282200
[startup+12.7017 s]
/proc/loadavg: 25.68 30.57 31.59 31/446 14785
/proc/meminfo: memFree=254529484/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=1599904 CPUtime=230.57 cores=0-31
/proc/14747/stat : 14747 (plingeling) S 14745 14747 14721 0 -1 4202496 482861 1249 0 0 22677 379 0 1 19 0 33 0 662291148 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/14747/statm: 399976 275767 174 55 0 397862 0
[pid=14747/tid=14754] ppid=14745 vsize=1599904 CPUtime=7.12 cores=0-31
/proc/14747/task/14754/stat : 14754 (plingeling) R 14745 14747 14721 0 -1 4202560 5941 1249 0 0 702 9 0 1 25 0 33 0 662291690 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14747/tid=14755] ppid=14745 vsize=1599904 CPUtime=7.04 cores=0-31
/proc/14747/task/14755/stat : 14755 (plingeling) R 14745 14747 14721 0 -1 4202560 14392 1249 0 0 690 13 0 1 25 0 33 0 662291690 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14747/tid=14756] ppid=14745 vsize=1599904 CPUtime=6.99 cores=0-31
/proc/14747/task/14756/stat : 14756 (plingeling) R 14745 14747 14721 0 -1 4202560 6494 1249 0 0 689 9 0 1 25 0 33 0 662291690 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14747/tid=14757] ppid=14745 vsize=1599904 CPUtime=7.09 cores=0-31
/proc/14747/task/14757/stat : 14757 (plingeling) R 14745 14747 14721 0 -1 4202560 1968 1249 0 0 708 0 0 1 25 0 33 0 662291690 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14747/tid=14758] ppid=14745 vsize=1599904 CPUtime=7.15 cores=0-31
/proc/14747/task/14758/stat : 14758 (plingeling) R 14745 14747 14721 0 -1 4202560 7125 1249 0 0 705 9 0 1 25 0 33 0 662291690 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14747/tid=14759] ppid=14745 vsize=1599904 CPUtime=7.15 cores=0-31
/proc/14747/task/14759/stat : 14759 (plingeling) R 14745 14747 14721 0 -1 4202560 12704 1249 0 0 703 11 0 1 25 0 33 0 662291690 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4236143 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14747/tid=14760] ppid=14745 vsize=1599904 CPUtime=6.99 cores=0-31
/proc/14747/task/14760/stat : 14760 (plingeling) R 14745 14747 14721 0 -1 4202560 14489 1249 0 0 683 15 0 1 21 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14747/tid=14761] ppid=14745 vsize=1599904 CPUtime=7.12 cores=0-31
/proc/14747/task/14761/stat : 14761 (plingeling) R 14745 14747 14721 0 -1 4202560 7207 1249 0 0 703 8 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4320544 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14747/tid=14762] ppid=14745 vsize=1599904 CPUtime=7.02 cores=0-31
/proc/14747/task/14762/stat : 14762 (plingeling) R 14745 14747 14721 0 -1 4202560 10284 1249 0 0 690 11 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4257478 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14747/tid=14763] ppid=14745 vsize=1599904 CPUtime=6.98 cores=0-31
/proc/14747/task/14763/stat : 14763 (plingeling) R 14745 14747 14721 0 -1 4202560 11556 1249 0 0 688 9 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4252447 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14747/tid=14764] ppid=14745 vsize=1599904 CPUtime=7.01 cores=0-31
/proc/14747/task/14764/stat : 14764 (plingeling) R 14745 14747 14721 0 -1 4202560 9248 1249 0 0 691 9 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14747/tid=14765] ppid=14745 vsize=1599904 CPUtime=7.07 cores=0-31
/proc/14747/task/14765/stat : 14765 (plingeling) R 14745 14747 14721 0 -1 4202560 6654 1249 0 0 699 7 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4239411 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14747/tid=14766] ppid=14745 vsize=1599904 CPUtime=7.04 cores=0-31
/proc/14747/task/14766/stat : 14766 (plingeling) R 14745 14747 14721 0 -1 4202560 9397 1249 0 0 694 9 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4253268 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14747/tid=14767] ppid=14745 vsize=1599904 CPUtime=7.17 cores=0-31
/proc/14747/task/14767/stat : 14767 (plingeling) R 14745 14747 14721 0 -1 4202560 14800 1249 0 0 705 11 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4272881 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14747/tid=14768] ppid=14745 vsize=1599904 CPUtime=6.86 cores=0-31
/proc/14747/task/14768/stat : 14768 (plingeling) R 14745 14747 14721 0 -1 4202560 11218 1249 0 0 678 7 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4301776 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14747/tid=14769] ppid=14745 vsize=1599904 CPUtime=7.17 cores=0-31
/proc/14747/task/14769/stat : 14769 (plingeling) R 14745 14747 14721 0 -1 4202560 9423 1249 0 0 706 10 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4253239 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14747/tid=14770] ppid=14745 vsize=1599904 CPUtime=7.08 cores=0-31
/proc/14747/task/14770/stat : 14770 (plingeling) R 14745 14747 14721 0 -1 4202560 14229 1249 0 0 689 18 0 1 25 0 33 0 662291691 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14747/tid=14771] ppid=14745 vsize=1599904 CPUtime=7.06 cores=0-31
/proc/14747/task/14771/stat : 14771 (plingeling) R 14745 14747 14721 0 -1 4202560 15490 1249 0 0 688 17 0 1 25 0 33 0 662291692 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4226393 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=1599904 CPUtime=7 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4202560 9077 1249 0 0 693 6 0 1 25 0 33 0 662291692 1638301696 275767 268435456000 4194304 4417452 140733335849104 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14747/tid=14773] ppid=14745 vsize=1599904 CPUtime=7.08 cores=0-31
################
# More data... #
################
[pid=14747/tid=14765] ppid=14745 vsize=25016296 CPUtime=4947.27 cores=0-31
/proc/14747/task/14765/stat : 14765 (plingeling) R 14745 14747 14721 0 -1 4202560 1358240 1249 0 0 492844 1882 0 1 25 0 33 0 662291691 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4308814 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14747/tid=14766] ppid=14745 vsize=25016296 CPUtime=4946.45 cores=0-31
/proc/14747/task/14766/stat : 14766 (plingeling) R 14745 14747 14721 0 -1 4202560 1238257 1249 0 0 492701 1943 0 1 25 0 33 0 662291691 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14747/tid=14767] ppid=14745 vsize=25016296 CPUtime=4947.93 cores=0-31
/proc/14747/task/14767/stat : 14767 (plingeling) R 14745 14747 14721 0 -1 4202560 1117921 1249 0 0 493274 1518 0 1 25 0 33 0 662291691 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14747/tid=14768] ppid=14745 vsize=25016296 CPUtime=4944.61 cores=0-31
/proc/14747/task/14768/stat : 14768 (plingeling) R 14745 14747 14721 0 -1 4202560 1340310 1249 0 0 492435 2025 0 1 25 0 33 0 662291691 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14747/tid=14769] ppid=14745 vsize=25016296 CPUtime=4940.39 cores=0-31
/proc/14747/task/14769/stat : 14769 (plingeling) R 14745 14747 14721 0 -1 4202560 1191625 1249 0 0 492529 1509 0 1 25 0 33 0 662291691 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14747/tid=14770] ppid=14745 vsize=25016296 CPUtime=4951.07 cores=0-31
/proc/14747/task/14770/stat : 14770 (plingeling) R 14745 14747 14721 0 -1 4202560 1216122 1249 0 0 493324 1782 0 1 25 0 33 0 662291691 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14747/tid=14771] ppid=14745 vsize=25016296 CPUtime=4944.6 cores=0-31
/proc/14747/task/14771/stat : 14771 (plingeling) R 14745 14747 14721 0 -1 4202560 1181633 1249 0 0 492814 1645 0 1 25 0 33 0 662291692 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=25016296 CPUtime=4947.05 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4202560 1064386 1249 0 0 492992 1712 0 1 25 0 33 0 662291692 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4316268 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14747/tid=14773] ppid=14745 vsize=25016296 CPUtime=4949.93 cores=0-31
/proc/14747/task/14773/stat : 14773 (plingeling) R 14745 14747 14721 0 -1 4202560 1189399 1249 0 0 493365 1627 0 1 25 0 33 0 662291692 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4305799 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14747/tid=14774] ppid=14745 vsize=25016296 CPUtime=4944.04 cores=0-31
/proc/14747/task/14774/stat : 14774 (plingeling) R 14745 14747 14721 0 -1 4202560 1342541 1249 0 0 492695 1708 0 1 25 0 33 0 662291692 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4353585 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14747/tid=14775] ppid=14745 vsize=25016296 CPUtime=4946.75 cores=0-31
/proc/14747/task/14775/stat : 14775 (plingeling) R 14745 14747 14721 0 -1 4202560 1031475 1249 0 0 493160 1514 0 1 25 0 33 0 662291692 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14747/tid=14776] ppid=14745 vsize=25016296 CPUtime=4944.27 cores=0-31
/proc/14747/task/14776/stat : 14776 (plingeling) R 14745 14747 14721 0 -1 4202560 1193250 1249 0 0 492577 1849 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14747/tid=14777] ppid=14745 vsize=25016296 CPUtime=4943.43 cores=0-31
/proc/14747/task/14777/stat : 14777 (plingeling) R 14745 14747 14721 0 -1 4202560 1238390 1249 0 0 492557 1785 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14747/tid=14778] ppid=14745 vsize=25016296 CPUtime=4939.42 cores=0-31
/proc/14747/task/14778/stat : 14778 (plingeling) R 14745 14747 14721 0 -1 4202560 1278616 1249 0 0 491906 2035 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14747/tid=14779] ppid=14745 vsize=25016296 CPUtime=4946.21 cores=0-31
/proc/14747/task/14779/stat : 14779 (plingeling) R 14745 14747 14721 0 -1 4202560 1415343 1249 0 0 492790 1830 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364696 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14747/tid=14780] ppid=14745 vsize=25016296 CPUtime=4949.37 cores=0-31
/proc/14747/task/14780/stat : 14780 (plingeling) R 14745 14747 14721 0 -1 4202560 1170340 1249 0 0 493215 1721 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14747/tid=14781] ppid=14745 vsize=25016296 CPUtime=4935.38 cores=0-31
/proc/14747/task/14781/stat : 14781 (plingeling) R 14745 14747 14721 0 -1 4202560 1051048 1249 0 0 492181 1356 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4236935 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14747/tid=14782] ppid=14745 vsize=25016296 CPUtime=4951.03 cores=0-31
/proc/14747/task/14782/stat : 14782 (plingeling) R 14745 14747 14721 0 -1 4202560 1146754 1249 0 0 493597 1505 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14747/tid=14783] ppid=14745 vsize=25016296 CPUtime=4944.04 cores=0-31
/proc/14747/task/14783/stat : 14783 (plingeling) R 14745 14747 14721 0 -1 4202560 1246302 1249 0 0 492804 1599 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14747/tid=14784] ppid=14745 vsize=25016296 CPUtime=4943.86 cores=0-31
/proc/14747/task/14784/stat : 14784 (plingeling) R 14745 14747 14721 0 -1 4202560 1026968 1249 0 0 493112 1273 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4263096 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14747/tid=14785] ppid=14745 vsize=25016296 CPUtime=4944.88 cores=0-31
/proc/14747/task/14785/stat : 14785 (plingeling) R 14745 14747 14721 0 -1 4202560 1492669 1249 0 0 491988 2499 0 1 25 0 33 0 662291693 25616687104 6109258 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158228
Current children cumulated vsize (KiB) 25016296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5017.9 s]
/proc/loadavg: 32.02 32.07 32.08 33/446 15407
/proc/meminfo: memFree=230813180/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=25296816 CPUtime=160004 cores=0-31
/proc/14747/stat : 14747 (plingeling) S 14745 14747 14721 0 -1 4202496 38236168 1249 0 0 15945631 54724 0 1 19 0 33 0 662291148 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/14747/statm: 6324204 6179389 175 55 0 6322090 0
[pid=14747/tid=14754] ppid=14745 vsize=25296816 CPUtime=4994.84 cores=0-31
/proc/14747/task/14754/stat : 14754 (plingeling) R 14745 14747 14721 0 -1 4202560 1259114 1249 0 0 497697 1786 0 1 25 0 33 0 662291690 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14747/tid=14755] ppid=14745 vsize=25296816 CPUtime=5001.79 cores=0-31
/proc/14747/task/14755/stat : 14755 (plingeling) R 14745 14747 14721 0 -1 4202560 1000794 1249 0 0 498723 1455 0 1 25 0 33 0 662291690 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14747/tid=14756] ppid=14745 vsize=25296816 CPUtime=4999.73 cores=0-31
/proc/14747/task/14756/stat : 14756 (plingeling) R 14745 14747 14721 0 -1 4202560 982611 1249 0 0 498782 1190 0 1 25 0 33 0 662291690 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14747/tid=14757] ppid=14745 vsize=25296816 CPUtime=5004.8 cores=0-31
/proc/14747/task/14757/stat : 14757 (plingeling) R 14745 14747 14721 0 -1 4202560 543766 1249 0 0 499443 1036 0 1 25 0 33 0 662291690 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14747/tid=14758] ppid=14745 vsize=25296816 CPUtime=5004.2 cores=0-31
/proc/14747/task/14758/stat : 14758 (plingeling) R 14745 14747 14721 0 -1 4202560 1481872 1249 0 0 498151 2268 0 1 25 0 33 0 662291690 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14747/tid=14759] ppid=14745 vsize=25296816 CPUtime=4997.14 cores=0-31
/proc/14747/task/14759/stat : 14759 (plingeling) R 14745 14747 14721 0 -1 4202560 1296960 1249 0 0 497999 1714 0 1 25 0 33 0 662291690 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14747/tid=14760] ppid=14745 vsize=25296816 CPUtime=4989.63 cores=0-31
/proc/14747/task/14760/stat : 14760 (plingeling) R 14745 14747 14721 0 -1 4202560 1072580 1249 0 0 497615 1347 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14747/tid=14761] ppid=14745 vsize=25296816 CPUtime=5003.48 cores=0-31
/proc/14747/task/14761/stat : 14761 (plingeling) R 14745 14747 14721 0 -1 4202560 1122866 1249 0 0 498431 1916 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14747/tid=14762] ppid=14745 vsize=25296816 CPUtime=4996.24 cores=0-31
/proc/14747/task/14762/stat : 14762 (plingeling) R 14745 14747 14721 0 -1 4202560 1323647 1249 0 0 497717 1906 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14747/tid=14763] ppid=14745 vsize=25296816 CPUtime=4982.79 cores=0-31
/proc/14747/task/14763/stat : 14763 (plingeling) R 14745 14747 14721 0 -1 4202560 1200692 1249 0 0 496478 1800 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4356840 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14747/tid=14764] ppid=14745 vsize=25296816 CPUtime=5006.55 cores=0-31
/proc/14747/task/14764/stat : 14764 (plingeling) R 14745 14747 14721 0 -1 4202560 916257 1249 0 0 499262 1392 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14747/tid=14765] ppid=14745 vsize=25296816 CPUtime=5002.02 cores=0-31
/proc/14747/task/14765/stat : 14765 (plingeling) R 14745 14747 14721 0 -1 4202560 1440453 1249 0 0 498115 2086 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14747/tid=14766] ppid=14745 vsize=25296816 CPUtime=5002.06 cores=0-31
/proc/14747/task/14766/stat : 14766 (plingeling) R 14745 14747 14721 0 -1 4202560 1238257 1249 0 0 498262 1943 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4234643 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14747/tid=14767] ppid=14745 vsize=25296816 CPUtime=5003.53 cores=0-31
/proc/14747/task/14767/stat : 14767 (plingeling) R 14745 14747 14721 0 -1 4202560 1137664 1249 0 0 498780 1572 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14747/tid=14768] ppid=14745 vsize=25296816 CPUtime=5000.21 cores=0-31
/proc/14747/task/14768/stat : 14768 (plingeling) R 14745 14747 14721 0 -1 4202560 1340310 1249 0 0 497995 2025 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14747/tid=14769] ppid=14745 vsize=25296816 CPUtime=4995.96 cores=0-31
/proc/14747/task/14769/stat : 14769 (plingeling) R 14745 14747 14721 0 -1 4202560 1191625 1249 0 0 498085 1510 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14747/tid=14770] ppid=14745 vsize=25296816 CPUtime=5006.68 cores=0-31
/proc/14747/task/14770/stat : 14770 (plingeling) R 14745 14747 14721 0 -1 4202560 1216122 1249 0 0 498885 1782 0 1 25 0 33 0 662291691 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14747/tid=14771] ppid=14745 vsize=25296816 CPUtime=5000.21 cores=0-31
/proc/14747/task/14771/stat : 14771 (plingeling) R 14745 14747 14721 0 -1 4202560 1181633 1249 0 0 498375 1645 0 1 25 0 33 0 662291692 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=25296816 CPUtime=5002.16 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4202560 1135550 1249 0 0 498483 1732 0 1 25 0 33 0 662291692 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14747/tid=14773] ppid=14745 vsize=25296816 CPUtime=5005.22 cores=0-31
/proc/14747/task/14773/stat : 14773 (plingeling) R 14745 14747 14721 0 -1 4202560 1276370 1249 0 0 498701 1820 0 1 25 0 33 0 662291692 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14747/tid=14774] ppid=14745 vsize=25296816 CPUtime=4999.65 cores=0-31
/proc/14747/task/14774/stat : 14774 (plingeling) R 14745 14747 14721 0 -1 4202560 1342541 1249 0 0 498253 1711 0 1 25 0 33 0 662291692 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4270180 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14747/tid=14775] ppid=14745 vsize=25296816 CPUtime=5002.35 cores=0-31
/proc/14747/task/14775/stat : 14775 (plingeling) R 14745 14747 14721 0 -1 4202560 1048285 1249 0 0 498675 1559 0 1 25 0 33 0 662291692 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14747/tid=14776] ppid=14745 vsize=25296816 CPUtime=4999.88 cores=0-31
/proc/14747/task/14776/stat : 14776 (plingeling) R 14745 14747 14721 0 -1 4202560 1193250 1249 0 0 498138 1849 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14747/tid=14777] ppid=14745 vsize=25296816 CPUtime=4998.26 cores=0-31
/proc/14747/task/14777/stat : 14777 (plingeling) R 14745 14747 14721 0 -1 4202560 1254140 1249 0 0 498021 1804 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4237371 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14747/tid=14778] ppid=14745 vsize=25296816 CPUtime=4995.01 cores=0-31
/proc/14747/task/14778/stat : 14778 (plingeling) R 14745 14747 14721 0 -1 4202560 1278616 1249 0 0 497465 2035 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14747/tid=14779] ppid=14745 vsize=25296816 CPUtime=5001.82 cores=0-31
/proc/14747/task/14779/stat : 14779 (plingeling) R 14745 14747 14721 0 -1 4202560 1415343 1249 0 0 498351 1830 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14747/tid=14780] ppid=14745 vsize=25296816 CPUtime=5004.71 cores=0-31
/proc/14747/task/14780/stat : 14780 (plingeling) R 14745 14747 14721 0 -1 4202560 1182086 1249 0 0 498747 1723 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14747/tid=14781] ppid=14745 vsize=25296816 CPUtime=4990.99 cores=0-31
/proc/14747/task/14781/stat : 14781 (plingeling) R 14745 14747 14721 0 -1 4202560 1051048 1249 0 0 497742 1356 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14747/tid=14782] ppid=14745 vsize=25296816 CPUtime=5006.64 cores=0-31
/proc/14747/task/14782/stat : 14782 (plingeling) R 14745 14747 14721 0 -1 4202560 1157105 1249 0 0 499157 1506 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14747/tid=14783] ppid=14745 vsize=25296816 CPUtime=4999.63 cores=0-31
/proc/14747/task/14783/stat : 14783 (plingeling) R 14745 14747 14721 0 -1 4202560 1293235 1249 0 0 498351 1611 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14747/tid=14784] ppid=14745 vsize=25296816 CPUtime=4999.47 cores=0-31
/proc/14747/task/14784/stat : 14784 (plingeling) R 14745 14747 14721 0 -1 4202560 1026968 1249 0 0 498673 1273 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14747/tid=14785] ppid=14745 vsize=25296816 CPUtime=5000.49 cores=0-31
/proc/14747/task/14785/stat : 14785 (plingeling) R 14745 14747 14721 0 -1 4202560 1492669 1249 0 0 497549 2499 0 1 25 0 33 0 662291693 25903939584 6179389 268435456000 4194304 4417452 140733335849104 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 25296816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5018.33 s]
/proc/loadavg: 32.02 32.07 32.08 3/416 15408
/proc/meminfo: memFree=233947956/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=0 CPUtime=160004 cores=0-31
/proc/14747/stat : 14747 (plingeling) Z 14745 14747 14721 0 -1 4203548 38236169 1249 0 0 15945653 54764 0 1 18 0 2 0 662291148 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 17 0 0 0
/proc/14747/statm: 0 0 0 0 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=0 CPUtime=5002.57 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4203588 1135550 1249 0 0 498484 1772 0 1 25 0 2 0 662291692 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5019.1 s]
/proc/loadavg: 32.02 32.07 32.08 3/416 15408
/proc/meminfo: memFree=233947956/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=0 CPUtime=160005 cores=0-31
/proc/14747/stat : 14747 (plingeling) Z 14745 14747 14721 0 -1 4203548 38236169 1249 0 0 15945653 54841 0 1 18 0 2 0 662291148 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 17 0 0 0
/proc/14747/statm: 0 0 0 0 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=0 CPUtime=5003.34 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4203588 1135550 1249 0 0 498484 1849 0 1 25 0 2 0 662291692 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5019.3 s]
/proc/loadavg: 29.53 31.55 31.91 2/416 15408
/proc/meminfo: memFree=252095788/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=0 CPUtime=160005 cores=0-31
/proc/14747/stat : 14747 (plingeling) Z 14745 14747 14721 0 -1 4203548 38236169 1249 0 0 15945653 54864 0 1 18 0 2 0 662291148 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 17 0 0 0
/proc/14747/statm: 0 0 0 0 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=0 CPUtime=5003.57 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4203588 1135550 1249 0 0 498484 1872 0 1 25 0 2 0 662291692 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5019.43 s]
/proc/loadavg: 29.53 31.55 31.91 2/416 15408
/proc/meminfo: memFree=252095788/264257624 swapFree=67111528/67111528
[pid=14747] ppid=14745 vsize=0 CPUtime=160005 cores=0-31
/proc/14747/stat : 14747 (plingeling) Z 14745 14747 14721 0 -1 4203548 38236169 1249 0 0 15945653 54874 0 1 18 0 2 0 662291148 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 17 0 0 0
/proc/14747/statm: 0 0 0 0 0 0 0
[pid=14747/tid=14772] ppid=14745 vsize=0 CPUtime=5003.67 cores=0-31
/proc/14747/task/14772/stat : 14772 (plingeling) R 14745 14747 14721 0 -1 4203588 1135550 1249 0 0 498484 1882 0 1 25 0 2 0 662291692 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5019.5
CPU time (s): 160005
CPU user time (s): 159457
CPU system time (s): 548.826
CPU usage (%): 3187.68
Max. virtual memory (cumulated for all children) (KiB): 27360948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159457
system time used= 548.826
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38237418
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= 18848
involuntary context switches= 410768
runsolver used 25.6331 second user time and 116.13 second system time
The end
Begin job on node200 at 2011-05-16 03:07:27
IDJOB=3372237
IDBENCH=70797
IDSOLVER=1852
FILE ID=node200/3372237-1305508047
RUNJOBID= node200-1305508047-14735
PBS_JOBID= 13285532
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand064.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372237-1305508047/watcher-3372237-1305508047 -o /tmp/evaluation-result-3372237-1305508047/solver-3372237-1305508047 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372237-1305508047.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 49dbd2fb16b3d5ce554d30c48729a56d
RANDOM SEED=656294183
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: 255573648 kB
Buffers: 442460 kB
Cached: 7840836 kB
SwapCached: 0 kB
Active: 7389172 kB
Inactive: 962540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255573648 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4524 kB
Writeback: 0 kB
AnonPages: 68552 kB
Mapped: 13532 kB
Slab: 250664 kB
PageTables: 4028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-16 04:31:07